Hacker News

Subscribe to Hacker News feed
Hacker News RSS
Updated: 20 min 57 sec ago

GenMC: Model checking for concurrent C programs

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

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

Aaron Swartz Day 2024

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

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

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

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

Show HN: Icon (AI Ads, icon.me, funded by Peter Thiel's Founders Fund)

Sat, 11/09/2024 - 10:04pm

Article URL: https://icon.me

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

Points: 1

# Comments: 0

Categories: Hacker News

Pages