👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Beyond Traditional Threats: The Rise of AI-Driven API Vulnerabilities
lab.wallarm.com·1d
🎯Threat Hunting
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·1d
🦠Malware Analysis
Modelling API rate limits as diophantine inequalities
vivekn.dev·6h·
Discuss: Hacker News
🎯Performance Proofs
Speeding up sideeffects with JIT in mountaineer
pierce.dev·16h·
Discuss: Hacker News
🦀Rust Macros
Passwordless Auth: a JSON-Based Approach for modern authentication w/ SSSD & GNOME - DevConf.CZ 2025
youtube.com·1d
🔓Password Cracking
Coccinelle for Rust progress report (Collabora blog)
lwn.net·20h
🦀Rust Borrowing
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·1d
💻Local LLMs
Show HN: 10x Kubernetes Cluster on Hetzner Cloud
github.com·3h·
Discuss: Hacker News
📦Container Security
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·2d·
Discuss: DEV
📐Error Bounds
Structural Optimal Jacobian Accumulation and Minimum Edge Count are NP-Complete Under Vertex Elimination
arxiv.org·3d
🎯Performance Proofs
Machine Learning Fundamentals: adam optimizer
dev.to·20h·
Discuss: DEV
📊Quantization
Python course: Functions
dev.to·16h·
Discuss: DEV
🔗Lisp
Stop Words Using Spacy - NLP
dev.to·2d·
Discuss: DEV
📝Text Parsing
Deciding Termination of Simple Randomized Loops
arxiv.org·3d
🌳Persistent Data Structures
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·3d·
Discuss: DEV
🧬Functional Programming
Stochastic and Non-local Closure Modeling for Nonlinear Dynamical Systems via Latent Score-based Generative Models
arxiv.org·7h
🧠Machine Learning
🧠 Code That Explains Itself: Writing Self-Documenting Code in 2025
dev.to·23h·
Discuss: DEV
🔄Reproducible Builds
⚡️ Stop Writing Flaky Tests: Your Foundational Guide to Async in Playwright
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Ctrl-Z Sampling: Diffusion Sampling with Controlled Random Zigzag Explorations
arxiv.org·1d
🔲Cellular Automata
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·3d
🔍Type Inference