Active
Recent
Comments
Search
Login
Login
buttondown.email: 72 stories from 32 submitters
4
Formalizing Stability and Resilience Properties
formalmethods
buttondown.email
via
iv
20 days ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
13
Teaching Implication Better
compsci
education
formalmethods
buttondown.email
via
jryans
29 days ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
26
Programming AIs worry me
ai
buttondown.email
via
azhenley
1 month ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
27 comments
27
50
Maybe people do care about performance and reliability
performance
practices
buttondown.email
via
EvanHahn
1 month ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
51 comments
51
5
Creatively Misusing TLA+
formalmethods
testing
buttondown.email
via
amw-zero
1 month ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
42
Tag Systems
programming
buttondown.email
authored by
hwayne
1 month ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
17 comments
17
1
Performance of NIST DRBGs
cryptography
buttondown.email
via
atoponce
2 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
22
Funny programming languages
programming
buttondown.email
via
azhenley
2 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
9 comments
9
9
In Defense of Testing Mocks
testing
buttondown.email
via
azhenley
2 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
5 comments
5
104
Microfeatures I'd like to see in more languages
plt
buttondown.email
authored by
hwayne
2 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
100 comments
100
6
Why Modeling Finds Bugs
formalmethods
buttondown.email
via
amw-zero
2 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
23
Bugs that literally cost money
programming
buttondown.email
via
azhenley
3 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
8 comments
8
64
I am disappointed by dynamic typing
programming
buttondown.email
via
azhenley
4 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
99 comments
99
70
Why do we call it "boilerplate code?"
historical
buttondown.email
authored by
hwayne
4 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
7 comments
7
18
Why UML "Really" Died (2021)
practices
buttondown.email
via
gerikson
6 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
9 comments
9
28
Why do arrays start at 0?
programming
rant
buttondown.email
via
azhenley
7 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
27 comments
27
64
I have complicated feelings about TDD
testing
buttondown.email
via
pondidum
7 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
31 comments
31
72
Excel is Pretty Dang Cool
programming
buttondown.email
authored by
hwayne
7 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
32 comments
32
25
Search less, browse more
practices
programming
buttondown.email
via
telemachus
7 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
13 comments
13
28
Monorepos and Forced Migrations
practices
vcs
buttondown.email
via
hwayne
8 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
30 comments
30
55
Six Programming Languages I'd Like to See
compsci
programming
buttondown.email
via
telemachus
8 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
60 comments
60
8
10 key lessons from my first engineering job
programming
buttondown.email
authored by
bhupesh
10 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
47
You can automate more than you think
practices
buttondown.email
authored by
hwayne
11 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
13 comments
13
6
The Esotech Lit Gap
culture
education
buttondown.email
via
sjamaan
11 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
10
The Parable of the Crow (essay about teaching)
philosophy
programming
buttondown.email
via
fstamour
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
8 comments
8
Page 2 >>