Stepping down as Mockito maintainer after 10 years
In March 2026, I will be Mockito maintainer for 10 years (nearly a third of my whole life). Looking ahead, I decided that a decade milestone is a good moment to pass on maintainership to other folks. In the coming months until March, I will spend time ensuring a smooth transition in maintainership. In this […]
PySDR: A Guide to SDR and DSP Using Python
Purpose and Target Audience First and foremost, a couple important terms: Software-Defined Radio (SDR): As a concept it refers to using software to perform signal processing tasks that were traditionally performed by hardware, specific to radio/RF applications. This software can be run on a general-purpose computer (CPU), FPGA, or even GPU, and it can be […]
No it’s not a Battleship
This week has seen the announcement by the Trump Administration that they are going to be building ”battleships”, a subject that is well within my beat, so I figured I would take the time to start by saying that these are nothing of the sort. Defining the battleship is slightly tricky, but the best version […]
Remembering Lou Gerstner
The following is the text of an email sent today to all IBM employees by Chairman and CEO Arvind Krishna: IBMers, I am saddened to share that Lou Gerstner, IBM’s Chairman and CEO from 1993 to 2002, passed away yesterday. Lou arrived at IBM at a moment when the company’s future was genuinely uncertain. The […]
Tell HN: Google ignores English searches and forces localized results
Google Search change in a way that I can’t seem to opt out of. I’m based in a non-English-speaking country, but I regularly search in English, especially for technical topics. My Google account, my laptop, my phone, my interface language, and preferences are all set to English; only my physical location and payment methods are […]
Show HN: Pion SCTP with RACK is 70% faster with 30% less latency
What is SCTP? SCTP stands for Stream Control Transmission Protocol. At a basic level, SCTP is designed to be reliable, handle de-duplication of packets, and support packets that may be delivered in order or out of order. Beyond transporting messages, SCTP can also set up a connection between users. On a deeper level, SCTP includes […]
Hacker News made out of prime numbers
ζ Hacker News Prime new | past | posts | mersenne | germain | fermat | palindrome | pk | 2 | 4 | 6 | 8 | 10 | 12 | e≤k² | e
tc-ematch(8) extended matches for use with ”basic”, ”cgroup” or ”flow” filters
tc-ematch(8) – Linux manual page ematch(8) Linux ematch(8) NAME top ematch – extended matches for use with ”basic”, ”cgroup” or ”flow” filters SYNOPSIS top tc filter add .. basic match EXPR .. flowid .. EXPR := TERM [ { and | or } EXPR ] TERM := […]
Global Memory Shortage Crisis: Market Analysis
In late 2025, the global semiconductor ecosystem is experiencing an unprecedented memory chip shortage with knock-on effects for the device manufacturers and end users that could persist well into 2027. DRAM prices have surged significantly as demand from AI data centers continues to outstrip supply, creating a supply/demand imbalance. IDC was monitoring the memory situation as we prepared our November device forecasts, and we factored them into the update. The situation, however, […]
Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
Abstract:The integration of Formal Verification tools with Large Language Models (LLMs) offers a path to scale software verification beyond manual workflows. However, current methods remain unreliable: without a solid theoretical footing, the refinement process acts as a black box that may oscillate, loop, or diverge. This work bridges this critical gap by developing an LLM-Verifier […]