Topics /

Software Engineering

The most popular blog posts about software engineering on Hacker News. 455 posts.

2026
422

Mine, a Coalton and Common Lisp IDE

By Robert Smith mine is a brand new IDE for Coalton and Common Lisp, built from the ground up with one purpose: To make Coalton and Common Lisp easier and more accessible to the programming world. TL;DR? Go to mine's homepage with downloads for Windows/macOS/Linux. mine is a complete, single-download application that…

430

Sublime Text Build 4213

Sublime Text now ships with Python 3.14 and Python 3.3. Python 3.3 is disabled by default and will be removed in a future version. If you're experiencing plugin compatibility issues you can re-enable 3.3 using the setting "disable_plugin_host_3.3": false .

439

JEP 544: Ahead-of-Time Code Compilation

Improve startup and warmup time by making optimized native code for an application instantly available when the HotSpot Java Virtual Machine starts. Achieve this by compiling application code to native code in a training run, storing the native code in the AOT cache for use in subsequent production runs. If the…

443

TorchLean: Formalizing Neural Networks in Lean

Neural networks are increasingly deployed through software stacks whose behavior is defined by tensor layouts, preprocessing choices, compiler boundaries, floating-point arithmetic, GPU kernels, and external model exporters. TorchLean is a Lean 4 codebase for neural network specification, execution, and verification…