👑 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·2h·
Discuss: Hacker News
🎯Performance Proofs
Speeding up sideeffects with JIT in mountaineer
pierce.dev·12h·
Discuss: Hacker News
🦀Rust Macros
Passwordless Auth: a JSON-Based Approach for modern authentication w/ SSSD & GNOME - DevConf.CZ 2025
youtube.com·23h
🔓Password Cracking
How I Built a Smarter ZIP Engine with AI: My Day 9 & 10 Journey (Pagonic Project)
dev.to·11h·
Discuss: DEV
👁️Observatory Systems
Generative Adversarial Evasion and Out-of-Distribution Detection for UAV Cyber-Attacks
arxiv.org·3h
🧠Machine Learning
Coccinelle for Rust progress report (Collabora blog)
lwn.net·16h
🦀Rust Borrowing
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·2d
📐Compression Bounds
Build a High-Performance Crypto Rankings API with Go + Inngest + Redis in 25 Minutes
dev.to·12h·
Discuss: DEV
🔍BitFunnel
Machine Learning Fundamentals: active learning
dev.to·2d·
Discuss: DEV
🤖Grammar Induction
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·1d
💻Local LLMs
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.uk·3d
🔗Combinatory Logic
Cactus Language • Syntax 11
inquiryintoinquiry.com·3d
📝Concrete Syntax
SMOTE or Synthetic Data for Handling Class Imbalance? I Wrote About It on ThinkML
dev.to·3h·
Discuss: DEV
💧Liquid Types
🧠 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·16h·
Discuss: DEV
📊Quantization
Python course: Functions
dev.to·12h·
Discuss: DEV
🔗Lisp
Stop Words Using Spacy - NLP
dev.to·2d·
Discuss: DEV
📝Text Parsing