Pharo 14(pharo.org)
6 points by xkriva11 | 0 comments
Official announcement of the Pharo 14 release, detailing new development tools, refactoring infrastructure, and virtual machine improvements such as RISC-V JIT support.
Programming on Hacker News
1414 stories, newest first.
Tasks as Code: Move Your Tickets into the Repository(typemill.net)
38 points by trendschau | 36 comments
A Typemill knowledge-hub article arguing for storing development tasks as Markdown files in Git so AI coding agents can read them alongside code and docs.
The result of the C++26 DIS ballot(train-it.eu)
48 points by uasi | 54 comments
Blog post, part 6 of a series, reporting that the C++26 draft failed its ISO DIS ballot over contracts, with vote counts, country positions, and next steps.
Show HN: Proc-CLI – An agent-friendly CLI tool for process and port management(proc-cli.com)
11 points by yazeedaloyoun | 1 comments
Landing page for proc, a cross-platform CLI tool for finding, inspecting, and killing processes by port, PID, name, or path, with JSON output for coding agents.
Why I Am a Programmer(alfie.wtf)
279 points by jruohonen | 87 comments
Personal blog essay recounting how BBS-era cracktros, the demoscene, and Denthor's ASPHYXIA Pascal demo tutorials inspired the author to become a programmer.
Show HN: Farol – a risk map of a pull request for the person who approves it(github.com)
49 points by ericholiveira | 28 comments
GitHub repository for Farol, an open-source CLI and GitHub Action that scores pull request merge risk, highlighting risky files, reach, diff coverage and contract breaks.
Attention people who think UB is fine(blog.habets.se)
11 points by signa11 | 9 comments
Blog post demonstrating with GCC and Clang assembly output that undefined behavior in C/C++ can cause unexpected effects like falling through into unrelated functions.
Small Programs and Languages(ratfactor.com)
183 points by andsoitis | 28 comments
A personal blog card by Dave (ratfactor) on the appeal of tiny programs and small programming languages like Forth, Lisp, Tcl, and Lua, with examples of minimal implementations.
The Goose Programming Language(aardappel.github.io)
155 points by andsoitis | 54 comments
Homepage for Goose, a memory-safe systems programming language with no heap, garbage collector, or lifetime annotations that compiles to C.
The Goose Programming Language(aardappel.github.io)
561 points by bobbydigitales | 346 comments
An X post by John Carmack praising Wouter van Oortmerssen's Goose programming language for its multiple data stacks, relative references, and binary structure validation.
Bbtree: Fastest Ordered Map(bbtree.xiangpeng.systems)
130 points by aoli-al | 16 comments
Blog post introducing bbtree, a Rust B-tree ordered map claiming 5× speed over std BTreeMap, with benchmarks and integrations into LSM-trees and Turso.
Roku developer repositories moved from GitHub to GitLab(blog.roku.com)
292 points by cxr | 205 comments
Roku developer blog post announcing that its developer docs, sample apps, SDK and tooling repositories moved from GitHub to GitLab, with guidance on updating URLs.
How close can pure functional programming get to C?(rtfeldman.com)
268 points by stmonty | 94 comments
Richard Feldman's blog post benchmarking roc-deflate, a pure Roc DEFLATE library, against C's libdeflate, finding it under 10% slower, and describing Roc-specific optimizations.
No Source Code? No Problem(queue.acm.org)
45 points by ibobev | 33 comments
A 2003 ACM Queue article by Peter and George Phillips on emulating or translating legacy binaries, such as arcade game ROMs, when source code is unavailable.
Show HN: Corgi, a helpful {agent, terminal} multiplexer(corgi.computer)
95 points by eiopa | 25 comments
Landing page for Corgi, a terminal multiplexer for managing AI coding agents like Claude Code and Codex, with activity tracking, token usage, and worktrees.
Rune 1.3: adds TypeScript, a Helix editor, Kitty graphics and OSC-7501(rune.build)
50 points by ernestrc | 12 comments
Release announcement for Rune 1.3, an open-source editor/terminal adding a graphics pipeline, TypeScript support, a Helix editor preset, headless mode, and OSC 7501 status.
Animations for System Builders(brooker.co.za)
55 points by KraftyOne | 3 comments
Marc Brooker blog post showing LLM-built animations of system failures: Raft lost writes from lying fsync, and metastable failures in Postgres and etcd.
UUIDv7: Timestamps aren’t time-ordered and other oddities(alexsci.com)
150 points by ibobev | 121 comments
Blog post arguing that UUIDv7 does not reliably provide monotonic ordering, accurate creation timestamps, or unguessability, examining RFC 9562 and implementations like Python's.
Growing Trees(brashandplucky.com)
133 points by ibobev | 19 comments
Blog post explaining an implementation of procedural tree growth based on Palubicki et al.'s self-organizing tree models, covering light competition, resource allocation, and foliage rendering.
The foolishness of "natural language programming" (1978)(cs.utexas.edu)
346 points by xiaoyu2006 | 246 comments
Transcription of Edsger Dijkstra's 1978 essay EWD 667 arguing that programming in natural language is misguided and formal symbolism is a privilege.
Jank – The native Clojure dialect with seamless C++ interop(jank-lang.org)
155 points by giancarlostoro | 31 comments
Homepage for jank, a native Clojure dialect built on C++ with seamless C++ interop, a Clang/LLVM-based JIT REPL, AOT compilation, and Leiningen-based tooling.
Show HN: Impossible Machines: declaratively program the physical world(impossiblemachines.xyz)
74 points by bhaprayan | 17 comments
Interactive web prototype where users demonstrate a desired physical effect, like ringing a bell, and a constraint solver generates a mechanism to achieve it.
We have traits at home(axelmagn.com)
40 points by Ygg2 | 14 comments
A blog post proposing a convention for compile-time Traits in Zig as comptime structs of functions, compared with interfaces/vtables and comptime duck typing.
LISP Comes of Age (1980)(microship.com)
65 points by so-cal-schemer | 17 comments
An unpublished 1980 article by Steven K. Roberts written for Byte about the first LISP conference and AAAI conference at Stanford, with a retrospective introduction.
Monoidal computer I: Basic computability by string diagrams (2012)(arxiv.org)
3 points by measurablefunc | 0 comments
arXiv abstract page for Dusko Pavlovic's 2012 paper proposing a model of computation based on monoidal categories and string diagrams.
Objects, attributes, maps, oh my(bernsteinbear.com)
14 points by ibobev | 1 comments
A blog post explaining how dynamic language runtimes use maps/shapes/hidden classes and inline caches to speed up object attribute access, with Python sketches.
Parsing EDIFACT in Python with syntax trees(github.com)
19 points by alexprengere | 7 comments
GitHub repository for Edison, an MIT-licensed Python library from Amadeus that parses EDIFACT messages using syntax trees converted to state machines.
Crystal 1.22(crystal-lang.org)
156 points by ksec | 102 comments
Release announcement for Crystal 1.22.0, covering SIGPIPE emulation, DWARF parsing improvements, native event loops on all targets, LLVM 23/24 support, and aarch64-linux Tier 1.
In Rainbows(hitogata.neocities.org)
28 points by surprisetalk | 8 comments
A personal blog post describing 'rainbows', a work-in-progress spec for memory-mapped I/O devices (console, arithmetic, disk, datetime, screen) for the author's 'ok' virtual machine.
Rewriting a Commercial Engine in Jai(polygonjs.com)
60 points by frading | 49 comments
Blog post by Polygon's creator explaining why he rewrote the TypeScript/three.js procedural geometry engine from scratch in Jai with a custom WebGPU renderer.
Rails Is a JIT Compiler(railsatscale.com)
9 points by fbuilesv | 2 comments
Rails at Scale blog post on speeding up Rails ActiveRecord enum methods by generating static code via module_eval instead of define_method and public_send, with benchmarks.
Faster than earcut: triangulating 3.7M map polygons in 489 ms(globus.software)
213 points by molind | 40 comments
Blog post from Globus Software introducing earstrip, an open-source C++/WebAssembly polygon triangulator, and detailing step-by-step optimizations that beat earcut on map polygons.
TornadoVM 7 Enables GPU-Native Workloads from Java Applications(infoq.com)
85 points by pjmlp | 17 comments
InfoQ news article on TornadoVM 7.3, an open-source framework for running Java code on GPUs, covering its FFM backend, CUDA library integration, multi-GPU support and jitLLM.
A Markdown File Should Just Open(joshuamorris.info)
21 points by TheWoollyBully | 77 comments
Personal blog essay by Joshua Morris arguing that operating systems should natively open, render, and edit Markdown files across computers, tablets, and phones.
I can't believe PowerShell is good(spacebar.news)
46 points by corbindavenport | 80 comments
Blog post by Corbin Davenport explaining why PowerShell 7 is a good cross-platform scripting tool compared to Bash, with example scripts and a real project.
Rails Is a JIT Compiler(railsatscale.com)
5 points by hellerve | 0 comments
Rails at Scale blog post on speeding up Rails enum methods by generating code with module_eval instead of define_method and public_send, with YJIT/ZJIT benchmarks.
A story of a Figma bug that wasn't a bug at all (2021)(aresluna.org)
60 points by jllyhill | 5 comments
Marcin Wichary's archived 2021 Twitter thread explaining how a Figma Shift+numpad bug on Windows traces back to IBM PC keyboard Num Lock design decisions.
Rust Style Guide(google.github.io)
359 points by kaycebasques | 249 comments
Google's official Rust style guide covering code organization, formatting, ownership, APIs, traits, concurrency, naming and other conventions for Rust at Google.
Tiling Noise – Procedural GPU Patterns(catlikecoding.com)
58 points by ibobev | 2 comments
Catlike Coding tutorial, ninth in a Godot procedural GPU patterns series, showing how to make value noise tile seamlessly in a shader and wrap it around a torus.
PHP2Shell(php2shell.com)
26 points by nr378 | 5 comments
PHP2Shell, a website for a tool that appears to provide an interactive shell for PHP; no page content was captured.
PHP 8.5.12, 8.4.27, 8.3.36 and 8.2.35 out(php.net)
239 points by timvdalen | 82 comments
PHP.net homepage announcing the releases of PHP 8.5.12, 8.4.27, 8.3.36 and 8.2.35.
Pragtical v3.14 Lua-based text editor adds menus, floating views, and sessions(pragtical.dev)
21 points by rd07 | 3 comments
Release blog post for Pragtical v3.14.0, a Lua-based code editor, detailing application menus, floating views, workspace sessions, a new Plugin Manager and lower idle CPU.
C vs. C#: racing VLC's Gaussian blur(martinfinkel.com)
118 points by martz | 40 comments
Blog post benchmarking VLC's Gaussian blur filter in C against a C# port via .NET Native AOT, across line-by-line, algorithmically optimized, and AVX2 SIMD versions.
C# now beats Rust on WASM size(github.com)
131 points by sumnole | 108 comments
GitHub repository for NetWasm, a tool that compiles C# and .NET CIL to small standalone WebAssembly with WASI, using AOT compilation with a built-in runtime and precise GC.
Bringing uv and ty together(astral.sh)
303 points by Ravencentric | 111 comments
Astral blog post announcing experimental uv-ty integration, adding PEP 723 script support in ty and a unified `uv check` command for type checking projects.
Go Conventions That Clicked Too Late for an AI Engineer(towardsdev.com)
4 points by cheikhdev | 0 comments
A Towards Dev (Medium) article listing ten Go programming conventions the author, an AI engineer, wishes they had understood sooner.
Show HN: Clerkenwell – A Handwritten Clojure Notebook(handwritten.danieljanus.pl)
3 points by nathell | 0 comments
A Show HN post presenting Clerkenwell, a handwritten-style Clojure notebook published on Daniel Janus's blog.
Getting Banned from r/java(sjhannah.com)
11 points by davidpolberger | 11 comments
A blog post by Steve Hannah recounting the experience of being banned from the r/java subreddit.
Beyond the &(lwn.net)
83 points by PaulHoule | 10 comments
LWN.net report on Tyler Mandry's RustConf 2026 talk about the "Beyond the &" effort to make Rust smart pointers as flexible as built-in references via places and handles.
The Byzantine Generals Problem: A visual explanation(gravitypersists.github.io)
3 points by gravity13 | 0 comments
An interactive visual explanation of the Byzantine Generals Problem, a classic distributed systems consensus problem involving faulty or malicious participants.
2026 is an exciting year for the Rust compiler (and me)(yoyo-code.com)
166 points by panstromek | 117 comments
Blog post by Matyáš Racek on Rust compiler initiatives maturing in 2026, starting with the next-generation trait solver.
Tsrs: A Port of TypeScript to Rust(blog.cloudflare.com)
409 points by hnisjafx40 | 213 comments
Cloudflare blog post announcing tsrs, a port of the TypeScript compiler to Rust, covering performance gains, motivation, and maintenance plans.
Four Years with Decker(beyondloom.com)
51 points by ibobev | 10 comments
Annual progress report on Decker, a HyperCard-like multimedia tool, covering releases 1.61 to 1.71, gamepad input, Lil language improvements, and community highlights.
Ship Your Interpreter(basis.ai)
18 points by gopiandcode | 7 comments
Basis blog post describing using LLMs to write a formal semantics for a small language and Lean to prove its interpreter correct down to RISC-V compiled code.
Why Windows 11 still ships with Windows 95's memory manager hidden inside it(windowslatest.com)
168 points by khalidkhair | 108 comments
Windows Latest article explaining how Windows 11 still includes the EmulateHeap compatibility shim that gives old apps Windows 95's heap memory manager.
Does Ruby on Rails still make sense?(tech.dirkjonker.nl)
63 points by dajonker | 61 comments
Blog post arguing that Ruby on Rails and frameworks generally still make sense even as LLMs make writing code cheap.
One Hash Bloom Filters(calabro.io)
125 points by jcalabro | 13 comments
Blog post by Jim Calabro explaining bloom filters and a technique for implementing them using a single hash function, with context from Bluesky's backend.
C++ futures part 1: The mental model(devblogs.microsoft.com)
56 points by ibobev | 11 comments
Raymond Chen's Old New Thing post explaining the shared-state mental model behind C++ std::future, std::promise, and std::async with a simplified implementation.
I can't use generic lambdas at compile-time, now what?(blog.ganets.ky)
14 points by ibobev | 1 comments
Blog post explaining how to work around a Clang bug preventing generic lambdas from being evaluated at compile-time in a C++ compile-time unit testing library.
Code is clay now(albertodenia.com)
219 points by albertodenia | 141 comments
Blog essay by iOS developer Alberto Denia arguing agentic coding makes code malleable like clay, contrasting hands-on 'artisan' and automated 'factory' workflows.
Borrow Checking Zero-Cost Cyclic Mutability(antelang.org)
35 points by jfecher | 2 comments
A blog post from the Ante programming language project describing a borrow-checking approach that allows zero-cost cyclic shared mutability.
Speeding up code review with `small-change`(lethain.com)
38 points by alexmolas | 22 comments
Will Larson describes Imprint's `small-change` process, which uses CI checks and AI review skills to fast-track approval of small, low-risk pull requests.
Ask HN: How to deal with shipping AI-written code you don't understand?
534 points by rzk | 650 comments
An Ask HN thread asking how engineers cope with shipping AI-generated code they don't fully understand, citing a Meta engineer's LinkedIn post.
The Decoherence Trap(maevyn.codes)
163 points by cassianoleal | 69 comments
An essay introducing 'decoherence', the buildup of incompatible models in a system, arguing it is the worst form of tech debt and that AI-generated code is accelerating it.
Composite objects and C++26 the std:polymorphic type(mariusbancila.ro)
36 points by jandeboevrie | 29 comments
Blog post explaining the C++26 std::polymorphic type and how it helps implement composite classes, following an earlier post on std::indirect.
Integer to String Conversion (2014)(tia.mat.br)
25 points by jstrieb | 0 comments
A 2014 blog post by Leandro Pereira on tia.mat.br about fast techniques for converting integers to strings.
Free Pascal compiler now supports dynamic packages(getlazarus.org)
188 points by sysrpl | 45 comments
Announcement on getlazarus.org of full dynamic package support for the Free Pascal Compiler and Lazarus IDE, with downloadable installers.
What the heck is /pkg?(anderegg.ca)
73 points by GavinAnderegg | 16 comments
Blog post investigating the mysterious /pkg/env/global/bin PATH entry added in macOS 27.0, with background on path_helper and /etc/paths.
Mitos editor is a fork of Helix(mitos.computer)
57 points by ambigious7777 | 50 comments
Landing page for Mitos, a batteries-included modal text editor forked from Helix with multi-cursor selections, tree-sitter syntax awareness, and built-in language tooling.
Trials and Tribulations of Native Lua Compilation(samyeyo.github.io)
17 points by _samt_ | 4 comments
A blog post by the author of LuaRT describing clx, a compiler that translates Lua 5.5 source into C++ to produce native executables without a Lua VM.
macOS 15.8.2 Breaks OpenGL(developer.apple.com)
271 points by Audiophilip | 303 comments
Apple Developer Forums thread reporting that macOS 15.8.2 RC breaks NSOpenGLView/NSOpenGLContext setView, leaving OpenGL windows with no drawable and rendering blank.
Java sealed classes and exhaustive pattern matching(neilmadden.blog)
180 points by hnisjafx40 | 139 comments
Blog post by Neil Madden explaining Java 17 sealed classes and how they enable exhaustive pattern matching, with examples using sealed interfaces and records.
A page looks innocent: the algorithms behind a typeset page(news.speedata.de)
11 points by patrickg | 1 comments
A blog post by Patrick Gundlach walking through the algorithms behind a typeset page, from page layout down to PDF bytes, using speedata Publisher and boxesandglue.
A new way to think about borrow checking (in reverse)(verdagon.dev)
104 points by verdagon | 10 comments
Blog post by Evan Ovadia explaining a borrow checker for the Vale language that analyzes functions by walking them backwards to check memory safety.
Parser Combinators(t3.at)
226 points by schindlabua | 81 comments
An interactive, slide-style blog post explaining parser combinators and how parsing turns unstructured text into structured data.
I built a programming language that LLMs can't use(blog.picheta.me)
244 points by dom96 | 179 comments
Blog post by Dominik Picheta introducing KillSwitch, a programming language he designed so that large language models cannot use it.
JDK 28(openjdk.org)
88 points by ejboy | 35 comments
OpenJDK project page for JDK 28, listing its status and the JEPs targeted so far, such as Value Objects, Structured Concurrency, and a Simple JSON API.
It's still ok to enjoy programming(chriskiehl.com)
665 points by goostavos | 578 comments
A personal blog essay by Chris Kiehl titled "It's still OK to enjoy programming," about taking joy in the craft of programming.
Tsc-ts: TypeScript written in TypeScript(github.com)
36 points by tosh | 34 comments
GitHub repository from Vercel Labs for tsc-ts, a TypeScript compiler implementation written in TypeScript.
Developing for Debugging (2025)(davepacheco.net)
32 points by mpweiher | 0 comments
Blog post by Dave Pacheco on designing Oxide's control plane DNS propagation services so problems are easier to debug.
Show HN: High-quality duck audio synthesizer(celphase.github.io)
157 points by celphase | 35 comments
Interactive web demo of a pond of mallards whose quacks are synthesized in real time and spatialized relative to the listener's position on the bank.
The future of programming (1982)(dl.acm.org)
56 points by vismit2000 | 13 comments
ACM Digital Library page for the 1982 Communications of the ACM article "The future of programming" by Anthony I. Wasserman and Steven Gutz.
Teal – A statically-typed dialect of Lua(teal-language.org)
160 points by Lyngbakr | 64 comments
Homepage of Teal, a statically-typed dialect of Lua, with links to about, playground, download, docs, and community.
"Traditional, but Puzzling"(unsung.aresluna.org)
42 points by colinprince | 7 comments
Blog post on the Unsung software craft blog about a puzzling Unix error message seen by users in the 1990s and its history.
C++26: The New Debugging Header(sandordargo.com)
98 points by jandeboevrie | 23 comments
Blog post by Sandor Dargo introducing the C++26 <debugging> header for programmatic breakpoints, replacing compiler-specific code like __debugbreak.
Regex visualized as 3D marble run(regexmarblerun.com)
78 points by seizethecheese | 27 comments
Regex Marble Run is an interactive web tool that visualizes regular expression matching and backtracking as a 3D marble run machine.
Superoptimizing an FPU Emulator(purplesyringa.moe)
39 points by dverlaeckt80 | 6 comments
Blog post on using superoptimization to find an optimal instruction sequence for a floating-point emulator function returning a float's lowest set bit.
The history of development of Norton Commander (2011)(softpanorama.org)
60 points by Michelangelo11 | 19 comments
A Softpanorama book chapter by Nikolai Bezroukov on the history of Norton Commander and the NC line of orthodox file managers.
Lean now ships with verified kernels(leodemoura.github.io)
189 points by matt_d | 68 comments
Leonardo de Moura blog post announcing Lean v4.35.0 ships with lake check, leanchecker, and four additional independent verified kernels for rechecking proofs.
The Folders Programming Language(danieltemkin.com)
185 points by gurst | 32 comments
Daniel Temkin's page describing Folders, an esoteric programming language where programs are encoded as nested empty directory structures.