🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ”¬ Refinement Types

Liquid Haskell, Contract Programming, SMT Integration, Type Safety

Codeminer42 Dev Weekly #70
blog.codeminer42.comΒ·3d
πŸ”„Reproducible Builds
The powerful Beast blender lives up to its name, and it's even made me a kale smoothie fan
techradar.comΒ·1d
β˜•Coffee
Herringbone Tiles
nothings.orgΒ·13hΒ·
Discuss: Hacker News
πŸ“Mathematical Art
Portable Forensics with Toby: A Raspberry Pi Toolkit
bakerstreetforensics.comΒ·1dΒ·
Discuss: Hacker News
πŸ’ΎDisk Utilities
Experimenting with SQL:2023 Property-Graph Queries in Postgres 18
gavinray97.github.ioΒ·2dΒ·
Discuss: Hacker News
🧬PostgreSQL Forensics
Show HN: I made an extension for VSCode that integrates opencode
marketplace.visualstudio.comΒ·2dΒ·
Discuss: Hacker News
πŸͺŸAwesome windows command-line
Inheritance over composition, sometimes
death.andgravity.comΒ·6d
πŸ¦€Rust Macros
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.comΒ·4dΒ·
Discuss: Hacker News
πŸ”—Concatenative Programming
Show HN: Built a localhost-sharing CLI with live feedback
news.ycombinator.comΒ·1dΒ·
Discuss: Hacker News
πŸš€Indie Hacking
Researchers mimic cell membranes to tune ion transport in artificial water filters
phys.orgΒ·5h
βš›οΈInformation Physics
Dual-Numbers Reverse AD for Functional Array Languages
arxiv.orgΒ·3d
πŸ“ŠAPL Heritage
The Chainsaw Metaphor: AI in software development represents an evolution, not a destructive revolution
dev.toΒ·12hΒ·
Discuss: DEV
πŸ”„Language Evolution
Signs of the Past, Patterns of the Present: On the Automatic Classification of Old Babylonian Cuneiform Signs
arxiv.orgΒ·21h
πŸ€–Paleographic ML
[P] Anyone interested in adding their fine-tuned / open source models to this benchmark?
reddit.comΒ·1dΒ·
Discuss: r/MachineLearning
πŸŒ€Brotli Internals
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.comΒ·4d
πŸ“œProof Carrying Code
Understanding Derivatives: The Slope of Change
dev.toΒ·2dΒ·
Discuss: DEV
πŸŒ€Differential Geometry
Complexity of Abduction in \L{}ukasiewicz Logic
arxiv.orgΒ·21h
πŸ—οΈConstructive Mathematics
Kotlin only treats the symptoms of null pointers, while Rust cures the disease. That’s one of the main reasons I prefer Rust.
reddit.comΒ·1dΒ·
Discuss: r/rust
πŸ¦€Rust Borrowing
πŸš€ The Complete Guide to Prompt Engineering: From Zero-Shot to AI Agents
dev.toΒ·1dΒ·
Discuss: DEV
⚑Proof Automation
Why I'm Betting Against AI Agents in 2025 (Despite Building Them)
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”Capability Systems
Loading...Loading more...
AboutBlogChangelogRoadmap