@anon
sign up
@anon
sign up
pull down to refresh
"A Course of Pure Mathematics" – G. H. Hardy (1921) [pdf]
www.gutenberg.org/files/38769/38769-pdf.pdf
42 sats
\
0 comments
\
@hn
31 Dec 2024
tech
related
Machine-Assisted Proof by Terence Tao [pdf]
www.ams.org/notices/202501/rnoti-p6.pdf
172 sats
\
0 comments
\
@hn
28 Dec 2024
tech
Vera Rubin's primary mirror gets its first reflective coating
www.universetoday.com/166842/vera-rubins-primary-mirror-gets-its-first-reflective-coating/
60 sats
\
0 comments
\
@hn
5 May 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
ThreadPlotter – toolkit for punch needle embroidery with X-Y plotters (2020)
github.com/LiciaHe/threadPlotter
21 sats
\
0 comments
\
@hn
16 Aug 2024
tech
Sunset Geometry (2016)
www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats
\
0 comments
\
@hn
15 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
Expanding Racks [video]
www.youtube.com/watch?v=iWknov3Xpts
10 sats
\
1 comment
\
@hn
12 Jun 2025
tech
Filedb: Disk-based key-value store inspired by Bitcask
github.com/rajivharlalka/filedb
10 sats
\
0 comments
\
@hn
14 Jun 2025
tech
Fonts for Complex Data
www.typography.com/blog/fonts-for-complex-data
21 sats
\
0 comments
\
@hn
13 Apr 2024
tech
Rearchiving 2M hours of digital radio, a comprehensive process
digitalpreservation-blog.nb.no/blog/2024-08-28-rearchiving-2-million-hours-of-digital-radio/
21 sats
\
0 comments
\
@hn
30 Aug 2024
tech
Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution?
aartaka.me/lambda-0
21 sats
\
0 comments
\
@hn
10 Nov 2024
tech
Majorana, the search for the most elusive neutrino of all
newscenter.lbl.gov/2012/05/16/majorana-demonstrator/
337 sats
\
0 comments
\
@hn
26 May 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
Issues with Color Spaces and Perceptual Brightness
johnaustin.io/articles/2025/issues-with-cielab-and-perceptual-brightness
13 sats
\
0 comments
\
@hn
17 Jan 2025
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
Atari Means Business with the Mega ST
www.goto10retro.com/p/atari-means-business-with-the-mega
57 sats
\
0 comments
\
@hn
1 Jun 2025
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
Diátaxis – A systematic approach to technical documentation authoring
diataxis.fr/
17 sats
\
0 comments
\
@hn
5 Dec 2024
tech
2D Rigid Body Collision Resolution
www.sassnow.ski/rigid-body-collisions/1
32 sats
\
0 comments
\
@hn
24 May 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
The Wild and Contentious History of Mathematical Symbols
www.scientificamerican.com/article/mathematical-symbols-wild-history-explained/
527 sats
\
0 comments
\
@IamSINGLE
7 Feb 2025
science
more