Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

MCP Colors: Systematically deal with prompt injection risk
timkellogg.me·2d
🧪Protocol Fuzzing
Flag this post
Masked Softmax Layers in PyTorch
mcognetta.github.io·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
Continuous Architecture: A decade of designing for change
continuousarchitecture.com·21h·
Discuss: Hacker News
💾Persistence Strategies
Flag this post
Cracking XLoader with AI: How Generative Models Accelerate Malware Analysis
blog.checkpoint.com·1d
🦠Malware Analysis
Flag this post
Microservices? No, modularity is what matters
binaryigor.com·20h·
Discuss: Hacker News
🧱Immutable Infrastructure
Flag this post
My Experience as a SDE Intern at AWS
simho.xyz·1d·
Discuss: Hacker News
🔩Systems Programming
Flag this post
What if you don't need MCP at all?
mariozechner.at·3d·
Discuss: Hacker News
🪟Awesome windows command-line
Flag this post
Coding Agents Are Outliers
vivekhaldar.com·14h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.com·2d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
AWS Terraform Module - Custom Prompt Injection Detection
dev.to·3d·
Discuss: DEV
🛡️CLI Security
Flag this post
Pg_lake: Postgres with Iceberg and data lake access
github.com·16h·
🗄️PostgreSQL WAL
Flag this post
TypeScript Rewrote Itself in Go?! What That “10x Faster” Hype Really Means
dev.to·3h·
Discuss: DEV
🎯Gradual Typing
Flag this post
Building a Production-Ready Enterprise AI Assistant with RAG and Security Guardrails
dev.to·3d·
Discuss: DEV
🔄Archival Workflows
Flag this post
⚠️ Most Developers Are Using AI Wrong — Here’s How to Fix It
dev.to·1d·
Discuss: DEV
Proof Automation
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·1d
⚛️Quantum Archives
Flag this post
Complex QA and language models hybrid architectures, Survey
arxiv.org·1d
🧮Kolmogorov Complexity
Flag this post
Open Character Training: Shaping the Persona of AI Assistants through Constitutional AI
arxiv.org·1d
🎙️Whisper
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·1d·
Discuss: DEV
🌳Trie Structures
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·16h·
Discuss: DEV
Proof Automation
Flag this post
RIS-Assisted 3D Spherical Splatting for Object Composition Visualization using Detection Transformers
arxiv.org·4h
🌈Holographic Archives
Flag this post