📊 Static Analysis

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

IMO 2024 and 2025
blog.evanchen.cc·2d
⚙️Proof Engineering
NSW Fair Trading – Dark Patterns
nsw.gov.au·7h·
Discuss: Hacker News
📰RSS Reading Practices
Show HN: MoebiusXBIN – ASCII and text-mode art editor with custom font support
blog.glyphdrawing.club·1d·
Discuss: Hacker News
🔠Terminal Fonts
GenosDB (GDB) – Decentralized P2P Graph Database
npmjs.com·1d·
Discuss: Hacker News, Hacker News
🕸️Neo4j
OverHAuL: Harnessing Automation for C Libraries with Large Language Models
kchousos.github.io·4d·
Discuss: Lobsters, Hacker News
📚MARC Archaeology
Using Claude Code Off-Label: Research Instead of Coding
random.rest·3d·
Discuss: Hacker News
🏛Digital humanities
AI Is Democratizing Cognitive Thought
daviesgeek.com·21h·
Discuss: Hacker News
🌀Brotli Internals
Comparing Pattern-Matching Across Different Languages: Java, Scala, and More
hackernoon.com·6d
🧮Algebraic Datatypes
Building a Complete Social Media Backend with Django - Part 3: Project Structure and Architecture
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Cactus Language • Pragmatics 5
inquiryintoinquiry.com·2d
📐Format Grammars
Creating with Bolt
dev.to·1d·
Discuss: DEV
📦Git LFS
Anyone Can Jailbreak: Prompt-Based Attacks on LLMs and T2Is
arxiv.org·1d
🧪Binary Fuzzing
COOkeD: Ensemble-based OOD detection in the era of zero-shot CLIP
arxiv.org·16h
🧠Machine Learning
Diving Deep into Logistic Regression: Sigmoid, Probabilities, and Predictive Power
dev.to·19h·
Discuss: DEV
🧠Machine Learning
Text2VLM: Adapting Text-Only Datasets to Evaluate Alignment Training in Visual Language Models
arxiv.org·2d
🎙️Whisper
Empowering Educators in the Age of AI: An Empirical Study on Creating custom GPTs in Qualitative Research Method education
arxiv.org·1d
🗺️Competency Maps
AWS Serverless implementation of all of the OpenAI API documentation examples
github.com·1d·
Discuss: Hacker News
🔌Archive APIs
CIMR: Contextualized Iterative Multimodal Reasoning for Robust Instruction Following in LVLMs
arxiv.org·16h
🌳Context free grammars
Where to show Demos in Your Prompt: A Positional Bias of In-Context Learning
arxiv.org·16h
💻Programming languages
A prompt to improve SEO for Vibe-coded/AI-coded sites
github.com·32m·
Discuss: Hacker News
🔃Feed Algorithms