🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ“ formal specification

tla+, p-lang, property-based testing, simulations

CppCon 2025 Type Traits without Compiler Instrinsics: Promise of Static Reflection -- Andrei Zissu
isocpp.orgΒ·17h
πŸ”§PLT
BUILD: Solving the Software Complexity Puzzle
computing.llnl.govΒ·19hΒ·
Discuss: Hacker News
πŸ”§PLT
Creating an assembler for a custom CPU
popovicu.comΒ·14h
🐫Ocaml
πŸ—οΈ Part 1: Foundation - Basic RAG and Agentic Concepts
dev.toΒ·10hΒ·
Discuss: DEV
πŸ”§PLT
Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.orgΒ·4d
πŸ”§PLT
New Go ORM Library: - Elegant, Simple, and Powerful
github.comΒ·1dΒ·
Discuss: r/golang
πŸͺœScala
Redact: AI powered prompt security analysis
dev.toΒ·8hΒ·
Discuss: DEV
πŸͺœScala
Prompt Engineering for Developers: Integrating LLMs into Apps for Higher Accuracy and Faster Time-to-Market
dev.toΒ·17hΒ·
Discuss: DEV
πŸ€–AI
Elegant Middleware Architecture Implementation(7420)
dev.toΒ·12hΒ·
Discuss: DEV
πŸͺœScala
I finally understand how AI can handle legal paperwork better than humans.
threadreaderapp.comΒ·3h
πŸ€–AI
GPT-5 on SWE-bench: Cost and performance deep-dive
mini-swe-agent.comΒ·2dΒ·
Discuss: Hacker News
πŸ€–AI
A Year Late to My Own Introduction
dev.toΒ·8hΒ·
Discuss: DEV
πŸ”§PLT
Programming with AI: You're Probably Doing It Wrong
devroom.ioΒ·3dΒ·
Discuss: Hacker News
πŸ€–AI
FlagWise: An open source Shadow AI detection tool
github.comΒ·1dΒ·
Discuss: r/selfhosted
πŸ€–AI
EvolvR: Self-Evolving Pairwise Reasoning for Story Evaluation to Enhance Generation
arxiv.orgΒ·5h
πŸ”§PLT
Built With Borrowed Hands
cra.mrΒ·3dΒ·
Discuss: Hacker News
πŸ”§PLT
Your OOP code looks fine: The Liskov Violation SILENTLY Breaking Production!
dev.toΒ·2dΒ·
Discuss: DEV
πŸ”§PLT
🧠OrKa onboarding: example suite, guided tour, and trace replay
dev.toΒ·14hΒ·
Discuss: DEV
πŸ€–AI
Flutter Lesson 10: Forms and Inputs
dev.toΒ·1hΒ·
Discuss: DEV
πŸͺœScala
Adaptive Requirements Elicitation via Bayesian Network Optimization for Complex Systems
dev.toΒ·6hΒ·
Discuss: DEV
πŸ”§PLT
Loading...Loading more...
AboutBlogChangelogRoadmap