Implementing E Unification using SMT
philipzucker.com·2d
💻technology
Flag this post
Rust compilation is resource hungry!
aditya26sg.substack.com·18h·
Discuss: r/rust
💻technology
Flag this post
GodotRedisClient initial release
reddit.com·1d·
Discuss: r/godot
🎮gaming
Flag this post
Fish 4.2.0
github.com·8h·
Discuss: Hacker News
🎮gaming
Flag this post
SQLC Dynamic Filters and Bulk Inserts
reddit.com·1d·
Discuss: r/golang
💻technology
Flag this post
Scaling HNSWs
simonwillison.net·6h
💻technology
Flag this post
How to Start Lua Coding in Roblox in 2025?
dev.to·2d·
Discuss: DEV
🎮gaming
Flag this post
Building Smarter Real Estate Models: From Spreadsheets to Predictive Feasibility Tools
dev.to·10h·
Discuss: DEV
💻technology
Flag this post
Building a Synthetic Data Generator: From Concept to Reality
dev.to·1d·
Discuss: DEV
💻technology
Flag this post
From Arrays to Insights: Statistics with NumPy and SciPy
dev.to·2d·
Discuss: DEV
💻technology
Flag this post
Electron game dev
reddit.com·7h·
Discuss: r/gamedev
🎮gaming
Flag this post
Build a Simple Grocery Tracker App using Vue JS and Supabase
dev.to·22h·
Discuss: DEV
💻technology
Flag this post
<![CDATA[ FastAPI Works with Dolt ]]>
dolthub.com·6d
🍳cooking
Flag this post
Use Case: CC and Sonnet 4.5 as system monitoring tool
reddit.com·2d·
Discuss: r/ClaudeAI
💻technology
Flag this post
Node.js Streams Explained
dev.to·16h·
Discuss: DEV
💻technology
Flag this post
Designing Blockchain #2: Accounts and State
dev.to·16h·
Discuss: DEV
💻technology
Flag this post
SERL: Self-Examining Reinforcement Learning on Open-Domain
arxiv.org·58m
💻technology
Flag this post
Web Developer Travis McCracken on The Tools I Use Every Day as a Web Developer
dev.to·2d·
Discuss: DEV
💻technology
Flag this post
Repository Pattern in Golang: A Practical Guide
dev.to·5d·
Discuss: DEV
💻technology
Flag this post
I completed my first game using Godot 4.3, here's some insight!
reddit.com·2d·
Discuss: r/godot
🎮gaming
Flag this post