Modern async iteration in JavaScript with Array.fromAsync()
allthingssmitty.com·1d·
Discuss: Hacker News
🔄Finite State Machines
Guessing the Player's Sunrise
docs.getlost.gg·1d·
Discuss: Hacker News
🎮Verification Games
You're Not Refactoring – You're Just Moving Code Around
thecynical.dev·2d·
Discuss: Hacker News
🔬Static Analysis
DeepMind AI staff tied to "aggressive" noncompete – Offering year-long PTO
windowscentral.com·34m·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
NetBox Labs raises $35M Series B
netboxlabs.com·1d·
Discuss: Hacker News
⎈Kubernetes
Hill Space: Neural nets that do perfect arithmetic (to 10⁻¹⁶ precision)
hillspace.justindujardin.com·2d·
Discuss: Hacker News
💻CS
Engineering With Java: Digest #56
javabulletin.substack.com·3d·
Discuss: r/programming
🔄Reproducible Builds
My Pi 4B homelab taught me more about infrastructure than any course ever did
dataengineeringtoolkit.substack.com·1d·
Discuss: r/homelab
🏠HomeLab
ChatGPT vs. Lawyers
legaladvicenow.ai·8h·
Discuss: Hacker News
✓Automated Theorem Proving
Making Docs Better for AI and Humans
redmonk.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·5d·
Discuss: Substack
🐫Embedded OCaml
It's bye for now, and so here are my final thoughts on technology
yukinu.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
RAPNet: A Receptive-Field Adaptive Convolutional Neural Network for Pansharpening
arxiv.org·20h
💻CS
High-Quality Live Video Streaming via Transcoding Time Prediction and Preset Selection
arxiv.org·20h
📡Network Protocol Design
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·4d
🔍Formal Verification
Show HN: Vibe Kanban – Kanban board to manage your AI coding agents
github.com·4d·
Discuss: Hacker News
⚙️PL Implementation
A Framework for Predictive Directional Trading Based on Volatility and Causal Inference
arxiv.org·20h
🏹Effect Systems
Physics-informed neural networks for high-dimensional solutions and snaking bifurcations in nonlinear lattices
arxiv.org·20h
🐫OCaml
Investigating the Robustness of Extreme Precipitation Super-Resolution Across Climates
arxiv.org·20h
🧱Immutable Infrastructure
3DGAA: Realistic and Robust 3D Gaussian-based Adversarial Attack for Autonomous Driving
arxiv.org·20h
🎮Verification Games