Signets
Signets
Tag cloud
Picture wall
Daily
RSS Feed
Login
Remember me
626
shaares
626
shaares
Filters
4 / 32
Links per page
20
50
100
Earliest Uses of Symbols of Set Theory and Logic
maths/history
September 11, 2022 05:27:23 AM GMT+02:00 * ·
permalink
·
https://mathshistory.st-andrews.ac.uk/Miller/mathsym/set/
Algebraic Dynamic Programming Course
computer-science
August 31, 2022 10:52:36 PM GMT+02:00 * ·
permalink
·
https://bibiserv.cebitec.uni-bielefeld.de/cgi-bin/dpcourse
How to write a 21ˢᵗ century proof
programming/proof
August 31, 2022 08:54:56 PM GMT+02:00 * ·
permalink
·
https://www.microsoft.com/en-us/research/uploads/prod/2016/12/How-to-Write-a-21st-Century-Proof.pdf
The Myers Difference Algorithm
August 25, 2022 09:20:16 PM GMT+02:00 * ·
permalink
·
https://www.nathaniel.ai/myers-diff/
Do regex dream of Turing Completeness? — Daniel Magliola
computer-science/esoteric
August 14, 2022 01:44:56 AM GMT+02:00 * ·
permalink
·
https://www.youtube.com/watch?v=TImfEidPo-o
A proof that Unix utility sed is Turing complete
computer-science/esoteric
August 14, 2022 01:43:28 AM GMT+02:00 * ·
permalink
·
https://catonmat.net/proof-that-sed-is-turing-complete
Turing machine visualization
computer-science/computability
August 14, 2022 01:30:41 AM GMT+02:00 * ·
permalink
·
https://turingmachine.io/
BBBike — Cycle Route Planner
maps
July 31, 2022 06:08:46 PM GMT+02:00 * ·
permalink
·
https://www.bbbike.org/
Knuth: Diamond Signs
July 30, 2022 06:13:16 AM GMT+02:00 * ·
permalink
·
https://www-cs-faculty.stanford.edu/~knuth/diamondsigns/diam.html
Polya explains the problem solving technique
video
July 14, 2022 08:57:26 PM GMT+02:00 * ·
permalink
·
https://www.youtube.com/watch?v=h0gbw-Ur_do
Billiard Ball Computer
computer-science/cellular-automata
·
computer-science/quantum
July 11, 2022 10:26:30 PM GMT+02:00 * ·
permalink
·
http://jameslin.name/bball/tutorial/
Open Infrastructure Map
maps
July 3, 2022 08:25:27 PM GMT+02:00 * ·
permalink
·
https://openinframap.org
Carte détaillée du métro de montréal (voies, ateliers)
maps/transit
June 30, 2022 04:42:45 PM GMT+02:00 * ·
permalink
·
https://cartometro.com/cartes/metro-montreal/
Vues aériennes de l’île de Montréal (1947–1949)
history
June 30, 2022 03:48:20 PM GMT+02:00 * ·
permalink
·
https://donnees.montreal.ca/ville-de-montreal/vues-aeriennes-archives
Plan des voies du métro de Montréal (2007)
maps/transit
June 30, 2022 03:30:46 PM GMT+02:00 * ·
permalink
·
https://www.nycsubway.org/wiki/Montreal_Metro_Track_Map
Topologie du métro de Montréal (2010)
maps/transit
June 30, 2022 03:29:45 PM GMT+02:00 * ·
permalink
·
http://emdx.org/rail/metro/PlanReseauMetroMontreal.pdf
Stations and interchanges
maps
June 12, 2022 05:05:30 AM GMT+02:00 * ·
permalink
·
http://estacions.albertguillaumes.cat
The Mathematics Genealogy Project
research/bibliography
May 11, 2022 04:08:06 AM GMT+02:00 * ·
permalink
·
https://www.mathgenealogy.org/
Tupper's Self-Referential Formula Playground
maths/logic/self-reference
May 11, 2022 02:37:47 AM GMT+02:00 * ·
permalink
·
https://keelyhill.github.io/tuppers-formula/
Eight Colors
games/web
April 9, 2022 02:17:19 AM GMT+02:00 * ·
permalink
·
https://eightcolors.net
Filters
4 / 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
