Login
故事
< prev
page 2
more >
Loading...
15
Formally Verifying Peephole Optimisations in Lean
(l-m.dev)
by
l-mdev
7 days ago |
5 comments
54
Line scan camera image processing
(daniel.lawrence.lu)
by
vasco
4 days ago |
3 comments
65
Slaughtering Competition Problems with Quantifier Elimination (2021)
(grossack.site)
by
todsacerdoti
15 hours ago |
discuss
4
Kiorg v1.4.1 – A modern battery included file manager with Vim inspired keybind
(github.com)
by
todsacerdoti
7 hours ago |
discuss
46
Fast CVVDP implementation in C
(github.com)
by
todsacerdoti
15 hours ago |
8 comments
130
C++ says “We have try... finally at home”
(devblogs.microsoft.com)
by
ibobev
a day ago |
136 comments
23
Formulaic Delimiters in the Iliad and the Odyssey
(glthr.com)
by
glth
2 days ago |
12 comments
33
A bitwise reproducible deep learning framework
(github.com)
by
noosphr
7 days ago |
1 comments
35
Finding Jingle Town: Debugging an N64 Game Without Symbols
(blog.chrislewis.au)
by
knackers
6 days ago |
4 comments
97
Why I Disappeared – My week with minimal internet in a remote island chain
(kenklippenstein.com)
by
eh_why_not
17 hours ago |
126 comments
112
2D Signed Distance Functions
(iquilezles.org)
by
nickswalker
5 days ago |
15 comments
1027
Calendar
(neatnik.net)
by
twapi
a day ago |
121 comments
90
Remembering Lou Gerstner
(newsroom.ibm.com)
by
thm
20 hours ago |
42 comments
130
62 years in the making: NYC's newest water tunnel nears the finish line
(ny1.com)
by
eatonphil
15 hours ago |
86 comments
65
How to complain (2024)
(outerproduct.net)
by
ysangkok
15 hours ago |
12 comments
115
Panoramas of Star Trek Sets
(mijofr.github.io)
by
jfil
9 hours ago |
16 comments
Langfuse (YC W23) Is Hiring in Berlin, Germany
(langfuse.com)
Langfuse (YC W23) Is Hiring in Berlin, Germany
job
261
Stepping down as Mockito maintainer after ten years
(github.com)
by
saikatsg
18 hours ago |
174 comments
7
Are We Ready to Be Governed by Artificial Intelligence?
(schneier.com)
by
ArmageddonIt
an hour ago |
discuss
6
Father rescues abducted daughter by tracking her cell phone after kidnapping
(nypost.com)
by
smurda
2 hours ago |
discuss
73
Doublespeak: In-Context Representation Hijacking
(mentaleap.ai)
by
surprisetalk
7 days ago |
8 comments
151
No, it's not a battleship
(navalgazing.net)
by
hermitcrab
19 hours ago |
197 comments
4
Measuring out-of-sync clocks on the Internet
(alexsci.com)
by
todsacerdoti
6 hours ago |
discuss
45
Rust errors without dependencies
(vincents.dev)
by
vsgherzi
a day ago |
81 comments
271
Building a macOS app to know when my Mac is thermal throttling
(stanislas.blog)
by
angristan
a day ago |
113 comments
719
Replacing JavaScript with Just HTML
(htmhell.dev)
by
soheilpro
2 days ago |
269 comments
35
Writing non-English languages with a QWERTY keyboard
(altgr-weur.eu)
by
tokai
5 days ago |
24 comments
61
Why I think Valve’s retiring the Steam Deck LCD
(gardinerbryant.com)
by
Ariarule
11 hours ago |
59 comments
275
Learn computer graphics from scratch and for free
(scratchapixel.com)
by
theusus
a day ago |
29 comments
4
Two decades of evolution: How Ext4 has changed
(llmnativeos.github.io)
by
Dd_nirvana
7 hours ago |
discuss