Typechecking Is Undecidable When 'Type' Is a Type (1989)
https://dspace.mit.edu/bitstream/handle/1721.1/149366/MIT-LCS-TR-458.pdf?sequence=6
https://redd.it/1mcma9y
@programmingreddit
https://dspace.mit.edu/bitstream/handle/1721.1/149366/MIT-LCS-TR-458.pdf?sequence=6
https://redd.it/1mcma9y
@programmingreddit
Reddit
From the programming community on Reddit: Typechecking Is Undecidable When 'Type' Is a Type (1989)
Posted by ketralnis - 103 votes and 24 comments
Yes, the majority of language migrations are driven by hype
https://leaddev.com/technical-direction/yes-the-majority-of-language-migrations-are-driven-by-hype
https://redd.it/1mdaocg
@programmingreddit
https://leaddev.com/technical-direction/yes-the-majority-of-language-migrations-are-driven-by-hype
https://redd.it/1mdaocg
@programmingreddit
LeadDev
Yes, the majority of language migrations are driven by hype
More than 71% of experienced software developers say their language migration decisions were influenced more by industry hype than by proven outcomes.
Man creates fully featured multi-user fileserver using his phone. Whilst commuting.
https://youtu.be/15_-hgsX2V0?si=1bmvlQFkXwinW6FH
https://redd.it/1mcy65x
@programmingreddit
https://youtu.be/15_-hgsX2V0?si=1bmvlQFkXwinW6FH
https://redd.it/1mcy65x
@programmingreddit
YouTube
introducing copyparty, the FOSS file server
something I've been making for the past 5 years
the project: https://github.com/9001/copyparty/
watch this video on the demoserver: https://a.ocv.me/pub/demo/ (try showcase-lq.mp4 if your device cannot play the hq.webm)
the project: https://github.com/9001/copyparty/
watch this video on the demoserver: https://a.ocv.me/pub/demo/ (try showcase-lq.mp4 if your device cannot play the hq.webm)
Companies Should Hire More Engineers in the Age of AI
https://newsletter.eng-leadership.com/p/companies-should-hire-more-engineers
https://redd.it/1mdk6ck
@programmingreddit
https://newsletter.eng-leadership.com/p/companies-should-hire-more-engineers
https://redd.it/1mdk6ck
@programmingreddit
Eng-Leadership
Companies Should Hire More Engineers in the Age of AI
My thoughts on less vs more hiring of engineers in the age of AI!
Stack Overflow Survey 2025: 84% of devs use AI… but 46% don’t trust it 🤯
https://shiftmag.dev/stack-overflow-survey-2025-ai-5653/
https://redd.it/1mdyy9x
@programmingreddit
https://shiftmag.dev/stack-overflow-survey-2025-ai-5653/
https://redd.it/1mdyy9x
@programmingreddit
ShiftMag
Dev paradox: 84% use AI, most don’t believe it!
AI is reshaping how developers work, but trust is crumbling. Explore key insights from Stack Overflow’s 2025 survey of 49,000+ developers.
The hidden productivity tax of 'almost right' AI code
https://venturebeat.com/ai/stack-overflow-data-reveals-the-hidden-productivity-tax-of-almost-right-ai-code/
https://redd.it/1me3kb1
@programmingreddit
https://venturebeat.com/ai/stack-overflow-data-reveals-the-hidden-productivity-tax-of-almost-right-ai-code/
https://redd.it/1me3kb1
@programmingreddit
VentureBeat
Stack Overflow data reveals the hidden productivity tax of ‘almost right’ AI code
Stack Overflow survey shows that as more enterprise developers actually use AI tools, their expectations aren't being met by reality.
Tea App Hack: Disassembling The Ridiculous App Source Code
https://programmers.fyi/tea-app-hack-disassembling-the-ridiculous-app-source-code
https://redd.it/1meyjjx
@programmingreddit
https://programmers.fyi/tea-app-hack-disassembling-the-ridiculous-app-source-code
https://redd.it/1meyjjx
@programmingreddit
Medium
Tea App Hack: Disassembling The Ridiculous App Source Code
By now, everyone has heard of the “Tea app” getting hacked: “Hackers leak 13,000 user photos and IDs from the Tea app”. It’s a Flutter app…
Profiling without Source code – how I diagnosed Trackmania stuttering
https://larstofus.com/2025/07/27/profiling-without-source-code-how-i-diagnosed-trackmania-stuttering/
https://redd.it/1mefkzo
@programmingreddit
https://larstofus.com/2025/07/27/profiling-without-source-code-how-i-diagnosed-trackmania-stuttering/
https://redd.it/1mefkzo
@programmingreddit
Larst Of Us
Profiling without Source code – how I diagnosed Trackmania stuttering
A very common side effect of working as a programmer is the constant frustration of not having source code access to all the software you use. Bugs, problems or missing features in your own work ca…
Seed7: a programming language I plan to work on for decades
https://seed7.net
https://redd.it/1mfldk0
@programmingreddit
https://seed7.net
https://redd.it/1mfldk0
@programmingreddit
seed7.net
Seed7 Homepage
Seed7 - The extensible programming language
Developers remain willing but reluctant to use AI: The 2025 Developer Survey results are here
https://stackoverflow.blog/2025/07/29/developers-remain-willing-but-reluctant-to-use-ai-the-2025-developer-survey-results-are-here/
https://redd.it/1mfhu30
@programmingreddit
https://stackoverflow.blog/2025/07/29/developers-remain-willing-but-reluctant-to-use-ai-the-2025-developer-survey-results-are-here/
https://redd.it/1mfhu30
@programmingreddit
stackoverflow.blog
Developers remain willing but reluctant to use AI: The 2025 Developer Survey results are here - Stack Overflow
PatchworkOS: A from-scratch NON-POSIX OS strictly adhering to the "everything is a file" philosophy that I've been working on for... a very long while.
https://github.com/KaiNorberg/PatchworkOS
https://redd.it/1mfoxwc
@programmingreddit
https://github.com/KaiNorberg/PatchworkOS
https://redd.it/1mfoxwc
@programmingreddit
GitHub
GitHub - KaiNorberg/PatchworkOS: A from scratch monolithic non-POSIX OS for the x86_64 architecture that rigorously follows a "everything…
A from scratch monolithic non-POSIX OS for the x86_64 architecture that rigorously follows a "everything is a file" philosophy, uses a tickless SMP kernel and a from scratch ACPI ...
The State of Software Development in 2025
https://newsletter.eng-leadership.com/p/the-state-of-software-development
https://redd.it/1mgry93
@programmingreddit
https://newsletter.eng-leadership.com/p/the-state-of-software-development
https://redd.it/1mgry93
@programmingreddit
Eng-Leadership
The State of Software Development in 2025
49k+ engineers have shared their preferred technologies, how they use AI, work environment and many more interesting things!
N+1 query problem : what it is, why it hurts performance, and how to fix it
https://www.namitjain.com/blog/n-plus-1-query-problem
https://redd.it/1mggpu5
@programmingreddit
https://www.namitjain.com/blog/n-plus-1-query-problem
https://redd.it/1mggpu5
@programmingreddit
My Blog
What is the N+1 Query Problem and How to Solve it?
The N+1 problem is a silent performance killer in data-heavy applications. Learn what it is, how to spot it, and how to fix it—whether you’re using raw SQL or an ORM.
DrawAFish.com Postmortem: Suffering from success and the dangers of vibe coding
https://aldenhallak.com/blog/posts/draw-a-fish-postmortem.html?ref=rprogramming
https://redd.it/1mhc507
@programmingreddit
https://aldenhallak.com/blog/posts/draw-a-fish-postmortem.html?ref=rprogramming
https://redd.it/1mhc507
@programmingreddit
Aldenhallak
DrawAFish.com Postmortem — Aug 3, 2025 Incident
A blameful postmortem of how my viral HackerNews project got compromised by legacy passwords, missing auth, and the perils of vibe coding.
Trust in AI coding tools is plummeting
https://leaddev.com/technical-direction/trust-in-ai-coding-tools-is-plummeting
https://redd.it/1mhfash
@programmingreddit
https://leaddev.com/technical-direction/trust-in-ai-coding-tools-is-plummeting
https://redd.it/1mhfash
@programmingreddit
LeadDev
Trust in AI coding tools is plummeting
A new Stack Overflow survey highlights a steep decline in trust and reliance on AI coding tools, as experienced users get more selective.
[Deno] Our fight with Oracle is getting crazy...
https://www.youtube.com/watch?v=_tGwOv3scKw
https://redd.it/1mho7j5
@programmingreddit
https://www.youtube.com/watch?v=_tGwOv3scKw
https://redd.it/1mho7j5
@programmingreddit
YouTube
Our fight with Oracle is getting crazy...
We're about to enter the discovery phase of our legal battle with Oracle.
We need your help to continue this fight. Federal litigation against a corporation like Oracle is expensive. We initiated this because we have a case as a JavaScript runtime, but this…
We need your help to continue this fight. Federal litigation against a corporation like Oracle is expensive. We initiated this because we have a case as a JavaScript runtime, but this…