Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
31.
Write the most clever code you can (buttondown.com)
17 points
todsacerdoti
a year ago
6 comments
32.
Raku: A Language for Gremlins (buttondown.com)
8 points
uticus
a year ago
discuss
33.
Microfeatures I'd like to see in more languages (buttondown.com)
7 points
goranmoomin
6 months ago
discuss
34.
A sufficiently comprehensive spec is not (necessarily) code (buttondown.com)
6 points
BerislavLopac
2 months ago
3 comments
35.
Many Hard LeetCode Problems Are Easy Constraint Problems (buttondown.com)
6 points
tannhaeuser
9 months ago
3 comments
36.
Modal editing is a weird historical contingency through sheer happenstance (buttondown.com)
5 points
Lanedo
7 months ago
2 comments
37.
Points are an inconsistent unit of measurement (buttondown.com)
5 points
MillironX
25 days ago
1 comment
38.
Many Hard LeetCode Problems Are Easy Constraint Problems (buttondown.com)
4 points
BerislavLopac
9 months ago
1 comment
39.
Programming Language Escape Hatches (buttondown.com)
4 points
azhenley
10 months ago
1 comment
40.
There was no formal methods winter (2021) (buttondown.com)
4 points
fanf2
2 years ago
1 comment
41.
LLMs are bad at vibing specifications (buttondown.com)
4 points
todsacerdoti
3 months ago
discuss
42.
Requirements change until they don't (buttondown.com)
4 points
azhenley
a year ago
discuss
43.
Stroustrup's Rule (buttondown.com)
4 points
BerislavLopac
a year ago
discuss
44.
Why do we call it "boilerplate code?" (buttondown.com)
4 points
handfuloflight
2 years ago
discuss
45.
TLA from First Principles (buttondown.com)
4 points
mad44
2 years ago
discuss
46.
What makes concurrency so hard? (buttondown.com)
4 points
kiyanwang
2 years ago
discuss
47.
The Angels and Demons of Nondeterminism (buttondown.com)
3 points
BerislavLopac
9 months ago
1 comment
48.
Maybe writing speed is a bottleneck for programming (buttondown.com)
3 points
BerislavLopac
a year ago
1 comment
49.
Why do we call it "boilerplate code?" (2022) (buttondown.com)
3 points
fanf2
a year ago
1 comment
50.
State and time are the same thing (buttondown.com)
3 points
todsacerdoti
2 years ago
1 comment
51.
Choose Boring Technology and Innovative Practices (buttondown.com)
3 points
aamederen
2 months ago
discuss
52.
My Gripes with Prolog (buttondown.com)
3 points
RebelPotato
5 months ago
discuss
53.
My Gripes with Prolog (buttondown.com)
3 points
zdw
5 months ago
discuss
54.
The Phase Change (buttondown.com)
3 points
BerislavLopac
8 months ago
discuss
55.
Sapir-Whorf does not apply to Programming Languages (buttondown.com)
3 points
BerislavLopac
10 months ago
discuss
56.
AI is a gamechanger for TLA+ users (buttondown.com)
3 points
mpweiher
a year ago
discuss
57.
Modeling Awkward Social Situations with TLA+ (buttondown.com)
3 points
BerislavLopac
a year ago
discuss
58.
Stroustrop's Rule (buttondown.com)
3 points
azhenley
a year ago
discuss
59.
Write Code That Delivers Value to Clients (2021) (buttondown.com)
3 points
bruh2
2 years ago
discuss
60.
Write Code That Delivers Value to Clients (2021) (buttondown.com)
3 points
BerislavLopac
2 years ago
discuss
More