🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔍 Static Analysis

Abstract Interpretation, Data Flow Analysis, Symbolic Execution, Bug Detection

Day 15: Basics of Python for DevOps Engineers
python.org·2d·
Discuss: DEV
👐Open Source Software
Winning the Game You Didn’t Choose: The Case for External Cyber Defense in Government and Education
blog.checkpoint.com·1h
🛡️IoT Security
Building brittle software
blog.kronis.dev·2d
👐Open Source Software
Redprints CFP: an open source CFP management app built with Rails + Inertia.js
evilmartians.com·1d·
Discuss: Hacker News
🧫Cellular Automata
How to Trace and Audit Evidentiary Force in Machine-drafted Text
hackernoon.com·1d
🔗Parser Combinators
The Hidden 3-Hour Time Drain in AI Development
ucm.utaba.ai·1d·
Discuss: DEV
🧭SMT Solvers
odinlang: Odin looks like a promising C replacement
iio.ie·3d
📝Lisp
I spent 80% of my time planning and 20% coding with AI tools
news.ycombinator.com·18h·
Discuss: Hacker News
🧩Theorem Proving
Show HN: A benchmark and latency SIM for LLM db queries: ClickHouse / Postgres
github.com·1d·
Discuss: Hacker News
🎲Probabilistic Programming
Automate security reviews with Claude Code
anthropic.com·1d·
Discuss: Hacker News
🧩Theorem Proving
Intellij IDEA 2025.2 released
jetbrains.com·1d
🔧Compiler Design
Advice for a new professor teaching C
reddit.com·3d·
Discuss: r/C_Programming
🔧Compiler Design
Beyond "It Works on My Machine": The Quest for Calm, Predictable Development Environments
dev.to·1d·
Discuss: DEV
🔌Network Programming
A Few Words Can Distort Graphs: Knowledge Poisoning Attacks on Graph-based Retrieval-Augmented Generation of Large Language Models
arxiv.org·10h
🔗Parser Combinators
Topolow: Force-Directed Euclidean Embedding of Dissimilarity Data with Robustness Against Non-Metricity and Sparsity
arxiv.org·2d
🔄Category Theory
Psychological safety in software workplaces: A systematic literature review
arxiv.org·1d
👐Open Source Software
From Python to ClickHouse: Parquet ETL with Go
dev.to·10h·
Discuss: DEV
🦀Rust
TRACEALIGN -- Tracing the Drift: Attributing Alignment Failures to Training-Time Belief Sources in LLMs
arxiv.org·2d
🔧Compiler Design
AI-Driven Cybersecurity Threat Detection: Building Resilient Defense Systems Using Predictive Analytics
arxiv.org·2d
🛡️IoT Security
[D] Do you think LLM memory will ever be solved without fine‑tuning?
reddit.com·1d·
Discuss: r/MachineLearning
🔧Compiler Design
Loading...Loading more...
AboutBlogChangelogRoadmap