Tootfinder

from my link log —
Lambda calculus diagrams.
https://tromp.github.io/cl/diagrams.html
saved 2020-10-04 https://dotat.at/:/5LRAR.html

from my link log —
yubikey-agent: a seamless ssh-agent for YubiKeys.
https://github.com/FiloSottile/yubikey-agent
saved 2020-07-08 https://

GitHub - FiloSottile/yubikey-agent: yubikey-agent is a seamless ssh-agent for YubiKeys.
yubikey-agent is a seamless ssh-agent for YubiKeys. - FiloSottile/yubikey-agent

from my link log —
Symbolic execution with SymCC: don't interpret, compile!
http://www.s3.eurecom.fr/tools/symbolic_execution/symcc.html
saved 2020-07-08

from my link log —
Meritocracy is not only false, it's bad for you.
https://press.princeton.edu/ideas/a-belief-in-meritocracy-is-not-only-false-its-bad-for-you
saved 2020-07-24

A belief in meritocracy is not only false: it’s bad for you
Meritocracy has become a leading social ideal. Politicians across the ideological spectrum continually return to the theme that the rewards of life—money, power, jobs, university admission—should be distributed according to skill and effort.

Bats Around our Home aka 16WW (2020) - Learn how I became active observing and recording the various local bats... - https://www.earth.org.uk/bats-at-16WW-1.html

Bats Around our Home aka 16WW (2020)
Learn how I became active observing and recording the various local bats...

from my link log —
The Eisel-Lemire string to double precision floating point conversion algorithm.
https://nigeltao.github.io/blog/2020/eisel-lemire.html
saved 2020-10-08

Installed @… on my OG 2020 M1 Air 8GB and it's like a brand new computer. I love it.

from my link log —
FPGA softcore SoC shootout.
https://justanotherelectronicsblog.com/?p=705
saved 2020-07-09 https://dotat.at/:/6…

FPGA Softcore SoC shootout - jaeblog
Often it can be very handy to have a CPU in an FPGA. Though some are sold with an integrated CPU, most are not. A popular option is to use a so called Softcore CPU, a CPU that is implemented in the FPGA’s logic. I decided to have a look at a few popular and […]

Jährlicher Zubau und Rückbau von #Balkonsolarleistung in Deutschland mit Stand vom 29.06.2026.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der #Steckersolaranlage ersetzt.
👉 Zusatzlesestoff:

Things that didn't make it into the #DectNRPlus slides for @… summit: making light fun of ITU's naming for the radio standards of the decade.
No wonder 3G, 4G and 5G won the race for catchiness.

from my link log —
Mlang: a modern compiler for the French tax code.
https://arxiv.org/abs/2011.07966
saved 2020-11-25 https://dotat.at/:/CF7C7.html

A Modern Compiler for the French Tax Code
In France, income tax is computed from taxpayers' individual returns, using an algorithm that is authored, designed and maintained by the French Public Finances Directorate (DGFiP). This algorithm relies on a legacy custom language and compiler originally designed in 1990, which unlike French wine, did not age well with time. Owing to the shortcomings of the input language and the technical limitations of the compiler, the algorithm is proving harder and harder to maintain, relying on ad-hoc be…

Ich hab ein Video gestern gesehen, wo es um die Domain afd-aichbach,de ging. Diese möchte die AfD gerne haben. Und hat nun den Besitzer von der Domain verklagt, der Besitzer ist ein Freund von dem Youtuber Hey Wolfi.
Das ganze fing schon im jahr 2020 an, das was da abgeht, ist echt komisch.
Jedenfalls haben die wohl einen guten Anwalt und sie wollen durch alle Instanzen gehen, bis zum bitteren Ende ..
hoffe das beste, damit diese braune gezocks die Domain nicht bekommt ;D…

mist: MIST protein interaction database (2020)
The Molecular Interaction Search Tool (MIST) is a comprehensive resource of molecular interactions, assembled from severla primary sources. MIST currently supports several species, including:.
This network has 7272 nodes and 165705 edges.
Tags: Biological, Protein interactions, Unweighted
…

from my link log —
On modern hardware the min-max heap beats a binary heap.
https://probablydance.com/2020/08/31/on-modern-hardware-the-min-max-heap-beats-a-binary-heap/
saved 2020-09-02

On Modern Hardware the Min-Max Heap beats a Binary Heap
The heap is a data structure that I use all the time and that others somehow use rarely. (I once had a coworker tell me that he knew some code was mine because it used a heap) Recently I was writin…

Samuel Donoso, el otro protagonista del caso Hermosilla: pagos en efectivo desde La Moneda e interferencia en 17 nombramientos judiciales
https://reportea.cl/2026/08/26/samuel-

