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