🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ” Concolic Testing

Symbolic Execution, SAGE, Path Exploration, Dynamic Analysis

Some recent project milestones
markjgsmith.comΒ·2d
πŸ”ŒInterface Evolution
Reloading classes in python and shared borders
andrewpwheeler.comΒ·1dΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Do I not like Ruby anymore? (2024)
sgt.hootr.clubΒ·1dΒ·
Discuss: Hacker News, r/programming
🎯Gradual Typing
Show HN: Auto-Match – How We Built Receipt-to-Transaction Matching (Open Source)
midday.aiΒ·3hΒ·
Discuss: Hacker News
πŸ”€EBCDIC Mining
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.comΒ·19h
⬆️Lambda Lifting
How UIUC is teaching AI in their CS 101 Classes
cs124.orgΒ·8hΒ·
Discuss: Hacker News
πŸ’»CS
Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.toΒ·4dΒ·
Discuss: DEV
✨Effect Handlers
RLMR: Reinforcement Learning with Mixed Rewards for Creative Writing
arxiv.orgΒ·7h
πŸ”²Cellular Automata
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.comΒ·1dΒ·
Discuss: Hacker News
πŸ”±Galois Cryptography
Do What? Teaching Vision-Language-Action Models to Reject the Impossible
arxiv.orgΒ·2d
βš–οΈRISC-V Formal
How AI coding tools changed my workflow (and why I still needed an API solution)
dev.toΒ·2dΒ·
Discuss: DEV
⚑Proof Automation
I Supercharged My Browser GPT with Rust and WebAssembly: The Journey to a Dual-Engine AI
dev.toΒ·1dΒ·
Discuss: DEV
πŸ¦€Rust Macros
How to Benchmark Classical Machine Learning Workloads on Google Cloud
towardsdatascience.comΒ·1d
⚑Performance Mythology
Cognitive Agents Powered by Large Language Models for Agile Software Project Management
arxiv.orgΒ·1d
πŸ”„Language Evolution
πŸš€ Learning Update
dev.toΒ·1dΒ·
Discuss: DEV
🌳Incremental Parsing
Enhanced UAV Path Planning Using the Tangent Intersection Guidance (TIG) Algorithm
arxiv.orgΒ·7h
πŸ“ŠComputational Geometry
Building Swift Tech Now: a behind-the-scenes look at creating a modern tech blog with Python and C++
dev.toΒ·2dΒ·
Discuss: DEV
πŸ”„Reproducible Builds
Why AI Isn’t Ready to Be a Real Coder
spectrum.ieee.orgΒ·23hΒ·
Discuss: r/technews
πŸ“Code Metrics
On systematic construction of correct logic programs
arxiv.orgΒ·1d
βš–οΈHoare Logic
Nil Pointer Panic at 3 AM: Choosing the Right Go Database Tool to Save Your Sleep
dev.toΒ·19hΒ·
Discuss: DEV
🧩SQLite Extensions
Loading...Loading more...
AboutBlogChangelogRoadmap