Login
故事
< prev
page 7
more >
Loading...
94
Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless
(lesswrong.com)
by
OgsyedIE
5 days ago |
44 comments
71
Keifu – A TUI for navigating commit graphs with color and clarity
(github.com)
by
indigodaddy
3 days ago |
11 comments
10
Evolution Unleashed (2018)
(aeon.co)
by
DiabloD3
19 hours ago |
discuss
7
Ask HN: How many local logins do you have on your computer?
by
bahmboo
13 hours ago |
11 comments
ask
125
The <Geolocation> HTML Element
(developer.chrome.com)
by
enz
5 days ago |
62 comments
804
The URL shortener that makes your links look as suspicious as possible
(creepylink.com)
by
dreadsword
4 days ago |
148 comments
451
Inside The Internet Archive's Infrastructure
(hackernoon.com)
by
dvrp
5 days ago |
118 comments
35
Claude Code with Anthropic API Compatibility [ollama blog]
(ollama.com)
by
laacz
2 days ago |
discuss
569
25 Years of Wikipedia
(wikipedia25.org)
by
easton
4 days ago |
466 comments
866
Claude Cowork exfiltrates files
(promptarmor.com)
by
takira
5 days ago |
398 comments
9
Typesetter – a minimalist, local-first Typst editor
(codeberg.org)
by
Curiositry
a day ago |
discuss
86
HTTP RateLimit Headers
(dotat.at)
by
zdw
5 days ago |
14 comments
365
List of individual trees
(en.wikipedia.org)
by
wilson090
4 days ago |
116 comments
270
High-Level Is the Goal
(bvisness.me)
by
tobr
4 days ago |
153 comments
26
Apples, Trees, and Quasimodes
(systemstack.dev)
by
entaloneralie
2 days ago |
2 comments
319
Slop is everywhere for those with eyes to see
(fromjason.xyz)
by
speckx
3 days ago |
135 comments
253
Have Taken Up Farming
(dylan.gr)
by
djnaraps
4 days ago |
158 comments
243
Handy – Free open source speech-to-text app
(github.com)
by
tin7in
4 days ago |
107 comments
787
Ask HN: How can we solve the loneliness epidemic?
by
publicdebates
4 days ago |
1223 comments
ask
7
Show HN: Kling.to – Self-hosted email marketing with full data ownership
(kling.to)
by
mukama
a day ago |
discuss
7
Kotlin's Rich Errors: Native, Typed Errors Without Exceptions
(cekrem.github.io)
by
todsacerdoti
a day ago |
1 comments
141
Show HN: TinyCity – A tiny city SIM for MicroPython (Thumby micro console)
(github.com)
by
inflam52
4 days ago |
26 comments
8
Mermaid as a programming language for AI agents
(twitter.com)
by
xxchan22
13 hours ago |
discuss
215
The State of OpenSSL for pyca/cryptography
(cryptography.io)
by
SGran
5 days ago |
59 comments
7
Show HN: WebTerm – Browser-based terminal emulator
(webterm.app)
by
DaiAoki
a day ago |
1 comments
123
Show HN: Sparrow-1 – Audio-native model for human-level turn-taking without ASR
(tavus.io)
by
code_brian
5 days ago |
49 comments
167
Design and Implementation of Sprites
(fly.io)
by
sethev
4 days ago |
105 comments
134
Show HN: Webctl – Browser automation for agents based on CLI instead of MCP
(github.com)
by
cosinusalpha
5 days ago |
38 comments
14
America's $3T Nuclear Bet (HALEU) [video]
(youtube.com)
by
gregbot
18 hours ago |
1 comments
125
All 23-Bit Still Lifes Are Glider Constructible
(mvr.github.io)
by
HeliumHydride
4 days ago |
16 comments