Hacker News with Generative AI: Programming Languages

Python interpreter adds tail calls (lwn.net)
The Faster CPython project has been working to speed up the Python interpreter for the past several years. Now, Ken Jin, a member of the project, has merged a new set of changes that have been benchmarked as improving performance by 10% for some architectures.
Python, Performance, Programming Languages
5 points by signa11 1 hour ago | 1 comments
Node just added TypeScript support (deno.com)
Node.js recently added native TypeScript support in version 22.6 (stabilized in 23.6), a welcome enhancement simplifying setups for TypeScript users. This has sparked questions within the community about how Node’s new capabilities compare with Deno’s existing TypeScript integration.
Node.js, TypeScript, JavaScript, Programming Languages, Web Development
4 points by samspenc 2 hours ago | 1 comments
Common Lisp in 2055 (Satire) (medium.com)
The year is 2055. AI automation has made 99.7% of all jobs obsolete — a human barista is now a rare novelty.
Programming Languages, Satire, Artificial Intelligence, Future
3 points by httbs 4 hours ago | 0 comments
Zig: A good memory allocator in 200 lines of code (github.com/ziglang)
An allocator that is designed for ReleaseFast optimization mode, with multi-threading enabled.
Programming Languages, Optimization, Memory Management
14 points by signa11 12 hours ago | 1 comments
Show HN: CodeTracer – A new time-traveling debugger implemented in Nim and Rust (github.com/metacraft-labs)
CodeTracer is a user-friendly time-traveling debugger designed to support a wide range of programming languages.
Debugging, Programming Languages, Open Source, Tools, Software
254 points by alehander42 13 hours ago | 48 comments
Zig-0.14.0 Landed (ziglang.org)
Zig is a general-purpose programming language and toolchain for maintaining robust, optimal and reusable software.
Programming Languages, New Releases, Software
10 points by lr1970 1 day ago | 3 comments
F# for Fun and Profit (fsharpforfunandprofit.com)
This site will introduce you to F# and show you ways that F# can help in day-to-day development of mainstream commercial business software. On the way, I hope to open your mind to the joys of functional programming – it really is fun!
Programming Languages, Functional Programming, Software Development
47 points by _benj 2 days ago | 6 comments
ZJIT: Building a Next Generation Ruby JIT (rubykaigi.org)
YJIT can make Ruby code run faster, but this is a balancing act, because the JIT compiler itself must consume both memory and CPU cycles to compile and optimize your code while it is running.
Ruby, Programming Languages, Performance, JIT Compilers, Optimization
17 points by ksec 2 days ago | 2 comments
Zig 0.14.0 Release Notes (ziglang.org)
Zig 0.14.0 implements an accepted proposal which allows switch statements to be labeled, and to be targeted by continue statements.
Programming Languages, Zig, Software, New Releases
83 points by tauoverpi 2 days ago | 16 comments
Lean 4, Release v4.17.0 (github.com/leanprover)
The Lean v4.17 release brings a range of new features, performance improvements, and bug fixes.
New Releases, Software, Programming Languages
5 points by todsacerdoti 2 days ago | 0 comments
C++ creator calls for help to defend programming language from 'serious attacks' (theregister.com)
Bjarne Stroustrup, creator of C++, has issued a call for the C++ community to defend the programming language, which has been shunned by cybersecurity agencies and technical experts in recent years for its memory safety shortcomings.
Programming Languages, Security, C++
5 points by blindriver 2 days ago | 4 comments
On the criteria to be used in decomposing systems into modules (1972) (dl.acm.org)
Software Engineering, Systems Design, Computer Science, Programming Languages, History
124 points by reverseflux 3 days ago | 23 comments
An Attempt to Catch Up with JIT Compilers (arxiv.org)
Just-in-Time (JIT) compilers are able to specialize the code they generate according to a continuous profiling of the running programs. This gives them an advantage when compared to Ahead-of-Time (AoT) compilers that must choose the code to generate once for all.
Software, Programming Languages, Performance Optimization, Computer Science
197 points by mfiguiere 3 days ago | 140 comments
A float walks into a gradual type system (ruudvanasseldonk.com)
I am building a new configuration language: RCL. It’s a gradually typed superset of json that extends json into a simple functional language that enables abstraction and reuse. Its main purpose is to generate json, yaml, and toml files, but it makes a pretty good json query tool too. Think jq, but without having to ask an LLM to write the query for you.
Programming Languages, Configuration Management, Functional Programming
28 points by ruuda 4 days ago | 8 comments
C++ creator calls for action to address 'serious attacks' (theregister.com)
Bjarne Stroustrup, creator of C++, has issued a call for the C++ community to defend the programming language, which has been shunned by cybersecurity agencies and technical experts in recent years for its memory safety shortcomings.
Programming Languages, Cybersecurity, Security Flaws
18 points by thunderbong 4 days ago | 0 comments
Taichi: High-Performance Parallel Programming in Python (taichi-lang.org)
Taichi is a domain-specific language embedded in Python that helps you easily write portable, high-performance parallel programs.
Programming Languages, Python, Parallel Computing
6 points by PaulHoule 4 days ago | 0 comments
C++ creator calls for help to defend programming language from 'serious attacks' (theregister.com)
Bjarne Stroustrup, creator of C++, has issued a call for the C++ community to defend the programming language, which has been shunned by cybersecurity agencies and technical experts in recent years for its memory safety shortcomings.
C++, Programming Languages, Cybersecurity, Security
10 points by rntn 4 days ago | 2 comments
Falsehoods programmers believe about languages (localization) (lexiconista.com)
This is what we have to put up with in the software localisation industry.
Programming Languages, Localization, Software Development
33 points by zdw 4 days ago | 28 comments
An ode to TypeScript enums (disintegrator.dev)
It’s official, folks. TypeScript 5.8 is out bringing with it the --erasableSyntaxOnly flag and the nail in the coffin for many of the near-primordial language features like Enums and Namespaces. Node.js v23 joined Deno and Bun in adding support for running TypeScript files withouth a build step. The one true limitation is that only files containing erasable TypeScript syntax are supported. Since Enums and Namespaces (ones holding values) violate that rule since they are transpiled to JavaScript objects.
TypeScript, JavaScript, Programming Languages, Software Development, Enums
57 points by disintegrator 4 days ago | 67 comments
Begrudgingly Choosing CBOR over MessagePack (taylor.town)
In my pursuit of a sharable programming language, I need a suitable serialization format that's (1) performant to send/store and (2) easy to understand/implement.
Programming Languages, Data Formats, Performance
54 points by jjgreen 5 days ago | 78 comments
Recursive Subtyping for All (cambridge.org)
Recursive types and bounded quantification are two prominent features in many modern programming languages, such as Java, C#, Scala, or TypeScript.
Programming Languages, Software Development, Type Theory
4 points by matt_d 5 days ago | 0 comments
Ask HN: What less-popular systems programming language are you using? (ycombinator.com)
Ask HN: What less-popular systems programming language are you using?
Programming Languages, Systems Programming, Hacker News
278 points by fuzztester 5 days ago | 424 comments
Lisp in Your Language (danthedev.com)
I'm a fan of Lisp programming languages, but there's an incredible conceptual elegance that struggles to materialise as readable elegance for many unfamiliar programmers. The underlying concepts are incredibly simple, but the learning curve can represent a disproportionate challenge.
Programming Languages, Lisp, Learning
14 points by todsacerdoti 5 days ago | 2 comments
Show HN: a Rust library for creating hierarchical state machines (docs.rs)
Moku is a Rust library for creating hierarchical state machines.
Rust, State Machines, Programming Languages, Open Source
38 points by acid_burn 6 days ago | 0 comments
Type++: Prohibiting Type Confusion with Inline Type Information [pdf] (ndss-symposium.org)
Type Systems, Programming Languages, Security, Research Papers
32 points by pjmlp 7 days ago | 15 comments
Imposing memory security in C [video] (fosdem.org)
They say that Rust is going to replace C. I don't believe that and I wanna share how we're doing memory-safe operations in BIRD's C code with no need to enforce this by the language paradigm. It's obviously possible to override that, yet with the right policies and processes in place, it is almost impossible.
C, Memory Security, Programming Languages, Software Development
63 points by transpute 8 days ago | 99 comments
Python interpreter adds tail calls (lwn.net)
The Faster CPython project has been working to speed up the Python interpreter for the past several years. Now, Ken Jin, a member of the project, has merged a new set of changes that have been benchmarked as improving performance by 10% for some architectures.
Python, Programming Languages, Performance Optimization
6 points by chmaynard 8 days ago | 1 comments
Python as a second language empathy (2018) (ballingt.com)
Python, Programming Languages, Education, Empathy
66 points by luu 8 days ago | 38 comments
A mechanically verified garbage collector for OCaml [pdf] (kcsrk.info)
Programming Languages, Verification, Garbage Collection, OCaml
40 points by matt_d 8 days ago | 4 comments
Calling Rust from Cursed Go (pthorpe92.dev)
Purego makes registering foreign symbols very simple. When the driver is registered, I dlopen() the library and
Rust, Go, Programming Languages, Interoperability
37 points by dvektor 8 days ago | 8 comments