Signets
Signets
Tag cloud
Picture wall
Daily
RSS Feed
Login
Remember me
633
shaares
633
shaares
Filters
12 / 32
Links per page
20
50
100
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
Virtual Judge
computer-science/competition
December 5, 2020 12:36:09 AM GMT+01:00 * ·
permalink
·
https://vjudge.net/
SciTLDR
research/bibliography
December 3, 2020 08:31:39 PM GMT+01:00 * ·
permalink
·
https://scitldr.apps.allenai.org/
Anbox — Android in a Box
systems/containers
·
programming/android
December 3, 2020 01:09:29 PM GMT+01:00 * ·
permalink
·
https://anbox.io/
Advanced Counting Using the Principle of Inclusion/Exclusion
maths/combinatorics
December 2, 2020 11:32:06 AM GMT+01:00 * ·
permalink
·
http://discrete.openmathbooks.org/dmoi2/sec_advPIE.html
R1CH's Twitch Analyzer
media/streaming
·
tools
December 1, 2020 06:25:35 PM GMT+01:00 * ·
permalink
·
https://r-1.ch/analyzer/
Archifacile — Plan de maison et plan d'appartement
tools
November 29, 2020 01:47:07 PM GMT+01:00 * ·
permalink
·
https://www.archifacile.fr/
Filters
12 / 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
