๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ’ง Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

ELA-1477-1 jessie-elts end of life
freexian.comยท3h
โ„๏ธNixpkgs
Stop the Uncritical Adoption of AI Technologies in Academia
openletter.earthยท15h
๐Ÿ”ฒCellular Automata
E = mc^2: Errors = More ร— (Code)^2
max-au.comยท1dยท
Discuss: Hacker News
๐Ÿ“Code Metrics
Visualizing CPU Pipelining (2024)
timmastny.comยท3dยท
Discuss: Hacker News
โš™๏ธRISC-V Microcode
Notes on Software Engineering Beyond the Code
sevazhidkov.comยท2dยท
Discuss: Hacker News
๐Ÿ’พPersistence Strategies
Klirr: invoice automation tool written on Rust using Typst
reddit.comยท1dยท
Discuss: r/rust
๐Ÿฆ€Rust Macros
UCCL: An Extensible Software Transport Layer for GPU Networking
github.comยท1dยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธModern Terminals
Memory Safety and Ultimate Performance Finding Perfect Balance in Rust๏ผˆ1751201279898700๏ผ‰
dev.toยท1dยท
Discuss: DEV
๐Ÿ”’Type Safety
Understanding LLMs & Ideating A Decentralized Approach To Solve Challenges
dev.toยท14hยท
Discuss: DEV
๐Ÿ’ปLocal LLMs
SepFormer: Coarse-to-fine Separator Regression Network for Table Structure Recognition
arxiv.orgยท17h
๐Ÿ”„Burrows-Wheeler
LLM Agents: Your Guide to Smarter Development
dev.toยท1dยท
Discuss: DEV
๐Ÿ—ฃ๏ธDomain-Specific Languages
ImplicitQA: Going beyond frames towards Implicit Video Reasoning
arxiv.orgยท17h
๐Ÿ“ŠLearned Metrics
Built a geospatial game in Go using PostGIS where you plant seeds at real locations
reddit.comยท5hยท
Discuss: r/golang
๐Ÿฆ€Rust Borrowing
๐Ÿš€ Production-Ready: 6 Advanced Fixes for Your LLMService Class ๐Ÿš€
dev.toยท3dยท
Discuss: DEV
๐Ÿ’ปLocal LLMs
Transfer Learning for Assessing Heavy Metal Pollution in Seaports Sediments
arxiv.orgยท17h
๐Ÿง Machine Learning
AI Integration and the Traceability Gap: Atlassian vs. Competitors
dev.toยท12hยท
Discuss: DEV
๐Ÿ‘๏ธObservatory Systems
Build a Login App using React and Express (Step by Step Guide)
dev.toยท1dยท
Discuss: DEV
๐Ÿ“œProof Carrying Code
Hey devs, we're Kinde
dev.toยท14hยท
Discuss: DEV
๐Ÿ”“Open Source Software
Why a Scalable Design System Is Essential for Growing Businesses
dev.toยท9hยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
โ˜•๏ธ Monday Motivation: Debug Your Monday Blues ๐Ÿ›
dev.toยท2hยท
Discuss: DEV
๐ŸขMainframes
Loading...Loading more...
AboutBlogChangelogRoadmap