🐿️ 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

Marketing data quality crisis reveals 45% of business decisions based on unreliable information
ppc.landΒ·11h
πŸ“formal specification
Effective Code Reviews with Conventional Comments β€’ Paul Slaughter & Adrienne Braganza
youtube.comΒ·15h
πŸ“formal specification
Guide to RAG and MCP: Choosing the Right Path for LLMs
digitalocean.comΒ·1d
πŸ“formal specification
Drop #704 (2025-09-04): Toss Up Thursday
dailydrop.hrbrmstr.devΒ·1d
πŸ”§PLT
We built an interpreter for Swift (a compiled language)
bitrig.appΒ·1dΒ·
Discuss: Hacker News, r/programming
πŸͺœScala
Zero-Click Remote Code Execution: Exploiting MCP and Agentic IDEs
lakera.aiΒ·42mΒ·
Discuss: Hacker News
πŸ€–AI
Breaking Verifiable Abstractions
alperenkeles.comΒ·4dΒ·
Discuss: Hacker News, r/programming
πŸ“formal specification
Development Speed Has Never Been a Bottleneck
pawelbrodzinski.substack.comΒ·14hΒ·
Discuss: Substack
πŸ“formal specification
Should I get into UNIX programming to get better as an embedded C programmer?
reddit.comΒ·1dΒ·
Discuss: r/embedded
πŸ”§PLT
Taming Laravel Blade with Fully Typed Views, Autocomplete, and Type Safety
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“formal specification
Applying Functional Programming to a Complex Domain: A Practical Game Engine PoC
reddit.comΒ·2dΒ·
Discuss: r/programming
πŸͺœScala
Automated Testing of Swag Labs Web Application with Selenium & PyTest πŸš€
dev.toΒ·10hΒ·
Discuss: DEV
πŸ“formal specification
Go from Zero to a Full-Stack, Type-Safe, Cross-Platform App in Seconds
dev.toΒ·3hΒ·
Discuss: DEV
πŸͺœScala
No-CPU Amiga Demo and Framework
github.comΒ·11hΒ·
Discuss: Hacker News
πŸ“formal specification
Simplify Validation in Golangβ€” No Struct Tags, No Reflection, TypeSafety: Meet GoValidator
dev.toΒ·19hΒ·
Discuss: DEV
πŸͺœScala
My First C Project: Campus Management System - Looking for Code Review and Feedback
github.comΒ·11hΒ·
Discuss: r/C_Programming
πŸ“formal specification
Sharing an LMCA / MARE Prompt
reddit.comΒ·1dΒ·
Discuss: r/LLM
πŸ“formal specification
The Impact of Critique on LLM-Based Model Generation from Natural Language: The Case of Activity Diagrams
arxiv.orgΒ·1d
πŸ“formal specification
How to Test
matklad.github.ioΒ·4dΒ·
Discuss: Hacker News, Hacker News
πŸ“formal specification
I was...blown away
reddit.comΒ·14hΒ·
Discuss: r/ClaudeAI
πŸ“formal specification
Loading...Loading more...
AboutBlogChangelogRoadmap