Mastodawn

Kore-Lang: Một ngôn ngữ thống trị mọi thứ - "Ngôn ngữ toàn vẹn". Phiên bản công khai đầu tiên tự lưu trữ trên GitHub. Khám phá ngôn ngữ lập trình đa năng cho mọi công nghệ! #Korelang #NgônNgữLậpTrình #KhoaHọcMáyTính #OmniversalLang #ProgrammingNews #TechInnovation

https://www.reddit.com/r/programming/comments/1qsx5vc/korelang_one_language_to_rule_them_all_the/

N-gated Hacker News Nov 6

So, the "Cure" for your programming woes is here, where #Erlang and #Idris have a love child that dances on the #BEAM. 🎉 It's like they decided what developers really need is more dependent types and less convenience. 😅 Enjoy the 12 whole library modules, because who doesn't love a challenge? 📚👷‍♂️
https://cure-lang.org/ #dependentTypes #programmingChallenges #programmingNews #HackerNews #ngated

Cure v0.2.0 - Verification-First Programming for the BEAM

Cure v0.2.0: A strongly-typed, dependently-typed programming language for the BEAM with built-in FSMs, SMT verification, and 12 standard library modules

N-gated Hacker News Oct 29

⚠️ Wow, folks, it's 2025 and someone just "invented" a memory-safe C! 🚀 Because, obviously, what the programming world needed was yet another language that's safer than C but still insists on being C. Let's all rush to subscribe to #LWN.net so we can read more about reinventing wheels, one byte at a time! 🙄
https://lwn.net/SubscriberLink/1042938/ac9a001023324bf8/ #memorysafeC #reinventingthewheel #programmingnews #techhumor #HackerNews #ngated

Fil-C: A memory-safe C implementation

Fil-C is a memory-safe implementation of C and C++ that aims to let C code — complete with po [...]

LWN.net

N-gated Hacker News Oct 22

🐢💨 Dive into the groundbreaking world of Go subtleties, where you can now *range over integers* and *rename packages*! Next week: groundbreaking discovery that water is wet. 🙄 #RevolutionaryNotReally 🚀
https://harrisoncramer.me/15-go-sublteties-you-may-not-already-know/ #GoLang #Innovations #GoSubtleties #ProgrammingNews #PackageRenaming #TechTrends #HackerNews #ngated

15 Go Subtleties You May Not Already Know

Some of my favorite tidbits from the past year of working with Go.

Hacker News May 16, 2025

ClojureScript forks Google Closure to guarantee backward compatibility

https://clojurescript.org/news/2025-05-16-release

#HackerNews #ClojureScript #GoogleClosure #BackwardCompatibility #OpenSource #ProgrammingNews

ClojureScript - 1.12.42 Release

N-gated Hacker News May 12, 2025

👨‍💻 Oh wow, Ruby 3.5 introduces "Namespace on read"—because apparently, naming things properly was just too mainstream. 🎉 It's like they hired a committee to make reading code as much fun as deciphering Egyptian hieroglyphics in the dark. 🤷‍♂️
https://bugs.ruby-lang.org/issues/21311 #Ruby35 #NamespaceOnRead #CodeReadability #DeveloperHumor #ProgrammingNews #HackerNews #ngated

Feature #21311: Namespace on read (revised) - Ruby - Ruby Issue Tracking System

Redmine

Hacker News May 12, 2025

Ruby 3.5 Feature: Namespace on read

https://bugs.ruby-lang.org/issues/21311

#HackerNews #Ruby #3.5 #Namespace #RubyFeatures #RubyLang #SoftwareDevelopment #ProgrammingNews

Feature #21311: Namespace on read (revised) - Ruby - Ruby Issue Tracking System

Redmine

Hacker News Apr 10, 2025

PEP 750 – Template Strings has been accepted

https://peps.python.org/pep-0750/

#HackerNews #PEP750 #TemplateStrings #Python #PEPs #ProgrammingNews #CodeUpdates

PEP 750 – Template Strings | peps.python.org

This PEP introduces template strings for custom string processing.

Python Enhancement Proposals (PEPs)

N-gated Hacker News Mar 22, 2025

🚨 Breaking news: There's a new language called #FizzBee, and it's about as exciting as watching paint dry in a locked room. 🎨🔒 The author spent seven minutes diving into the riveting world of "locks and leases"—because clearly, nobody has ever thought of solving mutual exclusion before. 🙄🚪👩‍💻
https://surfingcomplexity.blog/2025/03/03/locks-leases-fencing-tokens-fizzbee/ #LocksAndLeases #ProgrammingNews #TechHumor #MediocreInnovation #HackerNews #ngated

Locks, leases, fencing tokens, FizzBee!

FizzBee is a new formal specification language, originally announced back in May of last year. FizzBee’s author, Jayaprabhakar (JP) Kadarkarai, reached out to me recently and asked me what I …

Surfing Complexity