๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ“ Formal Methods

Type Theory, Program Verification, Theorem Proving, Specification Languages

Nullable but Not Null
efe.meยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ—ƒ๏ธDatabase Internals
Thoughts on Flash (2010)
web.archive.orgยท15hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
European Cloud Hosting with Exoscale
exoscale.comยท21hยท
Discuss: Hacker News
๐ŸŒDistributed systems
Trade Is Not What Matters Most
usni.orgยท21hยท
Discuss: Hacker News
๐ŸŒDistributed systems
Build a Parking sensor with ESP32 board, LEDs and Ultrasonic distance sensor
poeticoding.comยท2dยท
Discuss: Hacker News
๐Ÿ“ŠPerformance Profiling
Gren 25S: Easier interop, concurrent tasks and zero-install packages
gren-lang.orgยท5dยท
Discuss: Lobsters, Hacker News
๐Ÿ’ปProgramming languages
Contextualizing ancient texts with generative neural networks
nature.comยท3dยท
Discuss: Hacker News
๐Ÿš€Query Engines
Recursively self improving AI might not work without these functions
secondsight.devยท4dยท
Discuss: Hacker News
๐Ÿ—ƒ๏ธDatabase Internals
AI coding agents in CI/CD pipelines create new attack vectors
stepsecurity.ioยท3dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Inverted Indexes: A Step-by-Step Implementation Guide
chashnikov.devยท3dยท
Discuss: Hacker News
๐Ÿš€Query Engines
How to Build Custom Logging for AWS Applications with Slack Integration
hackernoon.comยท3d
๐Ÿ“ŠSystems Monitoring
The Productivity Delusion
octopus.comยท4dยท
Discuss: Hacker News
๐Ÿ“ŠSystems Monitoring
Novel Use of "Mount" Spotted in Hikvision Attacks
vulncheck.comยท2dยท
Discuss: Hacker News
๐ŸนApache Arrow
Anticipating Holes in ChatGPT's Knowledge
amahabal.substack.comยท4dยท
Discuss: Substack
๐Ÿ’ปProgramming languages
Vortex: A Prompting Protocol to Test for a 'Self' in LLMs
habr.comยท2dยท
Discuss: Hacker News
๐ŸŒDistributed systems
Financial Services Firms Will Bank On Homegrown AI Training
nextplatform.comยท2dยท
Discuss: Hacker News
๐ŸŒDistributed systems
When Regulation Meets UX: Why Compliance Shouldnโ€™t Break the Product
hackernoon.comยท3d
๐Ÿ”Security Patterns
Coding with LLMs in the summer of 2025 (an update)
simonwillison.netยท6d
๐Ÿ’ปProgramming languages
There is no memory safety without thread safety
ralfj.deยท3dยท
Discuss: Lobsters, Hacker News, r/golang, r/programming
๐Ÿ’ปProgramming languages
Vibe Coding an SMTP Server, in Rust
mailpace.comยท4dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Loading...Loading more...
AboutBlogChangelogRoadmap