📊 Static Analysis

Linting, Code Quality, Abstract Interpretation, Data Flow, Abstract Interpretation, Data Flow Analysis, Program Analysis, Verification

Bridging the Runtime Gap: Insights from Frost & Sullivan’s 2025 Cloud / Application Runtime Security Report | Oligo Security
oligo.security·1d
👁️System Observability
Veracode Allies with Wiz to Bring More Context to DevSecOps Workflows
devops.com·19h
🔓Hacking
PMs Were Vibe Coders All Along
justinpaulson.com·11h·
Discuss: Hacker News
⚡Proof Automation
Figgie Auto: An algorithmic sandbox for Jane Street's game, "Figgie"
github.com·17h·
Discuss: Hacker News
🔲Cellular Automata
Meta-Learning for Cold-Start Personalization in Prompt-Tuned LLMs
arxiv.org·3h
💻Local LLMs
Why Your Vibe-Coded App Will Fail (And How to Fix It)
dev.to·6h·
Discuss: DEV
📏Code Metrics
Chapter 11 Students' interaction with and appreciation of automated informative tutoring feedback
arxiv.org·1d
✋Tactile Computing
How to Run a Hugging Face Model in Jax (Part 1)
huggingface.co·3d·
Discuss: Hacker News
⬆️Lambda Lifting
Machine Learning Fundamentals: federated learning
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Shard Protocol: a preemptive logic layer built on Bolt
dev.to·1d·
Discuss: DEV
⚙️TLA+
Conformal Data Contamination Tests for Trading or Sharing of Data
arxiv.org·2d
📰Content Curation
Closing the complexity gap of the double distance problem
arxiv.org·3h
🧮Kolmogorov Complexity
Subliminal Learning: Language Models Transmit Behavioral Traits via Hidden Signals in Data
simonwillison.net·9h
🤖Grammar Induction
Deep Generative Models in Condition and Structural Health Monitoring: Opportunities, Limitations and Future Outlook
arxiv.org·1d
🌀Riemannian Computing
AI for Better UX in Computer-Aided Engineering: Is Academia Catching Up with Industry Demands? A Multivocal Literature Review
arxiv.org·3h
📟CLI Design
Machine Learning Fundamentals: ensemble learning with python
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Python Write JSON to File
dev.to·22h·
Discuss: DEV
📦Deflate
Lessons from the TREC Plain Language Adaptation of Biomedical Abstracts (PLABA) track
arxiv.org·2d
🔍Information Retrieval
Ask HN: What's the worst part of web E2E testing?
news.ycombinator.com·2d·
Discuss: Hacker News
🐛Fuzzing
Scalable Climate Data Analysis: Balancing Petascale Fidelity and Computational Cost
arxiv.org·1d
⚡Incremental Computation