๐Ÿฟ๏ธ 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, Control Flow, Bug Detection

Calibrite PROFILER 2.0.0
majorgeeks.comยท14h
๐Ÿค–AI
preparing for the worst
daniel.haxx.seยท19hยท
Discuss: Hacker News
๐Ÿ“formal specification
Accelerating local serverless development with console to IDE and remote debugging for AWS Lambda
aws.amazon.comยท8h
๐Ÿ“formal specification
Bitcoin Highs Bring Familiar Questions, but Discipline Outlasts Hype
hackernoon.comยท7h
๐Ÿ’ปClaude
JavaScript30 โ€” 30 Days of Vanilla JS Fun
javascript30.comยท17hยท
Discuss: DEV
๐Ÿค–AI
Think Tasks Not Tools: Teaching AI Literacy in East Asian Art History
digitalorientalist.comยท14h
๐Ÿ”งPLT
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.comยท18hยท
Discuss: Hacker News
๐Ÿ“formal specification
GSoC 2025 - Byte Type: Supporting Raw Data Copies in the LLVM IR
blog.llvm.orgยท2dยท
Discuss: Lobsters, Hacker News, Hacker News
๐ŸซOcaml
Week Notes - Sep 01 to Sep 08 2025
noisydeadlines.netยท1d
๐Ÿ”งPLT
Are Your AI Co-Pilots Trapping Data in Isolated Silos?
thenewstack.ioยท12h
๐Ÿค–AI
Row Equivalence in Linear Algebra with Python
dev.toยท8hยท
Discuss: DEV
๐Ÿ”งPLT
๐ŸASPICE Literacy: Episode 3 โ€” Capability vs. Risk-Based Assessments: Choosing Your Lens ๐Ÿ”
dev.toยท9hยท
Discuss: DEV
๐Ÿ“formal specification
Folks who are fine-tuning SLMs, where do you acquire datasets?
arxiv.orgยท1dยท
Discuss: r/LocalLLaMA
๐Ÿ”งPLT
The Single Coding Habit That Separates Seniors From Juniors
dev.toยท1dยท
Discuss: DEV
๐Ÿ“formal specification
Enhanced Sentiment Pattern Profiling via Multi-modal Data Fusion and HyperScore Evaluation
dev.toยท5hยท
Discuss: DEV
๐Ÿ”งPLT
Why you need to learn Apache Airflow - right now
dev.toยท1dยท
Discuss: DEV
๐Ÿ“formal specification
Automated Fault Identification in Shell-and-Tube Heat Exchangers via Spectral Analysis and Deep Learning
dev.toยท2dยท
Discuss: DEV
๐Ÿ“formal specification
From QA to DevOps?
reddit.comยท2dยท
Discuss: r/devops
๐Ÿ“formal specification
What is Context Engineering?
dev.toยท12hยท
Discuss: DEV
๐Ÿ“formal specification
How to Use Semantic Versioning and Conventional Commits With Husky
dev.toยท2dยท
Discuss: DEV
๐Ÿ”งPLT
Loading...Loading more...
AboutBlogChangelogRoadmap