The Chip That Spoke Lisp
jxself.org·2d
🤖Lisp Machines
Getting Started with AI Hacking Part 2: Prompt Injection
blackhillsinfosec.com·1d
🕵️Vector Smuggling
What's your workflow to pass cloud secrets/config metadata to apps safely?
news.ycombinator.com·1h·
Discuss: Hacker News
🛡️Preservation Proofs
Efficient and accurate search in petabase-scale sequence repositories
nature.com·1d·
Discuss: Hacker News
🔄Burrows-Wheeler
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·2h
⛪Church Encoding
Three Solutions to Nondeterminism in AI
blog.hellas.ai·1d·
Discuss: Hacker News
🎯Performance Proofs
I’ve watched too many new devs walk away from Kubernetes. So I built something to make learning it actually fun.
reddit.com·8h·
Discuss: r/kubernetes
📦Container Security
The Pain Driven Workflow
magistr.me·12h·
Discuss: Hacker News
⚡Incremental Computation
Defeating Return Type Polymorphism
philipphagenlocher.de·1d·
Discuss: Hacker News
🧬Functional Programming
An /intro to Python 3.14’s New Features
blog.pythonlibrary.org·18h
🌳Incremental Parsing
C++ Reflection and Qt MOC
wiki.qt.io·1d·
Discuss: Hacker News
🧩WASM Modules
Building Repo Bench
repoprompt.com·1d·
Discuss: Lobsters, Hacker News
⚡Proof Automation
Rust vs C, C++, Java & Python — 5 Everyday Programs Compared
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·10h·
Discuss: DEV
📊Multi-vector RAG
Prompt Engineering Templates That Work: 7 Copy-Paste Recipes for LLMs
kdnuggets.com·18h
🎯Proof Tactics
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·15h·
Discuss: DEV
🗄️Database Internals
Does OpenCode Support Hooks? A Complete Guide to Extensibility
dev.to·2h·
Discuss: DEV
🔓Open Source Software
METRICALARGS: A Taxonomy for Studying Metrical Poetry with LLMs
arxiv.org·2h
📊HyperLogLog
ParsTranslit: Truly Versatile Tajik-Farsi Transliteration
arxiv.org·2h
📜Digital Philology
100 Poisoned Examples Can Hijack Any AI Model (Even GPT-4-Scale LLMs)
dev.to·11h·
Discuss: DEV
⚡Proof Automation