Supercharging Your Threat Hunts: Join VirusTotal at Labscon for a Workshop on Automation and LLMs
blogger.com·8h
🏠Homelab Pentesting
Why Rewriting Emacs Is Hard
kyo.iroiro.party·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
📝Concrete Syntax
A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·1d
🎯Performance Proofs
MCP for LM Studio with Prompt Library and Custom Prompting
github.com·1d·
Discuss: Hacker News
👑Isabelle
ContraGS: Codebook-Condensed and Trainable Gaussian Splatting for Fast, Memory-Efficient Reconstruction
arxiv.org·14h
🏺Compression Museums
Loong: Synthesize Long Chain-of-Thoughts at Scale through Verifiers
arxiv.org·1d
👑Coq Tactics
Novel Polymeric Network Architectures for Enhanced Molecular Adhesive Interface Bonding
dev.to·5h·
Discuss: DEV
🌐Computational Topology
2025-09-01: Let's write a peephole optimizer for QBE's arm64 backend
briancallahan.net·4d·
Discuss: Hacker News
🚀Compiler Optimizations
Anti-patterns and patterns for achieving secure generation of code via AI
ghuntley.com·3d·
Discuss: Hacker News
⚔️Lean Tactics
TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum
arxiv.org·1d
🔗Hash Chains
Optimizing AI Inference with Edge Computing
edgee.cloud·3d·
Discuss: Hacker News
🌊Streaming Compression
Quality vs. Efficacy: Learning with AI
dev.to·17h·
Discuss: DEV
🧠Intelligence Compression
We need to seriously think about what to do with C++ modules
nibblestew.blogspot.com·4d·
Discuss: Lobsters, Hacker News, nibblestew.blogspot.com, r/cpp, r/programming
🔗Static Linking
Vibe Coding Our Way to Disaster
softwarearthopod.substack.com·1d·
Discuss: Substack
⚔️Lean Tactics
The Impact of Critique on LLM-Based Model Generation from Natural Language: The Case of Activity Diagrams
arxiv.org·1d
🔗Constraint Handling
Show HN: Empromptu.ai – Solving the production reliability crisis in AI
news.ycombinator.com·1d·
Discuss: Hacker News
🎙️Whisper
Gthulhu, a system scheduler dedicated to cloud-native workloads written in Golang
reddit.com·8h·
Discuss: r/golang
🌊Apache Kafka
How to Vibe Code Effectively
ibrahimahmed.ca·1d·
Discuss: Hacker News
✅Formal Methods
Casual Productivity with LLMs
kylekukshtel.com·3d·
Discuss: Hacker News
🦀Rust Macros
Augment, Complement and Empower Yourself
arttuv.com·1d·
Discuss: Lobsters, Hacker News
⚡Proof Automation