Login
故事
< prev
page 2
more >
Loading...
18
Lf-lean: The frontier of verified software engineering
(theorem.dev)
by
alpaylan
5 days ago |
5 comments
95
Cert Authorities Check for DNSSEC from Today
(grepular.com)
by
zdw
a day ago |
222 comments
607
MoD sources warn Palantir role at heart of government is threat to UK security
(thenerve.news)
by
vrganj
16 hours ago |
249 comments
439
US Job Market Visualizer
(karpathy.ai)
by
andygcook
13 hours ago |
324 comments
99
Comparing Python Type Checkers: Typing Spec Conformance
(pyrefly.org)
by
ocamoss
16 hours ago |
40 comments
142
Nvidia Launches Vera CPU, Purpose-Built for Agentic AI
(nvidianews.nvidia.com)
by
lewismenelaws
8 hours ago |
83 comments
979
Bill C-22, the Lawful Access Act: Dangerous backdoor surveillance risks remain
(michaelgeist.ca)
by
opengrass
a day ago |
318 comments
22
Launch HN: Chamber (YC W26) – An AI Teammate for GPU Infrastructure
(usechamber.io)
by
jshen96
11 hours ago |
6 comments
103
Even faster asin() was staring right at me
(16bpp.net)
by
def-pri-pub
16 hours ago |
49 comments
101
Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025)
(arxiv.org)
by
wek
11 hours ago |
56 comments
85
MM120, a pharmaceutical form of LSD, shown to reduce anxiety symptoms (2025)
(sciencedaily.com)
by
carlos-menezes
17 hours ago |
80 comments
52
Human Organ Atlas
(human-organ-atlas.esrf.fr)
by
giuliomagnifico
2 days ago |
3 comments
127
Six ingenious ways how Canon DSLRs used to illuminate their autofocus points
(exclusivearchitecture.com)
by
ExAr
2 days ago |
46 comments
101
Reviewing Large Changes with Jujutsu
(ben.gesoff.uk)
by
bengesoff
5 days ago |
12 comments
165
Electric motor scaling laws and inertia in robot actuators
(robot-daycare.com)
by
o4c
5 days ago |
34 comments
1000
Palestinian boy, 12, describes how Israeli forces killed his family in car
(bbc.com)
by
tartoran
9 hours ago |
289 comments
123
What every computer scientist should know about floating-point arithmetic (1991) [pdf]
(itu.dk)
by
jbarrow
5 days ago |
53 comments
171
The Linux Programming Interface as a university course text
(man7.org)
by
teleforce
a day ago |
38 comments
28
Event Publisher enables event integration between Keycloak and OpenFGA
(github.com)
by
mooreds
14 hours ago |
5 comments
17
Show HN: Hecate – Call an AI from Signal
(github.com)
by
rhodey
13 hours ago |
2 comments
187
'Pokémon Go' players unknowingly trained delivery robots with 30B images
(popsci.com)
by
wslh
15 hours ago |
92 comments
481
How I write software with LLMs
(stavros.io)
by
indigodaddy
a day ago |
470 comments
78
Why I may ‘hire’ AI instead of a graduate student
(science.org)
by
doener
19 hours ago |
79 comments
47
Bringing Semiconductors to Kazakhstan
(siliconimist.com)
by
johncole
16 hours ago |
10 comments
236
The emergence of print-on-demand Amazon paperback books
(alexerhardt.com)
by
aerhardt
2 days ago |
173 comments
6
The US-Israeli strategy against Iran is working. Here is why
(aljazeera.com)
by
evo_9
an hour ago |
discuss
786
The 49MB web page
(thatshubham.com)
by
kermatt
a day ago |
349 comments
49
Mistral Small 4
(mistral.ai)
by
pember
7 hours ago |
2 comments
5
MIDI 2.0 (and enhanced MIDI 1.0) comes to Windows 11
(blogs.windows.com)
by
mariuz
5 hours ago |
1 comments
49
Cuba's national electric grid collapses, leaving millions without power
(reuters.com)
by
geox
8 hours ago |
23 comments