๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
๐ Dependent Haskell
Singletons, Type-level Programming, GADTs, Kind Polymorphism
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 32
โข
Page 34 »