from my link log —
Zig programming language 0.6.0 release notes.
https://ziglang.org/download/0.6.0/release-notes.html
saved 2020-04-14 https://…

Dem James Talarico called capitalism 'oppressive system' that should be dismantled in 2020 forum (Ryan King/New York Post)
https://nypost.com/2026/09/01/us-news/democrat-james-talarico-called-capitalism-oppressive-system-that-should-be-dismantled-in-2020-forum/
http://www.memeorandum.com/260902/p65#a260902p65

from my link log —
Should I block ICMP?
http://shouldiblockicmp.com/
saved 2020-07-27 https://dotat.at/:/V8TTL.html…

from my link log —
Oilpan: high-performance garbage collection for C in V8.
https://v8.dev/blog/high-performance-cpp-gc
saved 2020-06-23 https://…

from my link log —
Unicode security considerations.
https://unicode.org/reports/tr36/
saved 2020-06-11 https://dotat.at/:/WM82N.html

from my link log —
What science can tell us about C and C 's security.
https://alexgaynor.net/2020/may/27/science-on-memory-unsafety-and-security/
saved 2020-05-28

from my link log —
ips4o: in-place parallel superscalar samplesort.
https://github.com/SaschaWitt/ips4o
saved 2020-10-19 https://dotat.at/:/38VTJ.ht…

from my link log —
libsixel: DEC terminal graphics.
https://saitoha.github.io/libsixel/
saved 2020-10-14 https://dotat.at/:/26P2V.html

from my link log —
Examining ARM vs x86 memory models with Rust.
https://www.nickwilcox.com/blog/arm_vs_x86_memory_model/
saved 2020-06-27 ht…

from my link log —
Oklab: A perceptual color space for image processing.
https://bottosson.github.io/posts/oklab/
saved 2020-12-27 https://

from my link log —
A documentation system: tutorials / howtos / reference / explanation.
https://documentation.divio.com/
saved 2020-08-20 https://dota…

About | Divio Documentation
Find the software documentation system for Divio. Includes comprehensive tutorials, how-to guides, technical reference and explanation. Learn more here.

from my link log —
Verona: a research programming language for concurrent ownership.
https://github.com/microsoft/verona
saved 2020-10-28 https://do…

GitHub - microsoft/verona: Research programming language for concurrent ownership
Research programming language for concurrent ownership - microsoft/verona

from my link log —
Land of monopolists: private equity 'roll-ups' hit virtually everything.
https://mattstoller.substack.com/p/a-land-of-monopolists-from-portable
saved 2020-07-12

from my link log —
Green's dictionary of slang.
https://greensdictofslang.com/
saved 2020-03-09 https://dotat.at/:/5ER2G.html

from my link log —
How sustainable is a solar powered website?
https://www.lowtechmagazine.com/2020/01/how-sustainable-is-a-solar-powered-website.html
saved 2020-02-15

How Sustainable is a Solar Powered Website?
We present our website’s energy and uptime data, calculate the embodied energy of our configuration, consider the optimal balance between sustainability and server uptime, and outline possible improvements.

from my link log —
Cryptographic signatures, surprising pitfalls, and ACME / Let's Encrypt.
https://www.cryptologie.net/article/495/cryptographic-signatures-surprising-pitfalls-and-letsencrypt/
saved 2020-03-09 …

from my link log —
Don't Panic! Better, fewer, syntax errors for LR parsers.
https://soft-dev.org/pubs/html/diekmann_tratt__dont_panic/
saved 2020-07-07

from my link log —
Failover replication slots for PostgreSQL.
https://www.2ndquadrant.com/en/blog/failover-slots-for-postgresql/
saved 2020-06-08

EDB Home - EDB Postgres AI
Experience zero data sprawl and fully repatriated EDB Postgres with AI, handling over 30B+ trades a day on a 50 TB scale.

from my link log —
Loko Scheme: an optimizing R6RS Scheme compiler.
https://scheme.fail/
saved 2020-09-09 https://dotat.at/:/E73QF.html

from my link log —
Why don't we just ban targeted advertising?
https://www.wired.com/story/why-dont-we-just-ban-targeted-advertising/
saved 2020-03-23

Why Don’t We Just Ban Targeted Advertising?
From protecting privacy to saving the free press, it may be the single best way to fix the internet.

from my link log —
The pain points of Haskell: a practical summary.
https://dixonary.co.uk/blog/haskell/pain/
saved 2020-06-08 https://

The Pain Points of Haskell: A Practical Summary

from my link log —
StrictYAML.
https://hitchdev.com/strictyaml/
saved 2020-10-23 https://dotat.at/:/2EB48.html