One Open-source Project Daily

Factor programming language

https://github.com/factor/factor

#1ospd #opensource #concatenative #factor #language #programminglanguage #stack

#programming #programminglanguage #C #Cpp #Cplusplus #Perl #PHP #Python #JavaScript #scripting #compiler #gcc #gdb #OS #networks #POSIX #IETF #DNS #TCP #IP #lua #R #Java #stack #OOP #HTML #CSS #webdesign #fullstack #backend #MVC #MVT #MVP #softwaredesign #softwaredevelopment #dev #softwaredev #github #versioncontrol #softwareArchitecture #gamedev #networkdev #automation #graphana

©️ Nicolas Mouart, 2026

Three cool things in C++26 (ft. Herb Sutter)

Safety
Reflection
std::execution

https://youtu.be/kKbT0Vg3ISw

#cplusplus
#isocpp
#safety
#reflection
#cplusplusrevolution
#revolution
#programming
#programminglanguage

I keep reading online the order of steps a compiler takes to compile a language, and it's always different from what my compiler does.

Apparently other compilers do tokenize -> ast generation -> semantic analysis, but my compiler does tokenize -> semantic analysis -> ast generation.

Am I too stubborn for my own good?

#compilers #programminglanguage #SemanticAnalysis

Hylo: Ngôn ngữ hệ thống thế hệ mới đáng để theo dõi. Với 20 năm kinh nghiệm lập trình, mình đánh giá Hylo là ngôn ngữ tốt nhất hiện nay: ngữ nghĩa theo giá trị, hỗ trợ tốt tính đồng thời, lập trình tổng quát mạnh, không cần GC, không mượn rườm rà hay hiện tượng aliasing khó hiểu. Đội ngũ thiết kế có nền tảng từ Swift và chuyên gia C++. Xem thêm bài nói của Dave Abrahams và Lucian Radu Teodorescu. #Hylo #ProgrammingLanguage #LậpTrình #NgônNgữLậpTrình #SystemsProgramming

https://www.reddit.com/r/

A programming language based on grammatical cases of Turkish

https://github.com/kip-dili/kip

#HackerNews #programminglanguage #Turkish #grammar #innovation #KipDili

JavaScript Just Leveled Up: ES2025 - You’ll Fall in Love With
https://jsdevspace.substack.com/p/javascript-just-leveled-up-es2025 #JavaScript #ES2025 #ProgrammingLanguage

Giới thiệu Logos: Ngôn ngữ lập trình mới biên dịch trực tiếp từ tiếng Anh sang Rust! Logos tích hợp sẵn mạng lưới P2P, thư viện CRDT cho đồng bộ dữ liệu phân tán, và mô hình concurrency kiểu Go với độ an toàn của Rust. Mục tiêu là giúp phát triển ứng dụng phân tán nhanh và dễ dàng hơn.
#Logos #RustLang #ProgrammingLanguage #DistributedSystems #CRDT #P2P #LậpTrình #HệThốngPhânTán

https://www.reddit.com/r/programming/comments/1q144dx/introducing_logos_compile_english_to_rust/

Cách tạo ngôn ngữ lập trình - Viết trình thông dịch đơn giản bằng Perk! Hướng dẫn chi tiết từ Reddit [r/programming]. Xem video tại YouTube và tham gia thảo luận. #Lậptrình #Interpreter #Viếtngônngữ #ProgrammingLanguage #DevTips

https://www.reddit.com/r/programming/comments/1ptv10b/how_to_make_a_programming_language_writing_a/

Is there a #ProgrammingLanguage that is like go but with monads?

🛠️ Title: BennuGD2
🦊️ What's: A libre 2D/3D high-level game development suite
🏡️ -
🐣️ https://github.com/SplinterGU/BennuGD2
🔖 #LinuxGameDev #Framework #ProgrammingLanguage
📦️ #Libre #Arch
📕️ https://lebottinlinux.vps.a-lec.org/LO.html

🥁️ Update: 2.0.0/2.1.0
⚗️ Major release (Stable) 🍎️
📌️ Changes: https://github.com/SplinterGU/BennuGD2/releases
🦣️ From: 🛜️ https://github.com/SplinterGU/BennuGD2/releases.atom

🕯️[sp] https://www.youtube.com/embed/?list=PL3391783E781CC3A0
🎮️ https://www.youtube.com/embed/nbxbZitLxfQ
🎮️ https://www.youtube.com/embed/PhIyeL7WRWk
🎮️ https://www.youtube.com/embed/nbxbZitLxfQ
🎮️ https://www.youtube.com/embed/PhIyeL7WRWk

I implemented generics in my programming language

https://axe-docs.pages.dev/features/generics/

#HackerNews #generics #programminglanguage #softwaredevelopment #coding #innovation

