Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by todsacerdoti
Bfcoq: Brainfuck Compiler in Coq
2 points
todsacerdoti
2023-11-30T20:51:41Z
github.com
Guide to fast websites with Next.js: Tips for maximizing server speeds and mini
1 points
todsacerdoti
2023-11-30T20:30:59Z
vercel.com
How pgroll works under the hood
6 points
todsacerdoti
2023-11-30T19:51:43Z
xata.io
You do need a technical co-founder [video]
248 points
todsacerdoti
2023-11-30T18:25:44Z
www.ycombinator.com
From the pages of our Insider newsletter: How to use GitHub Copilot
1 points
todsacerdoti
2023-11-30T17:38:35Z
github.blog
YC Happy Hour at JP Morgan Healthcare Conference 2024
1 points
todsacerdoti
2023-11-30T17:35:49Z
www.ycombinator.com
Replit and Weights and Biases: Building a RAG Bot
2 points
todsacerdoti
2023-11-30T15:57:14Z
blog.replit.com
Game of Trees 0.94 Released
3 points
todsacerdoti
2023-11-30T15:41:41Z
www.gameoftrees.org
Apple announces expanded partnership with Amkor for silicon packaging
1 points
todsacerdoti
2023-11-30T14:09:09Z
news.ycombinator.com
A disability advocate preserves his voice with iPhone
3 points
todsacerdoti
2023-11-30T14:04:41Z
news.ycombinator.com
Securing our home labs: Home Assistant code review
13 points
todsacerdoti
2023-11-30T13:53:52Z
github.blog
GDlog: A GPU-Accelerated Deductive Engine
3 points
todsacerdoti
2023-11-30T04:41:45Z
arxiv.org
App Store Award winners announced
3 points
todsacerdoti
2023-11-30T04:11:17Z
developer.apple.com
Apple unveils App Store Award winners, the best apps and games of 2023
4 points
todsacerdoti
2023-11-30T04:03:39Z
news.ycombinator.com
Asia Pacific's award winning app and game developers
1 points
todsacerdoti
2023-11-30T01:05:49Z
blog.google
Node.js 16 Deprecation
1 points
todsacerdoti
2023-11-29T22:53:59Z
vercel.com
Compiler Error Messages Considered Unhelpful: Text-Based Programming Error Mess [pdf]
1 points
todsacerdoti
2023-11-29T21:41:54Z
www.brettbecker.com
Okta: Breach Affected All Customer Support Users
2 points
todsacerdoti
2023-11-29T19:46:51Z
krebsonsecurity.com
Developer secrets keep leaking. Can we stop the flood?
3 points
todsacerdoti
2023-11-29T18:10:20Z
blog.1password.com
Using Answer Set Programming to Solve Puzzle Haunted
1 points
todsacerdoti
2023-11-29T11:11:50Z
rdivyanshu.github.io
306
307
308
309
310
311
312
313
314
315