Inequities in tree density, size, and species diversity in 32 Canadian cities
nature.com·10h·
Discuss: Hacker News
🏹Effect Systems
Easy dynamic dispatch using GLIBC Hardware Capabilities
kvr.at·2d·
Discuss: Lobsters, Hacker News, r/programming
📦Unikernel Systems
Modern async iteration in JavaScript with Array.fromAsync()
allthingssmitty.com·12h·
Discuss: Hacker News
🔄Finite State Machines
M.2 SSD Can Self-Destruct by Giving Itself a Burst of Voltage
uk.pcmag.com·6h·
Discuss: Hacker News
💾Retro Computing
Show HN: CoverPaste – A simple cover letter generator
app.coverpaste.com·12h·
Discuss: Hacker News
✓Automated Theorem Proving
Seedance AI Video Generator
seedancehub.com·11h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Updating an old Ubuntu to a supported version
anonymoushash.vmbrasseur.com·4d·
Discuss: Hacker News
🔬Unikernels
A deep dive into deeply recursive Go
mattermost.com·3d·
Discuss: Hacker News
🔠Type-Level Programming
Generating Almost Equally-Spaced Points Along a Parabola
arjuns07.github.io·1d·
Discuss: Hacker News
🎮Verification Games
Iceberg, the Right Idea – The Wrong Spec – Part 2 of 2: The Spec
database-doctor.com·5d·
Discuss: Hacker News, Hacker News
📦Unikernel Systems
Translation using deep neural networks – Transformer
aamster.github.io·11h·
Discuss: Hacker News
➡️Category Theory
I Built a Testable Recursive Theory of Language Models Using GPT – It Works
news.ycombinator.com·2d·
Discuss: Hacker News
🛡️seL4
Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
arxiv.org·22h
💻CS
Can LLMs Reliably Simulate Real Students' Abilities in Mathematics and Reading Comprehension?
arxiv.org·22h
🎮Verification Games
Meta to invest hundreds of billions of dollars into several multi-GW datacenters
datacenterdynamics.com·3h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
I'm more proud of these 128 kilobytes than anything I've built since
medium.com·3d·
Discuss: Hacker News
🔬Unikernels
Temporal Motifs for Financial Networks: A Study on Mercari, JPMC, and Venmo Platforms
arxiv.org·22h
🔄Finite State Machines
Zig's new I/O: function coloring is inevitable?
blog.ivnj.org·1d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
OnlineBEV: Recurrent Temporal Fusion in Bird's Eye View Representations for Multi-Camera 3D Perception
arxiv.org·22h
➡️Category Theory
MedicalBERT: enhancing biomedical natural language processing using pretrained BERT-based model
arxiv.org·22h
💻CS