Apple releases Xcode 26.1.1 with coding intelligence improvements
9to5mac.com·19h
🦀Rust
Flag this post
The elementary theory of surreal arithmetic is bi-interpretable with set theory, Notre Dame Logic Seminar, November 2025
jdh.hamkins.org·1h
💬Linguistics
Flag this post
Help My LocalDate Isn't Flattened
horstmann.com·2d·
Discuss: Hacker News
🦀Rust
Flag this post
Instant Parameter Selection for Modular Systems (b, p, t, r)
news.ycombinator.com·2h·
Discuss: Hacker News
🦀Rust
Flag this post
Explaining Financial Models by Deleting Transactions
building.nubank.com·53m
🦀Rust
Flag this post
Will I Make It to the Restaurant Before the Soup Dumplings Get Cold?
distributedthoughts.org·22h·
Discuss: Hacker News
🦀Rust
Flag this post
GSoC Wrap Up - Adding Witness Generation to cargo-semver-checks
glitchlesscode.ca·1d·
Discuss: r/rust
🦀Rust
Flag this post
Lesson 3 - Scene graph and transform
infinitecanvas.cc·2d
🦀Rust
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·2d·
Discuss: Hacker News
🦀Rust
Flag this post
Graph Classes Closed under Self-intersection
arxiv.org·12h
💬Linguistics
Flag this post
Pulse 1.0 - A reactive and concurrent programming language built on modern JavaScript
github.com·2d
🦀Rust
Flag this post
I made open-source version of iLoveImg
github.com·9h·
Discuss: r/selfhosted
🦀Rust
Flag this post
Exploring the World of Distributed Protocols – A Self-Taught Journey
dev.to·11h·
Discuss: DEV
🍽️Culinary Linguistics
Flag this post
I built Opperator, like Claude Code but for generalist AI agents that run locally
reddit.com·1h·
Discuss: r/commandline
🦀Rust
Flag this post
Unlocking AI Reasoning: The Power of Hierarchical Skipping
dev.to·4h·
Discuss: DEV
💬Linguistics
Flag this post
How to Cut Your AI API Costs: Six Proven Strategies
dev.to·1d·
Discuss: DEV
💬Linguistics
Flag this post
I don't why, but I love this language!
reddit.com·3d·
Discuss: r/Zig
🦀Rust
Flag this post
Imagine changing your app's behaviour... without changing the code. (Part 2)
dev.to·19h·
Discuss: DEV
🍽️Culinary Linguistics
Flag this post