🐿️ 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·14h
🔧PLT
BUILD: Solving the Software Complexity Puzzle
computing.llnl.gov·17h·
Discuss: Hacker News
🔧PLT
Creating an assembler for a custom CPU
popovicu.com·12h
🐫Ocaml
Exploring Traces: Agent trajectory walkthroughs from interesting examples
theori.io·1d·
Discuss: Hacker News
🤖AI
Comparing Knowledge Injection Methods for LLMs in a Low-Resource Regime
arxiv.org·3h
🔧PLT
Building a Scalable .NET 8 Web API: Clean Architecture + CQRS + JWT + PostgreSQL + Redis - A Complete Guide
dev.to·1d·
Discuss: DEV
🪜Scala
Automated Electrochemical Impedance Spectroscopy Data Analysis for Battery Degradation Prediction
dev.to·6h·
Discuss: DEV
🔧PLT
AI Agents or Workflows? Why You Should Skip Agents for 80% of Automation Tasks
milvus.io·7h
🤖AI
I made a tool to setup C++ projects in 1 click and bundle GD-Gen with them
github.com·10h·
Discuss: r/godot
🪜Scala
🏗️ Part 1: Foundation - Basic RAG and Agentic Concepts
dev.to·7h·
Discuss: DEV
🔧PLT
The Fair Game: Auditing & Debiasing AI Algorithms Over Time
arxiv.org·3h
🤖AI
Predictive Trust Degradation Mitigation via Dynamic Behavioral Anomaly Detection in Collaborative Robots
dev.to·8h·
Discuss: DEV
🤖AI
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·6h·
Discuss: DEV
🪜Scala
Elegant Middleware Architecture Implementation(7420)
dev.to·10h·
Discuss: DEV
🪜Scala
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·5h·
Discuss: DEV
🔧PLT
🧠OrKa onboarding: example suite, guided tour, and trace replay
dev.to·12h·
Discuss: DEV
🤖AI
Programming with AI: You're Probably Doing It Wrong
devroom.io·3d·
Discuss: Hacker News
🤖AI
Loading...Loading more...
AboutBlogChangelogRoadmap