Handbook of Satisfiability (2021)
iospress.com·3d·
Discuss: Hacker News
🔧functional programming languages
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.org·2d·
Discuss: Hacker News
💻programming
Flag this post
Think DSP second edition
allendowney.com·1d
🦀Rust
Flag this post
News for October 2025
ptreview.sublinear.info·2d
🦀Rust
Flag this post
From raw text to training gold: How to collect and prepare data for custom LLMs
pub.towardsai.net·6h
🔧functional programming languages
Flag this post
Optical Intelligent Reflecting Surfaces Empowering Non-Terrestrial Communications
arxiv.org·1d
📐Type Theory
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·1d
🦀Rust
Flag this post
Continuous takeoff is a bad name
lesswrong.com·35m
🦀Rust
Flag this post
Parsing Validation
lesswrong.com·1d
📐Type Theory
Flag this post
How Hidden Code Decides Who's in Charge: The Silent Governance of AI Through Function-Calling Schemas
dev.to·10h·
Discuss: DEV
📐Type Theory
Flag this post
LSU promoting interim athletic director Verge Ausberry to full role: Source
nytimes.com·23h
💻programming
Flag this post
Design of quasi phase matching crystal based on differential gray wolf algorithm
arxiv.org·1d
🦀Rust
Flag this post
Wave-Particle (Continuous-Discrete) Dualistic Visual Tokenization for Unified Understanding and Generation
arxiv.org·1d
📐Type Theory
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·1d·
Discuss: Hacker News
🔧functional programming languages
Flag this post
GAFD-CC: Global-Aware Feature Decoupling with Confidence Calibration for OOD Detection
arxiv.org·19h
📐Type Theory
Flag this post
Isotropic Curvature Model for Understanding Deep Learning Optimization: Is Gradient Orthogonalization Optimal?
arxiv.org·1d
📐Type Theory
Flag this post
esp-rs/esp-hal
github.com·1d
🦀Rust
Flag this post
TypeScript Rewrote Itself in Go?! What That “10x Faster” Hype Really Means
dev.to·19h·
Discuss: DEV
🦀Rust
Flag this post
Limitations of a two-pass assembler
boston.conman.org·1d
🔧functional programming languages
Flag this post