1501
Topics /
Software Engineering
The most popular blog posts about software engineering on Hacker News. 21,812 posts.
1502
Using a framework will harm the maintenance of your software
In this article I'm putting together my quotes, thoughts and notes on the idea that Frameworks harm the maintainability of the software you build in that framework. I'm proposing that Frameworks:
1503
Understanding Ethereum Smart Contracts
You might have heard the term “smart contract,” and you might even know that they are “code” you can run on a blockchain.But how can you run code on a blockc...
1504
Some Obscure C Features
Pancakes and computers
1505
2D Rigid Body Collision Resolution
From Mario bouncing off a Goomba to two cars bumping into each other in a racing game, dealing with collisions is such an integral part of most video games that we often take it for granted.
1506
1507
LLMs are making formal software verification feasible at a much larger scale
Claude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.
1508
SciPy builds for Python 3.12 on Windows are a minor miracle
Moving SciPy to Meson meant finding a different Fortran compiler on Windows, which was particularly tricky to pull off for conda-forge. This blog tells the story about how things looked pretty grim for the Python 3.12 release, and how things ended up working out just in the nick of time.
1509
The Tech Stack of a One-Man SaaS
Analytics built for developers. Real user monitoring with page-load decomposition, Core Web Vitals, error tracking and conversion — cookie-free and without a tag manager.
1510
1511
Why Atom Can’t Replace Vim – Learning the lesson of vi
Learning the lesson of vi
1512
Better bash in 15 minutes
The tips and tricks below originally appeared as one of Google's "T esting on the Toilet" (TOTT) episodes. This is a revised and augmen...
1513
Zigbook Is Plagiarizing the Zigtools Playground
zigtools: We make free and open-source tools for the @ziglang community.
1514
Understanding Rust futures by going way too deep
So! Rust futures! Easy peasy lemon squeezy. Until it’s not. So let’s do the easy thing, and then instead of waiting for the hard thing to sneak up on us, we’ll go for it intentionally. That’s all-a...
1515
1516
Rust – A hard decision pays off
Edo Liberty, Pinecone CEO, provides a glimpse into the journey behind building a database company, including some insights into the latest innovations around the product and vector search.
1517
Introducing a new HTML element – welcome <clippy>
Hello! It looks like you're writing a blog post - would you like help with that? chuckles Me and my colleagues at Microsoft have decided that the world needs more Clippy - the adorable animated paperclip. To help with that, we're bringing a new feature to Edge 6.0. Web Developers can now use <clippy> to call up an…
1518
1519
Clojure.spec – Rationale and Overview
Clojure is a dynamic language. Among other things this means that type annotations are not required for code to run. While Clojure has some support for type hints, they are not an enforcement mechanism, nor comprehensive, and are limited to communicating information to the compiler to aid in efficient code generation…
1520
Zsh and Fish’s simple but clever trick for highlighting missing linefeeds
tl;dr: We look at how Zsh and Fish is able to indicate a missing terminating linefeed in program output when the Unix programming model precludes examining the output itself.
1521
1522
1523
Beyond self-attention: How a small language model predicts the next token
A deep dive into the internals of a small transformer model to learn how it turns self-attention calculations into accurate predictions for the next token.
1524
A History of IDEs at Google
Laurent Le Brun's blog
1525
Subroutine calls in the ancient world, before computers had stacks or heaps
A lot of computing got done even before we had stacks and heaps.
1526
Rust: Enable WebAssembly backend by default
Yesterday the Pull Request 46115: "rustbuild: Enable WebAssembly backend by default" was merged into Rust master. With the Nightly build from that night, the wasm32-unknown-unknown target is natively available.
1527
Django 4.0
Posted by Mariusz Felisiak on Dec. 7, 2021
1528
Falsehoods programmers believe about aviation
There are a lot of assumptions one could make when designing data types and schemas for aviation data that turn out to be inaccurate. In the spirit of Patrick McKenzie’s classic piece on names, here are some false assumptions one might make about aviation.
1529
1530
Understanding Reasoning LLMs
Methods and Strategies for Building and Refining Reasoning Models