RayEditor: Modern, customizable, & lightweight WYSIWYG editor in pure JavaScript
rohanyeole.com·1d·
Discuss: Hacker News
👁️System Observability
Reengineered carbon-to-acetylene process with negative carbon emission (2023)
pubs.rsc.org·22h·
Discuss: Hacker News
💻CS
Thesis Art
thesisart.de·1d·
Discuss: Hacker News
🔬Unikernels
Zig Interface Revisited
williamw520.github.io·6d·
Discuss: Hacker News
🐫Embedded OCaml
Apple details how it trained its new AI models: 4 interesting highlights
9to5mac.com·1d·
Discuss: Hacker News
🍎Apple
Recursive Functions To Piss Off Your CS Professor
inventwithpython.com·4d·
Discuss: Hacker News, r/programming
✓Automated Theorem Proving
Undone Computer Science
undonecs.org·5d·
Discuss: Hacker News, r/compsci
🔬Unikernels
The Internet is a Series of Webs (2024)
aramzs.xyz·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
In the long run, GPL code becomes irrelevant (2015)
josephg.com·4d·
Discuss: Hacker News
❄️Nixified Development
Shaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebra
lightcapai.medium.com·5d·
Discuss: Hacker News
🎮Verification Games
AWS slaps usage caps on Kiro as AI editor preview proves too popular for its own good
theregister.com·1d·
Discuss: Hacker News
⎈Kubernetes
40% of agentic AI projects are expected to fail by 2027
techolution.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Make things that are easy to delete
medium.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
EndoControlMag: Robust Endoscopic Vascular Motion Magnification with Periodic Reference Resetting and Hierarchical Tissue-aware Dual-Mask Contro
arxiv.org·22h
🐫Embedded OCaml
How to actually use Model Context Protocol
seangoedecke.com·6d·
Discuss: Hacker News
🛡️seL4
(Python) Poste Italiane document parser
github.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Yet Another Bad Analysis of AI
recursed.blogspot.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Air Traffic Controller Task Demand via Graph Neural Networks: An Interpretable Approach to Airspace Complexity
arxiv.org·1d
🔄Finite State Machines
The New Bar for Engineers in 2025: AI-Native or Behind
zachwills.net·2d·
Discuss: Hacker News
🔄Reproducible Builds
Positive-Unlabeled Learning for Control Group Construction in Observational Causal Inference
arxiv.org·22h
🔠Type-Level Programming