RE: https://social.rust-lang.org/@rust/115565961664226194

Quick! 🏃‍♀️‍➡️ Tomorrow is the last day you can participate in this years' #Rust survey!

Even if you don't use Rust or you have never used the language, the Rust team wants to hear your thoughts.

With your participation you directly help shape the future of software infrastructure! 🚀

#Survey #RustLang #SoftwareDevelopment #ProgrammingLanguage

The talk is here:
Slim Lim: "Concrete syntax matters, actually" - YouTube
https://www.youtube.com/watch?v=kQjrcSMYpaA

#PLT #ProgrammingLanguage

(more Linux and FOSS news in previous posts of thread)

Deno 2.6 brings dx, more granular permissions, faster TypeScript type checking, and more:
https://alternativeto.net/news/2025/12/deno-2-6-brings-dx-more-granular-permissions-faster-typescript-type-checking-and-more/

WooCommerce 10.4 brings Interactivity API Mini Cart, HPOS caching, REST API boost and more:
https://alternativeto.net/news/2025/12/woocommerce-10-4-brings-interactivity-api-mini-cart-hpos-caching-rest-api-boost-and-more/

Rust 1.92 enables unwind tables by default, refines lints & attribute checks, and more:
https://alternativeto.net/news/2025/12/rust-1-92-enables-unwind-tables-by-default-refines-lints-and-attribute-checks-and-more/

Iced 0.14 Released For Popular Rust Cross-Platform GUI Library:
https://www.phoronix.com/news/Iced-0.14-Rust-GUI-LIbrary

Vulkan 1.4.336 Released With NVIDIA Compute Occupancy Priority Extension:
https://www.phoronix.com/news/Vulkan-1.4.336

Open source XR runtime Monado 25.1.0 released with expanded hardware support:
https://www.gamingonlinux.com/2025/12/open-source-xr-runtime-monado-25-1-0-released-with-expanded-hardware-support/

Qualcomm Acquires RISC-V Specialists At Ventana Microsystems:
https://www.phoronix.com/news/Qualcomm-Acquires-Ventanas

Haiku OS Sees Port Of Go 1.18 Programming Language:
https://www.phoronix.com/news/Haiku-Gets-Modern-Go

#WeeklyNews #OpenSource #FOSSNews #OpenSourceNews #FOSS #Deno #WooCommerce #Rust #Iced #Vulkan #XR #Monado #VentanaMicrosystems #RISCV #Haiku #WebShop #WebDev #WebDevelopment #JavaScript #OS #OperatingSystem #ProgrammingLanguage #Development #Programming #Coding #FosseryTech

Share of programming languages used by #GTK3 / #GTK4 applications (2025-12-13):

30% #Python
20% #Rust
19% #Vala
17% #C
6% #gjs #Javascript #Typescript
5% #C++ #Cplusplus
1% #Go
1% #Csharp
2% Other: #Lua #Swift #Kotlin #Perl #Haskell #Crystal #D #Scheme #Clojurescript

71% use GTK4 (92% of them #libadwaita), still 29% GTK3

Method: Source [1] lists 800 awesome #gtk (3/4) #opensource applications and their #programminglanguage

[1] https://github.com/valpackett/awesome-gtk
#GTK #FLOSS #Linux #Gnome
@GTK @gnome

Today I committed and pushed my code implementing "for" loops for my pet #programminglanguage, #rocket.

So, if an object has an `__iter__` method and the object returned by that has a `__next__` method, you can now write:
```
for x in my_object:
...
```

So far I haven't implemented the `else` branch (that's supported by #Python), because I'm not sure how useful/common that actually is.
Also, so far the syntax is limited to a single variable, unpacking something (e.g. `for i, x in enumerate(my_object)`) is not yet supported.

I feel like half of the effort/code went into handling the new variable `x`. It can optionally be declared with a type (e.g. `for x: int64 in my_object`), in which case it will be treated as a *new* variable (that exists only inside the loop). If you *omit* the type, it imitates the behaviour of an assignment statement (i.e. `x = ...`).
In that case, it either
- uses an existing variable or
- creates a new variable or
- throws a `TypeError`.

While writing test-cases I also discovered a bug elsewhere in my code:
Two of my new test cases (for the for loops) check that the for loop can work with `__iter__` and `__next__` methods of a different type. E.g. if you have a type `A`, type `B` inherits from type `A`, and the `__iter__` method was declared with a parameter of type `A` (rather than `B`), you should still be able to write `for x in B(): ...`, because the object of `B` is also an instance of `A`, so you should be able to call `__iter__` with a parameter of type `B`, too.
(As another example, `__iter__()` could have an optional, second parameter, and it should still work in a for loop.)

Anyway. While writing these test cases, I discovered the bug that (currently) you cannot actually declare a variable with a fixed type if that type is a `protocol`. The reason is that so far my code assumed that every type has a *default value*. (E.g.: the default value of ints is 0, the default value of boolean is `False`.) However, that doesn't make sense for *protocols*, since
a) there's no guarantee there is a type implementing the protocol when the variable is created (there's not even a guarantee there will ever be a type implementing the protocol) and
b) even if there where many types implementing the protocol, it wouldn't make sense to arbitrarily choose one of them and initialise the variable with the default value of that type. That would be completely random guesswork.

