Lament Configuration
source
log in
atomb/rupert: Some libraries for logical data structures and reasoning in Rust
https://github.com/atomb/rupert
rust
programming
2017-07-19
moltar
Mental models and human reasoning
http://www.pnas.org/content/107/43/18243.full
papers
2017-07-18
moltar
WaveFunctionCollapse is Constraint Solving in the Wild
https://adamsmith.as/papers/wfc_is_constraint_solving_in_the_wild.pdf
algorithms
constraint-solving
papers
art
2017-07-18
moltar
Induction for SMT Solvers
http://homepage.cs.uiowa.edu/~ajreynol/vmcai15.pdf
algorithms
papers
2017-07-18
moltar
BER MetaOCaml
http://okmij.org/ftp/ML/MetaOCaml.html
metaprogramming
ocaml
2017-06-12
moltar
Apocalypse World
http://www.apocalypse-world.com/
rpg
2017-06-10
moltar
Danish Rye Bread (Rugbrød) - The Daring Gourmet
http://www.daringgourmet.com/easy-danish-rye-bread-rugbrod/
food
2017-06-01
moltar
The DLX Processor
https://www.csee.umbc.edu/courses/undergraduate/411/spring96/dlx.html
computer
2017-05-31
moltar
A Soft Murmur
http://asoftmurmur.com/
music
2017-05-24
moltar
klystrack for dummies and slow people: tutorials
https://n00bstar.blogspot.ca/p/klystrack-tutorials.html
music
tracker
2017-05-23
moltar
hawkw/sos-kernel: The Stupid Operating System
https://github.com/hawkw/sos-kernel
rust
2017-05-22
moltar
Verified Functional Algorithms
http://www.cs.princeton.edu/~appel/vfa/
coq
2017-05-22
moltar
Bowyer–Watson algorithm - Wikipedia
https://en.m.wikipedia.org/wiki/Bowyer%E2%80%93Watson_algorithm
algorithms
2017-05-21
moltar
Chapter 27 Generalized rewriting
https://coq.inria.fr/distrib/current/refman/Reference-Manual030.html
coq
2017-05-20
moltar
Fostex FE103En DIY Bass Reflex Bookshelf Speakers / Nearfield Monitors
http://diyaudioprojects.com/Speakers/Fostex-FE103En-Bass-Reflex-Speakers/
speakers
2017-05-20
moltar
Get started | Learning Music (Beta)
https://learningmusic.ableton.com/
music
2017-05-16
moltar
klystrack - a chiptune tracker
https://kometbomb.github.io/klystrack/
tracker
2017-05-16
moltar
2d
algorithms
anime
arduino
art
audio
bazel
blog
books
bread
c
C++
c++
camera
cards
chat
chinese
communication
compilers
computer
constraint-solving
coq
craft
cranelift
crumpets
css
debugging
diy
ergonomic
food
fpga
gamedev
games
gcc
gems
graphics
hardware
haskell
house
jungle
keyboard
kids
kinesis
Knitting
l
/{
javascript
,
rust
}
lexer
linux
lldb
llvm
logic
ltl
machinelearning
math
metaprogramming
ml
movies
music
nix
ocaml
origami
palette
paper
papers
performance
pixela
pixelart
pizza
plotter
privacy
procedural-generation
programming
prolog
proof
proofs
python
Radio
rec
recipes
restaurants
roguelike
rpg
ruby
rust
scheme
search
security
slack
snow-chains
speakers
static-site
svg
synthesizer
tags
tensor
Tetris
tiles
tracker
tutorial
unreal
vaporwave
video
vim
wallet
web
wm
first
prev
next
last