TypeScript: Langium 4.0 brings infix operators for more compact grammar
heise.de·15h
🎯Gradual Typing
Machine learning by satisfiability solving
johndcook.com·1d
🎯Performance Proofs
KL-001-2025-016: Xorux LPAR2RRD File Upload Directory Traversal
seclists.org·4d
💣ZIP Vulnerabilities
ImitationGame - Unconscious Ship Magnet
archiveofourown.org·18h
🔲Cellular Automata
The Dartboard Sequence
mathpages.com·1d·
Discuss: Hacker News
🎞️Tape Combinatorics
The Comprehensive Guide to Knowledge Graphs
agilelab.it·17h·
Discuss: Hacker News
📊Graph Databases
Online Software for an Interstellar Civilization
gatlin.io·2d·
Discuss: Hacker News
⏰Time Crystals
Endowments and Unintended Consequences
paulkedrosky.com·8h·
Discuss: Hacker News
✨Effect Handlers
Nova: A New Web Framework for Erlang
news.ycombinator.com·1d·
Discuss: Hacker News
🌐Protocol Synthesis
Canary deployments are the unsung heroes of high-confidence releases.
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Wrap Once, Run Everywhere_ Integrating Python with .NET, Java, and Node.js using Javonet
dev.to·1d·
Discuss: DEV
🌐WASI
Rant - Homelab Creep and Increasing Complexity
reddit.com·10h·
Discuss: r/homelab
🏠Homelab Orchestration
UnsafeChain: Enhancing Reasoning Model Safety via Hard Cases
arxiv.org·2d
🧠Separation Logic
Probabilistic Consistency in Machine Learning and Its Connection to Uncertainty Quantification
arxiv.org·2d
🧠Machine Learning
Show HN: AgentSmith-HUB – Real-time security data pipeline and detection engine
github.com·14h·
Discuss: Hacker News
🎯Threat Hunting
AI Tools I'm using to 10x my productivity
dev.to·3d·
Discuss: DEV
⚡Proof Automation
10 DevOps Tasks I’ve Stopped Doing Manually (Kudos to 'This' CLI Agent)
dev.to·3d·
Discuss: DEV
⚡Proof Automation
The Bug That Drove Me So Crazy, I Got Hired Just to Fix It
dev.to·1d·
Discuss: DEV
❄️Nix Flakes
Let the AI Run Code: Inside the REPL Loop
dev.to·2d·
Discuss: DEV
⚔️Lean Tactics
Discrete Tokenization for Multimodal LLMs: A Comprehensive Survey
arxiv.org·20h
📝Text Parsing