Login
故事
< prev
page 3
more >
Loading...
5
Rzk: A Proof Assistant for Synthetic ∞-Categories
(arxiv.org)
by
Jimmc414
4 hours ago |
discuss
3
Concurrent JavaScript: It can work (2017)
(webkit.org)
by
Altern4tiveAcc
3 hours ago |
discuss
23
GPT‑Red: Unlocking Self-Improvement for Robustness
(openai.com)
by
alvis
8 hours ago |
discuss
36
A General Goal-Conditioned Minecraft Model
(pantograph.com)
by
agajews
9 hours ago |
15 comments
7
Inkling Model Card
(thinkingmachines.ai)
by
Topfi
4 hours ago |
discuss
40
What designing computer science cards taught me about graphic design
(fhoehl.com)
by
marukodo
9 hours ago |
17 comments
49
Richard Feynman and the Connection Machine (1989)
(longnow.org)
by
yankcrime
13 hours ago |
19 comments
4
Sokoban Speedrun for RL
(github.com)
by
t55
4 hours ago |
discuss
8
Show HN: Spellsurf – Create words from words
(spellsurf.com)
by
alexakten
5 hours ago |
5 comments
14
Editing React components that never rendered
(blog.crossui.com)
by
linb
2 days ago |
7 comments
13
Making 768 servers look like 1
(planetscale.com)
by
aarvin_roshin
7 hours ago |
3 comments
48
Speculative Growth and the AI "Bubble" [pdf]
(economics.mit.edu)
by
johnbarron
4 hours ago |
54 comments
59
Why do people hate the tech industry? (2023)
(sevarg.net)
by
dsego
14 hours ago |
141 comments
197
Microsoft has released software updates to plug at least 570 security holes
(krebsonsecurity.com)
by
robin_reala
a day ago |
113 comments
258
The kids with phones are alright
(heatherburns.tech)
by
JumpCrisscross
5 days ago |
354 comments
36
Dark patterns in Windows are steering users to Edge: Mozilla-commissioned report
(theregister.com)
by
Bender
6 hours ago |
2 comments
49
Using Go for Mobile Apps
(davidsobsessions.com)
by
theHocineSaad
16 hours ago |
22 comments
4
When Bugs Feel Like Sabotage
(joeldare.com)
by
codazoda
4 hours ago |
1 comments
5
Reverse Engineering Apple Wallet
by
asxeem
2 hours ago |
2 comments
87
FreeBSD 16 Retires the Last of Its GPL Code from Its Base System
(phoronix.com)
by
lr0
9 hours ago |
47 comments
46
What's the most popular number in Hacker News titles?
(blog.omgmog.net)
by
omgmog
13 hours ago |
23 comments
76
DEA to Temporarily Schedule 7-Oh and Related Substances to Protect Public Safety
(dea.gov)
by
gnabgib
10 hours ago |
161 comments
111
DSLs Enable Reliable Use of LLMs
(martinfowler.com)
by
SirOibaf
15 hours ago |
73 comments
58
Germany maybe found a new source of renewable energy
(schweizerbart.de)
by
janandonly
13 hours ago |
79 comments
5
US Interconnection Queues by Region, State, and County
(emp.lbl.gov)
by
toomuchtodo
4 hours ago |
1 comments
104
Ask HN: Is it just me, or is software buggier across the board?
by
kadhirvelm
12 hours ago |
92 comments
ask
678
Bonsai 27B: A 27B-Class model that runs on a phone
(prismml.com)
by
xenova
a day ago |
242 comments
26
Bootstrapping GDC with DMD
(briancallahan.net)
by
LorenDB
2 days ago |
2 comments
13
Treating generic drugs as something special can wreck affordability
(46brooklyn.com)
by
toomuchtodo
9 hours ago |
1 comments
21
Show HN: 18KB ls alternative in no_std rust and Libc
(crates.io)
by
tracyspacy
12 hours ago |
5 comments