@anon
sign up
@anon
sign up
pull down to refresh
Marshmallow Test Fails to Replicate
srcd.onlinelibrary.wiley.com/doi/10.1111/cdev.14129
461 sats
\
3 comments
\
@hn
2 Aug 2024
tech
related
The Lost Story of Alan Turing's "Delilah" Project
spectrum.ieee.org/alan-turings-delilah
30 sats
\
0 comments
\
@hn
4 Feb 2025
tech
Ada's Dependent Types, and Its Types as a Whole
nytpu.com/gemlog/2024-12-27
41 sats
\
0 comments
\
@hn
28 Dec 2024
tech
Matters Computational Ideas, Algorithms, Source Code – Jorg Arndt [pdf]
www.jjj.de/fxt/fxtbook.pdf
85 sats
\
0 comments
\
@hn
7 Mar 2025
tech
Kimi K1.5: Scaling Reinforcement Learning with LLMs
github.com/MoonshotAI/Kimi-k1.5
14 sats
\
0 comments
\
@hn
21 Jan 2025
tech
How a 64k intro is made (2017)
www.lofibucket.com/articles/64k_intro.html
10 sats
\
0 comments
\
@hn
20 May 2024
tech
The Department of Everything – Dispatches from the telephone reference desk
hedgehogreview.com/issues/the-varieties-of-travel-experience/articles/the-department-of-everything
42 sats
\
0 comments
\
@hn
14 Sep 2024
tech
Ghosts in the ROM (2012)
www.nycresistor.com/2012/08/21/ghosts-in-the-rom/
32 sats
\
0 comments
\
@hn
26 Jun 2024
tech
MuPDF WASM Viewer Demo
mupdf.com/wasm/demo/index.html?file=../../docs/mupdf_explored.pdf
42 sats
\
0 comments
\
@hn
20 Apr 2024
tech
Preserving a floppy disk with a logic analyzer and a serial cable
www.chzsoft.de/site/hardware/preserving-a-floppy-disk-with-a-logic-analyzer/
42 sats
\
0 comments
\
@hn
6 Jul 2024
tech
Filedb: Disk-based key-value store inspired by Bitcask
github.com/rajivharlalka/filedb
10 sats
\
0 comments
\
@hn
14 Jun 2025
tech
Machine-Assisted Proof by Terence Tao [pdf]
www.ams.org/notices/202501/rnoti-p6.pdf
172 sats
\
0 comments
\
@hn
28 Dec 2024
tech
Sunset Geometry (2016)
www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats
\
0 comments
\
@hn
15 Mar 2025
tech
Conway's Game of Life, in checkboxes for some reason
huth.me/checkbox-life/
51 sats
\
0 comments
\
@hn
28 Jun 2024
tech
Diátaxis – A systematic approach to technical documentation authoring
diataxis.fr/
17 sats
\
0 comments
\
@hn
5 Dec 2024
tech
Computing with Time: Microarchitectural Weird Machines
cacm.acm.org/research-highlights/computing-with-time-microarchitectural-weird-machines/
11 sats
\
0 comments
\
@hn
25 Nov 2024
tech
3D-Printed Active Electronics
news.mit.edu/2024/mit-team-takes-major-step-toward-fully-3d-printed-active-electronics-1015
14 sats
\
0 comments
\
@hn
21 Oct 2024
tech
Bitcoin Core 28 Tests (testmempoolaccept rejected but submitpackage accepted)
bitcoin.stackexchange.com/questions/124269/bitcoin-core-28-tests-testmempoolaccept-rejected-but-submitpackage-accepted
10 sats
\
0 comments
\
@Rsync25
17 Sep 2024
bitdevs
UBI - Tried, Tested And Failed As Expected
realinvestmentadvice.com/ubi-tried-tested-and-failed-as-expected/
1205 sats
\
8 comments
\
@siggy47
9 Aug 2024
econ
Testing Testing
93 sats
\
1 comment
\
@LOSTandUNFOUNDS
6 Aug 2024
nostr
c-lightning - Failed to replicate query: database disk image is malformed
bitcoin.stackexchange.com/questions/117146/c-lightning-failed-to-replicate-query-database-disk-image-is-malformed
10 sats
\
0 comments
\
@Rsync25
15 Aug 2024
lightning
NixOS Reproducible Builds: minimal ISO successfully independently rebuilt
discourse.nixos.org/t/nixos-reproducible-builds-minimal-installation-iso-successfully-independently-rebuilt/34756
93 sats
\
1 comment
\
@hn
29 Oct 2023
tech
more