🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧪 Property-Based Testing

QuickCheck, Input Generation, Hypothesis Testing, Test Refinement

Global patterns in elites' quest for confidentiality in offshore finance
journals.plos.org·1d·
Discuss: Hacker News
🐫OCaml
Screenshot and AI-Resistant Data Protection Using Temporal Integration
igorkomolov.com·3d·
Discuss: Hacker News
🏹Effect Systems
Psychologic manipulation for better social interactions in online Games
reddit.com·1d·
Discuss: r/gaming
🎮Verification Games
Building My First iOS App
loukidelis.com·2d·
Discuss: Hacker News
🍎Apple
AI Evolves a Winning Strategy in the Prisoner's Dilemma
edwardbrookman.substack.com·4d·
Discuss: Substack
🎮Verification Games
Idempotency in System Design: Full example
lukasniessen.medium.com·5d·
Discuss: r/compsci, r/devops, r/programming
🏹Effect Systems
Should You Migrate Your Documentation System – and Is It AI-Ready?
nikhilajain.com·35m·
Discuss: Hacker News
🔄Reproducible Builds
Repeated Failures Report at AnyMaint: A Technical Deep Dive
medium.com·3d·
Discuss: r/programming
👁️System Observability
Coding with LLMs in the summer of 2025 (an update)
antirez.com·6d·
Discuss: Lobsters, Hacker News, r/programming
🤖Program Synthesis
Google is testing a vibe-coding app called Opal
techcrunch.com·1d·
Discuss: Hacker News
🍎Apple
I made gui windows portable app maker
github.com·2d·
Discuss: r/cpp, r/programming
🔬Unikernels
Show HN: CandleVision Real-time candlestick detection with YOLOv8
github.com·21h·
Discuss: Hacker News
🍎Apple
Anticipating Holes in ChatGPT's Knowledge
amahabal.substack.com·3d·
Discuss: Substack
🎮Verification Games
Show HN: WTMF Beta – Your AI bestie that understand
news.ycombinator.com·27m·
Discuss: Hacker News
🍎Apple
Simulating multiple human perspectives in socio-ecological systems using large language models
arxiv.org·2d
🐫OCaml
"I Would Not Be This Version of Myself Today": Elaborating on the Effects of Eudaimonic Gaming Experiences
arxiv.org·1d
🎮Verification Games
Q&A: Snowflake Analytics Chief on Centralizing Data for AI
thenewstack.io·2d
🖥️Self-hosted Infrastructure
LLM Meets the Sky: Heuristic Multi-Agent Reinforcement Learning for Secure Heterogeneous UAV Networks
arxiv.org·2d
📡Network Protocol Design
Talking to...uh...um...Machines: The Impact of Disfluent Speech Agents on Partner Models and Perspective Taking
arxiv.org·1d
🏹Effect Systems
Making Sense of Hanlon's Razor
domofutu.substack.com·3d·
Discuss: Substack
➡️Category Theory
Loading...Loading more...
AboutBlogChangelogRoadmap