๐Ÿฟ๏ธ 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

A Bittersweet Farewell: My Final KDE Snap Release and the End of an Era
scarlettgatelymoore.devยท2h
๐Ÿ‘Open Source Software
Materialized views are obviously useful
sophiebits.comยท3dยท
Discuss: Lobsters, Hacker News, Hacker News
๐Ÿง Memory Management
Naming Things: The Most Underrated Skill in Software Development
andreacanton.devยท2dยท
Discuss: Hacker News
๐Ÿ”งCompiler Design
Scaling SDK Generation in Rust to Handle Millions of Tokens Per Second
sideko.devยท6dยท
Discuss: r/rust
๐Ÿ—Computer Architecture
I turned on Threads automatic cross-posting from...
manton.orgยท2d
๐Ÿ‘Open Source Software
16 Failure Modes of RAG and LLM Agents and How to Fix Them With a Semantic Firewall
hackernoon.comยท2d
๐Ÿฆ€Rust
Leviton Launches Submetering Pro Certification Program for Contractors
prnewswire.comยท20m
๐ŸงฉTheorem Proving
Minimal layer Iris layout concept
github.comยท3dยท
Discuss: r/ErgoMechKeyboards, r/ErgoMechKeyboards
๐ŸงฎProgramming Language Theory
New dataset for smarter 3D printing released
techxplore.comยท4h
๐ŸŽฒProbabilistic Programming
Stemming -- The Evolution and Current State with a Focus on Bangla
arxiv.orgยท3d
๐ŸงฎProgramming Language Theory
Arguments About AI Consciousness Seem Highly Motivated And At Best Overconfident
lesswrong.comยท4h
๐Ÿค–Sci-Fi
My 10 y/o wants to develop games
reddit.comยท3dยท
Discuss: r/gamedev
๐Ÿ“Lisp
NVIDIA Jetson Thor Unlocks Real-Time Reasoning for General Robotics and Physical AI - NVIDIA Blog
news.google.comยท2h
๐Ÿค–Sci-Fi
The Claude Code / AI Dilemma
reddit.comยท4dยท
Discuss: r/ClaudeAI
๐ŸงฉTheorem Proving
Enhanced Ligand Design via Multi-Modal Data Fusion and Reinforcement Learning
dev.toยท3dยท
Discuss: DEV
โš™Functional Programming
NetBeans 27 Improves JDK 25 Compatibility, Adds Gradle 9 Fixes
linuxiac.comยท2d
๐Ÿ‘Open Source Software
Python Packages Every Developer Must Know(Especially Beginners)
dev.toยท3dยท
Discuss: DEV
๐ŸงฉTheorem Proving
I am currently trying to get into Docker and Kubernetes - where do I start?
reddit.comยท18hยท
Discuss: r/kubernetes
๐ŸŒDistributed Systems
Tackling the DevSecOps Gap in Software Understanding
devops.comยท3d
๐Ÿ‘Open Source Software
MoEcho: Exploiting Side-Channel Attacks to Compromise User Privacy in Mixture-of-Experts LLMs
arxiv.orgยท3d
๐ŸงญSMT Solvers
Loading...Loading more...
AboutBlogChangelogRoadmap