Hacker News with Generative AI: Programming Languages

Implement Your Language Twice (futhark-lang.org)
One of the challenges you face when programming is figuring out what your program will do when you run it.
Programming Languages, Software Development, Efficiency
14 points by birdculture 11 hours ago | 0 comments
AMD GPU Programming in Julia (juliagpu.org)
AMD, GPU Programming, Julia, Programming Languages
10 points by pxl-th 12 hours ago | 0 comments
Show HN: Woxi - A Rust-based interpreter for a subset of the Wolfram Language (github.com/ad-si)
A Rust-based interpreter for a subset of the Wolfram Language.
Programming Languages, Rust, Wolfram Language, Interpreters
11 points by adius 12 hours ago | 0 comments
Haskell's killer app is maintainability (fausak.me)
I asked the following question on the 2019 State of Haskell Survey: “If you wanted to convince someone to use Haskell, what would you say?” My answer to that question involves long term maintainability and low risk refactoring. I looked through the survey responses and found many other people express the same sentiment. I collected some of them here as testimonials for Haskell.
Programming Languages, Haskell, Software Development, Maintainability
6 points by romes 13 hours ago | 0 comments
Rust Dependencies Scare Me (vincents.dev)
Rust's dependencies are starting to worry me.
Rust, Programming Languages, Software Development, Security
12 points by vsgherzi 13 hours ago | 20 comments
Lazarus Release 4.0 (freepascal.org)
The Lazarus team is glad to announce Lazarus 4.0.
New Releases, Software, Programming Languages
8 points by aargh_aargh 1 day ago | 2 comments
Proposal: Add bare metal support to Go (github.com/golang)
I propose the addition of a new GOOS target, such as GOOS=none, to allow Go runtime execution under specific application defined exit functions, rather than arbitrary OS syscalls, enabling freestanding execution without direct OS support.
Programming Languages, Go, Operating Systems
82 points by rbanffy 2 days ago | 20 comments
C++26: Constexpr Exceptions (sandordargo.com)
Starting with C++26, it will become possible to throw exceptions during constant evaluation. This capability is enabled through both language and library changes. Given the significance of this feature, it deserves its own dedicated post.
C++, Programming Languages, Software Development, Compiler Design
7 points by ingve 2 days ago | 0 comments
Better C – A subset of D Programming Language (dlang.org)
BetterC is a subset of D that doesn't depend on the D runtime library, only the C runtime library.
Programming Languages, D Language, C Language
4 points by LorenDB 2 days ago | 1 comments
Djot: A Light Markup Syntax (djot.net)
Djot is a light markup syntax.
Markup Languages, Programming Languages, Web Development, Tools
4 points by fanf2 2 days ago | 0 comments
Should I choose Ada, SPARK, or Rust over C/C++? (adacore.com)
At AdaCore, we’re in the business of supporting people who develop high-integrity software, in particular for embedded systems.
Programming Languages, Software Development, Embedded Systems, Security
6 points by amai 2 days ago | 0 comments
Lazarus Release 4.0 (freepascal.org)
The Lazarus team is glad to announce Lazarus 4.0.
New Releases, Software, Programming Languages
9 points by proxysna 2 days ago | 0 comments
Matt Godbolt sold me on Rust by showing me C++ (collabora.com)
Matt Godbolt, of Compiler Explorer fame, is awesome and you should scour the web for every single bit of content he puts out.
Programming Languages, Rust, C++, Software Development
596 points by LorenDB 3 days ago | 642 comments
Matt Godbolt sold me on Rust (by showing me C++) (medium.com)
Matt Godbolt, of Compiler Explorer fame, is awesome and you should scour the web for every single bit of content he puts out.
Programming Languages, Rust, C++, Software Development, Personal Experiences
7 points by mfilion 3 days ago | 1 comments
Show HN: PageQL – Embed SQL directly in HTML (pageql.dev)
PageQL is an experimental template language and micro Python web framework that allows embedding SQL inside HTML directly.
Web Development, Databases, Programming Languages, HTML
13 points by xiphias2 3 days ago | 8 comments
Hazard Pointers in C++26 (modernescpp.com)
Hazard pointers provide garbage collection in C++ and solve the ABA problem.
C++, Programming Languages, Garbage Collection, Memory Management
12 points by ibobev 3 days ago | 3 comments
Memory-safe sudo to become the default in Ubuntu (trifectatech.org)
May 6, 2025 – Ubuntu 25.10 is set to adopt sudo-rs by default. Sudo-rs is a memory-safe reimplementation of the widely-used sudo utility, written in the Rust programming language.
Security, Linux, Programming Languages, Operating Systems
219 points by jnsgruk 3 days ago | 270 comments
Hyper – Outperform React on every metric (nuejs.org)
Today I'm releasing Hyper: a simple markup language for building user interfaces. It enables developers (and AI models) to generate complex UIs with amazingly clean syntax. It aims to make frontend development enjoyable.
Frontend Development, User Interfaces, Programming Languages, JavaScript, AI
28 points by ZephyrBlu 3 days ago | 36 comments
An Interactive Debugger for Rust Trait Errors (cs.brown.edu)
Human developers frequently make simple mistakes. Thankfully, type systems do a great job of statically catching simple mistakes and saving developers time. However, as type errors become more complex, developers may spend significant time trying to understand the error message itself.
Rust, Debugging, Programming Languages, Software Development
56 points by matt_d 3 days ago | 10 comments
COBOL front-end added to GCC (gcc.gnu.org)
This page is a "brief" summary of some of the huge number of improvements in GCC 15.
Programming Languages, Compilers, Open Source
26 points by temeya 3 days ago | 4 comments
Understanding effective type Aliasing in C [pdf] (open-std.org)
C, Programming Languages, Type Aliasing
52 points by quelsolaar 4 days ago | 13 comments
Lazarus Release 4.0 (freepascal.org)
The Lazarus team is glad to announce Lazarus 4.0.
Software, New Releases, Programming Languages
13 points by dlachausse 4 days ago | 5 comments
Green Tea: an experimental, memory-aware garbage collector for Go (github.com/golang)
This issue tracks the design and implementation of the Green Tea garbage collector. As of the last update to this issue, development of Green Tea is still active. We'll produce more detailed design document once we're ready to commit to a design. For now, Green Tea is available as an experiment at tip-of-tree and is planned as to be available as an opt-in experiment in Go 1.25, once it releases. We encourage teams to try it out.
Garbage Collection, Programming Languages, Experimental Features
13 points by pdubroy 4 days ago | 0 comments
Using Coalton to implement a quantum compiler (2022) (coalton-lang.github.io)
Quilc is a state-of-the-art optimizing compiler for quantum computers written in Common Lisp. It is capable of taking arbitrary quantum programs written in Quil, and compiling and optimizing them into code that conforms to the majority of quantum computing architectures that exist today.
Quantum Computing, Programming Languages, Compiler Optimization
53 points by andsoitis 4 days ago | 4 comments
Fast, extensible and composable SQL sigils in Elixir (github.com/elixir-dbvisor)
Brings an extensible SQL parser and sigil to Elixir, confidently write SQL with automatic parameterized queries.
Elixir, SQL, Databases, Programming Languages, Open Source
10 points by schultzer 4 days ago | 0 comments
Co-dfns: High-performance, reliable, and parallel APL (github.com/Co-dfns)
The Co-dfns project aims to provide a high-performance, high-reliability compiler for a parallel extension of the Dyalog dfns programming language.
Programming Languages, APL, Performance, Parallel Programming, Open Source
5 points by fanf2 5 days ago | 0 comments
Typed Lisp, a Primer (alhassy.com)
Let's explore Lisp's fine-grained type hierarchy!
Lisp, Programming Languages, Type Systems
138 points by todsacerdoti 5 days ago | 66 comments
Feather: A Rust web framework that does not use async (github.com/BersisSe)
Feather is a lightweight, DX-first web framework for Rust — inspired by the simplicity of Express.js, but designed for Rust’s performance and safety.
Rust, Web Frameworks, Programming Languages, Software
43 points by todsacerdoti 5 days ago | 47 comments
Perfect Random Floating-Point Numbers (specbranch.com)
When I recently looked at the state of the art in floating point random number generation, I was surprised to see a common procedure in many programming languages and libraries that is not really a floating-point algorithm:
Programming Languages
113 points by pclmulqdq 5 days ago | 60 comments
Lilith and Modula-2 (astrobe.com)
The programming language Modula-2 was authored by Professor Niklaus Wirth of the Institut fur Informatik of the Swiss Federal Institute of Technology (ETH) in 1979.
Programming Languages, History, Computer Science
65 points by kristianp 5 days ago | 10 comments