Smart
News
news
interests
topics
domains
about
library
Topics
/
Dave Mills
Hackernews posts about Dave Mills
RSS feed for Dave Mills
Related:
Vint Cerf
01
new
Show HN: 25posts โ Guess the impressions of real LinkedIn posts
25posts.com
โฒ 2
bilyas509
30h
๐ฌ 1
save
saved
02
new
Batman's bike could be yours, if you
have
a spare $1.2
milli
on
www.cnn.com
โฒ 1
cisc
7h
discuss
save
saved
03
new
Launch HN: Momentic (YC W24) โ Agents that catch bugs by using your app
momentic.ai
โฒ 166
wuweiweiwu
3d
๐ฌ 132
save
saved
04
new
Launch HN: Simantic (YC F26) โ Firmware Simulation for AI Agents
โฒ 80
shong0504
7d
๐ฌ 37
save
saved
05
new
Launch HN: Rivet (YC W23) โ Scale and Orchestrate Agents on S3
github.com
โฒ 66
NathanFlurry
5h
๐ฌ 34
save
saved
06
new
Show HN: Lasm โ Write formally verified webapps in Lean for Node/serverless/edge
github.com
โฒ 38
lastmjs
6d
๐ฌ 22
save
saved
07
new
Heretic 2.0 Released: Training-free language model modification
โฒ 22
razster
4d
๐ฌ 4
save
saved
08
new
Show HN: Firenook โ Firebase emulators in Rust: 40ร faster writes, 10ร less RAM
firenook.dev
โฒ 2
sanjevirau
9h
๐ฌ 1
save
saved
09
new
Show HN: Synaps โ Turn your agents into autonomous daemons
github.com
โฒ 2
0x04am
9h
discuss
save
saved
10
new
Why Google, Microsoft, Anthropic and OpenAI need their own AI detection tools
โฒ 1
nitishr
5d
discuss
save
saved
11
new
Show HN: Nomos โ A Go harness that stops coding agents from cheating on tests
github.com
โฒ 4
mgantlett
3d
discuss
save
saved
12
new
Show HN: Rivet Actors โ Durable Objects built with Rust, FoundationDB, Isolates
github.com
โฒ 133
NathanFlurry
685d
๐ฌ 26
save
saved
13
new
Alan Kay: Shannon
gave
us a way of dealing with noisy channels [video]
www.youtube.com
โฒ 152
behoove
41d
๐ฌ 36
save
saved
14
new
Show HN: Juggler โ an open-source GUI coding agent, by the creator of JUCE
github.com
โฒ 280
julesrms
116d
๐ฌ 118
save
saved
ยท
edit
Keyboard shortcuts
j / k
next / previous story
o or Enter
open the story
c
open the comments
s
save for later
h
history & saved stories
?
show this help
Got it