I guess I'll have to drop the assumption that every type has a default value, but...
That was a nice assumption, because it made life *so much* easier.
Consider for example creating an array of type `T`. If `T` has a default value, there's no issue, you just allocate the array and initialise all the items in the array with the default value, then let the programmer do with it as (s)he pleases. There is no risk the programmer might use uninitialised memory. If `T` does *not* have a default value... You'd have to make sure that every item in the array gets initialised *by the programmer*.
But what if the programmer wants to create an `ArrayList[T]`? In that case the programmer *naturally* wants to over-allocate a bit, e.g. create an array (backing the list) with space for 16 (or so) elements, even when the list doesn't actually contain any items, yet. Again, if `T` has a default value, you can handle it safely, just initialise all the array items immediately after allocation. If `T` doesn't have a default value, you can't really initialise the array items when allocating the array, you have to rely on the programmer to do so. But then you want to make sure that every no array item is *read* before it has been initialised *by the programmer*, *somehow*. (I don't really have an idea how.)

#programming #programminglanguages #RocketLang

(more Linux and FOSS news in previous posts of thread)

Code editor Zed adds long-awaited rainbow brackets for improved nested code readability:
https://alternativeto.net/news/2025/12/code-editor-zed-adds-long-awaited-rainbow-brackets-for-improved-nested-code-readability/

Django 6.0 released with template partials, backround tasks and more:
https://www.djangoproject.com/weblog/2025/dec/03/django-60-released/

AMD GPU Managed Memory Support Merged For The GCC 16 Compiler:
https://www.phoronix.com/news/AMD-GCC-Managed-Memory

WordPress 6.9 adds block-level Notes, dashboard-wide Command Palette, and Abilities API:
https://alternativeto.net/news/2025/12/wordpress-6-9-adds-block-level-notes-dashboard-wide-command-palette-and-abilities-api/

Anthropic acquires Bun to accelerate its development and integration into Claude Code:
https://alternativeto.net/news/2025/12/anthropic-acquires-bun-to-accelerate-its-development-and-integration-into-claude-code/

Wireshark 4.6.2 Is Out to Update Protocol/Capture File Support and Fix More Bugs:
https://9to5linux.com/wireshark-4-6-2-is-out-to-update-protocol-capture-file-support-and-fix-more-bugs

Let's Encrypt will decrease SSL certificate validity from 90 to 45 Days by 2028:
https://alternativeto.net/news/2025/12/let-s-encrypt-will-decrease-ssl-certificate-validity-from-90-to-45-days-by-2028/

FreeBSD 15.0 Now Officially Available With Many Software Updates, Reproducible Builds:
https://www.phoronix.com/news/FreeBSD-15.0-RELEASE

ReactOS Lands Improvements For Its USB Stack - Fixing Various Blue Screens of Death:
https://www.phoronix.com/news/Better-USB-For-ReactOS

Genode OS Framework 25.11 Adds Intel Alder Lake Graphics Support:
https://www.phoronix.com/news/Genode-OS-25.11

#WeeklyNews #OpenSource #FOSSNews #OpenSourceNews #FOSS #Zed #Django #WordPress #Bun #Wireshark #LetsEncrypt #GCC #GCC16 #FreeBSD #SelfHosting #Networking #NetworkingTech #WebDev #WebDevelopment #Python #JavaScript #BSD #ReactOS #GenodeOS #OS #OperatingSystem #ProgrammingLanguage #Development #Programming #Coding #FosseryTech

Do we need a new Programming Language just for AI?

#AI #Coding #programming #Tech #IT #ideas #opinion #innovation #technology #ProgrammingLanguage

Hot(?) take:

I think that people are put off typing for webdev because of how complex TypeScript types can be.

But TypeScript types are complicated because real life JavaScript have such complicated invariants.

Put another way: people are already doing very complicated things in JavaScript, but since they're not force to express the types (which totally are there during runtime!) people think it's simple. Out of sight, out of mind.

Languages with nominal type systems (like Kotlin or Dart for example) are *much* simpler to use and I'd think would probably open some eyes.

Of course I'd recommend just trying out languages outside what you're used to in general. If you don't I think you'll quickly end up with a narrow minded view of what programming can be.

#programming #programminglanguage #webdev #javascript #typescript

EDIT: Go does not quite have a nominal type system.