ODF 1.4 Standard Set for Debut: Why This Is Important
lxer.com·7h
🔧functional programming languages
Flag this post
Handbook of Satisfiability (2021)
iospress.com·2d·
Discuss: Hacker News
🔧functional programming languages
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
🦀Rust
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.org·1d·
Discuss: Hacker News
💻programming
Flag this post
Think DSP second edition
allendowney.com·18h
🦀Rust
Flag this post
News for October 2025
ptreview.sublinear.info·1d
🦀Rust
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·14h
🦀Rust
Flag this post
Optical Intelligent Reflecting Surfaces Empowering Non-Terrestrial Communications
arxiv.org·1d
📐Type Theory
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·2d
⚠️Error Handling
Flag this post
No, you don’t need Lit, Vite, or TypeScript to Extend the Umbraco Backoffice
dev.to·19m·
Discuss: DEV
🦀Rust
Flag this post
Anatomically Constrained Transformers for Echocardiogram Analysis
arxiv.org·1d
🔧functional programming languages
Flag this post
How Serde Transforms Rust Data Serialization: Complete Performance and Safety Guide
dev.to·16h·
Discuss: DEV
🦀Rust
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·1d
⚠️Error Handling
Flag this post
VLM6D: VLM based 6Dof Pose Estimation based on RGB-D Images
arxiv.org·1d
🔧functional programming languages
Flag this post
Lately, coding with Claude has been very smooth. I am able to complete experiments on time.
reddit.com·23h·
Discuss: r/ClaudeAI
🔧functional programming languages
Flag this post
Going Full-Time NeoHaskell
dev.to·1d·
Discuss: DEV
🦀Rust
Flag this post
With 80th consecutive 20-point game, Thunder star Shai Gilgeous-Alexander passes Oscar Robertson
nytimes.com·4h
💻programming
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·1d
🔧functional programming languages
Flag this post