Hacker News with Generative AI: Programming Languages

Dijkstra On the foolishness of "natural language programming" (cs.utexas.edu)
Since the early days of automatic computing we have had people that have felt it as a shortcoming that programming required the care and accuracy that is characteristic for the use of any formal symbolism.
Programming Languages, Computer Science
57 points by nimbleplum40 5 hours ago | 29 comments
Rustcraft: Clean slate POSIX shell, written in Rust (github.com/rustcoreutils)
Rust, Operating Systems, Programming Languages, Shell
11 points by jgarzik 11 hours ago | 3 comments
Bare: Run JavaScript Everywhere (pears.com)
The Holepunch team has introduced Bare, a groundbreaking minimal JavaScript runtime designed for both desktop and mobile.
JavaScript, Runtime Environments, Programming Languages, Software, Mobile Development
40 points by delduca 17 hours ago | 24 comments
When parameterization fails: SQL injection in Nim using parameterized queries (nns.ee)
I discovered a potential SQL injection vulnerability in Nim's standard library module db_postgres.
Security, Databases, Programming Languages, SQL Injection
15 points by xx_ns 17 hours ago | 4 comments
Ferron – a fast, memory-safe web server written in Rust (github.com/ferronweb)
Ferron - a fast, memory-safe web server written in Rust
Web Servers, Rust, Programming Languages, Performance
3 points by lamg 23 hours ago | 0 comments
Zig is a general-purpose programming language (ziglang.org)
Zig is a general-purpose programming language and toolchain for maintaining robust, optimal and reusable software.
Programming Languages, Software Development, Toolchains
3 points by doener 2 days ago | 0 comments
Swift Achieved Dynamic Linking Where Rust Couldn't (faultlore.com)
For those who don’t follow Swift’s development, ABI stability has been one of its most ambitious projects and possibly it’s defining feature, and it finally shipped in Swift 5. The result is something I find endlessly fascinating, because I think Swift has pushed the notion of ABI stability farther than any language without much compromise.
Programming Languages, Swift, Rust, ABI Stability
34 points by misterdata 2 days ago | 2 comments
Why F#? (batsov.com)
If someone had told me a few months ago I’d be playing with .NET again after a 15+ years hiatus I probably would have laughed at this.1 Early on in my career I played with .NET and Java, and even though .NET had done some things better than Java (as it had the opportunity to learn from some early Java mistakes), I quickly settled on Java as it was a truly portable environment.
.NET, Programming Languages, Software Development
432 points by bozhidar 2 days ago | 399 comments
Pidgin 3.0 Experimental 2 (2.91.0) has been released (imfreedom.org)
New Releases, Software, Programming Languages
21 points by rw_grim 2 days ago | 3 comments
Swift 6.1 Released (swift.org)
Swift 6.1 is now available!
New Releases, Programming Languages
10 points by tambourine_man 2 days ago | 0 comments
JEP draft: Prepare to make final mean final (openjdk.org)
Issue warnings about uses of deep reflection to mutate final fields. The warnings aim to prepare developers for a future release that ensures integrity by default by restricting final field mutation; this makes Java programs safer and potentially faster. Application developers can avoid both current warnings and future restrictions by selectively enabling the ability to mutate final fields where essential.
Java, Programming Languages, Security, Software Development, Open Source
205 points by mfiguiere 3 days ago | 135 comments
Show HN: TypeScript as a proof assistant for intuitionistic propositional logic (github.com)
TypeScript can be used just like a proof assistant (for intuitionistic propositional logic)!
TypeScript, Proof Assistants, Logic, Programming Languages, Computer Science
17 points by xxmarijnw 3 days ago | 2 comments
Shadowing in Python gave me an UnboundLocalError (ntietz.com)
There's this thing in Python that always trips me up. It's not that tricky, once you know what you're looking for, but it's not intuitive for me, so I do forget. It's that shadowing a variable can sometimes give you an UnboundLocalError!
Python, Programming Errors, Programming Languages
8 points by todsacerdoti 3 days ago | 3 comments
Python lock files have officially been standardized (python.org)
Python, Programming Languages, Standards, Open Source
36 points by ofek 3 days ago | 17 comments
Show HN: I made Confetti: a configuration language file format (hgs3.me)
Confetti is a configuration language that blends the readability of Unix configuration files with the flexibility of S-expressions. It is minimalistic, untyped, and opinionated. Schema conformance is validated by the user application.
Configuration Languages, Programming Languages, Software, Open Source
67 points by hgs3 3 days ago | 59 comments
How to Secure Existing C and C++ Software Without Memory Safety [pdf] (arxiv.org)
The most important security benefit of software memory safety is easy to state: for C and C++ software, attackers can exploit most bugs and vulnerabilities to gain full, unfettered control of software behavior, whereas this is not true for most bugs in memory-safe software.
Security, C++, Programming Languages
130 points by aw1621107 3 days ago | 86 comments
Taming the UB Monsters in C++ (herbsutter.com)
The C++ community broadly has a lot of hardening work well underway.
C++, Programming Languages, Software Development
87 points by ingve 3 days ago | 123 comments
Cross Compiling Swift (khanwinter.com)
There are multiple ways to cross-compile Swift on different platforms. I explored a few methods while building a Discord bot and a Bluesky bot.
Swift, Programming Languages, Cross-Compilation, Discord, Bluesky
3 points by todsacerdoti 3 days ago | 0 comments
The Code That Controls Your Money (wealthsimple.com)
COBOL is a coding language older than Weird Al Yankovic. The people who know how to use it are often just as old. It underpins the entire financial system. And it can’t be removed. How a computer language controls the financial life of the world.
Finance, Programming Languages, Technology, History
21 points by Breadmaker 4 days ago | 2 comments
Why is this site built with C (marcelofern.com)
Learning from these two past mistakes, I came up with a set of requirements for my next (and hopefully final) website:
Programming Languages, Website Development, C
156 points by todsacerdoti 4 days ago | 132 comments
Rust Any part 3: we have upcasts (pocoo.org)
As of Rust 1.86, this is finally fixed. The cast now works:
Rust, Programming Languages, Compiler Design, Software Development, New Features
174 points by jmillikin 4 days ago | 76 comments
Four Lectures on Standard ML (1989) [pdf] (cs.tufts.edu)
Programming Languages, Computer Science, Education, Standard ML
147 points by swatson741 4 days ago | 49 comments
Towards fearless SIMD, 7 years later (linebender.org)
Seven years ago I wrote a blog post Towards fearless SIMD, outlining a vision for Rust as a compelling language for writing fast SIMD programs. Where are we now?
Rust, Programming Languages, SIMD, Performance, History
177 points by raphlinus 4 days ago | 174 comments
Making WebGL typesafe in Idris 2 (drbearhands.com)
I’d wanted to learn Idris for a while, and see how far I could realistically take type-safety. In particular, can I ensure all documentation of the WebGL spec is encompassed in types? (thus achieving correctness-by-construction).
Programming Languages, WebGL, Type Safety
6 points by srid 4 days ago | 0 comments
Memelang: A hybrid graph-relational query language (memelang.net)
Memelang is a hybrid graph-relational query language that encodes complex relationships in a compact syntax.
Query Languages, Databases, Programming Languages
4 points by holtwork 5 days ago | 0 comments
A diagram of C23 basic types (wordpress.com)
This week on the C committee mailing list we had a discussion about how C’s types are organized into different categories. At the end I came up with a diagram with that organization. It basically translates the section “6.2.5 Types” of the C23 standard into a graph of inclusions.
C Programming, Programming Languages, Data Structures, Diagrams, Standards
6 points by ingve 5 days ago | 0 comments
Typed Japanese (github.com/typedgrammar)
If you can write TypeScript, you can understand Japanese!
Programming Languages, TypeScript, Japan, Learning, Open Source
120 points by Philpax 5 days ago | 37 comments
Koto Programming Language (koto.dev)
A lightweight scripting language for Rust applications.
Programming Languages, Rust, Scripting Languages
213 points by virtualritz 5 days ago | 149 comments
Rust is indeed woke (dreamwidth.org)
Hello, you've been (semi-randomly) selected to take a CAPTCHA to validate your requests. Please complete it below and hit the button!
Programming Languages, Opinion, Social Commentary
16 points by pabs3 5 days ago | 2 comments
I Built Faster Reinforcement Learning in C# Solo Than Teams Did with Python (rlmatrix.com)
The question comes relentlessly: “Why build reinforcement learning in C#?” Behind this query lies an unspoken assumption that serious machine learning happens exclusively in Python. This perspective reveals a fundamental disconnect between academic ML researchers with their sprawling Python scripts and those of us solving real industrial problems.
Reinforcement Learning, Programming Languages, C#, Python, Machine Learning
13 points by adriansieradzki 5 days ago | 2 comments