👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·2d
🔲Cellular Automata
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·3d
🔗Functional Compilers
VLLM Predicted Outputs
cascadetech.ai·1d·
Discuss: Hacker News
💻Local LLMs
Show HN: Prompts to make AI impersonate 10 programming legends
ai-impersonator.blueprintlab.io·19h·
Discuss: Hacker News, r/ClaudeAI
🎙️Whisper
The 9 Best CLIs with Artificial Intelligence
dev.to·3h·
Discuss: DEV
📟CLI Design
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.to·2d·
Discuss: DEV
🧩RISC-V
Fixed Points and Stochastic Meritocracies: A Long-Term Perspective
arxiv.org·2d
🔲Cellular Automata
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·1d·
Discuss: r/golang
🦀Rust Borrowing
100 Poisoned Examples Can Hijack Any AI Model (Even GPT-4-Scale LLMs)
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Loyca.ai – An open-source, local-first AI assistant with contextual awareness
github.com·10h·
Discuss: Hacker News
🌀Brotli Internals
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·2d·
Discuss: DEV
🗄️Database Internals
The 'Why' Algorithm: Building AI That Learns to Ask Questions
dev.to·22h·
Discuss: DEV
🤖AI Curation
Tech With Tim: How to Build AI Agents in Python
dev.to·12h·
Discuss: DEV
🔲Cellular Automata
Quantum memory optimisation using finite-horizon, decoherence time and discounted mean-square performance criteria
arxiv.org·2d
⚛️Quantum Storage
Active Confusion Expression in Large Language Models: Leveraging World Models toward Better Social Reasoning
arxiv.org·2d
🧮Prolog Parsing
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·14h·
Discuss: DEV
📊Multi-vector RAG
Leveraging Large Language Models for Cybersecurity Risk Assessment -- A Case from Forestry Cyber-Physical Systems
arxiv.org·3d
🛡Cybersecurity
Self-Improving LLM Agents at Test-Time
arxiv.org·2d
🧠Intelligence Compression
Optimal Stopping in Latent Diffusion Models
arxiv.org·2d
🧠Machine Learning
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·8h·
Discuss: DEV
📊Multi-vector RAG