@anon
sign up
@anon
sign up
pull down to refresh
TfL's simple pop-up message led to a significant drop in paper ticket sales
www.ianvisits.co.uk/articles/how-tfls-simple-pop-up-message-led-to-a-significant-drop-in-paper-ticket-sales-71920/
0 sats
\
0 comments
\
@hn
29 Apr 2024
tech
related
Asbestosis
diamondgeezer.blogspot.com/2025/10/asbestosis.html
83 sats
\
0 comments
\
@hn
26 Oct
tech
Peano arithmetic is enough, because Peano arithmetic encodes computation
math.stackexchange.com/a/5075056/6708
10 sats
\
0 comments
\
@hn
14 Jun
tech
Why I Chose Common Lisp
blog.djhaskin.com/blog/why-i-chose-common-lisp/
105 sats
\
0 comments
\
@hn
12 Jan
tech
Matters Computational Ideas, Algorithms, Source Code – Jorg Arndt [pdf]
www.jjj.de/fxt/fxtbook.pdf
85 sats
\
0 comments
\
@hn
7 Mar
tech
OpenMPTCProuter: Aggregate and encrypt multiple internet connections using MPTCP
www.openmptcprouter.com/
11 sats
\
0 comments
\
@hn
23 Nov 2024
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
Ghosts in the ROM (2012)
www.nycresistor.com/2012/08/21/ghosts-in-the-rom/
32 sats
\
0 comments
\
@hn
26 Jun 2024
tech
Hunt for Red October 1990 (2016)
www.modelshipsinthecinema.com/2016/12/hunt-for-red-october-1990.html
46 sats
\
0 comments
\
@hn
10 Apr
tech
Conway's Game of Life, in checkboxes for some reason
huth.me/checkbox-life/
51 sats
\
0 comments
\
@hn
28 Jun 2024
tech
Making memcpy(NULL, NULL, 0) well-defined
developers.redhat.com/articles/2024/12/11/making-memcpynull-null-0-well-defined
25 sats
\
0 comments
\
@hn
11 Dec 2024
tech
PostmarketOS in 2025-02: MSM89x7 Audio, Modern Xiaomis in Community, New Name
postmarketos.org/blog/2025/03/04/pmOS-update-2025-02/
10 sats
\
0 comments
\
@hn
4 Mar
tech
Optimizing a WebGPU Kernel to 1TFLOP of Performance
zanussbaum.substack.com/p/optimizing-a-webgpu-matmul-kernel
21 sats
\
0 comments
\
@hn
11 Nov 2024
tech
No same site = None cookies for iOS18
github.com/WebKit/WebKit/pull/33164
31 sats
\
0 comments
\
@hn
20 Sep 2024
tech
A USB Interface to the "Mother of All Demos" Keyset
www.righto.com/2025/03/mother-of-all-demos-usb-keyset-interface.html
10 sats
\
0 comments
\
@hn
23 Mar
tech
Unsupervised Elicitation of Language Models
arxiv.org/abs/2506.10139
10 sats
\
0 comments
\
@hn
14 Jun
tech
Kimi K1.5: Scaling Reinforcement Learning with LLMs
github.com/MoonshotAI/Kimi-k1.5
14 sats
\
0 comments
\
@hn
21 Jan
tech
Monitor your security cameras with locally processed AI
frigate.video/
120 sats
\
0 comments
\
@hn
5 Aug
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
Continuous reinvention: A brief history of block storage at AWS
www.allthingsdistributed.com/2024/08/continuous-reinvention-a-brief-history-of-block-storage-at-aws.html
21 sats
\
0 comments
\
@hn
22 Aug 2024
tech
Show HN: Transductive regular expressions for text editing
github.com/c0stya/trre
9 sats
\
0 comments
\
@hn
7 Feb
tech
How a 64k intro is made (2017)
www.lofibucket.com/articles/64k_intro.html
10 sats
\
0 comments
\
@hn
20 May 2024
tech
more