Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·1d·
Discuss: Hacker News
⚙algorithms
Flag this post
Foundations for Hacking on OCaml
kcsrk.info·1d·
Discuss: Hacker News, Hacker News
🔧Compiler Design
Flag this post
Mall of Wonders: New Scenario
distilledproductions.itch.io·1d
🎭Actor Model
Flag this post
Sea of Stars: Pixelated Compassion in an Age of Exhaustion
gg.forem.com·13h·
Discuss: DEV
🖼Graphics programming
Flag this post
Swift Concurrency Training Kata
blog.jacobstechtavern.com·1h
🎭Actor Model
Flag this post
How Hud is building the first runtime code sensor with ClickHouse Cloud
clickhouse.com·1d
⚡Developer Productivity
Flag this post
GameHub Lite, GameNative and the Android PC Revolution: An Interview With the Developers
gardinerbryant.com·1d·
Discuss: r/Android
🖼Graphics programming
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·1d·
Discuss: Hacker News
🔧Compiler Design
Flag this post
Managing Modern HPC Clusters and Supercomputers from Software to Hardware
link.springer.com·1d·
Discuss: Hacker News
🔗Distributed systems
Flag this post
About KeePassXC's Code Quality Control
keepassxc.org·2d·
Discuss: Lobsters, Hacker News, r/opensource
🤖AI
Flag this post
Lossless Compression with Asymmetric Numeral Systems (2020)
bjlkeng.io·1d·
Discuss: Hacker News
🎭Actor Model
Flag this post
Crisol: Theater of Idols isn't shying away from its horrific religious themes
shacknews.com·15h
🖼Graphics programming
Flag this post
Should An ‘ARC Raiders’ Review Score Be Tanked Because The Game Uses AI?
forbes.com·17h
🤖AI
Flag this post
Why Code Execution is Eating Tool Registries
levelup.gitconnected.com·4d·
Discuss: r/programming
⚡Developer Productivity
Flag this post
Building an AI-Powered MetaTrader 5 Trading Assistant with Python and Flask
dev.to·7h·
Discuss: DEV
🤖AI
Flag this post
Vibe Code Warning – from 1k to 10k lines, a personal casestudy
github.com·1d·
Discuss: Lobsters
🔗Distributed systems
Flag this post
My Learnings from Day 1a & 1b of the Google AI Agents Intensive
dev.to·23h·
Discuss: DEV
🤖AI
Flag this post
How I Utilized AI to Refactor a 2000-Line Monolithic Component
dev.to·2d·
Discuss: DEV
⚡Developer Productivity
Flag this post
After 3 years, Valve's Steam Deck is still one of the best gaming handhelds — but the conversation has changed
windowscentral.com·13m
🔗Distributed systems
Flag this post
Comparing C# AI Libraries: Which One Boosts Dev Productivity Most?
dev.to·3d·
Discuss: DEV
⚡Developer Productivity
Flag this post