👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Building Etsy Buyer Profiles with LLMs
etsy.com·16h
👤Search Personalization
Investigating a Mysteriously Malformed Authenticode Signature
elastic.co·8h
🧪Binary Fuzzing
We detected a CAPTCHA solver in the wild, and what it says about bot defenses
blog.castle.io·14h·
Discuss: Hacker News
🔓Password Cracking
How we built Product Intelligence
linear.app·18h·
Discuss: Hacker News
🌀Brotli Internals
The MCP Neuron
jontysinai.github.io·1d·
Discuss: Hacker News
🔲Cellular Automata
I have hacked to gather a software stack to take over the world
yetanotherprojecttosavetheworld.org·9h·
Discuss: Hacker News
🚀Indie Hacking
Generative Auto-Bidding in Large-Scale Competitive Auctions via Diffusion Completer-Aligner
arxiv.org·4h
🔍BitFunnel
A novel approach to study the wellposedness of the 3D fluid-2D plate interaction PDE System
arxiv.org·4h
🌐Computational Topology
AutoDetect: Designing an Autoencoder-based Detection Method for Poisoning Attacks on Object Detection Applications in the Military Domain
arxiv.org·4h
🔍Vector Forensics
<i>PICALM</i> Alzheimer’s risk allele causes aberrant lipid droplets in microglia
nature.com·16h
🧬Copy Number Variants
Automated Malicious Code Feature Extraction & Attribution via Graph Neural Networks
dev.to·12h·
Discuss: DEV
🦠Malware Analysis
app.build: A Production Framework for Scaling Agentic Prompt-to-App Generation with Environment Scaffolding
arxiv.org·4h
🔄Reproducible Builds
Build a serverless Amazon Bedrock batch job orchestration workflow using AWS Step Functions
aws.amazon.com·1d
⚙️Batch Processing
On the Perturbed Projection-Based Distributed Gradient-Descent Algorithm: A Fully-Distributed Adaptive Redesign
arxiv.org·4h
🤝Consensus Algorithms
Do small language models generate realistic variable-quality fake news headlines?
arxiv.org·1d
🧪Archive Fuzzing
Integrating Generative AI into Cybersecurity Education: A Study of OCR and Multimodal LLM-assisted Instruction
arxiv.org·4h
🤖Advanced OCR
LSAM: Asynchronous Distributed Training with Landscape-Smoothed Sharpness-Aware Minimization
arxiv.org·4h
⧗Information Bottleneck
CNCF On-Demand: A Leap Forward in Kubernetes Networking & Observability with Calico Open Source
youtube.com·1h
🌊Streaming Systems
Exposing Privacy Risks in Anonymizing Clinical Data: Combinatorial Refinement Attacks on k-Anonymity Without Auxiliary Information
arxiv.org·4h
🔐Homomorphic Encryption
Practical Patterns for Adding Language Understanding to Any Software System
dev.to·1d·
Discuss: DEV
🌀Brotli Internals