Home
Recent
Comments
Search
Login
Search
Search:
Stories
Comments
Order By:
Relevance
Newest
Points
29 results for "domain:drmaciver.com"
14
A manifesto for error reporting
practices
drmaciver.com
via
feoh
2 months ago
|
cached
|
2 comments
2
10
(Some of) my problems with correctness research
compsci
formalmethods
practices
drmaciver.com
via
mfeathers
4 months ago
|
cached
|
no comments
0
22
Can you write correct software in a statically typed language?
programming
drmaciver.com
via
fcbsd
6 months ago
|
cached
|
14 comments
14
11
Tell us why your language sucks (2008)
☶
haskell
plt
drmaciver.com
via
hwayne
7 months ago
|
cached
|
6 comments
6
11
Python Coverage could be fast
python
testing
drmaciver.com
authored by
DRMacIver
11 months ago
|
cached
|
no comments
0
11
How and why to learn about data structures
compsci
drmaciver.com
via
calvin
1 year ago
|
cached
|
1 comment
1
2
Avoiding conferences in the USA for now
event
law
drmaciver.com
via
JordiGH
1 year ago
|
cached
|
no comments
0
35
Programmer at Large: What is this?
☶
art
law
drmaciver.com
via
ngoldbaum
1 year ago
|
cached
|
9 comments
9
28
Why you should use a single repository for all your company’s projects
practices
vcs
drmaciver.com
authored by
DRMacIver
1 year ago
|
cached
|
35 comments
35
16
Some things that might help you write better software
practices
testing
drmaciver.com
authored by
DRMacIver
1 year ago
|
cached
|
6 comments
6
52
Static typing will not save us from broken software
programming
testing
drmaciver.com
authored by
DRMacIver
1 year ago
|
cached
|
52 comments
52
28
It might be worth learning an ML-family language
haskell
ml
python
drmaciver.com
authored by
DRMacIver
2 years ago
|
cached
|
20 comments
20
22
Contributors do not save time
culture
programming
drmaciver.com
authored by
DRMacIver
2 years ago
|
cached
|
2 comments
2
1
Fuzzing through multi-objective shrinking
security
testing
drmaciver.com
authored by
DRMacIver
2 years ago
|
cached
|
no comments
0
1
L* Search and Inference of Deterministic Finite Automata
compsci
drmaciver.com
authored by
DRMacIver
2 years ago
|
cached
|
no comments
0
16
How to read a mathematics textbook
math
drmaciver.com
authored by
DRMacIver
2 years ago
|
cached
|
4 comments
4
3
The Myhill–Nerode theorem and the Minimal Deterministic Automaton
compsci
drmaciver.com
authored by
DRMacIver
2 years ago
|
cached
|
2 comments
2
17
The easy way to get started with property based testing
testing
drmaciver.com
authored by
DRMacIver
2 years ago
|
cached
|
7 comments
7
25
Hypothesis progress is alarming
programming
drmaciver.com
via
pushcx
2 years ago
|
cached
|
51 comments
51
10
On criticizing programming languages (without criticizing their users)
culture
programming
drmaciver.com
authored by
DRMacIver
2 years ago
|
cached
|
6 comments
6
Page:
1
2