pull down to refresh

The SeL4 Microkernel: An Introduction [pdf]sel4.systems/About/seL4-whitepaper.pdf
10 sats \ 0 comments \ @hn 23 Mar tech
related
Peano arithmetic is enough, because Peano arithmetic encodes computationmath.stackexchange.com/a/5075056/6708
10 sats \ 0 comments \ @hn 14 Jun tech
Kimi K1.5: Scaling Reinforcement Learning with LLMsgithub.com/MoonshotAI/Kimi-k1.5
14 sats \ 0 comments \ @hn 21 Jan tech
OpenMPTCProuter: Aggregate and encrypt multiple internet connections using MPTCPwww.openmptcprouter.com/
11 sats \ 0 comments \ @hn 23 Nov 2024 tech
Sunset Geometry (2016)www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats \ 0 comments \ @hn 15 Mar tech
Making memcpy(NULL, NULL, 0) well-defineddevelopers.redhat.com/articles/2024/12/11/making-memcpynull-null-0-well-defined
25 sats \ 0 comments \ @hn 11 Dec 2024 tech
The TikTok Case Will Be Determined by What's Behind the Government's Black Lineswww.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
Understanding Memory Management, Part 2: C++ and RAIIeducatedguesswork.org/posts/memory-management-2/
10 sats \ 0 comments \ @hn 9 Mar tech
Intel's $475M error: the silicon behind the Pentium division bugwww.righto.com/2024/12/this-die-photo-of-pentium-shows.html
29 sats \ 0 comments \ @hn 28 Dec 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
Ghosts in the ROM (2012)www.nycresistor.com/2012/08/21/ghosts-in-the-rom/
21 sats \ 0 comments \ @hn 26 Jun 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
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
Conway's Game of Life, in checkboxes for some reasonhuth.me/checkbox-life/
51 sats \ 0 comments \ @hn 28 Jun 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
MicroPythonOS - The Ultimate MicroPython Operating Systemmicropythonos.com/
177 sats \ 4 comments \ @carter 14 Oct devs
Qwen2.5-VL-32B: Smarter and Lighterqwenlm.github.io/blog/qwen2.5-vl-32b/
10 sats \ 0 comments \ @hn 24 Mar tech
Lolli taps into Micro leverage with Mezoblog.lolli.com/welcome-to-the-owners-club-the-next-chapter-of-lolli-rewards/
61 sats \ 5 comments \ @BlokchainB 24 Oct bitcoin
AMD MicroBlaze V Processor: A Flexible and Efficient RISC-V Processorwww.xilinx.com/products/design-tools/microblaze-v.html
72 sats \ 2 comments \ @hn 4 Nov 2023 tech
Meet Willow, our state-of-the-art quantum chipblog.google/technology/research/google-willow-quantum-chip/
358 sats \ 4 comments \ @Rsync25 9 Dec 2024 tech
Microchips are the New Oilwww.youtube.com/watch?v=k_zz3239DA0&ab_channel=JohnnyHarris
10 sats \ 1 comment \ @zuspotirko 18 Jan 2023 bitcoin