@anon
sign up
@anon
sign up
pull down to refresh
You should write an agent
fly.io/blog/everyone-write-an-agent/
0 sats
\
0 comments
\
@hn
9h
tech
related
Peano arithmetic is enough, because Peano arithmetic encodes computation
math.stackexchange.com/a/5075056/6708
10 sats
\
0 comments
\
@hn
14 Jun
tech
Sunset Geometry (2016)
www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats
\
0 comments
\
@hn
15 Mar
tech
Atari Means Business with the Mega ST
www.goto10retro.com/p/atari-means-business-with-the-mega
57 sats
\
0 comments
\
@hn
1 Jun
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
Testing the Z80 Chip with a 1970s Beauty
mtsi.substack.com/p/testing-the-z80-chip-with-a-1970s
31 sats
\
0 comments
\
@hn
11 Nov 2024
tech
Fonts for Complex Data
www.typography.com/blog/fonts-for-complex-data
21 sats
\
0 comments
\
@hn
13 Apr 2024
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
Nanolog supports logging with 7 ns median latency
github.com/PlatformLab/NanoLog
31 sats
\
0 comments
\
@hn
23 Aug 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
Insects rely on sounds made by distressed vegetation to guide reproduction
www.nytimes.com/2024/12/06/science/moths-hearing-plant-sounds.html
185 sats
\
0 comments
\
@hn
8 Dec 2024
tech
Understanding Memory Management, Part 2: C++ and RAII
educatedguesswork.org/posts/memory-management-2/
10 sats
\
0 comments
\
@hn
9 Mar
tech
Show HN: I made a git rebase TUI editor
github.com/NyuB/ocli
117 sats
\
0 comments
\
@hn
14 Oct 2024
tech
The Soul of an Old Machine: Revisiting the Timeless von Neumann Architecture
ankush.dev/p/neumann_architecture
84 sats
\
0 comments
\
@hn
12 Nov 2024
tech
JavaScript's New Superpower: Explicit Resource Management
v8.dev/features/explicit-resource-management
33 sats
\
0 comments
\
@hn
17 May
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
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
MuPDF WASM Viewer Demo
mupdf.com/wasm/demo/index.html?file=../../docs/mupdf_explored.pdf
42 sats
\
0 comments
\
@hn
20 Apr 2024
tech
8 months of OCaml after 8 years of Haskell in production (2023)
chshersh.com/blog/2023-12-16-8-months-of-ocaml-after-8-years-of-haskell.html
46 sats
\
0 comments
\
@hn
3 Dec 2024
tech
GE Aerospace Successfully Develops and Tests New Hypersonic Dual-Mode Ramjet
www.geaerospace.com/news/press-releases/ge-aerospace-successfully-develops-and-tests-new-hypersonic-dual-mode-ramjet
41 sats
\
0 comments
\
@hn
12 Jul 2024
tech
more