Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Spider-Man: The Movie Game dissection project Checkpoint - November 2025
krystalgamer.github.io·8h·
Discuss: r/programming
🦀Rust
Flag this post
I made a thing to record the loud cars that wake me up to show my city Council
github.com·1h·
Discuss: r/opensource
🦀Rust
Flag this post
Python Web Frameworks: Crafting the Future of Web Development
dev.to·1d·
Discuss: DEV
🦀Rust
Flag this post
Building Your First Sentiment Analysis App with LangChain LCEL and OpenAI
dev.to·17h·
Discuss: DEV
🦀Rust
Flag this post
7 unusual programming languages that are worth taking a look at
howtogeek.com·1d
🦀Rust
Flag this post
The Secret Life of Python: Generator Secrets - Functions That Remember
dev.to·9h·
Discuss: DEV
🦀Rust
Flag this post
How to Install Golang and Handle JSON: A Beginner's Guide
dev.to·4h·
Discuss: DEV
🦀Rust
Flag this post
A Picture is Worth a Thousand (Correct) Captions: A Vision-Guided Judge-Corrector System for Multimodal Machine Translation
arxiv.org·3h
🦀Rust
Flag this post
Deep Learning for Molecules and Materials
dmol.pub·22h·
Discuss: Hacker News
🦀Rust
Flag this post
Boost.Decimal Has Been Accepted
lists.boost.org·12h·
Discuss: Hacker News
🦀Rust
Flag this post
What Does the End of GIL Mean for Python?
kdnuggets.com·15h
🦀Rust
Flag this post
The Metastasize of Templating in Declarative Language
fromanengineersight.substack.com·1d·
Discuss: Substack
🦀Rust
Flag this post
Carmack on inlined code and functional programming
cbarrete.com·18h·
Discuss: Hacker News
🦀Rust
Flag this post
Are Your Python Fundamentals as Solid as You Think?
dev.to·3d·
Discuss: DEV
🦀Rust
Flag this post
The Modern Terminals Showdown: Alacritty, Kitty, and Ghostty Comparing Alacritty, Kitty, and Ghostty for Speed, Features, and Customization
blog.codeminer42.com·17h
🦀Rust
Flag this post
We built an AI that does the tasks no human likes to repeat — meet Codedoc
everdone.ai·17h·
Discuss: DEV
🦀Rust
Flag this post
Build a Flask Python Web App from Scratch
digitalocean.com·5d
🦀Rust
Flag this post
Free software activity in October 2025
chiark.greenend.org.uk·1d
🦀Rust
Flag this post
I developed an open-source Python implementation of Anthropic/Cloudflare idea of calling MCPs by code execution
reddit.com·14h·
Discuss: r/ClaudeAI
🦀Rust
Flag this post