Signets
Signets
Tag cloud
Picture wall
Daily
RSS Feed
Login
Remember me
626
shaares
626
shaares
Filters
11 / 32
Links per page
20
50
100
Catala
January 4, 2021 12:40:08 PM GMT+01:00 * ·
permalink
·
https://catala-lang.org/
OpenSCAD - The Programmers Solid 3D CAD Modeller
January 3, 2021 08:15:10 PM GMT+01:00 * ·
permalink
·
https://www.openscad.org/
GenBank Overview
January 3, 2021 08:12:34 PM GMT+01:00 * ·
permalink
·
https://www.ncbi.nlm.nih.gov/genbank/
Monstercat Gold
music/bed
December 30, 2020 12:14:41 PM GMT+01:00 * ·
permalink
·
https://www.monstercat.com/gold
Pretzel Rocks
music/bed
December 30, 2020 12:06:27 PM GMT+01:00 * ·
permalink
·
https://www.pretzel.rocks/
Chillhop Music
music/bed
December 30, 2020 12:05:16 PM GMT+01:00 * ·
permalink
·
https://chillhop.com/creators/
PQR66 — Unes du jour
tools/news
December 30, 2020 10:05:33 AM GMT+01:00 * ·
permalink
·
https://unes.spqr.fr/
planner: Task manager with Todoist support designed for GNU/Linux
December 29, 2020 09:19:11 PM GMT+01:00 * ·
permalink
·
https://github.com/alainm23/planner
Course Catalogue | The Theoretical Minimum
December 29, 2020 01:01:52 AM GMT+01:00 * ·
permalink
·
https://theoreticalminimum.com/courses
DNA seen through the eyes of a coder
biology/genetics
December 29, 2020 12:46:12 AM GMT+01:00 * ·
permalink
·
https://berthub.eu/amazing-dna/
Lean for the Curious Mathematician (2020)
programming/proof
·
maths/learn
December 28, 2020 12:56:27 PM GMT+01:00 * ·
permalink
·
https://leanprover-community.github.io/lftcm2020/schedule.html
The Map of Mathematics
maths/learn
·
maths/folklore
December 28, 2020 12:55:08 PM GMT+01:00 * ·
permalink
·
https://www.quantamagazine.org/the-map-of-mathematics-20200213/
List of lists of lists
general-knowledge
December 28, 2020 12:53:51 PM GMT+01:00 * ·
permalink
·
https://en.wikipedia.org/wiki/List_of_lists_of_lists
Lean — Theorem prover and proof assistant
programming/proof
December 28, 2020 12:32:39 PM GMT+01:00 * ·
permalink
·
https://leanprover-community.github.io/
Gadgetbridge — Replacement for gadget vendors’ closed source applications
foss/apps
December 26, 2020 04:55:33 PM GMT+01:00 * ·
permalink
·
https://codeberg.org/Freeyourgadget/Gadgetbridge
Reverse Engineering the Huawei Health Android App
programming/reverse-engineering
December 26, 2020 04:48:28 PM GMT+01:00 * ·
permalink
·
https://www.sba-research.org/wp-content/uploads/2019/04/easterhegg19.pdf
Apktool — Reverse-engineering Android apk files
programming/reverse-engineering
·
foss/apps
December 26, 2020 04:48:17 PM GMT+01:00 * ·
permalink
·
https://github.com/iBotPeaches/Apktool
The Busy Beaver Game Illuminates the Fundamental Limits of Math
computer-science/computability
December 19, 2020 12:56:08 AM GMT+01:00 * ·
permalink
·
https://www.quantamagazine.org/the-busy-beaver-game-illuminates-the-fundamental-limits-of-math-20201210/
systemd-networkd tutorial
systems/linux
December 13, 2020 09:05:18 PM GMT+01:00 * ·
permalink
·
https://insanity.industries/post/simple-networking/
Comprendre les paramètres en photographie
media/photography
December 13, 2020 06:43:27 PM GMT+01:00 * ·
permalink
·
https://zestedesavoir.com/billets/3537/comprendre-les-parametres-en-photographie/
Filters
11 / 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
