Login
故事
< prev
page 2
more >
Loading...
17
Formally Verifying Peephole Optimisations in Lean
(l-m.dev)
by
l-mdev
7 days ago |
7 comments
54
Line scan camera image processing
(daniel.lawrence.lu)
by
vasco
4 days ago |
3 comments
67
Slaughtering Competition Problems with Quantifier Elimination (2021)
(grossack.site)
by
todsacerdoti
16 hours ago |
discuss
131
C++ says “We have try... finally at home”
(devblogs.microsoft.com)
by
ibobev
a day ago |
136 comments
48
Fast CVVDP implementation in C
(github.com)
by
todsacerdoti
16 hours ago |
8 comments
56
CIA Star Gate Project: An Overview (1993) [pdf]
(cia.gov)
by
dvrp
12 hours ago |
49 comments
23
Formulaic Delimiters in the Iliad and the Odyssey
(glthr.com)
by
glth
2 days ago |
12 comments
34
A bitwise reproducible deep learning framework
(github.com)
by
noosphr
7 days ago |
1 comments
37
Finding Jingle Town: Debugging an N64 Game Without Symbols
(blog.chrislewis.au)
by
knackers
6 days ago |
4 comments
1034
Calendar
(neatnik.net)
by
twapi
a day ago |
121 comments
97
Why I Disappeared – My week with minimal internet in a remote island chain
(kenklippenstein.com)
by
eh_why_not
18 hours ago |
131 comments
113
2D Signed Distance Functions
(iquilezles.org)
by
nickswalker
5 days ago |
15 comments
90
Remembering Lou Gerstner
(newsroom.ibm.com)
by
thm
21 hours ago |
42 comments
66
How to complain (2024)
(outerproduct.net)
by
ysangkok
16 hours ago |
13 comments
8
Two decades of evolution: How Ext4 has changed
(llmnativeos.github.io)
by
Dd_nirvana
8 hours ago |
discuss
Langfuse (YC W23) Is Hiring in Berlin, Germany
(langfuse.com)
Langfuse (YC W23) Is Hiring in Berlin, Germany
job
11
Father rescues abducted daughter by tracking her cell phone after kidnapping
(nypost.com)
by
smurda
3 hours ago |
discuss
131
62 years in the making: NYC's newest water tunnel nears the finish line
(ny1.com)
by
eatonphil
16 hours ago |
87 comments
6
Kiorg v1.4.1 – A modern battery included file manager with Vim inspired keybind
(github.com)
by
todsacerdoti
8 hours ago |
discuss
265
Stepping down as Mockito maintainer after ten years
(github.com)
by
saikatsg
19 hours ago |
174 comments
122
Panoramas of Star Trek Sets
(mijofr.github.io)
by
jfil
10 hours ago |
16 comments
154
No, it's not a battleship
(navalgazing.net)
by
hermitcrab
20 hours ago |
204 comments
73
Doublespeak: In-Context Representation Hijacking
(mentaleap.ai)
by
surprisetalk
7 days ago |
8 comments
46
Rust errors without dependencies
(vincents.dev)
by
vsgherzi
a day ago |
81 comments
720
Replacing JavaScript with Just HTML
(htmhell.dev)
by
soheilpro
2 days ago |
269 comments
272
Building a macOS app to know when my Mac is thermal throttling
(stanislas.blog)
by
angristan
a day ago |
115 comments
4
Measuring out-of-sync clocks on the Internet
(alexsci.com)
by
todsacerdoti
7 hours ago |
discuss
35
Writing non-English languages with a QWERTY keyboard
(altgr-weur.eu)
by
tokai
5 days ago |
24 comments
280
Learn computer graphics from scratch and for free
(scratchapixel.com)
by
theusus
a day ago |
31 comments
25
Market design can feed the poor
(worksinprogress.co)
by
ortegaygasset
5 hours ago |
14 comments