Newest Stories by lthms | Lobsters

10

Modular Verification of Programs with Effects and Effect Handlers in Coq ☶ pdf formalmethods hardware security hal.inria.fr
authored by lthms 1 month ago | cached | no comments

0
10

My Lisp Journey #1: Getting Started With trivial-gamekit games lisp lthms.xyz
authored by lthms 2 months ago | cached | 9 comments

9
16

Extensible, Type-Safe Error Handling In Haskell haskell lthms.xyz
authored by lthms 6 months ago | cached | 1 comment

1
5

Redesigning Haskell docs design haskell nunoalexandre.com
via lthms 6 months ago | cached | no comments

0
23

RIO: A standard library for Haskell ☶ haskell github.com
via lthms 7 months ago | cached | 9 comments

9
33

Nord: an arctic, north-bluish color palette design github.com
via lthms 7 months ago | cached | 7 comments

7
13

Coq Ltac 101 formalmethods ml lthms.xyz
authored by lthms 10 months ago | cached | 2 comments

2
2

Writing Parsers Like it is 2017 pdf rust security spw17.langsec.org
via lthms 1 year ago | cached | no comments

0
26

Rewriting in Coq formalmethods math lthms.xyz
authored by lthms 1 year ago | cached | 5 comments

5
17

Pijul 0.4, Improvements and breaking changes rust vcs pijul.org
via lthms 1 year ago | cached | 3 comments

3
27

Pijul 0.3, our first public release! Featuring nest.pijul.com rust vcs pijul.org
via lthms 1 year ago | cached | 20 comments

20
1

Software Grand Exposure: SGX Cache Attacks Are Practical pdf hardware security arxiv.org
via lthms 1 year ago | cached | no comments

0
10

Introducing PureScript Erlang backend erlang haskell nwolverson.uk
via lthms 1 year ago | cached | 3 comments

3
11

Constraint Kinds haskell kseo.github.io
via lthms 1 year ago | cached | 2 comments

2
11

Playing Around With Program and Dependent Types ☶ ml leth.io
authored by lthms 1 year ago | cached | 4 comments

4