Formal methods and the future of programming
https://www.reddit.com/r/programming/comments/1u5v9pd/formal_methods_and_the_future_of_programming/
Published: June 14, 2026 20:06
🦜 programming
@www.reddit.com.r.programming@rss-parrot.net
I'm an automated parrot! I relay a website's RSS feed to the Fediverse. Every time a new post appears in the feed, I toot about it. Follow me to get all new posts in your Mastodon timeline! Brought to you by the RSS Parrot.
---
Computer Programming
Site URL: www.reddit.com/r/programming/
Feed URL: www.reddit.com/r/programming/.rss
Posts: 95
Followers: 2
A Wild Register Appears: Hunting the 30-Year-Old World of Xeen MT-32 Crash
https://www.reddit.com/r/programming/comments/1u5rwi6/a_wild_register_appears_hunting_the_30yearold/
Published: June 14, 2026 17:57
Formal methods and the future of programming
https://www.reddit.com/r/programming/comments/1u5oli3/formal_methods_and_the_future_of_programming/
Published: June 14, 2026 15:47
Every job interview I had in my life assumed that OOP was invented by Stroustrup
Published: June 14, 2026 13:01
Developing a pkg.go.dev TUI explorer
https://www.reddit.com/r/programming/comments/1u5hzct/developing_a_pkggodev_tui_explorer/
Published: June 14, 2026 10:50
[video] Search Autocomplete - System Design
https://www.reddit.com/r/programming/comments/1u5hjjg/video_search_autocomplete_system_design/
Published: June 14, 2026 10:24
Email Data Normalization for Automation
https://www.reddit.com/r/programming/comments/1u5fxus/email_data_normalization_for_automation/
Published: June 14, 2026 08:47
How a TCP Load Balancer works under the hood.
https://www.reddit.com/r/programming/comments/1u5db0u/how_a_tcp_load_balancer_works_under_the_hood/
Published: June 14, 2026 06:11
Git merges can be better
https://www.reddit.com/r/programming/comments/1u5c0r6/git_merges_can_be_better/
Published: June 14, 2026 05:01
Type Theory Forall #62 - Dependent Haskell - Vladislav Zavialov
Published: June 14, 2026 03:05
how are you feelin.today
https://www.reddit.com/r/programming/comments/1u53n8t/how_are_you_feelintoday/
Published: June 13, 2026 22:10
türkçe programlama dili berfin
https://www.reddit.com/r/programming/comments/1u4vjcq/t%C3%BCrk%C3%A7e_programlama_dili_berfin/
Published: June 13, 2026 16:36
System and game performance monitoring with Python
Published: June 13, 2026 15:06
How does DynamoDB figure out which keys are out of sync across replicas ?
Published: June 13, 2026 14:49
Signals, the push-pull based algorithm
https://www.reddit.com/r/programming/comments/1u4ra8f/signals_the_pushpull_based_algorithm/
Published: June 13, 2026 13:40
Analysis of how code duplication changed in recent years (no clear trend)
https://www.reddit.com/r/programming/comments/1u4nf9j/analysis_of_how_code_duplication_changed_in/
Published: June 13, 2026 10:28
Help with making a Operating system
https://www.reddit.com/r/programming/comments/1u4dz25/help_with_making_a_operating_system/
Published: June 13, 2026 01:45
Why we replaced Node.js with Bun for 5x throughput
Published: June 13, 2026 01:41
Text to Sequence Diagrams - A UML tool to create sequence diagrams online
Published: June 13, 2026 01:15
What Do Engineers Mean When We Say "Taste"?
https://www.reddit.com/r/programming/comments/1u4au1m/what_do_engineers_mean_when_we_say_taste/
Published: June 12, 2026 23:17
Demystifying C++: Overcome the Fear of Memory Management in Minutes
https://www.reddit.com/r/programming/comments/1u46or3/demystifying_c_overcome_the_fear_of_memory/
Published: June 12, 2026 20:28
Ruby vs. Java vs. TypeScript: my experience on building a small application
https://www.reddit.com/r/programming/comments/1u41r1w/ruby_vs_java_vs_typescript_my_experience_on/
Published: June 12, 2026 17:23
Hunting the 30-Year-Old World of Xeen MT-32 Crash
Published: June 12, 2026 13:42
a fake bug fix PR hid a credential stealer in astro.config.mjs that used blockchain to receive commands
https://www.reddit.com/r/programming/comments/1u3u9h5/a_fake_bug_fix_pr_hid_a_credential_stealer_in/
Published: June 12, 2026 12:45
GBA Jam 2026 — Game Boy Advance coding competition
Published: June 12, 2026 10:52
How to write code for complex problems as a beginner and how to think beforehand before writing any code ?
https://www.reddit.com/r/programming/comments/1u3rcez/how_to_write_code_for_complex_problems_as_a/
Published: June 12, 2026 10:20
Building a plugin system for Tolgee using iframes, webhooks, and decorators
Published: June 12, 2026 07:25
Ported my C game to WASM, here's everybug that I hit
Published: June 12, 2026 04:43
What an 8kb Postgres read costs
https://www.reddit.com/r/programming/comments/1u3ihj3/what_an_8kb_postgres_read_costs/
Published: June 12, 2026 02:13
Less Is More
https://www.reddit.com/r/programming/comments/1u3gqaa/less_is_more/
Published: June 12, 2026 00:50
Giulio Zausa's MMO-CHIP Makes Reverse Engineering Old Silicon Chips a Multiplayer Game
Published: June 11, 2026 21:06
Drupal SQL Code-Injection Vulnerability - Why does it still exist?
Published: June 11, 2026 20:20
Service Bindings: Automated Database Access for Apps
Published: June 11, 2026 19:06
Why DROP COLUMN breaks rolling deploys, and a CI linter to catch it
Published: June 11, 2026 19:04
Emacs SVG Benchmark Reveals Gaming-Caliber Frame Rates
Published: June 11, 2026 15:25
7 More Common Mistakes in Architecture Diagrams
Published: June 11, 2026 14:21
I'm a SAFe release train engineer and found the ultimate Agile ticketmaxxing workflow to unlock business synergy
Published: June 11, 2026 14:00
Hacking Google with A.I. for $500,000
https://www.reddit.com/r/programming/comments/1u2x8by/hacking_google_with_ai_for_500000/
Published: June 11, 2026 12:08
Still amazed every time I read this paper. What pros and cons do you think it would have against C++20 coroutines?
Published: June 11, 2026 08:34
Dependency models in npm, Yarn, pnpm, Bun, and Deno
Published: June 11, 2026 06:22
JEP 401 being merged into JDK 28?
https://www.reddit.com/r/programming/comments/1u2mue3/jep_401_being_merged_into_jdk_28/
Published: June 11, 2026 02:47
Can we stop producing bananas using JavaScript?
Published: June 10, 2026 22:35
I'm a product manager. My code merges without an engineer reading the diff
Published: June 10, 2026 19:29
C3 0.8.1 released: Raiding the stdlib for bugs
https://www.reddit.com/r/programming/comments/1u29255/c3_081_released_raiding_the_stdlib_for_bugs/
Published: June 10, 2026 17:34
The unwritten laws of software engineering
https://www.reddit.com/r/programming/comments/1u28egw/the_unwritten_laws_of_software_engineering/
Published: June 10, 2026 17:12
What's the tightest memory constraint you had to code for? See what Bill Gates did.
Published: June 10, 2026 16:19
A Fun & Absurd Introduction to Vector Databases • Alexander Chatzizacharias
https://www.reddit.com/r/programming/comments/1u20ia2/a_fun_absurd_introduction_to_vector_databases/
Published: June 10, 2026 12:16
ReactJS Syntax For Web Components
https://www.reddit.com/r/programming/comments/1u1zb27/reactjs_syntax_for_web_components/
Published: June 10, 2026 11:20
Thinking in Graphs: A Cypher Crash Course for SQL Engineers | by Aayush Ostwal | Jun, 2026
Published: June 10, 2026 10:24
Rethinking Search as Code Generation
https://www.reddit.com/r/programming/comments/1u1v1di/rethinking_search_as_code_generation/
Published: June 10, 2026 07:18
The Smart Dumb Programmer
https://www.reddit.com/r/programming/comments/1u1t9yi/the_smart_dumb_programmer/
Published: June 10, 2026 05:40
The Best Internal Developer Platform Might Be the One Nobody Opens
Published: June 9, 2026 22:22
Why I chose AOT code-gen over JSON/INI parsing for C configuration files (cfgsafe)
Published: June 9, 2026 20:16
Code Beam Europe 2026 Early Bird tickets dropping soon
Published: June 9, 2026 19:10
Inferencing Text Diffusion Models in Python and C
Published: June 9, 2026 16:44
How to read distributed traces when you didn’t write the code
https://www.reddit.com/r/programming/comments/1u194jv/how_to_read_distributed_traces_when_you_didnt/
Published: June 9, 2026 15:57
someone actually leaked the Miasma supply chain attack toolkit source code on github
Published: June 9, 2026 13:29
How we sync Postgres to the browser: ElectricSQL for rows, Yjs for documents
Published: June 9, 2026 12:58
The 5 most common ClickHouse mistakes and how to fix them
Published: June 9, 2026 12:23
Catlantean 3D - Making Graphics Like It's 1993
https://www.reddit.com/r/programming/comments/1u12rbh/catlantean_3d_making_graphics_like_its_1993/
Published: June 9, 2026 11:51
SQLite improving performance with pre-sort
https://www.reddit.com/r/programming/comments/1u10n7z/sqlite_improving_performance_with_presort/
Published: June 9, 2026 10:01
Clojure If Do When
https://www.reddit.com/r/programming/comments/1u0xywv/clojure_if_do_when/
Published: June 9, 2026 07:20
120,000 Lines of Rust: Inside the Nosdesk Backend
Published: June 9, 2026 05:43
Cache Stampede Prevention: Distributed Locking, Pub/Sub, and Request Coalescing
https://www.reddit.com/r/programming/comments/1u0vb76/cache_stampede_prevention_distributed_locking/
Published: June 9, 2026 04:53
I analyzed 26 major open source repositories. Every one had at least one bus-factor-1 module
https://www.reddit.com/r/programming/comments/1u0va69/i_analyzed_26_major_open_source_repositories/
Published: June 9, 2026 04:51
I'm building local voice dictation that turns talk into finished text — commit messages, tickets, clean prose — all on your own machine
Published: June 9, 2026 01:36
An opinionated logging setup in Go
https://www.reddit.com/r/programming/comments/1u0nnjp/an_opinionated_logging_setup_in_go/
Published: June 8, 2026 22:57
Code Beam Europe 2026 Early Bird tickets dropping soon
Published: June 8, 2026 22:11
Building a Detection Layer on PostgreSQL with Sigma Rules
https://www.reddit.com/r/programming/comments/1u0m4sm/building_a_detection_layer_on_postgresql_with/
Published: June 8, 2026 21:56
Making numpy-ts as fast as native
https://www.reddit.com/r/programming/comments/1u0epy6/making_numpyts_as_fast_as_native/
Published: June 8, 2026 17:32
You can fork a package, but can you own it?
https://www.reddit.com/r/programming/comments/1u0epow/you_can_fork_a_package_but_can_you_own_it/
Published: June 8, 2026 17:32
Storing cryptographic hashes on the blockchain for dataset integrity
Published: June 8, 2026 16:38
Why Compiler Engineers Rarely Use Strassen's Algorithm for Fast Matrix Multiplications
https://www.reddit.com/r/programming/comments/1u09rah/why_compiler_engineers_rarely_use_strassens/
Published: June 8, 2026 14:36
Poor Man's Time Machine: Lazy Evaluation in JavaScript and Haskell
https://www.reddit.com/r/programming/comments/1u09npb/poor_mans_time_machine_lazy_evaluation_in/
Published: June 8, 2026 14:32
Lies We Tell Ourselves About Email Addresses
https://www.reddit.com/r/programming/comments/1u098uy/lies_we_tell_ourselves_about_email_addresses/
Published: June 8, 2026 14:17
Why aren't record/replay debuggers more common?
https://www.reddit.com/r/programming/comments/1u08yg8/why_arent_recordreplay_debuggers_more_common/
Published: June 8, 2026 14:06
VS Code Adds 2-Hour Extension Auto-Update Delay to Limit Supply Chain Attacks
Published: June 8, 2026 13:40
The bloom filter trick that turned 170 object-storage reads into one (2.6s → 89ms)
https://www.reddit.com/r/programming/comments/1u07axu/the_bloom_filter_trick_that_turned_170/
Published: June 8, 2026 13:03
Blaise v0.10.0: Native Back End, Threads and Incremental Compilation
https://www.reddit.com/r/programming/comments/1u073cf/blaise_v0100_native_back_end_threads_and/
Published: June 8, 2026 12:55
In Defense of YAML :: Posit Open Source
https://www.reddit.com/r/programming/comments/1u072zj/in_defense_of_yaml_posit_open_source/
Published: June 8, 2026 12:55
System Dynamics Course | Chapter 16: Discrete-Time and Sampled-Data System Dynamics
Published: June 8, 2026 12:36
Hot path optimization. When float division beats integer division
Published: June 8, 2026 12:30
Native Elm (the real kind this time) · cekrem.github.io
Published: June 8, 2026 10:45
The Day I Decided Never to Learn Python
https://www.reddit.com/r/programming/comments/1u013qa/the_day_i_decided_never_to_learn_python/
Published: June 8, 2026 07:40
Opening a cloned repo is no longer safe
https://www.reddit.com/r/programming/comments/1u00xhc/opening_a_cloned_repo_is_no_longer_safe/
Published: June 8, 2026 07:29
Building a spaced repetition system that adapts to user pace in real-time (Kotlin/Compose)
Published: June 8, 2026 04:33
Tab Vacuum - click once to remove every duplicate Chrome tab and auto-group the rest by website
Published: June 8, 2026 03:58
Owning Your Dependencies
https://www.reddit.com/r/programming/comments/1tzue6m/owning_your_dependencies/
Published: June 8, 2026 01:46
I’m building a sneaker marketplace dropping July 4th — first 10 vendors get free shipping, free seller account, and free admission to the launch party. Waitlist is open.
Published: June 8, 2026 00:01
The best QA / Software Testing Skill you might have used so far
Published: June 7, 2026 18:44
Python, a perspective.
https://www.reddit.com/r/programming/comments/1tzijie/python_a_perspective/
Published: June 7, 2026 17:37
I built a site to search, test, and compare 3,800+ public APIs — all in the browser, no signup
Published: June 7, 2026 16:28
Getting silly with C, part &((int*)-8)[3]
https://www.reddit.com/r/programming/comments/1tzfefn/getting_silly_with_c_part_int83/
Published: June 7, 2026 15:38
#JavaNext Language Features
https://www.reddit.com/r/programming/comments/1tzeb9a/javanext_language_features/
Published: June 7, 2026 14:55
Generation is cheap, the decisions are the artifact
Published: June 7, 2026 13:22