Week 44 – 2025
thisweekin4n6.com·2d
🎫Kerberos Attacks
Flag this post
Swift 6.2: Approachable Concurrency
mjtsai.com·17h
📞Session Types
Flag this post
A self-rewriting AI from KAUST revives Jürgen Schmidhuber’s vision of a Gödel Machine
the-decoder.com·21h
🧮Theorem Proving
Flag this post
List of Top 196 Web3 Developer Tools
moralis.com·1d·
Discuss: Hacker News
🚀Indie Hacking
Flag this post
German Research Foundation wants to retrieve data from US clouds
heise.de·1d·
Discuss: Hacker News
🎓Academic Torrents
Flag this post
Debugging Microsoft's Job Portal
blog.emilianbold.ro·1d·
Discuss: Hacker News
🔓LDAP Injection
Flag this post
A Challenge to Roboticists: My Humanoid Olympics
spectrum.ieee.org·47m·
Discuss: Hacker News
🤖Tape Automation
Flag this post
The ZeroAccess Developer and His Windows Kernel-Mode Debugger
r136a1.dev·1d·
Discuss: Hacker News
🛡️eBPF Security
Flag this post
Turning Kubernetes observability into reliability with SLOs and runbooks
reddit.com·2h·
Discuss: r/kubernetes
📊Homelab Monitoring
Flag this post
macOS Tahoe 26.1 has landed – here are the 5 biggest new features for your Mac
techradar.com·1h
🖥️Vintage Macintosh
Flag this post
Time to move on: n8n vs code for SaaS
pixeljets.com·21h·
🌐Web Standards
Flag this post
Orchestration: The Missing Link in Enterprise AI
cacm.acm.org·19h
🏠Homelab Orchestration
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·1d·
Discuss: Hacker News
🎯Performance Proofs
Flag this post
Part 2: Building MCP Servers to Control a Home Coffee Roaster - An Agentic Development Journey with Warp Agent
dev.to·1d·
Discuss: DEV
🏠HomeLab
Flag this post
ARCS 2.0: Pioneering Data Sovereignty Through Real-World Utility and Cultural Heritage
hackernoon.com·1d
🔗Hash Chains
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.org·8h
Incremental Computation
Flag this post
Deployable Vision-driven UAV River Navigation via Human-in-the-loop Preference Alignment
arxiv.org·8h
📐Projective Geometry
Flag this post
Building WriteRight: My Journey Creating an AI Writing Assistant with Mastra
dev.to·13h·
Discuss: DEV
Proof Automation
Flag this post
Quantum-Resistant Federated Learning: Securing Distributed Model Training Against Post-Quantum Cryptography Threats
dev.to·3d·
Discuss: DEV
🔐Quantum Security
Flag this post
Logic-informed reinforcement learning for cross-domain optimization of large-scale cyber-physical systems
arxiv.org·8h
🎯Performance Proofs
Flag this post