Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
61.
▲
How to argue for something without any scientific evidence
(buttondown.com)
3 points
vinipolicena
2 years ago
discuss
62.
▲
Goodhart's Law in Software Engineering
(buttondown.com)
3 points
thunderbong
2 years ago
discuss
63.
▲
Microfeatures I'd like to see in more languages
(buttondown.com)
3 points
azhenley
2 years ago
discuss
64.
▲
The Jame of Life
(buttondown.com)
3 points
signa11
2 years ago
discuss
65.
▲
Illegal vs. Unwanted States
(buttondown.com)
2 points
azhenley
a month ago
1 comment
66.
▲
Edge Case Poisoning (2020)
(buttondown.com)
2 points
NooneAtAll3
a year ago
1 comment
67.
▲
The Juggler's Curse
(buttondown.com)
2 points
todsacerdoti
a year ago
1 comment
68.
▲
Illegal vs. Unwanted States
(buttondown.com)
2 points
PaulHoule
a month ago
discuss
69.
▲
New Logic for Programmers (and the future of this newsletter)
(buttondown.com)
2 points
akshayshah
a month ago
discuss
70.
▲
Illegal vs. Unwanted States
(buttondown.com)
2 points
azhenley
a month ago
discuss
71.
▲
Edge Case Poisoning
(buttondown.com)
2 points
azhenley
3 months ago
discuss
72.
▲
The Capability-Tractability Tradeoff (2023)
(buttondown.com)
2 points
SoKamil
9 months ago
discuss
73.
▲
Software books I wish I could read
(buttondown.com)
2 points
Jtsummers
10 months ago
discuss
74.
▲
Maybe writing speed is a bottleneck for programming
(buttondown.com)
2 points
goranmoomin
a year ago
discuss
75.
▲
You can cheat a test suite with a big enough polynomial
(buttondown.com)
2 points
bundie
a year ago
discuss
76.
▲
Finding hard 24 puzzles with planner programming
(buttondown.com)
2 points
todsacerdoti
a year ago
discuss
77.
▲
Requirements change until they don't
(buttondown.com)
2 points
BerislavLopac
a year ago
discuss
78.
▲
What hard thing does your tech make easy?
(buttondown.com)
2 points
BerislavLopac
a year ago
discuss
79.
▲
Stroustrup's Rule
(buttondown.com)
2 points
signa11
a year ago
discuss
80.
▲
What Makes Concurrency So Hard?
(buttondown.com)
2 points
fagnerbrack
2 years ago
discuss
81.
▲
Hyperproperties
(buttondown.com)
2 points
BerislavLopac
2 years ago
discuss
82.
▲
Goodhart's Law in Software Engineering
(buttondown.com)
2 points
kakakiki
2 years ago
discuss
83.
▲
How to convince engineers that formal methods is cool
(buttondown.com)
2 points
BerislavLopac
2 years ago
discuss
84.
▲
Refactoring Invariants
(buttondown.com)
2 points
BerislavLopac
2 years ago
discuss
85.
▲
Goodhart's Law in Software Engineering
(buttondown.com)
2 points
BerislavLopac
2 years ago
discuss
86.
▲
"Naming Things" Is a Poor Name for Naming Things
(buttondown.com)
2 points
swah
2 years ago
discuss
87.
▲
Modal editing is a weird historical contingency we have through sheer happensta
(buttondown.com)
1 point
todsacerdoti
8 months ago
2 comments
88.
▲
Choose Boring Technology and Innovative Practices
(buttondown.com)
1 point
azhenley
2 months ago
1 comment
89.
▲
Sapir-Whorf does not apply to programming languages
(buttondown.com)
1 point
fanf2
9 months ago
discuss
90.
▲
AI is a gamechanger for TLA+ users
(buttondown.com)
1 point
todsacerdoti
a year ago
discuss
More