Signets
Signets
Tag cloud
Picture wall
Daily
RSS Feed
Login
Remember me
619
shaares
619
shaares
Filters
11 / 31
Links per page
20
50
100
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/
Conspiracy Watch
tools/news
December 13, 2020 03:01:30 PM GMT+01:00 * ·
permalink
·
https://www.conspiracywatch.info/
Problem Topics
computer-science/competition
December 8, 2020 01:24:59 PM GMT+01:00 * ·
permalink
·
https://codeforces.com/blog/entry/55274
waifu2x — Image super-resolution tool
media/image-processing
December 7, 2020 04:28:31 PM GMT+01:00 * ·
permalink
·
http://waifu2x.udp.jp/
Défi Turing
computer-science/competition
December 6, 2020 09:53:37 PM GMT+01:00 * ·
permalink
·
https://apprendre-en-ligne.net/turing/index.php
Code Golf
computer-science/competition
December 6, 2020 07:21:32 PM GMT+01:00 * ·
permalink
·
https://code.golf/
OpenSubtitles
media/movies
December 5, 2020 09:54:34 PM GMT+01:00 * ·
permalink
·
https://www.opensubtitles.org/
Recommandations de livres de Jean-Christophe Filliâtre
books
December 5, 2020 07:08:03 PM GMT+01:00 * ·
permalink
·
https://backtracking.github.io/fr/2020/02/20/cs-books.html
Filters
11 / 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
