pull down to refresh

Vera Rubin's primary mirror gets its first reflective coatingwww.universetoday.com/166842/vera-rubins-primary-mirror-gets-its-first-reflective-coating/
60 sats \ 0 comments \ @hn 5 May 2024 tech
related
Peano arithmetic is enough, because Peano arithmetic encodes computationmath.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
Kimi K1.5: Scaling Reinforcement Learning with LLMsgithub.com/MoonshotAI/Kimi-k1.5
14 sats \ 0 comments \ @hn 21 Jan tech
Escaping the Chrome Sandbox Through DevToolsading.dev/blog/posts/chrome_sandbox_escape.html
109 sats \ 0 comments \ @hn 17 Oct 2024 tech
Expanding Racks [video]www.youtube.com/watch?v=iWknov3Xpts
10 sats \ 1 comment \ @hn 12 Jun tech
The long road to lazy preemption in the Linux CPU schedulerlwn.net/SubscriberLink/994322/45aa5211a50bc63a/
38 sats \ 0 comments \ @hn 19 Oct 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
Fonts for Complex Datawww.typography.com/blog/fonts-for-complex-data
21 sats \ 0 comments \ @hn 13 Apr 2024 tech
Why I Chose Common Lispblog.djhaskin.com/blog/why-i-chose-common-lisp/
105 sats \ 0 comments \ @hn 12 Jan tech
Rearchiving 2M hours of digital radio, a comprehensive processdigitalpreservation-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 allnewscenter.lbl.gov/2012/05/16/majorana-demonstrator/
337 sats \ 0 comments \ @hn 26 May 2024 tech
OpenMPTCProuter: Aggregate and encrypt multiple internet connections using MPTCPwww.openmptcprouter.com/
11 sats \ 0 comments \ @hn 23 Nov 2024 tech
Preserving a floppy disk with a logic analyzer and a serial cablewww.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 Brightnessjohnaustin.io/articles/2025/issues-with-cielab-and-perceptual-brightness
13 sats \ 0 comments \ @hn 17 Jan tech
Computing with Time: Microarchitectural Weird Machinescacm.acm.org/research-highlights/computing-with-time-microarchitectural-weird-machines/
11 sats \ 0 comments \ @hn 25 Nov 2024 tech
Continuous reinvention: A brief history of block storage at AWSwww.allthingsdistributed.com/2024/08/continuous-reinvention-a-brief-history-of-block-storage-at-aws.html
21 sats \ 0 comments \ @hn 22 Aug 2024 tech
Asking the Wrong Questionswww.ben-evans.com/benedictevans/2017/01/11/wrongquestions
404 sats \ 5 comments \ @hn 8 Sep 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
The Soul of an Old Machine: Revisiting the Timeless von Neumann Architectureankush.dev/p/neumann_architecture
84 sats \ 0 comments \ @hn 12 Nov 2024 tech
Vera C. Rubin Observatory first imagesrubinobservatory.org/news/rubin-first-look/cosmic-treasure-chest
10 sats \ 0 comments \ @hn 29 Jun tech