StableAudio2.5, First Audio Model Built for Enterprise Sound Production at Scale
stability.ai·2d·
Discuss: Hacker News
🔧Unikernel Development
The Mirror with No Reflection
simone.org·21h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The New Status Game: Longevity
newinternet.tech·22h·
Discuss: Hacker News
🧗Climbing Tech
Multiple undersea cable cuts in the Red Sea
subseacables.blogspot.com·4d·
Discuss: Hacker News
📡Network Protocol Design
How the Infamous APT 1 Report Exposing China’s PLA Hackers Came to Be
zetter-zeroday.com·2d·
Discuss: Hacker News
🛡️seL4
Effects as Capabilities in Scala
nrinaudo.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
🏹Effect Systems
Eating the Future: The Metabolic Logic of AI Slop
e-flux.com·4d·
Discuss: Hacker News
🔬Unikernels
The Internet Just Doesn't Hit Anymore. Here's How You Can Take It Back.
tekhne.dev·3d·
Discuss: Hacker News
🔬Unikernels
Alloyed agents: combining LLMs to improve AI code generation
enginelabs.ai·5d·
Discuss: Hacker News
💎Refinement Types
Show HN: DbSandboxer – Fast Isolated Postgres DBs for Spring Boot Tests
github.com·1d·
Discuss: Hacker News
📊Runtime Verification
Design Scanimations In a Snap With The Right Math
hackaday.com·7h
🎮Verification Games
Zaku: Fast, open-source API client with fangs
github.com·3h·
Discuss: Hacker News
🍏Darwin
Ted Cruz bill would let Big Tech go wild with AI experiments for 10 years
arstechnica.com·1d·
Discuss: Hacker News
🎮Verification Games
ADHDeepNet From Raw EEG to Diagnosis: Improving ADHD Diagnosis through Temporal-Spatial Processing, Adaptive Attention Mechanisms, and Explainability in Raw EEG...
arxiv.org·2d
📚Automata Learning
AI-in-the-Loop: Privacy Preserving Real-Time Scam Detection and Conversational Scambaiting by Leveraging LLMs and Federated Learning
arxiv.org·4d
🌐NetworkProtocols
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News, r/programming
🧠Automated Reasoning
Students' Perception of LLM Use in Requirements Engineering Education: An Empirical Study Across Two Universities
arxiv.org·4d
⚙Operational Semantics
Chirality in Action: Time-Aware Video Representation Learning by Latent Straightening
arxiv.org·2d
📚Automata Learning
You Can Just Do Things
elite-ai-assisted-coding.dev·2d·
Discuss: Hacker News
✓Automated Theorem Proving
The subjective experience of coding in different programming languages
interconnected.org·3d·
Discuss: Hacker News
🔬Static Analysis