Inequities in tree density, size, and species diversity in 32 Canadian cities
nature.com·6h·
Discuss: Hacker News
🏹Effect Systems
Modern async iteration in JavaScript with Array.fromAsync()
allthingssmitty.com·8h·
Discuss: Hacker News
🔄Finite State Machines
Easy dynamic dispatch using GLIBC Hardware Capabilities
kvr.at·2d·
Discuss: Lobsters, Hacker News, r/programming
📦Unikernel Systems
Show HN: CoverPaste – A simple cover letter generator
app.coverpaste.com·8h·
Discuss: Hacker News
✓Automated Theorem Proving
The hunt for a perfect laptop continues
pointieststick.com·21h·
Discuss: Lobsters, Hacker News
💾Retro Computing
AWS Challenges – Verifying the Rust standard library
model-checking.github.io·4d·
Discuss: Hacker News
🔬Static Analysis
Updating an old Ubuntu to a supported version
anonymoushash.vmbrasseur.com·3d·
Discuss: Hacker News
🔬Unikernels
Cocoindex: Data Transformation for AI
cocoindex.io·4d·
Discuss: Hacker News
🛡️seL4
Generating Almost Equally-Spaced Points Along a Parabola
arjuns07.github.io·1d·
Discuss: Hacker News
🎮Verification Games
Show HN: Context Rot Technical Report – How Input Length Impacts LLM Performance
research.trychroma.com·2h·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
Dev Setup - dbt Core 1.9.0 with Airflow 3.0 Orchestration
reddit.com·2d·
Discuss: r/programming
⎈Kubernetes
Daily Grind July 14: Google Poaches Windsurf Leaders, Impact on Startups
damngrav.substack.com·7h·
Discuss: Substack
🔬Unikernels
Can LLMs Reliably Simulate Real Students' Abilities in Mathematics and Reading Comprehension?
arxiv.org·18h
🎮Verification Games
[Setup Verification] 7-Drive Hybrid NAS Build — Nextcloud + TrueNAS SCALE + VMs on Proxmox (Lenovo M720q + JMB585)
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
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·18h
🔄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·18h
➡️Category Theory
MedicalBERT: enhancing biomedical natural language processing using pretrained BERT-based model
arxiv.org·18h
💻CS
Simple off the shelf NAS reccomendations?
reddit.com·6h·
Discuss: r/homelab
🔬Unikernels