F* : A general-purpose proof-oriented programming language
https://fstar-lang.org/
https://redd.it/1hmeqec
@programmingreddit
https://fstar-lang.org/
https://redd.it/1hmeqec
@programmingreddit
Reddit
From the programming community on Reddit: F* : A general-purpose proof-oriented programming language
Posted by dewmal - 108 votes and 65 comments
150 papers for Software Engineers
https://github.com/facundoolano/software-papers
https://redd.it/1hmrmnh
@programmingreddit
https://github.com/facundoolano/software-papers
https://redd.it/1hmrmnh
@programmingreddit
GitHub
GitHub - facundoolano/software-papers: 📚 A curated list of papers for Software Engineers
📚 A curated list of papers for Software Engineers. Contribute to facundoolano/software-papers development by creating an account on GitHub.
Made a Self hosted ebook2audiobook converter, supports voice cloning and 1107+ languages :)
https://github.com/DrewThomasson/ebook2audiobook
https://redd.it/1hn5p3n
@programmingreddit
https://github.com/DrewThomasson/ebook2audiobook
https://redd.it/1hn5p3n
@programmingreddit
GitHub
GitHub - DrewThomasson/ebook2audiobook: Generate audiobooks from e-books, voice cloning & 1107+ languages!
Generate audiobooks from e-books, voice cloning & 1107+ languages! - DrewThomasson/ebook2audiobook
When to use “raise from None” in Python
https://www.bugsink.com/blog/using-raise-from-none-in-python/
https://redd.it/1hnheqz
@programmingreddit
https://www.bugsink.com/blog/using-raise-from-none-in-python/
https://redd.it/1hnheqz
@programmingreddit
Bugsink
When to use “raise from None” in Python
Learn when and why to use Python's 'raise ... from None' to simplify stacktraces by hiding redundant exception context. Improve debugging clarity by focusing on the actual issue.
Debugging memory corruption: Who wrote ‘2’ into my stack?
https://unity.com/blog/engine-platform/debugging-memory-debugging-memory-corruption-who-wrote-2-into-my-stack-who-the-hell
https://redd.it/1hnrtn1
@programmingreddit
https://unity.com/blog/engine-platform/debugging-memory-debugging-memory-corruption-who-wrote-2-into-my-stack-who-the-hell
https://redd.it/1hnrtn1
@programmingreddit
Unity
Debugging memory corruption: Who wrote ‘2’ into my stack?!
Several weeks ago we received a bug report from a customer that said their game was crashing when using IL2CPP scripting backend. QA verified the bug and assigned it to me for fixing. The project was quite big (although far from the largest ones); it took…
CobolCraft: A Minecraft server written in COBOL
https://github.com/meyfa/CobolCraft
https://redd.it/1hnruge
@programmingreddit
https://github.com/meyfa/CobolCraft
https://redd.it/1hnruge
@programmingreddit
GitHub
GitHub - meyfa/CobolCraft: A Minecraft server written in COBOL
A Minecraft server written in COBOL. Contribute to meyfa/CobolCraft development by creating an account on GitHub.
Based on GitHub data, I created an interactive map showing the number of programmers per million inhabitants worldwide.
https://vazquez-borsetti.github.io/developers-map/
https://redd.it/1ho6p75
@programmingreddit
https://vazquez-borsetti.github.io/developers-map/
https://redd.it/1ho6p75
@programmingreddit
Reddit
From the programming community on Reddit: Based on GitHub data, I created an interactive map showing the number of programmers…
Posted by alucinario - 112 votes and 33 comments
What I learned in my 4 years of open source development.
https://blog.michaelrbparker.com/post/3
https://redd.it/1ho29ue
@programmingreddit
https://blog.michaelrbparker.com/post/3
https://redd.it/1ho29ue
@programmingreddit
Michael Parker's Blog
What I learned in my 4 years of open source development.
I am the maker/developer behind the open-source discord bot called Simplex. In this article, I thought I'd walk you through some of the decision
What is a thing every programmer should know?
https://www.oreilly.com/library/view/97-things-every/9780596809515/
https://redd.it/1hotewm
@programmingreddit
https://www.oreilly.com/library/view/97-things-every/9780596809515/
https://redd.it/1hotewm
@programmingreddit
O’Reilly Online Learning
97 Things Every Programmer Should Know
Tap into the wisdom of experts to learn what every programmer should know, no matter what language you use. With the 97 short and extremely useful tips for programmers in … - Selection from 97 Things Every Programmer Should Know [Book]
Fish 4.0: The Fish Of Theseus (C++ to Rust rewrite summary)
https://fishshell.com/blog/rustport/
https://redd.it/1hp8dhb
@programmingreddit
https://fishshell.com/blog/rustport/
https://redd.it/1hp8dhb
@programmingreddit
Reddit
From the programming community on Reddit: Fish 4.0: The Fish Of Theseus (C++ to Rust rewrite summary)
Posted by eugay - 105 votes and 11 comments
Hidden Costs of Over-Abstracting Your Codebase
https://medium.com/@all.technology.stories/what-are-the-hidden-costs-of-over-abstracting-your-codebase-8b6a8ab0ab2b?source=friends_link&sk=c0e7ce1b41fa5a8cac594a95c73d66dc
https://redd.it/1hpjpn0
@programmingreddit
https://medium.com/@all.technology.stories/what-are-the-hidden-costs-of-over-abstracting-your-codebase-8b6a8ab0ab2b?source=friends_link&sk=c0e7ce1b41fa5a8cac594a95c73d66dc
https://redd.it/1hpjpn0
@programmingreddit
Medium
What Are the Hidden Costs of Over-Abstracting Your Codebase?
Over-abstraction is like wrapping a simple gift in so many layers that no one can open it — including you.
Static search trees: 40x faster than binary search
https://curiouscoding.nl/posts/static-search-tree/
https://redd.it/1hqo19u
@programmingreddit
https://curiouscoding.nl/posts/static-search-tree/
https://redd.it/1hqo19u
@programmingreddit
CuriousCoding
Static search trees: 40x faster than binary search
Table of Contents 1 Introduction 1.1 Problem statement 1.2 Motivation 1.3 Recommended reading 1.4 Binary search and Eytzinger layout 1.5 Hugepages 1.6 A note on benchmarking 1.7 Cache lines 1.8 S-trees and B-trees 2 Optimizing find 2.1 Linear 2.2 Auto-vectorization…
Jonot's blog: Why I Wrote a Game Boy Advance Game in Zig
https://jonot.me/posts/zig-gba/
https://redd.it/1hqchsh
@programmingreddit
https://jonot.me/posts/zig-gba/
https://redd.it/1hqchsh
@programmingreddit
Reddit
From the programming community on Reddit: Jonot's blog: Why I Wrote a Game Boy Advance Game in Zig
Posted by NXGZ - 118 votes and 16 comments
Databases in 2024: A Year in Review
https://www.cs.cmu.edu/~pavlo/blog/2025/01/2024-databases-retrospective.html
https://redd.it/1hr3xor
@programmingreddit
https://www.cs.cmu.edu/~pavlo/blog/2025/01/2024-databases-retrospective.html
https://redd.it/1hr3xor
@programmingreddit
Andy Pavlo - Carnegie Mellon University
Databases in 2024: A Year in Review
Andy rises from the ashes of his dead startup and discusses what happened in 2024 in the database game.
Generative AI is not going to build your engineering team for you
https://stackoverflow.blog/2024/12/31/generative-ai-is-not-going-to-build-your-engineering-team-for-you/
https://redd.it/1hrrf05
@programmingreddit
https://stackoverflow.blog/2024/12/31/generative-ai-is-not-going-to-build-your-engineering-team-for-you/
https://redd.it/1hrrf05
@programmingreddit
stackoverflow.blog
Generative AI is not going to build your engineering team for you - Stack Overflow