Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
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