The best board games to gift (and play) this 2025 holiday season
engadget.com·1d
Algorithmic Game Theory
Flag this post
High-speed and ultra-low-power superconductive neuron with ReLU activation
iopscience.iop.org·18h·
Discuss: Hacker News
🏗Computer Architecture
Flag this post
100 Techniques for Writing Readable Rust Code
github.com·1d·
Discuss: r/rust
🦀Rust
Flag this post
Truth Versus Fiction That Generative AI Boosts Your Left-Brain While Undermining Your Right-Brain
forbes.com·2h
⚖️Logic Programming
Flag this post
How to make area2d detect instanced area2ds?
v.redd.it·7h·
Discuss: r/godot
🦀Rust
Flag this post
The Primeagen was right: Vim motions have made me 10x faster. Here's the data to prove it
github.com·3h·
Discuss: r/programming
📝Text Editors
Flag this post
The AI development trap that wastes your time
suchdevblog.com·20h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
Best python roguelike that feels complete?
reddit.com·16h·
Discuss: r/roguelikes
📝Lisp
Flag this post
How can i get rid of the problem with purple polygons around the purple flowers?
reddit.com·1d·
Discuss: r/skyrimmods
🧠Memory Management
Flag this post
Heroforge takes it's first step into enshittification - Paid DLC
reddit.com·2h·
👐Open Source Software
Flag this post
Physics-driven self-supervised learning for 3D light-field microscopy
nature.com·8h·
Discuss: Hacker News
🎲Probabilistic Programming
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·1d·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
AI Papers to Read in 2025
towardsdatascience.com·12h
🎲Probabilistic Programming
Flag this post
Unsupervised Learning for Industrial Defect Detection: A Case Study on Shearographic Data
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
Can LLMs subtract numbers?
arxiv.org·1d·
Discuss: Hacker News
⚖️Logic Programming
Flag this post
Identification of Capture Phases in Nanopore Protein Sequencing Data Using a Deep Learning Model
arxiv.org·2d
🎲Probabilistic Programming
Flag this post
A Practical Guide to Building AI Agents With Java and Spring AI - Part 1 - Create an AI Agent
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
Flag this post