Aurora season and the Russell-McPherron effect
earthsky.org·7h·
Discuss: Hacker News
🍎Apple
Show HN: Generate and Copy Random IP Addresses
whatismyipaddressinquire.com·2d·
Discuss: Hacker News
📡Network Protocol Design
Putting myself out there
reddit.com·9h·
Discuss: r/programming
🍎Apple
C++26: erroneous behaviour
sandordargo.com·2d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🔬Static Analysis
From Wind Energy to Pet Health AI: Why I Built PetCoach.ai
petcoach.ai·4d·
Discuss: DEV, Hacker News
🏹Effect Systems
How the "Kim" Dump Exposed North Korea's Credential Theft Playbook
dti.domaintools.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
What I've learned about startups
claudio.uk·5h·
Discuss: Hacker News
📊Runtime Verification
So you want to control flow in PyTorch 2
blog.ezyang.com·3d·
Discuss: Hacker News
✅Model Checking
Reactive algorithms: How Angular took the right path
medium.com·5d·
Discuss: Hacker News
🔄Reproducible Builds
Rust for Big Data: How We Built a MPP Query Executor on S3 from Scratch
databend.com·3d·
Discuss: Hacker News
💎Refinement Types
Solving Inverse Acoustic Obstacle Scattering Problem with Phaseless Far-Field Measurement Using Deep Neural Network Surrogates
arxiv.org·1d
🐫OCaml
Atlassian's move to cloud-only means customers face integration issues and more
theregister.com·3h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Why the Technological Singularity May Be a "Big Nothing"
news.ycombinator.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Anker Soundcore Space A40 Earbuds Teardown
hackaday.com·2d
🍎Apple
Online Identification using Adaptive Laws and Neural Networks for Multi-Quadrotor Centralized Transportation System
arxiv.org·6d
🧠Automated Reasoning
Who Owns The Robot?: Four Ethical and Socio-technical Questions about Wellbeing Robots in the Real World through Community Engagement
arxiv.org·5d
🛡️seL4
Split Conformal Prediction in the Function Space with Neural Operators
arxiv.org·1d
🧩Parser Combinators
SL-SLR: Self-Supervised Representation Learning for Sign Language Recognition
arxiv.org·1d
📚Automata Learning
VulRTex: A Reasoning-Guided Approach to Identify Vulnerabilities from Rich-Text Issue Report
arxiv.org·4d
🛡️seL4
Knowing That It Is Possible
hackaday.com·3d
💾Retro Computing