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