I made a silly thing for my office.
thalescircles.tumblr.com·1d
🔢Mathematical Logic
Citybound: City building game, microscopic models to vividly simulate organism
aeplay.org·1d·
Discuss: Hacker News
⚖Algorithmic Game Theory
Why more thinking isn’t always better: Informatics PhD student co-authors AI safety study with Anthropic
informatics.ed.ac.uk·1d
🎲Probabilistic Programming
Weekend project: server status visualizer
a1w.ca·2h
🦀Rust
How Do We Learn Complex Skills? Understanding Act-R Theory
scotthyoung.com·2d·
Discuss: Hacker News
🧩Theorem Proving
Dinosaurs
funcall.blogspot.com·4h·
Discuss: www.blogger.com
🔗Parser Combinators
Anaphoric Macros
letoverlambda.com·1d·
Discuss: Lobsters
📝Lisp
How AI could speed the development of RNA vaccines and other RNA therapies - MIT News
news.google.com·1d
🎲Probabilistic Programming
Problem in atmega328p mini project
reddit.com·1d·
Discuss: r/embedded
🔧Compiler Design
xkcd 1313: Regex Golf (Part 2: Infinite Problems)
nbviewer.ipython.org·2h
📝Lisp
Sharly AI Promo Code "SK15": Save 35% + Extra 15% Instantly on All Plans
dev.to·1h·
Discuss: DEV
🎲Probabilistic Programming
Pls help with building system that places more than one building per instance
reddit.com·3d·
Discuss: r/godot
🦀Rust
Predicting Invasive Species Spread via Network-Driven Agent-Based Modeling and Dynamic Bayesian Inference
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
CarAT: Carbon Atom Tracing across Industrial Chemical Value Chains via Chemistry Language Models
arxiv.org·1d
🎲Probabilistic Programming
Practice Makes Perfect: How AI Interview Simulation Changed My Go Game
dev.to·47m·
Discuss: DEV
🔧Compiler Design
The topological properties of the protein universe
nature.com·3d
🕸️Graph Theory
⭐ RichardLitt standard-readme
waylonwalker.com·3h
🧮Programming Language Theory
GraphTreeGen: Subtree-Centric Approach to Efficient and Supervised Graph Generation
arxiv.org·2d
🕸️Graph Theory
The Zero-to-Agent Playbook
dev.to·3d·
Discuss: DEV
🧩Theorem Proving
On This Day in Math - August 15
pballew.blogspot.com·1d·
Discuss: www.blogger.com
🔢Mathematical Logic