CVE-2024-12029 – InvokeAI Deserialization of Untrusted Data vulnerability
offsec.com·4h
🌐WASI
This “smart coach” helps LLMs switch between text and code
news.mit.edu·17h
💻Local LLMs
Alignment
languagelog.ldc.upenn.edu·2d
🔄Language Evolution
Caches and Abstractions
parallelprogrammer.substack.com·22h·
Discuss: Substack, r/programming
💨Cache Analysis
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·2d
📜Proof Carrying Code
IoT AI with Ioto
dev.to·18h·
Discuss: DEV
🎙️Whisper
Exploring Prompt Learning: Using English Feedback to Optimize LLM Systems
towardsdatascience.com·23h
💻Local LLMs
govalid - A compile-time validation library that's up to 45x faster than reflection-based validators
reddit.com·1d·
Discuss: r/golang
🦀Rust Verification
Azure's Inferno: Escape from API Hell
wallpunch.net·9h·
Discuss: Hacker News, r/programming
🔗Hypermedia APIs
Agents Built from Alloys
xbow.com·6h·
Discuss: Hacker News
⚡Proof Automation
Machine Learning Fundamentals: dropout
dev.to·4h·
Discuss: DEV
🌊Stream Processing
CoCre-Sam (Kokkuri-san): Modeling Ouija Board as Collective Langevin Dynamics Sampling from Fused Language Models
arxiv.org·17h
🔲Cellular Automata
Cancellative Convex Semilattices
arxiv.org·1d
🔲Proof Irrelevance
AI Agents Are Growing Up - And They Need Zero-Trust Parenting
hackernoon.com·14h
🎯Threat Hunting
Effective Practices for Coding with a Chat-Based AI
infoq.com·22h·
Discuss: Hacker News
🔄Language Evolution
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.org·17h
🧮Kolmogorov Complexity
BlueGlass: A Framework for Composite AI Safety
arxiv.org·2d
🔒WASM Capabilities
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·1d
🌳Context free grammars
On the Complexity of the Optimal Correlated Equilibria in Extensive-Form Games
arxiv.org·1d
🔲Cellular Automata
C++ Trailing Return Types (2022)
danielsieger.com·12h·
Discuss: Lobsters, Hacker News, r/programming
🔗Concatenative Programming