The elementary theory of surreal arithmetic is bi-interpretable with set theory, Notre Dame Logic Seminar, November 2025
jdh.hamkins.org·5h
⚡Tokio
Flag this post
GREGoR: accelerating genomics for rare diseases
nature.com·5h
🦀Rust
Flag this post
Daemon Example in C
lloydrochester.com·3d·
Discuss: Hacker News, r/programming
⚡Tokio
Flag this post
Introduction: Truthmaker Semantics: What, What For, and How?
link.springer.com·17h·
Discuss: Hacker News
🔒Cybersecurity
Flag this post
CodeSOD: Losing a Digit
thedailywtf.com·1d
🦀Rust
Flag this post
Power up with Rails scripts Part 1: Environment setup
testdouble.com·2d
🗄Back-end
Flag this post
Still using TeamViewer? Try the faster and open-source RustDesk
techspot.com·2d
🦀Rust
Flag this post
Free software activity in October 2025
chiark.greenend.org.uk·3d
🐧Linux
Flag this post
original ↗
gurudas.dev·4d
🦀Rust
Flag this post
Creating builds with Terrain3d and proton scatter (windows)
reddit.com·7h·
Discuss: r/godot
🐧Linux
Flag this post
Devoxx: Magenta Eagle: How We’re Re-engineering Software Delivery with AI-Driven Development by K. Galanis
dev.to·1d·
Discuss: DEV
🗄Back-end
Flag this post
I built a full-text search library for my iOS apps
github.com·3d·
Discuss: r/swift
🦀Rust
Flag this post
Improving the accuracy and generalizability of molecular property regression models with a substructure-substitution-rule-informed framework
arxiv.org·17h
🦀Rust
Flag this post
Loki - An All-in-One, Batteries-Included LLM CLI
reddit.com·4d·
Discuss: r/commandline
🐧Linux
Flag this post
A Monad Guide for Beginners
dev.to·3d·
Discuss: DEV
⚡Tokio
Flag this post
NOTAM-Evolve: A Knowledge-Guided Self-Evolving Optimization Framework with LLMs for NOTAM Interpretation
arxiv.org·17h
🦀Rust
Flag this post
Wayland ruined my blender's performance and I despise everything about it
reddit.com·16h·
Discuss: r/linux
🐧Linux
Flag this post
After losing my Cachy setup, I finally found my way back (and gave my Chromebook a new life)
reddit.com·17h·
Discuss: r/cachyos
🐧Linux
Flag this post
Wasm: A Pipeline for Constructing Structured Arabic Interleaved Multimodal Corpora
arxiv.org·1d
🔒Cybersecurity
Flag this post
How to Build Production-Ready RAG Systems (at Scale, with Low Latency & High Accuracy)
dev.to·2d·
Discuss: DEV
🗄Back-end
Flag this post