Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
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