⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

CVE-2024-12029 – InvokeAI Deserialization of Untrusted Data vulnerability
offsec.com·1d
🌐WASI
AwesomeAssertions/AwesomeAssertions
github.com·2d
✅Format Verification
Meta refuses to sign EU’s AI code of practice
techcrunch.com·3h
⚖️Legal Compliance
How to run an LLM on your laptop
simonwillison.net·1h
💻Local LLMs
Reversing Google's New VM-Based Integrity Protection: PairIP
blog.byterialab.com·2d·
Discuss: Hacker News
🌐WASI
A Wide Reduction Trick (2022)
words.filippo.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🌳Archive Merkle Trees
Differentiable Programming for Learnable Graphs: Optimizing LLM Workflows W DSPy
viksit.substack.com·4d·
Discuss: Substack
⚡Incremental Computation
How to avoid that your post about AI helps the hype
hidde.blog·4h·
Discuss: Hacker News
⚖️Emulation Ethics
How I Got 100/100 From GPT-4, Gemini, Grok, and More—Using Just a .txt File
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Exploiting Jailbreaking Vulnerabilities in Generative AI to Bypass Ethical Safeguards for Facilitating Phishing Attacks
arxiv.org·1d
🕵️Vector Smuggling
Physically Based Neural LiDAR Resimulation
arxiv.org·13h
🔬Optical Physics
StudentSphere: Building with Bolt - WLH Challenge
dev.to·23h·
Discuss: DEV
🌊Stream Processing
🧠 When Will ChatGPT-5 Be Released? (July 2025 Update)
dev.to·9h·
Discuss: DEV
🖥️Terminal Renaissance
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·2d·
Discuss: DEV
📝Concrete Syntax
My Participation in the METR AI Productivity Study
domenic.me·3d·
Discuss: Hacker News
👁️Observatory Systems
Compliance is evolving — Is your resilience ready?
techradar.com·10h
⚖️Legal Compliance
The Rise of Agentic AI: How Autonomous Systems Are Transforming Industries
dev.to·1d·
Discuss: DEV
🌊Stream Processing
How to Develop a Web Application for 10K+ Users, Heavily Performing I/O-Bound Operations
dev.to·4h·
Discuss: DEV
🌊Stream Processing
Python Fundamentals: case
dev.to·1d·
Discuss: DEV
✅Format Verification
Post-Quantum Cryptography in Kubernetes
kubernetes.io·17h
🔐Quantum Security