Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
31.
▲
The Halting Problem is a terrible example of NP-Harder
(buttondown.com)
108 points
BerislavLopac
a year ago
114 comments
32.
▲
When would you ever want bubblesort? (2023)
(buttondown.com)
108 points
atan2
6 months ago
86 comments
33.
▲
TLA from First Principles
(buttondown.com)
103 points
ingve
2 years ago
23 comments
34.
▲
Formally Modeling Dreidel, the Sequel
(buttondown.com)
100 points
todsacerdoti
a year ago
26 comments
35.
▲
How to Not Build the Torment Nexus
(buttondown.com)
91 points
p3_1080
10 months ago
40 comments
36.
▲
Points are a weird and inconsistent unit of measure
(buttondown.com)
85 points
danborn26
24 days ago
101 comments
37.
▲
Email was the user interface for the first AI recommendation engines
(buttondown.com)
84 points
coloneltcb
8 months ago
34 comments
38.
▲
Decoupling design from engineering
(buttondown.com)
84 points
jwworth
2 years ago
34 comments
39.
▲
Why do regexes use `$` and `^` as line anchors? (2024)
(buttondown.com)
79 points
srijan4
a year ago
45 comments
40.
▲
Requirements change until they don't
(buttondown.com)
74 points
azhenley
a year ago
22 comments
41.
▲
Ternary Operators
(buttondown.com)
68 points
azhenley
2 years ago
74 comments
42.
▲
It's Time to Stop Building KV Databases
(buttondown.com)
65 points
foldU
a year ago
62 comments
43.
▲
Verification-First Development
(buttondown.com)
65 points
vinipolicena
a year ago
24 comments
44.
▲
State and time are the same thing
(buttondown.com)
63 points
BerislavLopac
2 years ago
44 comments
45.
▲
Words about Arrays and Tables
(buttondown.com)
62 points
todsacerdoti
10 months ago
27 comments
46.
▲
The physicists who convinced Fermilab to send Brazil's emails
(buttondown.com)
58 points
maguay
17 days ago
17 comments
47.
▲
Why Property Testing Finds Bugs Unit Testing Does Not (2021)
(buttondown.com)
57 points
Tomte
a year ago
89 comments
48.
▲
How to leave the house
(buttondown.com)
55 points
zdw
a year ago
68 comments
49.
▲
Floyd's Sampling Algorithm
(buttondown.com)
51 points
ibobev
2 months ago
4 comments
50.
▲
Are efficiency and horizontal scalability at odds?
(buttondown.com)
49 points
todsacerdoti
a year ago
37 comments
51.
▲
AI and the Illegal War
(buttondown.com)
49 points
interpol_p
3 months ago
8 comments
52.
▲
I hate science (2021)
(buttondown.com)
40 points
todsacerdoti
7 months ago
43 comments
53.
▲
Bad Opsec Considered Harmful
(buttondown.com)
36 points
anigbrowl
6 months ago
3 comments
54.
▲
This Month in Ladybird: November 2025
(buttondown.com)
36 points
bpierre
6 months ago
2 comments
55.
▲
How email tracking works behind the scenes
(buttondown.com)
35 points
vidyesh
10 months ago
4 comments
56.
▲
Turing kicked us out of Heaven (2023)
(buttondown.com)
34 points
todsacerdoti
2 years ago
42 comments
57.
▲
Thoughts on DuckDB's Grammar Patching Thing
(buttondown.com)
34 points
foldU
2 years ago
3 comments
58.
▲
The Liskov Substitution Principle does more than you think
(buttondown.com)
29 points
ulrischa
5 months ago
3 comments
59.
▲
Refinement Without Specification
(buttondown.com)
29 points
BerislavLopac
5 months ago
1 comment
60.
▲
This Month in Ladybird: August 2025
(buttondown.com)
28 points
bpierre
9 months ago
1 comment
More