6811
Topics /
Software Engineering
The most popular blog posts about software engineering on Hacker News. 7,298 posts.
6812
6813
Programming at the REPL: Data Visualization
Each time we evaluate an expression, the REPL shows us a textual representation of the result: that’s the Print part of Read-Eval-Print-Loop . Most of the time, this textual representation is clear enough for the programmer, but sometimes it becomes difficult to read - especially when dealing with big or deeply nested…
6814
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…
6815
6816
6817
6818
Graphtage: A New Semantic Diffing Tool
Graphtage is a command line utility and underlying library for semantically comparing and merging tree-like structures such as JSON, JSON5, XML, HTML, YAML, and TOML files. Its name is a portmanteau of “graph” and “graftage” (i.e., the horticultural practice of joining two trees together so they grow as one). Read on…
6819
6820
6821
Multiperspective Diagramming – A guide for system engineers
A multiperspective diagramming guide for system, software, cloud, network, and other engineers.
6822
6823
The Haskell Phrasebook (2019)
The Haskell Phrasebook is a free quick-start Haskell guide comprised of a sequence of small annotated programs.
6824
6825
A Logic Language for Distributed SQL Queries
A comprehensive look at the design of Polar, and how we enabled it to operate over distributed data.
6826
6827
Markov's and Chebyshev's Inequalities Explained
A look at why Chebyshev's Inequality holds true and some potential applications.
6828
Building a local positioning system to track runners using Ultra-Wideband
An open-source multi-tag fully local UWB positioning system.
6829
6830
Finetuning LLMs on a Single GPU Using Gradient Accumulation
From the PyTorch Lightning creators. Own your AI, don't rent it. Lightning is the AI cloud to build, train, and deploy your own models on 36,000+ NVIDIA GPUs.
6831
QEMU Version 10.0.0 Released
We’d like to announce the availability of the QEMU 10.0.0 release. This release contains 2800+ commits from 211 authors.
6832
PyPy Tooling Upgrade: JitViewer and VMProf
We are happy to announce a major JitViewer (JV) update. JV allows you to inspect RPython's internal compiler representation (the language i...
6833
Help choose the syntax for CSS Nesting
The CSS Working Group is continuing a debate over the best way to define nesting in CSS.
6834
Uncle Bob on DHH: Monogamous TDD
“Test-first fundamentalism is like abstinence-only sex ed: An unrealistic, ineffective morality campaign for self-loathing and shaming.”
6835
Popular Myths about C++, Part 1
[For your winter reading pleasure, we're pleased to present this three-part series of new material by Bjarne Stroustrup. This is part one; parts two and three will be posted on the following two Mondays, which will complete the series just in time for Christmas. Enjoy. -- Ed.]
6836
6837
The Road to the WASM Component Model 1.0
WASI P3 is almost here, bringing native async support to the WebAssembly System Interface (WASI) and Component Model. In this post, we’re looking to the next big milestone: a stable, formally specified Component Model 1.0.At February’s B...
6838
Sometimes, it is a compiler bug (2022)
My journey in finding and fixing a bug in a C++ toolchain
6839
Game engines are more than libraries glued together
Meme from the Twitter post by Juan Linietsky, creator of Godot , that inspired this blog post.
6840
Rust vs Go: A Hands-On Comparison
Rust versus Go is a controversial topic that pops up from time. In this post, we will compare both languages in the context of web development by writing a small web service which shows weather data in both languages.