Web Awesome, the First All-in-One WebComponents,CSS Framework, Is Finally Here
thathtml.blog·19h·
Discuss: Hacker News
🧱Immutable Infrastructure
Let It Snow
arraythinking.wordpress.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Void, the Bluesky bot that remembers everyone
cameron.pfiffer.org·21h·
Discuss: Hacker News
🎮Verification Games
Being a Script
raphaelbastide.com·1d·
Discuss: Hacker News
🛡️seL4
Next Big Shift in Search: From Product to Infrastructure
lsvp.com·16h·
Discuss: Hacker News
🐫OCaml
REST Is for Humans, Not for APIs
jabbawookiees.bearblog.dev·2d·
Discuss: Hacker News
🌐NetworkProtocols
Talking Postgres with Shireesh Thota, Microsoft CVP
talkingpostgres.com·18h·
Discuss: Hacker News
🔄Reproducible Builds
The Next Wave
dumindu.github.io·1d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·3d
🔬Static Analysis
A Unified Ontology for Scalable Knowledge Graph-Driven Operational Data Analytics in High-Performance Computing Systems
arxiv.org·3d
👁️System Observability
Adaptive Attention Residual U-Net for curvilinear structure segmentation in fluorescence microscopy and biomedical images
arxiv.org·1d
🔬Unikernels
Does Learning Mathematical Problem-Solving Generalize to Broader Reasoning?
arxiv.org·4d
🎮Verification Games
Havoc – Heap Allocated Value Object Containers
github.com·5d·
Discuss: Hacker News
🛡️seL4
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·1d
✓Automated Theorem Proving
Inheritance and Polymorphism in Plain C
coz.is·4d·
Discuss: Hacker News, r/C_Programming, r/programming
🔬Static Analysis
Centralized Copy-Paste: Enhanced Data Augmentation Strategy for Wildland Fire Semantic Segmentation
arxiv.org·2d
🔠Type-Level Programming
Multilayer GNN for Predictive Maintenance and Clustering in Power Grids
arxiv.org·1d
👁️System Observability
Agentic-R1: Distilled Dual-Strategy Reasoning
arxiv.org·3d
✓Automated Theorem Proving
Subgraph Counting under Edge Local Differential Privacy Based on Noisy Adjacency Matrix
arxiv.org·2d
💻CS
Multigranular Evaluation for Brain Visual Decoding
arxiv.org·1d
🏹Effect Systems