Tree Borrows

https://plf.inf.ethz.ch/research/pldi25-tree-borrows.html

Today I realized #Go and #Rust both have panics instead of exceptions and both originate from the second half of the 2000s.

These facts are now mentioned in https://gato-lang.dev/

If you have experience with Go or Rust, I'm interested in your thoughts on the lack of exceptions in these languages. It looks to me like an attempt to simplify things that eventually backfired, as evidenced for example by https://www.crowdstrike.com/en-us/blog/dealing-with-out-of-memory-conditions-in-rust/

SUS Lang: The SUS Hardware Description Language

https://sus-lang.org/

A mix of neat and not-so-neat stuff :

“10 Features Of D That I Love”, Bradley Chatha (https://bradley.chatha.dev/blog/dlang-propaganda/features-of-d-that-i-love/).

Via HN: https://news.ycombinator.com/item?id=44445877

On Lobsters: https://lobste.rs/s/msjy28/10_features_d_i_love

New syntax just dropped in my toy programming language.

Not sure if I like it or hate it yet (especially the post-arguments form seen with the NEXT binding on the second picture), but I feels it's a lot easier to understand than the LET magic from before.

https://codeberg.org/bojidar-bg/project-world/commit/82b214e5757293fe32e0a11c03bb56820fc765d1

Даўно збіраўся пачытаць гэтую кнігу, але вось толькі зараз дабраўся. З усіх апісваных у кнізе моваў я зусім ніяк не сутыкаўся толькі з Prolog і Io, таму спадзяюся што гэтыя часткі кнгі прынамсі будуць цікавыя

I want to read a #compiler book written in the last 15 years that covers same topics as the Modern Compiler Implementation book by Appel, but uses recent terminology, tools and techniques. Any recommendations? #compilers #programminglanguages

EDIT: It seems like no such book exists. I guess I’ll have to read docs, blogs and papers along with old books to put things together myself.

C++ Encounters of the Rusty Zig Kind - There comes a time in any software developer’s life when they look at their achiev... - https://hackaday.com/2025/07/01/c-encounters-of-the-rusty-zig-kind/ #programminglanguages #softwaredevelopment #hackadaycolumns #rustlang #ziglang

#devops how do you think your ideal programming language would look like? I mean a language in which you would write pipeline logic, like Python or Bash, not define pipeline steps itself, like YAML.

I think for me it would have:
- very clean and readable syntax
- immutable state by default
- strong typing
- strong tooling and IDE support
- focus on DevOps-need things, like JSON and files manipulation
- absence of danger things like pointers

Multi-Stage Programming with Splice Variables

https://tsung-ju.org/icfp25/

Learn OCaml – Exercises

https://ocaml-sf.org/learn-ocaml-public/#activity=exercises