👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Creating Real-Time Multimodal AI Pipelines: Scaling File Processing to 50M Daily Uploads
engineering.salesforce.com·10h
🌊Stream Processing
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·13h·
Discuss: Hacker News
🛡️Error Boundaries
10 Data + AI Observations for Fall 2025
towardsdatascience.com·20h
🌊Stream Processing
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai·1d·
Discuss: Hacker News
💻Local LLMs
From Defender to Devil? Unintended Risk Interactions Induced by LLM Defenses
arxiv.org·1d
✨Effect Handlers
GPT-5 for AI-assisted discovery
johndcook.com·19h·
Discuss: Hacker News
🎯Performance Proofs
Test-Time Reasoners Are Strategic Multiple-Choice Test-Takers
arxiv.org·1d
✓Automated Theorem Proving
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·14h·
Discuss: Hacker News
🔗Concatenative Programming
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·1d
💻Programming languages
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to·1d·
Discuss: DEV
🌊Apache Kafka
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.org·1d
🔲Cellular Automata
Memgoose – An In-Memory Mongoose Impersonator
github.com·44m·
Discuss: Hacker News
🔄Sync Engine
In-Depth Analysis: "Attention Is All You Need"
dev.to·18h·
Discuss: DEV
🧠Intelligence Compression
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.to·5h·
Discuss: DEV
💻Local LLMs
Expanding the Action Space of LLMs to Reason Beyond Language
arxiv.org·1d
💻Local LLMs
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·2d
📜Manuscript Algebras
Recurrent Natural Policy Gradient for POMDPs
arxiv.org·1d
🔲Cellular Automata
CoMAS: Co-Evolving Multi-Agent Systems via Interaction Rewards
arxiv.org·1d
🔲Cellular Automata
Get RICH or Die Scaling: Profitably Trading Inference Compute for Robustness
arxiv.org·2d
🧠Intelligence Compression
Detecting Distillation Data from Reasoning Models
arxiv.org·4d
⚙️ABNF Mining