Newest Stories by NinjaTrappeur | Lobsters

2

Picnic: put containers into a backpack haskell kowainik.github.io
via NinjaTrappeur 7 days ago | cached | no comments

0
8

Sending your First Webmention from Scratch web aaronparecki.com
via NinjaTrappeur 1 month ago | cached | 2 comments

2
13

Dark theme in a day design web medium.com
via NinjaTrappeur 3 months ago | cached | no comments

0
12

The Lambda Calculus: Practice and Principle ☶ pdf plt satire homepages.inf.ed.ac.uk
via NinjaTrappeur 3 months ago | cached | 1 comment

1
3

The Const Applicative and Monoids haskell plt blog.jle.im
via NinjaTrappeur 3 months ago | cached | no comments

0
15

GNU Readline unix en.wikipedia.org
via NinjaTrappeur 3 months ago | cached | 25 comments

25
2

Follow the Denotation haskell plt reasonablypolymorphic.com
via NinjaTrappeur 3 months ago | cached | no comments

0
10

Tor Hidden (Onion) Services Best Practices devops security riseup.net
via NinjaTrappeur 3 months ago | cached | 4 comments

4
5

Funflow: typed resumable workflows haskell tweag.io
via NinjaTrappeur 4 months ago | cached | no comments

0
8

Program Reduction: A Win for Recursion Schemes haskell plt newartisans.com
via NinjaTrappeur 4 months ago | cached | 4 comments

4
7

Type safe records as an excuse to learn type level programming in Haskell haskell rcalsaverini.github.io
via NinjaTrappeur 4 months ago | cached | 1 comment

1
31

Higher-Kinded Data haskell programming reasonablypolymorphic.com
via NinjaTrappeur 4 months ago | cached | 3 comments

3
14

Idris: Type safe printf ☶ video plt youtube.com
via NinjaTrappeur 4 months ago | cached | 8 comments

8
8

Stackage to Nix haskell blog.typeable.io
via NinjaTrappeur 4 months ago | cached | no comments

0
6

Open source sabbatical = awesome culture jvns.ca
via NinjaTrappeur 5 months ago | cached | no comments

0
8

Type-level Unit Testing in Haskell haskell testing jship.github.io
via NinjaTrappeur 5 months ago | cached | no comments

0
12

Evaluation - Write you a Haskell compilers haskell dev.stephendiehl.com
via NinjaTrappeur 5 months ago | cached | 7 comments

7
16

A short tale of a read overflow c debugging antirez.com
via NinjaTrappeur 6 months ago | cached | no comments

0
77

Please, Keep your Blog Light web alternativebit.fr
authored by NinjaTrappeur 7 months ago | cached | 44 comments

44
3

A Cryptographic Analysis of the WireGuard Protocol pdf formalmethods eprint.iacr.org
via NinjaTrappeur 7 months ago | cached | 1 comment

1
8

Introduction to Singletons haskell programming blog.jle.im
via NinjaTrappeur 7 months ago | cached | no comments

0
1

The Earth is Flat science bartoszmilewski.com
via NinjaTrappeur 7 months ago | cached | 2 comments

2
13

Rust in 2018 rust manishearth.github.io
via NinjaTrappeur 7 months ago | cached | 8 comments

8
24

What Makes Haskell Unique haskell programming snoyman.com
via NinjaTrappeur 8 months ago | cached | 5 comments

5
13

An epic treatise on scheduling, bug tracking, and triage practices apenwarr.ca
via NinjaTrappeur 8 months ago | cached | no comments

0