Hacker News with Generative AI: Programming Languages

PHP 8.4 Released (php.net)
PHP 8.4 is a major update of the PHP language. It contains many new features, such as property hooks, asymmetric visibility, an updated DOM API, performance improvements, bug fixes, and general cleanup.
Ask HN: What are the nice feature you need in a programming language? (ycombinator.com)
I'm developing a programming language, the keywords and features mostly based on Swift 5 but some additional features like, <p>1. async function will be called from no async function but no async/await keyword. If you want to block main thread then block_main() function will be used. block_main() /* operations */ unblock_main()<p>2. protocol can inherit another protocol(s) & protocol can confirm a class like swift.<p>3. no `let`. only `var`. compiler can optimize further.<p>4.
Rust Foundation Collaborates with AWS to Verify Rust Standard Libraries (rust-lang.org)
Today, Amazon Web Services (AWS) announced a collaborative initiative aimed at verifying the safety of the Rust standard libraries.
Native compilation of Prolog predicates with Cranelift [pdf] (adrianistan.eu)
What to Expect from Chicken 6 (more-magic.net)
This article is about the changes in the next major version of CHICKEN Scheme.
Lush: My favorite small programming language (wordpress.com)
I meant to write about this when I started my blog in 2009. Eventually Lush kind of faded out of my consciousness, as it was a lot easier to get work doing stuff in R or Matlab or whatever. The guy who was maintaining the code moved on to other things. The guys who wrote most of the code were getting famous because of the German Traffic Sign results. I moved on to other things.
Nominal for Storing, Structural for Manipulating (bearblog.dev)
Something that comes up sometimes in programming languages is the difference between nominal and structural type systems.
Creating Your Own Programming Language – Laurence Tratt [video] (youtube.com)
Using Erlang hot code updates (underjord.io)
One of the Erlang ecosystem’s spiciest nerd snipes are hot code updates. Because it can do it. In ways that almost no other runtime can.
What to Expect from Chicken 6 (more-magic.net)
This article is about the changes in the next major version of CHICKEN Scheme.
ChipWits FORTH is now Open Source A taste of Game Dev in 1984 (chipwits.com)
This month marks the 🎈🎈🎈 40th anniversary of ChipWits! 🎈🎈🎈 To celebrate, we’re releasing all of the original Mac and Commodore 64 FORTH source code (or as much as we could recover) as open source!
Java 24 to Reduce Object Header Size and Save Memory (infoq.com)
JEP 450 (Compact Object Headers) has been targeted for delivery in JDK 24, and has already been merged to main.
Story-time: C++, bounds checking, performance, and compilers (chandlerc.blog)
Recently, several of my colleagues at Google shared the story of how we are retrofitting spatial safety onto our monolithic C++ codebase: https://security.googleblog.com/2024/11/retrofitting-spatial-safety-to-hundreds.html
Gleam v1.6.0 Released (gleam.run)
Gleam is a type-safe and scalable language for the Erlang virtual machine and JavaScript runtimes. Today Gleam v1.6.0 has been published, featuring so many excellent improvements that I struggled to title this post.
Impressions of React and TypeScript from an Elixir/Elm Developer (korban.net)
I was recently on a project where I chose to use React and TypeScript as part of the tech stack because of the existing skillset of my team. I myself managed to avoid both React and TypeScript until this year. So when I finally used them on a real project, I was looking at them as an experienced Elm & Elixir developer, coming from small niche ecosystems into the din of the real world.
CPython's Garbage Collector and Its Impact on Application Performance (codingconfessions.com)
Learn how the knowledge of CPython internals translate into performance insights for your code
Fortran II Hypersource (texdraft.github.io)
This is a hypertext rendition of the source code of IBM's FORTRAN II compiler for the IBM 704/709/7090/7094.
The missing text focused programming environment (utoronto.ca)
Hot take: the enduring popularity of writing applications in a list of environments that starts with Emacs Lisp and goes on to encompass things like Electron shows that we've persistently failed to create a good high level programming system for writing text-focused applications.
Ask HN: Best practices using AI as an experienced web dev (ycombinator.com)
As an Old, I came up learning the OG web dev languages - HTML, CSS, JS, PHP, etc. As a solo dev, I still largely work with these as natively as possible. But I am not a total dinosaur. I embraced jQuery in the early 2000's, Bootstrap scaffolding, and now often build reactive UI's using Vue 3.
Show HN: Nova JavaScript Engine (github.com/trynova)
Nova is a JavaScript and WebAssembly engine written in Rust.
Rust haters, unite! Fil-C aims to Make C Great Again (theregister.com)
Developers looking to continue working in the C and C++ programming languages amid the global push to promote memory-safe programming now have another option that doesn't involve learning Rust.
Show HN: A dynamic C (Hot reloading) module-based Web Framework (github.com/joexbayer)
Welcome to c-web-modules, a modular and efficient approach to web development in C. Inspired by kernel modules and AWS Lambda, this project allows you to upload C code directly to the server, which compiles and deploys it at runtime. No precompilation is necessary, and the server can easily be upgraded to include more features or external libraries.
Elixir-like pipes in Ruby (oh no not again) (zverok.space)
On a new approach to implement that long-envied feature.
Compiler Optimization in a Language You Can Understand (sbaziotis.com)
Safety in an unsafe world (lwn.net)
Joshua Liebow-Feeser took to the stage at RustConf to describe the methodology that his team uses to encode arbitrary constraints in the Rust type system when working on the Fuchsia operating system (slides). The technique is not unknown to the Rust community, but Liebow-Feeser did a good job of both explaining the method and making a case for why it should be used more widely.
Stop making me memorize the borrow checker (erikmcclure.com)
I started learning Rust about 3 or 4 years ago. I am now knee-deep in several very complex Rust projects that keep slamming into the limitations of the Rust compiler. One of the most common and obnoxious problems is hitting a situation the borrow-checker can’t deal with and realizing that I need to completely re-architect how my program works, because lifetimes are “contagious” the same way async is. Naturally, Rust has both!
Logica – Declarative logic programming language for data (logica.dev)
Logica is an open source declarative logic programming language for data manipulation.
A basic introduction to the classfile API in Java (ifesunmola.com)
JEP 484 defines the class file API as a standard way for parsing, generating, and transforming Java class files. You’ll never need to use it if you don’t write/never plan to write a JVM-based library, framework or compiler. ASM would still be the go-to library for most developers because there’s already a lot of information about it online. As of the time of writing, the API is still in preview and will be finalized with the release of JDK 24.
C++ template macroprogramming versus Lisp macros (simondobson.org)
Gliimly is a programming language for web services (gliimly.github.io)
Gliimly is a programming language for web services.