Login
故事
< prev
page 7
more >
Loading...
62
Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4
(abhamra.com)
by
todsacerdoti
6 days ago |
3 comments
12
Show HN: Why many AI-generated websites don't show up on Google
(pagesmith.ai)
by
manu_trustdom
a day ago |
5 comments
1549
Show HN: Jmail – Google Suite for Epstein files
(jmail.world)
by
lukeigel
6 days ago |
359 comments
20
Two ancient humans, including famed 'Iceman,' had cancer-causing virus
(science.org)
by
rolph
2 days ago |
2 comments
27
GraphicsMagick Image Processing System
(graphicsmagick.org)
by
exvi
2 days ago |
discuss
150
Show HN: Turn raw HTML into production-ready images for free
(html2png.dev)
by
alvinunreal
3 days ago |
80 comments
112
Carnap – A formal logic framework for Haskell
(carnap.io)
by
ravenical
4 days ago |
20 comments
141
Spaced repetition for efficient learning (2019)
(gwern.net)
by
tsenturk
2 days ago |
58 comments
73
Could lockfiles just be SBOMs?
(nesbitt.io)
by
zdw
3 days ago |
59 comments
387
Lua 5.5
(lua.org)
by
km
4 days ago |
130 comments
221
Nabokov's guide to foreigners learning Russian
(twitter.com)
by
flaxxen
3 days ago |
470 comments
251
Local AI is driving the biggest change in laptops in decades
(spectrum.ieee.org)
by
barqawiz
4 days ago |
252 comments
1962
Backing up Spotify
(annas-archive.li)
by
vitplister
6 days ago |
691 comments
23
Ruby Turns 30: A Celebration of Code, Community, and Creativity
(blog.jetbrains.com)
by
mikece
a day ago |
1 comments
490
It's Always TCP_NODELAY
(brooker.co.za)
by
eieio
4 days ago |
175 comments
194
AMD entered the CPU market with reverse-engineered Intel 8080 clone 50 years ago
(tomshardware.com)
by
ksec
2 days ago |
96 comments
133
The Polyglot NixOS
(x86.lol)
by
todsacerdoti
7 days ago |
52 comments
321
iOS 26.3 brings AirPods-like pairing to third-party devices in EU under DMA
(macrumors.com)
by
Tomte
4 days ago |
320 comments
4
We May Never Know If AI Is Conscious, Says Cambridge Philosopher
(scitechdaily.com)
by
mathattack
9 hours ago |
8 comments
279
The biggest CRT ever made: Sony's PVM-4300
(dfarq.homeip.net)
by
giuliomagnifico
4 days ago |
184 comments
151
Font with Built-In Syntax Highlighting (2024)
(blog.glyphdrawing.club)
by
california-og
4 days ago |
36 comments
92
Towards a secure peer-to-peer app platform for Clan
(clan.lol)
by
throawayonthe
3 days ago |
27 comments
6
Leaker Who Apple Is Suing Says 'Screw It,' Here's the Foldable iPhone Early
(gizmodo.com)
by
achow
5 hours ago |
1 comments
62
Donald E. Knuth and Peter van Emde Boas on priority deques (1977) [pdf]
(staff.fnwi.uva.nl)
by
vismit2000
3 days ago |
5 comments
15
Show HN: I treated my brain like a buggy server and wrote a patch (Shi-Mo Model)
(github.com)
by
ShiMo_Protocol
a day ago |
6 comments
95
I rebuilt FlashAttention in Triton to understand the performance archaeology
(aminediro.com)
by
amindiro
5 days ago |
17 comments
43
Weight-loss pill approval set to accelerate food industry product overhauls
(reuters.com)
by
JumpCrisscross
a day ago |
28 comments
492
The Illustrated Transformer
(jalammar.github.io)
by
auraham
4 days ago |
88 comments
252
Debian's Git Transition
(diziet.dreamwidth.org)
by
all-along
5 days ago |
147 comments
201
The ancient monuments saluting the winter solstice
(bbc.com)
by
1659447091
5 days ago |
97 comments