Hacker News

GenMC: Model checking for concurrent C programs

Hacker News - Sat, 11/09/2024 - 10:45pm

Article URL: https://plv.mpi-sws.org/genmc/

Comments URL: https://news.ycombinator.com/item?id=42098466

Points: 1

# Comments: 0

Categories: Hacker News

Analyze your Blue Sky profile

Hacker News - Sat, 11/09/2024 - 10:42pm

Article URL: https://clearsky.app/

Comments URL: https://news.ycombinator.com/item?id=42098457

Points: 1

# Comments: 1

Categories: Hacker News

Show HN: I created a plugin for Figma to track changes in the design

Hacker News - Sat, 11/09/2024 - 10:12pm

Hey HN,

I'm a designer who wants to learn development and build products. I shipped 3 plugins in the last 4 months.

So, I was having this problem at work where it was super hard to keep track of all the design changes because of scoping. Developers were always confused about what changed and where. I got tired of the back-and-forth, so I decided to do something about it!

And Here I'm with changeloger.

I built this for 2 main reasons, - To have smoother communication with developers and keep them on track. - Have a log of changes with designs linked to the log.

I hope this will be useful to track logs as it is useful to me. Would love to hear your thoughts on this.

Kr.

Comments URL: https://news.ycombinator.com/item?id=42098378

Points: 1

# Comments: 0

Categories: Hacker News

Parse JSON Stream Fast for Realtime UI in LLM AI App

Hacker News - Sat, 11/09/2024 - 10:06pm

Article URL: https://partial.stream/

Comments URL: https://news.ycombinator.com/item?id=42098357

Points: 1

# Comments: 0

Categories: Hacker News

Pages