🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
βœ… Formal Methods

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

How Sui Move rethinks flash loan security
blog.trailofbits.comΒ·1d
⚑Hardware Transactional Memory
FreeCAD Foray: Good Practices
hackaday.comΒ·1h
πŸ¦‹Format Metamorphosis
Weeknotes #341 β€” Just the three of us
andrewdoran.ukΒ·1d
πŸ“°RSS Reading Practices
Report from OSS EU 2025 and AI_dev: What’s next for OSAID
opensource.orgΒ·1d
πŸ”“Open Source Software
Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.comΒ·1dΒ·
Discuss: Hacker News
πŸ“Interval Arithmetic
How to use the GitHub and JFrog integration for secure, traceable builds from commit to production
github.blogΒ·1d
πŸ”„Reproducible Builds
Clankers Die on Christmas
remyhax.xyzΒ·3dΒ·
Discuss: Hacker News
πŸ“ABNF Parsing
On discourse and decentralisation
connectedplaces.onlineΒ·7hΒ·
Discuss: Hacker News
🀝Distributed Consensus
Human vs. JSON output formatting: avoid mixing concerns
blog.liw.fiΒ·3dΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.comΒ·17hΒ·
Discuss: Hacker News
🌊Streaming Systems
ntdevlabs/tiny11builder
github.comΒ·13h
πŸͺŸAwesome windows command-line
Acceptability of AI Assistants for Privacy: Perceptions of Experts and Users on Personalized Privacy Assistants
arxiv.orgΒ·11h
🎯Content Recommendation
RAG-Powered Chat: OpenAI & ChromaDB Integration
dev.toΒ·20hΒ·
Discuss: DEV
πŸ”ŒArchive APIs
Terminating elegantly: a guide to graceful shutdowns (Go + k8s)
packagemain.techΒ·31mΒ·
Discuss: r/golang
🌊Streaming Systems
Code Review Without Borders: Evaluating Synthetic vs. Real Data for Review Recommendation
arxiv.orgΒ·3d
πŸ“Code Metrics
RECAP: REwriting Conversations for Intent Understanding in Agentic Planning
arxiv.orgΒ·3d
πŸ”—Parser Combinators
Is Category Theory Being Co-opted?
johncarlosbaez.wordpress.comΒ·2d
πŸ”€Category Theory
Experimenting with Local LLMs on macOS
dev.toΒ·2dΒ·
Discuss: DEV
πŸ’»Local LLMs
Using AI to Optimize Patient Transfer and Resource Utilization During Mass-Casualty Incidents: A Simulation Platform
arxiv.orgΒ·11h
🌊Stream Processing
Automated Anomaly Detection in Nanopore Sequencing Data via Multi-Resolution Spectral Decomposition
dev.toΒ·2dΒ·
Discuss: DEV
πŸ”FLAC Forensics
Loading...Loading more...
AboutBlogChangelogRoadmap