@anon
sign up
@anon
sign up
pull down to refresh
Plant CO2 uptake rises by nearly one third in new global estimates
www.ornl.gov/news/plant-co2-uptake-rises-nearly-one-third-new-global-estimates
81 sats
\
4 comments
\
@hn
14 Jan
tech
related
OpenMPTCProuter: Aggregate and encrypt multiple internet connections using MPTCP
www.openmptcprouter.com/
11 sats
\
0 comments
\
@hn
23 Nov 2024
tech
The TikTok Case Will Be Determined by What's Behind the Government's Black Lines
www.lawfaremedia.org/article/the-tiktok-case-will-be-determined-by-what-s-behind-the-government-s-black-lines
10 sats
\
0 comments
\
@hn
14 Aug 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
Do Skis Get Blunt?
brooker.co.za/misc-blog/2024/01/23/skis.html
10 sats
\
0 comments
\
@hn
8 Jul 2024
tech
People can read their manager's mind
yosefk.com/blog/people-can-read-their-managers-mind.html
146 sats
\
1 comment
\
@hn
6 Sep 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
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
Kimi K1.5: Scaling Reinforcement Learning with LLMs
github.com/MoonshotAI/Kimi-k1.5
14 sats
\
0 comments
\
@hn
21 Jan
tech
WireGuard Performance with a Pi Zero (2019)
oct8l.gitlab.io/posts/2019/140/wireguard-performance-with-a-pi-zero/
140 sats
\
0 comments
\
@hn
19 Oct 2024
tech
Atari Means Business with the Mega ST
www.goto10retro.com/p/atari-means-business-with-the-mega
46 sats
\
0 comments
\
@hn
1 Jun
tech
A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf]
www.usenix.org/system/files/conference/usenixsecurity25/sec25cycle1-prepub-595-linker.pdf
11 sats
\
0 comments
\
@hn
9 May
tech
Sunset Geometry (2016)
www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats
\
0 comments
\
@hn
15 Mar
tech
The Art of Lisp and Writing
www.dreamsongs.com/ArtOfLisp.html
10 sats
\
0 comments
\
@hn
15 Jun
tech
Ghosts in the ROM (2012)
www.nycresistor.com/2012/08/21/ghosts-in-the-rom/
21 sats
\
0 comments
\
@hn
26 Jun 2024
tech
Intel's $475M error: the silicon behind the Pentium division bug
www.righto.com/2024/12/this-die-photo-of-pentium-shows.html
29 sats
\
0 comments
\
@hn
28 Dec 2024
tech
Arthur Whitney's one liner sudoku solver
dfns.dyalog.com/n_sudoku.htm
270 sats
\
1 comment
\
@hn
6 Oct 2024
tech
Mox – modern, secure, all-in-one email server
www.xmox.nl/
10 sats
\
0 comments
\
@hn
5 Mar
tech
Conway's Game of Life, in checkboxes for some reason
huth.me/checkbox-life/
51 sats
\
0 comments
\
@hn
28 Jun 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
An n-ball Between n-balls
www.arnaldur.be/writing/about/an-n-ball-between-n-balls
20 sats
\
0 comments
\
@hn
9 Oct 2024
tech
more