Seb's Blog
Blog Posts
Trying to use the sumor type, (Coq development) …
Programming Decisions with Coq's Sumbools
➣ Date: Wed, 31 Aug 2011 09:59:59 +0200.
➣ Tags: [ocaml; coq].
A dissected Coq development with some experiments about the sumbool type …
A discussion about learning Coq for programming purposes (with OCaml extraction) and a first dissected Coq development investigating “subsets” (the sig type) …
Back From IFIP SEC 2011
➣ Date: Thu, 16 Jun 2011 14:45:32 +0200.
➣ Tags: [ocaml; security; research].
Quick And Dirty Web-Slides
➣ Date: Mon, 13 Jun 2011 15:16:47 +0200.
➣ Tags: [hack_of_the_day; pdf].
Vim-like Leader Keys In Emacs
➣ Date: Wed, 04 May 2011 13:18:02 +0200.
➣ Tags: [hack_of_the_day; emacs].
Taking (MIDI) Notes With Your Guitar
➣ Date: Fri, 29 Apr 2011 11:34:41 +0200.
➣ Tags: [hack_of_the_day; linux-audio].
Style Guides
➣ Date: Wed, 27 Apr 2011 18:15:11 +0200.
➣ Tags: [typography].
Third Post; New Blog Engine
➣ Date: Tue, 26 Apr 2011 09:28:20 +0200.
➣ Tags: [ocaml; meta; dibrawi].
Anyweb, Document Source Code The Way You Like
➣ Date: Tue, 19 Apr 2011 21:26:42 +0200.
➣ Tags: [hack_of_the_day; anyweb; coq; ocaml].
Hack Of The Day: PDF Versions And Printers
➣ Date: Mon, 18 Apr 2011 15:25:42 +0200.
➣ Tags: [hack_of_the_day; pdf; printers].
Feeds
RSS 2.0:
- all posts
- Tag printers
- Tag anyweb
- Tag meta
- Tag dibrawi
- Tag typography
- Tag linux-audio
- Tag emacs
- Tag hack_of_the_day
- Tag pdf
- Tag security
- Tag research
- Tag ocaml
- Tag coq
