Signets
Signets
Tag cloud
Picture wall
Daily
RSS Feed
Login
Remember me
619
shaares
619
shaares
Filters
17 / 31
Links per page
20
50
100
List of limits - Wikipedia
September 15, 2020 05:23:19 PM GMT+02:00 * ·
permalink
·
https://en.wikipedia.org/wiki/List_of_limits
asymptotics-cheatsheet.pdf
September 15, 2020 04:22:28 PM GMT+02:00 * ·
permalink
·
http://web.mit.edu/broder/Public/asymptotics-cheatsheet.pdf
Théorie des types dépendants et axiome d’univalence
maths/foundation
·
programming/proof
September 14, 2020 01:19:39 PM GMT+02:00 * ·
permalink
·
http://www.cse.chalmers.se/~coquand/paperbourbaki.pdf
jsCoq – The Coq Theorem Prover Online IDE
programming/proof
September 14, 2020 01:16:37 PM GMT+02:00 * ·
permalink
·
https://jscoq.github.io/scratchpad.html
Sorting Out Sorting
video
·
computer-science/complexity
September 14, 2020 12:36:29 PM GMT+02:00 * ·
permalink
·
https://www.youtube.com/watch?v=SJwEwA5gOkM
Univalent Mathematics · GitHub
September 14, 2020 11:37:47 AM GMT+02:00 * ·
permalink
·
https://github.com/UniMath
Analysis of Bloom filters with Coq
programming/proof
·
computer-science/probabilistic
September 14, 2020 11:32:49 AM GMT+02:00 * ·
permalink
·
https://gopiandcode.uk/logs/log-bloomfilters-debunked.html
Stalled!
urbanism
·
architecture
September 13, 2020 11:56:15 PM GMT+02:00 * ·
permalink
·
https://www.stalled.online/
Minitel: The Online World France Built Before the Web
technology/telcom
·
computer-science/history
September 11, 2020 11:51:13 AM GMT+02:00 * ·
permalink
·
https://spectrum.ieee.org/tech-history/cyberspace/minitel-the-online-world-france-built-before-the-web
Non-POSIX file systems
technology/filesystem
September 9, 2020 01:40:07 PM GMT+02:00 * ·
permalink
·
https://weinholt.se/articles/non-posix-filesystems/
Repology
foss/packaging
September 8, 2020 02:31:27 PM GMT+02:00 * ·
permalink
·
https://repology.org/
SPDX License list
foss
September 7, 2020 01:50:41 PM GMT+02:00 * ·
permalink
·
https://spdx.org/licenses/
Stockfish
chess/algorithmics
·
foss
September 5, 2020 09:10:24 PM GMT+02:00 * ·
permalink
·
https://stockfishchess.org/
Libreflip – opensource pageturning bookscanner
foss
·
technology/diy
·
books
September 3, 2020 11:40:13 PM GMT+02:00 * ·
permalink
·
https://libreflip.org/
SocialBlade — YouTube, Twitch, Twitter, & Instagram Statistics
September 3, 2020 11:22:10 PM GMT+02:00 * ·
permalink
·
https://socialblade.com/
On Modern Hardware the Min-Max Heap beats a Binary Heap
computer-science/data/structures
·
computer-science/complexity
September 3, 2020 01:40:34 AM GMT+02:00 * ·
permalink
·
https://probablydance.com/2020/08/31/on-modern-hardware-the-min-max-heap-beats-a-binary-heap/
I thought I would have accomplished a lot more today and also before I was 35
life
August 30, 2020 12:34:50 AM GMT+02:00 * ·
permalink
·
https://www.newyorker.com/humor/daily-shouts/i-thought-i-would-have-accomplished-a-lot-more-today-and-also-by-the-time-i-was-thirty-five
Reproducible Builds — a set of software development practices that create an independently-verifiable path from source to binary code
foss/packaging
August 29, 2020 03:34:04 PM GMT+02:00 * ·
permalink
·
https://reproducible-builds.org/
GitHub - alandefreitas/matplotplusplus: Matplot++: A C++ Graphics Library for Data Visualization 📊🗾
August 29, 2020 01:29:10 PM GMT+02:00 * ·
permalink
·
https://github.com/alandefreitas/matplotplusplus
The Linux Games Book
August 29, 2020 10:29:39 AM GMT+02:00 * ·
permalink
·
http://www.lebottindesjeuxlinux.tuxfamily.org/en/home-en/
Filters
17 / 31
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
