Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
1.
Typical: Data interchange with algebraic data types (github.com/stepchowfun)
129 points
g0xA52A2A
3 years ago
50 comments
2.
Show HN: Docuum – LRU Eviction of Docker Images (github.com/stepchowfun)
10 points
curryhoward
6 years ago
discuss
3.
Show HN: Toast – A tool for running tasks in containers (github.com/stepchowfun)
10 points
curryhoward
7 years ago
discuss
4.
Toast: Containerize your development and CI environments (github.com/stepchowfun)
8 points
stepchowfun
4 years ago
discuss
5.
Typical: Data interchange with algebraic data types (github.com/stepchowfun)
5 points
stepchowfun
4 years ago
discuss
6.
Toast: Containerize your development and CI environments (github.com/stepchowfun)
3 points
sbt567
5 years ago
discuss
7.
Tagref: refer to other parts of your codebase in a robust way (github.com/stepchowfun)
3 points
curryhoward
6 years ago
discuss
8.
Toast is a tool for doing work in containers (github.com/stepchowfun)
3 points
Chris2048
6 years ago
discuss
9.
Typical: Data interchange with algebraic data types (github.com/stepchowfun)
2 points
todsacerdoti
4 years ago
discuss
10.
Tagref: Maintain cross-references in your code (github.com/stepchowfun)
2 points
tsujp
4 years ago
discuss
11.
Tagref: Check cross-references in your code (github.com/stepchowfun)
2 points
stepchowfun
4 years ago
discuss
12.
Toast: A high-level containerized build system (github.com/stepchowfun)
2 points
eternalban
4 years ago
discuss
13.
Docuum – LRU eviction of Docker images (github.com/stepchowfun)
2 points
stepchowfun
6 years ago
discuss
14.
Toast: Containerize your development environment tool in Rust (github.com/stepchowfun)
2 points
adamnemecek
7 years ago
discuss
15.
Toast: Containerize Your Development Environment (github.com/stepchowfun)
2 points
Supermighty
7 years ago
discuss
16.
A formally verified proof of the soundness of System F (github.com/stepchowfun)
2 points
mmphosis
7 years ago
discuss
17.
Finding ambiguities in context-free grammars (github.com/stepchowfun)
2 points
curryhoward
9 years ago
discuss
18.
Show HN: Noteref – Maintain references to notes in your codebase (github.com/stepchowfun)
1 point
curryhoward
8 years ago
1 comment
19.
Typical: Data interchange with algebraic data types (github.com/stepchowfun)
1 point
082349872349872
2 years ago
discuss
20.
LRU Eviction of Docker Images (github.com/stepchowfun)
1 point
agomez314
3 years ago
discuss
21.
Typical Rusty: Data interchange with algebraic data types (github.com/stepchowfun)
1 point
metadat
4 years ago
discuss