Login
故事
< prev
page 7
more >
Loading...
30
Litex: Formal math for everyone – set theory examples with Lean comparison
(litexlang.com)
by
litexlang
7 days ago |
10 comments
22
Fabrication Techniques Using Myco-Materials
(encyclopedia.pub)
by
andsoitis
5 days ago |
4 comments
152
More on whether useful quantum computing is “imminent”
(scottaaronson.blog)
by
A_D_E_P_T
5 days ago |
125 comments
255
Ryanair fined €256M over ‘abusive strategy’ to limit ticket sales by OTAs
(theguardian.com)
by
aquir
3 days ago |
268 comments
256
Rue: Higher level than Rust, lower level than Go
(rue-lang.dev)
by
ingve
5 days ago |
267 comments
198
Test, don't just verify
(alperenkeles.com)
by
alpaylan
3 days ago |
138 comments
10
Why Scandinavian Cabins Stayed Warm at -30°F While Modern Homes Freeze [video]
(youtube.com)
by
melenaboija
16 hours ago |
7 comments
447
Ask HN: What are the best engineering blogs with real-world depth?
by
nishilpatel
3 days ago |
132 comments
ask
52
Ask HN: What did you read in 2025?
by
kwar13
5 hours ago |
63 comments
ask
76
'Dracula's Chivito': Hubble reveals largest birthplace of planets ever observed
(phys.org)
by
wglb
3 days ago |
13 comments
46
An amateur codebreaker may have just solved the Black Dahlia and Zodiac killings
(latimes.com)
by
davweb
3 days ago |
10 comments
5
Bill Gates' Minesweeper addiction helped lead to the Xbox (2023)
(arstechnica.com)
by
Tomte
4 hours ago |
discuss
97
Terrence Malick's Disciples
(yalereview.org)
by
prismatic
3 days ago |
27 comments
131
Universal Reasoning Model (53.8% pass 1 ARC1 and 16.0% ARC 2)
(arxiv.org)
by
marojejian
4 days ago |
28 comments
331
Snitch – A friendlier ss/netstat
(github.com)
by
karol-broda
4 days ago |
102 comments
201
I announced my divorce on Instagram and then AI impersonated me
(eiratansey.com)
by
robin_reala
4 days ago |
219 comments
53
Dancing around the rhythm space with Euclid
(pv.wtf)
by
dracyr
4 days ago |
5 comments
107
US bars approvals of new models of DJI, all other foreign drones
(reuters.com)
by
bookofjoe
4 days ago |
55 comments
23
Fixing HN comments with breadth-first navigation
(pratik.is)
by
news_hacker
2 days ago |
4 comments
15
Blue-Green Marker Light Standard for Autonomous Vehicles Gets Approved
(motortrend.com)
by
tangelogica
19 hours ago |
8 comments
338
Ultrasound Cancer Treatment: Sound Waves Fight Tumors
(spectrum.ieee.org)
by
rbanffy
4 days ago |
98 comments
45
Show HN: Kapso – WhatsApp for developers
(kapso.ai)
by
aamatte
3 days ago |
25 comments
207
Perfect Software – Software for an Audience of One
(outofdesk.netlify.app)
by
ggauravr
6 days ago |
97 comments
62
Astrophotography Target Planner: Discover Hidden Nebulas
(astroimagery.com)
by
kianN
7 days ago |
5 comments
5
Show HN: I built an OCI container runtime in Python(for fun)
(github.com)
by
kalishayish
a day ago |
discuss
187
How I protect my Forgejo instance from AI web crawlers
(her.esy.fun)
by
todsacerdoti
5 days ago |
98 comments
18
Grifters, Gaslighters and Puff the Magic Dragon
(theturtlechronicles.substack.com)
by
mooreds
21 hours ago |
2 comments
35
Donald Knuth's 2025 Christmas lecture: the Knight's Tours
(thenewstack.io)
by
MilnerRoute
a day ago |
2 comments
259
I didn't realize my LG TV was spying on me until I turned off Live Plus
(pocket-lint.com)
by
fcpguru
3 days ago |
245 comments
431
GLM-4.7: Advancing the Coding Capability
(z.ai)
by
pretext
4 days ago |
234 comments