Rough numbers between consecutive primes
terrytao.wordpress.com·3d
📐Interval Arithmetic
The Stochastic Code Monkey Theorem
stephendiehl.com·2d
📏Code Metrics
K0rdent v1.0: Manage Distributed Infrastructure at Scale with Kubernetes
cncf.io·2d·
Discuss: Hacker News
👁️Observatory Systems
Channel your inner Marie Kondo – identifying and eliminating policy clutter
eatingpolicy.com·2d·
Discuss: Hacker News
⚖️Legal Compliance
We Create
linus.coffee·1d·
Discuss: Hacker News
🎯Content Recommendation
Two ways of generalizing π
johndcook.com·1d
🎯Arithmetic Coding Theory
PHP compile time generics: yay or nay?
thephp.foundation·6d·
Discuss: Hacker News
🔗Dependently Typed
Same AI, Different Answer: How Tiny Prompts Can Change Everything
lightcapai.medium.com·12h·
Discuss: Hacker News
⚡Proof Automation
Security by Compartmentalization for AI Coding Agents on NixOS
sourcery.zone·2d·
Discuss: Hacker News
🔒WASM Capabilities
My take on Send and Sync
blog.cuongle.dev·6d·
Discuss: Lobsters, Hacker News
🔒Type Safety
LightShed: Defeating Perturbation-based Image Copyright Protections
usenix.org·22h
👁️Perceptual Hashing
Enhanced Topology Optimization via Multi-Fidelity Bayesian Surrogate Modeling and Reinforcement Learning Feedback
dev.to·15h·
Discuss: DEV
⚡Incremental Computation
Adaptive Optimization of Time-Sensitive Network (TSN) Protocols via Reinforcement Learning and Dynamic Signal Shaping
dev.to·5h·
Discuss: DEV
📡Network Calculus
Autonomous Anomaly Detection in Multi-Sensor Satellite Imagery for Battlefield Assessment
dev.to·5h·
Discuss: DEV
👁️Observatory Systems
Integrated Learning and Optimization to Control Load Demand and Wind Generation for Minimizing Ramping Cost in Real-Time Electricity Market
arxiv.org·1h
⚡Incremental Computation
Enhancing Public Speaking Proficiency via Adaptive Neural Textual Feedback & Dynamic Vocal Modulation
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
Vibe Coding - Conversational Software Development - Part 3 Prompt Discipline
dev.to·2d·
Discuss: DEV
✨Effect Handlers
Automated Code Dependency Analysis & Remediation via Graph Neural Networks
dev.to·2d·
Discuss: DEV
🔗Topological Sorting
I Built a "GPT" in My Browser in One Evening. The Journey from Amnesia to Stable Learning with Pure JS.
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Automated Solvent-Pulse Train Optimization for 13C MNBA Experiments via Bayesian Hyperparameter Tuning
dev.to·1d·
Discuss: DEV
🧲Magnetic Resonance