Login
故事
< prev
page 4
more >
Loading...
6
ESBMC-Arduino: Closing the Deployment Gap for Formal Verification
(arxiv.org)
by
Jimmc414
10 hours ago |
2 comments
17
The Tick That Hunts Down Its Hosts–Including Us
(newyorker.com)
by
randycupertino
13 hours ago |
2 comments
9
Show HN: ContextVault – Shared memory layer for your AI and your team
(contextvault.dev)
by
Repeater22746
11 hours ago |
2 comments
96
Beavis Ultrasound PnP ISA Sound Card Replica
(github.com)
by
mariuz
a day ago |
43 comments
8
Show HN: Microphone – Talk out your side-project ideas, then test them with ads
(trie.dev)
by
Kriptering
10 hours ago |
7 comments
38
LAPD Regularly Pulled over Innocent People Plate Readers Flagged Cars as Stolen
(404media.co)
by
Jimmc414
10 hours ago |
5 comments
26
How sea stars build materials that can see
(engineering.upenn.edu)
by
hhs
2 days ago |
4 comments
37
Counting ArXiv Delays
(fi-le.net)
by
fi-le
4 days ago |
12 comments
194
Interrail: 6,379Km and 13 Countries over 7 weeks
(shkspr.mobi)
by
coinfused
a day ago |
141 comments
18
Ask HN: Should I do a CS masters at Cambridge or start as a new grad at Amazon?
by
sspehr
17 hours ago |
74 comments
ask
125
Kode Dot Programmable pocket device for makers, pentesters and geeks
(kode.diy)
by
iNic
2 days ago |
35 comments
8
HaikuOS now has Nvidia graphics acceloration
(youtube.com)
by
cable2600
5 hours ago |
discuss
7
Distributed Development
(reticulum.network)
by
sporkl
10 hours ago |
discuss
59
OpenAI's Ad Business Is on Pace to Miss Its Own Forecast by 90%, Analyst Says
(adweek.com)
by
EvgeniyZh
5 hours ago |
56 comments
212
Why write code in 2026
(softwaredoug.com)
by
softwaredoug
4 days ago |
296 comments
1039
Ask HN: Add flag for AI-generated articles
by
levkk
a day ago |
448 comments
ask
1477
Zig Creator Calls Spade a Spade, Anthropic Blows Smoke
(raymyers.org)
by
crowdhailer
a day ago |
748 comments
78
Frieve Vinyl Explained – Microscopic stylus/groove physics simulation
(frieve-a.github.io)
by
XzetaU8
5 days ago |
11 comments
295
Ghostel.el: Terminal emulator powered by libghostty
(dakra.github.io)
by
signa11
2 days ago |
60 comments
168
Death of the Status Update: Why 55% of Americans Stopped Posting on Social Media
(ca.pcmag.com)
by
thunderbong
2 days ago |
183 comments
31
DMS 1.5 "The Wolverine" Released
(danklinux.com)
by
sonixier
6 days ago |
20 comments
29
Rubio announces campaign to 'dismantle' International Criminal Court
(upi.com)
by
Bondi_Blue
8 hours ago |
5 comments
37
Turn your singing voice into printable notes (in the browser)
(om-intelligence.ch)
by
busssard
10 hours ago |
14 comments
3
Notes Toward a New Romanticism: Or why it's 1800 all over again
(honest-broker.com)
by
plastic-enjoyer
3 hours ago |
5 comments
11
Show HN: I built a one-prompt hackathon platform, free entry, sponsored prizes
(1shotchallenge.ai)
by
lucasmartinic
12 hours ago |
8 comments
4
Netflix accidentally shipped a Claude.md file
(reddit.com)
by
Ozzie_osman
4 hours ago |
2 comments
295
Cyberpunk Comics, Manga and Graphic Novels
(shellzine.net)
by
zdw
a day ago |
154 comments
547
How to read more books
(scotto.me)
by
silcoon
2 days ago |
290 comments
185
I Learned to Read Again
(substack.magazinenongrata.com)
by
georgex7
2 days ago |
76 comments
139
Automation Without Understanding
(arxiv.org)
by
root-parent
2 days ago |
57 comments