TE
TechEcho
Home
24h Top
Newest
Best
Ask
Show
Jobs
English
GitHub
Twitter
Back to Profile
Submissions by Darmani
1
Puzzles to convince you you don't understand dependence
31 points
by
Darmani
over 2 years ago
13 comments
2
Solving the Dog-Bunny Puzzle with Program Verification Technology
25 points
by
Darmani
over 2 years ago
3 comments
3
How to build a program that cannot do the wrong thing
3 points
by
Darmani
over 2 years ago
1 comment
4
Demystifying Dependence, Part 2: The Three Dimensions of Dependence
1 points
by
Darmani
almost 3 years ago
no comments
5
Demystifying Dependence, Part 1: The Nine Dependency Puzzles
2 points
by
Darmani
almost 3 years ago
no comments
6
Show HN: Linguistic Antipatterns
27 points
by
Darmani
almost 3 years ago
4 comments
7
Leaky Delegation: You are not a Commodity
1 points
by
Darmani
over 4 years ago
no comments
8
Show HN: Cubix: A Haskell Framework for “One Tool, Many Languages”
2 points
by
Darmani
over 4 years ago
no comments
9
A natural language shell based on GPT-3
44 points
by
Darmani
almost 5 years ago
7 comments
← Previous
Next →