Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
🦀Rust
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·2h
💻programming
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·4d
🔧functional programming languages
Flag this post
Automating error analysis for AI agents – what works and doesn't
atla-ai.com·12h·
Discuss: Hacker News
🦀Rust
Flag this post
The Same Feature That Makes a Component Powerful Can Also Make It Dangerous
blog.zast.ai·7h·
Discuss: Hacker News
🦀Rust
Flag this post
Rust Testing Framework: Build Reliable Code with Built-In Unit and Integration Tests
dev.to·4h·
Discuss: DEV
🦀Rust
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·5h·
Discuss: DEV
🔧functional programming languages
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·1d·
Discuss: Substack
🦀Rust
Flag this post
Decreasing code editing failures by 38% with output normalization
blog.sweep.dev·5h·
Discuss: Hacker News
💻programming
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·18h
🦀Rust
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·1d
📐Type Theory
Flag this post
Low-Level Hacks
blog.raycursive.com·20h·
Discuss: Hacker News
🦀Rust
Flag this post
Undefined Tasks
thedailywtf.com·16h
🦀Rust
Flag this post
Patterns for Defensive Programming in Rust
corrode.dev·2d·
Discuss: Hacker News, r/rust
🦀Rust
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·18h
🦀Rust
Flag this post
Using eBPF to attribute packet drops to netfilter rules
developers.redhat.com·1d
🦀Rust
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·2d·
Discuss: Hacker News
📐Type Theory
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·4d·
Discuss: Lobsters, Hacker News
🐪ocaml
Flag this post
Breaking Code, Building Skills: Lessons from My Early JavaScript Errors
blog.shubhra.dev·2d·
Discuss: DEV
🦀Rust
Flag this post