๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”— Dependently Typed

Proof-Carrying Code, Correctness by Construction, Type-Level Programming

Invincible Island: The Bones of Our Ancestors
bluerenga.blogยท1d
โšกProof Automation
IPC channel multiplexing: next steps
underlap.orgยท13h
๐Ÿ“ผCassette Protocols
Iranian brickwork, arbitrated pillows, smothered comics, and aerogel desalination
doctorow.medium.comยท11h
๐ŸŒณArchive Merkle Trees
From Minecraft to Markets: Java Hiding in Plain Sight
freebsdfoundation.orgยท4d
๐ŸŽฎSwitch Archaeology
Security Update for Amazon Q Developer Extension for Visual Studio Code
aws.amazon.comยท1dยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
Enhancing Firefox's Find-in-Page for Keyboard Navigation
h.43z.oneยท19hยท
Discuss: Hacker News
๐ŸงFOSS
ClickPipes for Postgres CDC To ClickHouse
benjaminwootton.comยท8hยท
Discuss: Hacker News
๐ŸงฌPostgreSQL Forensics
An Engineer's Guide to AI Code Model Evals
addyosmani.comยท2dยท
Discuss: r/programming, r/webdev
๐Ÿ“Code Metrics
My local Lowe's has its check-out computers running Linux.
reddit.comยท14hยท
Discuss: r/linux
๐Ÿ”ŒOperating system internals
REST vs gRPC โ€“ When to Use What
dev.toยท7hยท
Discuss: DEV
โšกgRPC
PyDocs โ€“ A modern open-source site to learn Python from scratch.
dev.toยท2dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Prompt Power-Up: Master AI Prompts for Seamless Code Migrations
dev.toยท3dยท
Discuss: DEV
๐Ÿฆ‹Format Metamorphosis
Data-Driven Incremental GAS Certificate of Nonlinear Homogeneous Networks: A Formal Modular Approach
arxiv.orgยท2d
๐ŸŽฏPerformance Proofs
Show HN: SQLite AI - Open-Source Extensions to Bring AI to SQLite, Everywhere
news.ycombinator.comยท3dยท
Discuss: Hacker News
๐Ÿ’พSQLite
TextSAM-EUS: Text Prompt Learning for SAM to Accurately Segment Pancreatic Tumor in Endoscopic Ultrasound
arxiv.orgยท2d
๐Ÿง Machine Learning
StakeRunner - Automating the Future of Crypto Gambling
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠApache Kafka
Byte-Vision delivers powerful Retrieval Augmented Generation by integrating Llama.Cpp and Elasticsearch's vector search.
dev.toยท1dยท
Discuss: DEV
๐Ÿ”BitFunnel
Reinforcement Learning in hyperbolic space for multi-step reasoning
arxiv.orgยท3d
๐ŸŒ€Hyperbolic Geometry
Sparse identification of nonlinear dynamics with library optimization mechanism: Recursive long-term prediction perspective
arxiv.orgยท2d
๐Ÿง Machine Learning
Software Ray Tracer in GO - Multi-threaded(Goroutines)
reddit.comยท2dยท
Discuss: r/golang
โŸทBidirectional Programming
Loading...Loading more...
AboutBlogChangelogRoadmap