A Vision for Sustainable Growth in Silicon Valley
mercurynews.com·1d
🖥️Terminal Renaissance
Cactus Language • Stylistics 3
inquiryintoinquiry.com·12h
🔲Proof Irrelevance
More SPICEyness
self-issued.info·2d
📋Format Specification
Cybersecurity: The Economic Benefits of GDPR
cnil.fr·16h·
Discuss: Hacker News
⚖️Legal Compliance
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·1d·
Discuss: Hacker News
🧠Separation Logic
Cocoindex: Data Transformation for AI
cocoindex.io·1d·
Discuss: Hacker News
⚙️Batch Processing
A.I. Can See You in Ways You Can't See Yourself
nytimes.com·14h·
Discuss: Hacker News
🤖AI Paleography
Binding Application in Idris
andrevidela.com·1d·
Discuss: Hacker News
🔤Type Theory
An InfoSec Architect's First Taste of Temporal
supasaf.com·3d·
Discuss: Hacker News
⏰Temporal Logic
AI-Powered Coding Tools & Software Development in 2025
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Build a RAG-based AI assistant with Quarkus and LangChain
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Resource-Efficient Modular Automation Core Library in Go (First Project!)
reddit.com·1d·
Discuss: r/golang
🌐Protocol Synthesis
My Year-Long Journey with AI in Software Development and Reflections on the Role of AI-devtools
dev.to·3d·
Discuss: DEV
⚡Proof Automation
eSIM security research (GSMA eUICC compromise and certificate theft)
seclists.org·2d·
Discuss: Hacker News
🏺Kerberos Archaeology
Building intelligent AI voice agents with Pipecat and Amazon Bedrock – Part 2
aws.amazon.com·13h
🎙️Whisper
KL-001-2025-006: Schneider Electric EcoStruxure IT Data Center Expert XML External Entities Injection
seclists.org·2d
🏺Kerberos Archaeology
Building Intelligent IoT Systems Through Python-Based Frameworks
dev.to·1d·
Discuss: DEV
🏠Home Automation
I’m non-technical, tried to add RAG to my AI agent… and ended up building a tool that does that
dev.to·14h·
Discuss: DEV
⚡Proof Automation
Ask HN: What's blocking your AI agents from moving beyond proof-of-concept?
news.ycombinator.com·17h·
Discuss: Hacker News
🔗Constraint Handling
Proposal: A New Neural Network Architecture for Dynamic Behavior
dev.to·17h·
Discuss: DEV
🔲Cellular Automata