Topological symmetry in quantum field theory (2024)
ems.press·18h·
Discuss: Hacker News
➡️Category Theory
Dead Zone Dragging
steveruiz.me·8h·
Discuss: Hacker News
✓Automated Theorem Proving
Automating Cantonese Romanization
canto.hk·9h·
Discuss: Hacker News
⚙️PL Implementation
AI Agents Outnumber Humans 17:1 in the New Identity Crisis Era
syntheticauth.ai·16h·
Discuss: Hacker News
🎮Verification Games
Run Automated E2E Tests with Stormkit and Browserless Before Hitting Production
stormkit.io·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
Pre-Auth SQLi to RCE – Fortinet FortiWeb Fabric Connector (CVE-2025-25257)
labs.watchtowr.com·3d·
Discuss: Hacker News
🛡️seL4
VibeTunnel's first AI-anniversary
steipete.me·3d·
Discuss: Hacker News
🍎Apple
Dot product on misaligned data
lemire.me·4d·
Discuss: Hacker News, r/cpp
🔬Static Analysis
Notes from a product design vibe coding hackathon
intercom.com·2d·
Discuss: Hacker News
🍎Apple
Become a machine learning engineer in five to seven steps
maxmynter.com·2d·
Discuss: Hacker News
🔤DSLs
We've got to stop sending files to each other
shkspr.mobi·1d·
Discuss: Lobsters, Hacker News, shkspr.mobi
❄️Nix
Building Robust Filesystem Interactions in Rust
tangramvision.com·3d·
Discuss: Hacker News
❄️Nixified Development
Shopify makes AI usage a baseline expectation as a company
firstround.com·2d·
Discuss: Hacker News
🍎Apple
Suggestion: Add gRPC as a Standard Transport for MCP
github.com·1d·
Discuss: Hacker News
📡Network Protocol Design
Enhancing Chain-of-Thought Reasoning with Critical Representation Fine-tuning
arxiv.org·4d
✓Automated Theorem Proving
How are you all using AI tools in your workflow? Pros, cons, and handling confidential data
reddit.com·2d·
Discuss: r/programming
🧪Property-Based Testing
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·3d
🐫OCaml
Mitigating Object Hallucinations via Sentence-Level Early Intervention
arxiv.org·2d
➡️Category Theory
Exploiting Jailbreaking Vulnerabilities in Generative AI to Bypass Ethical Safeguards for Facilitating Phishing Attacks
arxiv.org·2d
🔬Unikernels
Which OS would you choose today to set up a bioinformatics server that won't become obsolete in the next years?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab