News
Newest
Show
Jobs
prev
1 / 10
more
4
ESBMC-Arduino: Closing the Deployment Gap for Formal Verification
(arxiv.org)
by
Jimmc414
52 minutes ago
0 comments
72
Show HN: YouTube Guitar Tab Parser
(github.com)
by
neogenix
5 hours ago
15 comments
101
Linux on the Sega 32X. Who needs hardware synchronization primitives anyway?
(cakehonolulu.github.io)
by
cakehonolulu
7 hours ago
6 comments
10
Show HN: Sx 2.0 – Share AI skills with your team through a Dropbox folder
(sleuth-io.github.io)
by
detkin
2 hours ago
2 comments
20
Show HN: Hackney – Compare Uber, Lyft, Waymo, and Robotaxi Prices
(hackney.app)
by
griffinli
11 hours ago
7 comments
1
SalesPatriot (YC W25) Is Hiring Full Stack Engineers (SF)
(jobs.ashbyhq.com)
4 hours ago
49
Show HN: Jacquard, a programming language for AI-written, human-reviewed code
(github.com)
by
jbwinters
9 hours ago
10 comments
34
N+1
(woman-of-letters.com)
by
Caiero
4 days ago
4 comments
57
TFTP Honey Pot Results
(bruceediger.com)
by
speckx
6 hours ago
8 comments
253
Telegram's t.me domain has been suspended
(whois.com)
by
Tiberium
5 hours ago
30 comments
prev
1 / 10
more