Signets
Signets
Tag cloud
Picture wall
Daily
RSS Feed
Login
Remember me
626
shaares
626
shaares
Filters
1 / 32
Links per page
20
50
100
Type Inference Playground
maths/types
·
programming/proof
December 9, 2025 07:45:29 PM GMT+01:00 * ·
permalink
·
https://typ.how/
Peter Elbow: Writing Without Teachers
books
·
writing/meta
December 9, 2025 07:28:08 PM GMT+01:00 * ·
permalink
·
https://peterelbow.com/writing_without_teachers.html
Natural deduction proof editor and checker
maths/logic
December 5, 2025 08:11:26 PM GMT+01:00 * ·
permalink
·
https://proofs.openlogicproject.org/
Earley Parsing Explained
computer-science/languages
November 30, 2025 06:14:58 AM GMT+01:00 * ·
permalink
·
https://loup-vaillant.fr/tutorials/earley-parsing/
Lambda calculus series (Ben Lynn)
computer-science/languages
November 25, 2025 04:06:50 PM GMT+01:00 * ·
permalink
·
https://crypto.stanford.edu/~blynn/lambda/
λab — Lambda lab
computer-science/languages
November 24, 2025 11:49:45 PM GMT+01:00 * ·
permalink
·
https://capra.cs.cornell.edu/lambdalab/
Timeline of computer science
computer-science
·
history
September 12, 2025 09:08:17 PM GMT+02:00 * ·
permalink
·
https://scottaaronson.blog/?p=524
I/Q Data for Dummies
radio/sdr
July 30, 2025 07:00:34 PM GMT+02:00 * ·
permalink
·
http://whiteboard.ping.se/SDR/IQ
Namespace lookup for RDF developers
ontologies
July 26, 2025 08:54:44 PM GMT+02:00 * ·
permalink
·
https://prefix.cc/
Ontopea
ontologies
July 25, 2025 10:33:25 PM GMT+02:00 * ·
permalink
·
https://ontopea.com/
Nonelementary problem
computer-science/complexity
July 16, 2025 10:08:45 PM GMT+02:00 * ·
permalink
·
https://en.wikipedia.org/wiki/Nonelementary_problem
Learn you Galois Fields for Great Good
maths/algebra
July 1, 2025 06:33:46 AM GMT+02:00 * ·
permalink
·
https://xorvoid.com/galois_fields_for_great_good_00.html
Brzozowski derivative
computer-science/formal-languages
July 1, 2025 06:18:19 AM GMT+02:00 * ·
permalink
·
https://en.wikipedia.org/wiki/Brzozowski_derivative
If the Moon Were Only 1 Pixel — A tediously accurate map of the solar system
maps/space
June 13, 2025 07:24:26 PM GMT+02:00 * ·
permalink
·
https://joshworth.com/dev/pixelspace/pixelspace_solarsystem.html
Dercuano — Notes on computing
computer-science
June 11, 2025 05:23:37 PM GMT+02:00 * ·
permalink
·
https://dercuano.github.io/
Toki Pona Cheatsheet
language/conlang/esperanto
May 31, 2025 11:48:59 PM GMT+02:00 * ·
permalink
·
https://blinry.org/toki-pona-cheat-sheet/toki-pona-cheat-sheet.pdf
Nextstrain
biology/phylogeny
February 24, 2025 10:09:00 PM GMT+01:00 * ·
permalink
·
https://nextstrain.org/
Lifemap
biology/phylogeny
February 24, 2025 09:16:25 PM GMT+01:00 * ·
permalink
·
https://lifemap.cnrs.fr
Grammophone: Context-Free Grammar Simulator
computer-science/formal-languages
October 26, 2024 08:41:00 PM GMT+02:00 * ·
permalink
·
https://mdaines.github.io/grammophone/#/
Regular Expression and Finite-State Automaton Simulator
computer-science/formal-languages
October 26, 2024 08:40:25 PM GMT+02:00 * ·
permalink
·
https://ivanzuzak.info/noam/webapps/fsm_simulator/
Filters
1 / 32
Links per page
20
50
100
Fold
Fold all
Expand
Expand all
Are you sure you want to delete this link?
Are you sure you want to delete this tag?
The personal, minimalist, super fast, database-free, bookmarking service by the Shaarli community
