๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ‘‘ Dependent Haskell

Singletons, Type-level Programming, GADTs, Kind Polymorphism

Copyleft-next license project relaunch announcement
lists.copyleft.orgยท1dยท
Discuss: Hacker News
๐ŸงFOSS
Superhuman is being acquired by Grammarly to build the future of work
blog.superhuman.comยท2hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Claude Code Experience | kean.blog
kean.blogยท2d
โšกProof Automation
How to Do Autocomplete
bonsai.ioยท1dยท
Discuss: Hacker News
๐Ÿ“‹Document Grammar
Test names should be sentences
bitfieldconsulting.comยท2dยท
Discuss: Hacker News, r/programming
๐ŸงชProperty-Based Testing
Writing Code Was Never The Bottleneck
ordep.devยท18hยท
Discuss: Hacker News, r/programming
๐Ÿ“Code Metrics
Rust in the Linux kernel: part 2
lwn.netยท3dยท
Discuss: Hacker News, r/programming
๐Ÿฆ€Rust Borrowing
Chromium/V8 implementing Temporal API via Rust (temporal_rs and ICU4X)
reddit.comยท22hยท
Discuss: r/rust
๐Ÿฆ€Rust Borrowing
๐Ÿš€ Building OmniRadhaNexus โ€” A Multichain Web3 Ecosystem for the Future
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Sync Engine
Counting Down Capabilities to AGI
shash42.substack.comยท1dยท
Discuss: Substack
๐Ÿง Intelligence Compression
The Confidence Paradox: Can LLM Know When It's Wrong
arxiv.orgยท13h
๐Ÿง Intelligence Compression
Memory Safety in Web Rust System Zero Cost Secure๏ผˆ1750794401345600๏ผ‰
dev.toยท6dยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols๏ผˆ1751116236719200๏ผ‰
dev.toยท3dยท
Discuss: DEV
๐ŸŒNetwork Protocols
Compose Multiplatform looks promising ๐Ÿš€
dev.toยท2dยท
Discuss: DEV
๐Ÿ’งLiquid Types
Advanced Python Testing Techniques: Property-Based, Mutation, and Fuzzing for Robust Applications
dev.toยท2dยท
Discuss: DEV
๐Ÿ›Fuzzing
Generative AI Meets Edge: Deploying Foundation Models with AWS IoT Greengrass
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStreaming Systems
From vision to reality: My journey building with code
dev.toยท12hยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
Introducing Zenoscript
dev.toยท3dยท
Discuss: DEV
๐ŸŽฏGradual Typing
๐Ÿ”ง Lessons from Building Tunaresq โ€” A Backend Developer's Reflection
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
The Terraform Namer Pattern: Making Consistent Naming Easy at Scale
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ‹Format Metamorphosis
Loading...Loading more...
AboutBlogChangelogRoadmap