Celtic Code: Drawing Knots with Python
2earth.github.io·4h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.net·13h·
Discuss: Hacker News
🛡️seL4
Flag this post
Improving in chess is hard. I built the world's most accurate human-like chess AI to help me.
mbuffett.com·3d·
Discuss: Hacker News
📚Automata Learning
Flag this post
A Thesis and Playbook for Edge AI
ondeviceguy.substack.com·2h·
Discuss: Substack
🖥️Self-hosted Infrastructure
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·3d
📚Automata Learning
Flag this post
Semantic search with embeddings in PHP: a hands-on guide using Neuron AI and Ollama
dev.to·1d·
Discuss: DEV
🧩Parser Combinators
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.com·12h·
Discuss: Hacker News
Automated Theorem Proving
Flag this post
ClipTagger-12B VLM: Frame Captioning Tutorial
dev.to·20h·
Discuss: DEV
🔀OCaml Multicore
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography in Cross-Silo Model Aggregation
dev.to·3h·
Discuss: DEV
📦Unikernel Systems
Flag this post
From Mapping Files to Data Plumbing
dev.to·3h·
Discuss: DEV
🔧DevOps
Flag this post
Why agents DO NOT write most of our code - a reality check
dev.to·3h·
Discuss: DEV
🧪Property-Based Testing
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·3d
🧠Automated Reasoning
Flag this post
🚀 Exploring Go’s Core Features in Depth
dev.to·23h·
Discuss: DEV
λFunctional Programming
Flag this post
Day 21 of documentating my learning Journey
dev.to·22h·
Discuss: DEV
🧮Lambda Calculus
Flag this post
Multi-Representation Attention Framework for Underwater Bioacoustic Denoising and Recognition
arxiv.org·7h
🔲Cellular Automata
Flag this post
LLM-generated text is not testimony
lesswrong.com·1d
LTL
Flag this post
Semantic search with embeddings in JavaScript: a hands-on example using LangChain and Ollama
dev.to·19h·
Discuss: DEV
🔤Kleene Algebra
Flag this post
Visual Backdoor Attacks on MLLM Embodied Decision Making via Contrastive Trigger Learning
arxiv.org·7h
🎮Verification Games
Flag this post
I Wondered Why I Procrastinate Even On Things I Am "Passionate" About
lesswrong.com·21h
📵Digital Minimalism
Flag this post
Automated Assessment of Scientific Grant Proposals via Hyperdimensional Semantic Analysis
dev.to·22h·
Discuss: DEV
Automated Theorem Proving
Flag this post