@anon
sign up
@anon
sign up
pull down to refresh
Bill Atkinson's Psychedelic User Interface
patternproject.substack.com/p/from-the-mac-to-the-mystical-bill
57 sats
\
0 comments
\
@hn
11 Jul
tech
related
OpenMPTCProuter: Aggregate and encrypt multiple internet connections using MPTCP
www.openmptcprouter.com/
11 sats
\
0 comments
\
@hn
23 Nov 2024
tech
Kimi K1.5: Scaling Reinforcement Learning with LLMs
github.com/MoonshotAI/Kimi-k1.5
14 sats
\
0 comments
\
@hn
21 Jan
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
From Pegasus to Predator – The evolution of commercial spyware on iOS [video]
media.ccc.de/v/38c3-from-pegasus-to-predator-the-evolution-of-commercial-spyware-on-ios
11 sats
\
0 comments
\
@hn
30 Dec 2024
tech
How a 64k intro is made (2017)
www.lofibucket.com/articles/64k_intro.html
10 sats
\
0 comments
\
@hn
20 May 2024
tech
Escaping the Chrome Sandbox Through DevTools
ading.dev/blog/posts/chrome_sandbox_escape.html
109 sats
\
0 comments
\
@hn
17 Oct 2024
tech
Sunset Geometry (2016)
www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats
\
0 comments
\
@hn
15 Mar
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
Peano arithmetic is enough, because Peano arithmetic encodes computation
math.stackexchange.com/a/5075056/6708
10 sats
\
0 comments
\
@hn
14 Jun
tech
Unsupervised Elicitation of Language Models
arxiv.org/abs/2506.10139
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
Arthur Whitney's one liner sudoku solver
dfns.dyalog.com/n_sudoku.htm
270 sats
\
1 comment
\
@hn
6 Oct 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
Expanding Racks [video]
www.youtube.com/watch?v=iWknov3Xpts
10 sats
\
1 comment
\
@hn
12 Jun
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
Brew-Nix: a flake automatically packaging all homebrew casks
discourse.nixos.org/t/brew-nix-a-flake-automatically-packaging-all-homebrew-casks/44880
52 sats
\
0 comments
\
@hn
14 Jun 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
Measuring Acceleration Structures
zeux.io/2025/03/31/measuring-acceleration-structures/
10 sats
\
0 comments
\
@hn
2 Apr
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
D-ID Creative Reality™️ - Defining the Evolution of Interfaces.
www.d-id.com
40 sats
\
2 comments
\
@deSign_r
20 Sep 2024
Design
The Daylight Tablet Returns Computing to Its Hippie Ideals
www.wired.com/story/daylight-tablet-computing-hippie-ideals/
404 sats
\
9 comments
\
@siggy47
13 Jun 2024
tech
freebie
more