121
CriticGPT: Finding GPT-4's mistakes with GPT-4
CriticGPT, a model based on GPT-4, writes critiques of ChatGPT responses to help human trainers spot mistakes during RLHF
Topics /
Software Engineering
The most popular blog posts about software engineering on Hacker News. 419 posts.
122
How we made our AI code review bot stop leaving nitpicky comments
Lessons learned from our challenges reducing LLM output: Discover everything that went wrong when trying to make our models say less.
123
Understanding SIMD: Infinite complexity of trivial problems
A deep dive into the complexities of optimizing code for SIMD instruction sets across multiple platforms.
124
1BRC merykitty's magic SWAR: 8 lines of code explained in 3k words
A deep dive into merykitty's 8-line SWAR temperature parser from the One Billion Row Challenge, using bitwise tricks and ALU magic with no loops or branches.
125
Linux Touchpad Like MacBook Update: 2023 Progress on Smooth Scrolling
Bill is driven by the challenge of how best to quantify valuable questions that defy quantification. It's possible this instinct may have been awakened in Bill at age 14, when he won a soft, stuffed bunny at the orthodontist for guessing the number of jelly beans in the gumball machine.
126
How to Use JSON Path
From API contract to documentation portal: streamline your workflow and deliver the best API experience. Built for engineers and tech writers.
127
From slow to SIMD: A Go optimization story
So, there's this function. It's called a lot. More importantly, all those calls are on the critical path of a key user interaction. Let's talk about making it fast.
128
A practical introduction to constraint programming using CP-SAT and Python
We discuss constraint programming, an approach to solve discrete optimization problems, and illustrate how it works with a scheduling code example implemented in Python with the CP-SAT solver.
129
130
A deep dive into Linux's new mseal syscall
If you love exploit mitigations, you may have heard of a new system call named mseal landing into the Linux kernel’s 6.10 release, providing a protection called “memory sealing.” Beyond notes from the authors, very little information about this mitigation exists. In this blog post, we’ll explain what this syscall is…
131
132
Monorepo – Our Experience
Nine months ago, we switched to a monorepo. Here's a detailed look at what led to the change, how we approached it, and what the experience has been like.
133
134
A brief interview with Awk creator Dr. Brian Kernighan (2022)
Dr. Brian Kernighan is a Canadian computer scientist who contributed to the development of UNIX at B
135
The FORTH code for Chipwits is released in the game's 40th anniversary
To celebrate ChipWits' 40th Anniversary, the original FORTH source code has been open sourced! Learn about the game's history and source code
136
A Lisp compiler to RISC-V written in Lisp
This is a simple experimental Lisp compiler, written in uLisp, that will compile a Lisp function into RISC-V machine code. You can run the compiler on the RISC-V core of a Raspberry Pi Pico 2 (or another RP2350-based board):
137
Arm64 on GitHub Actions
GitHub Actions now offers Arm-hosted runners with images built by Arm for developers to begin building on the latest and most sustainable processors on the market.
138
Transforming Postgres into a Fast OLAP Database
Introducing the search capabilities of ParadeDB.
139
LLVM-powered devirtualization
Virtualization is a powerful technique for code obfuscation, and reversing it can be challenging. In this post, we cover the work done during an internship on developing an automated devirtualization tool. We explore a simplified taint-based approach and discuss its limitations. For a more in-depth analysis, the full…
140
141
What We're Working on in Firefox
We recently shared a number of updates with our community of users, and now we want to share them here: At Mozilla, we work hard to make Firefox the best b
142
Linux When?
From the Zed Blog: In this episode of Zed Decoded, Thorsten talks to Mikayla, who's been leading the effort to Zed working on Linux, about the Zed's Linux version and how it's taking shape
143
Why Safety Profiles Failed
As for dangling pointers and for ownership, this model detects all possible errors . This means that we can guarantee that a program is free of uses of invalidated pointers.
144
The lifecycle of a code AI completion
Demystifying code AI: Learn how Cody analyzes context, retrieves references, prompts models, and refines completions behind the scenes.
145
macOS 14.4 causes JVM crashes
Java users on macOS 14 running on Apple silicon systems should consider delaying the macOS 14.4 update
146
Making memcpy(NULL, NULL, 0) well-defined
C2y makes memcpy(NULL, NULL, 0) and other zero-length operations on null pointers well defined. This removes a source of bugs that may result in security issues.
147
Pharo 12
Pharo is a pure object-oriented programming language and a powerful environment focused on simplicity and immediate feedback.
148
Sans-IO: The secret to effective Rust for network services
Learn how Firezone uses the sans-IO pattern to build testable, deterministic Rust networking code. A deep dive into our connlib design.
149
Multi-tenant queues in Postgres
How we implemented fair queueing strategies for Postgres-backed task queues to ensure fair execution time across tenants.
150
Typing lists and tuples in Elixir
This article explores the design decisions of typing lists and tuples in Elixir within a sound gradual type system.