~lobsters | Bookmarks (1935)

Axum-style Magic Handler Functions in Go, Part 2

kubuzetto.github.io

In the first part of this blog post, we tried to replicate the magic of axum...
In the first part of this blog post, we tried to replicate the magic of axum in Go. In the end, we had endpoint handlers that looked like this:func createUser(l Logger, payload JSON[CreateUser]) (response JSON[User], _ error) { response.V = User{ID: 1337, Username: payload.V.Username} l.Info("created", "user", paylo...

api axum go http rust
1
Intel's $475 million error: the silicon behind the Pentium division bug

righto.com

In 1993, Intel released the high-performance Pentium processor, the start of the long-running Pentium line. The...
In 1993, Intel released the high-performance Pentium processor, the start of the long-running Pentium line. The Pentium had many improvements over the previous processor, the Intel 486, including a faster floating-point division algorithm. A year later, Professor Nicely, a number theory professor, was researching re...

hardware historical
1
A Universe of Sorts

pixel-druid.com

Quick TL;DR of the year: My research group moved from Edinburgh to Cambridge, so I was...
Quick TL;DR of the year: My research group moved from Edinburgh to Cambridge, so I was looking forward to lots of courses to take! I'd also settled in on an area I wanted to work on for my PhD, which was to design, implement, and verify the correctness of decicision procedures for the Lean theorem prover, which guid...

formalmethods
3
Tech worker movements grow as threats of RTO, AI loom

arstechnica.com

"Together, our evidence suggests that RTO mandates are costly to firms and have serious negative effects...
"Together, our evidence suggests that RTO mandates are costly to firms and have serious negative effects on the workforce," the study concluded, echoing some remote workers' complaints about the seemingly non-data-driven logic of RTO, while urging that further research is needed. "These turnovers could potentially h...

culture
2
fhur

fhur.me

practices
2
How to add metaprogramming to Gleam – lpil.uk

lpil.uk

gleam
1
Advent of Code 2024 in pure SQL

databasearchitects.blogspot.com

On a whim I decided to do this years advent of code in pure SQL. That...
On a whim I decided to do this years advent of code in pure SQL. That was an interesting experience that I can recommend to everybody because it forces you to think differently about the problems. And I can report that it was possible to solve every problem in pure SQL.In many cases SQL was actually surprisingly ple...

databases
1
Revisiting the NetBSD build system

substack.com

I recently picked up an embedded project in which I needed to build a highly customized...
I recently picked up an embedded project in which I needed to build a highly customized full system image with minimal boot times. As I explored my options, I came to the conclusion that NetBSD, the often-forgotten BSD variant, was the best viable choice for my project.One reason for this choice is NetBSD’s build sy...

netbsd
2
James Gosling on Java - Historical Oddities & Persistent Itches #JVMLS

youtube.com

java science & technology video
1
Keeping secrets secret with git-crypt

ktz.me

My adventures with retooling my personal infra repo continue this week with figuring out how to...
My adventures with retooling my personal infra repo continue this week with figuring out how to keep secrets secret outside of my previous method using ansible-vault. The Ansible based solution has worked reasonably well for me for the last 7+ years but when making large repo edits I have a nasty habit of leaving th...

practices secret-management technical vcs
1
How to Create HTML/ZIP/PNG Polyglot Files

gildas-lormeau.github.io

web
2
Visualizing All ISBNs — $10k by 2025-01-31

annas-archive.org

visualization
2
On Ada's Dependent Types, and its Types as a Whole

nytpu.com

plt programming
2
Entering beta

chimera-linux.org

linux
1
Run MCP Servers On Android with Gemini & Chicory | 🤖

mcp.run

We hope you're having a great time with friends and family during these holidays! On December...
We hope you're having a great time with friends and family during these holidays! On December 25th, an exciting gift arrived: the Chicory pure-Java Wasm runtime released its final 1.0 version! Along with it, the Extism Chicory SDK received significant updates, including an experimental HTTP client. This timing could...

ai java wasm
1
Does current AI represent a dead end?

bcs.org

ai applications of ai artificial intelligence challenges dangers of ai
2
What are you doing this weekend? | Lobsters

lobste.rs

Feel free to tell what you plan on doing this weekend and even ask for help...
Feel free to tell what you plan on doing this weekend and even ask for help or feedback. Please keep in mind it’s more than OK to do nothing at all too!

ask programming
1
The CAP Theorem of Clustering: Why Every Algorithm Must Sacrifice Something

codingconfessions.com

ai math
2
Debugging memory corruption: Who wrote ‘2’ into my stack?!

unity.com

debugging
2
Everything you ever wanted to know about “hello, world” but were afraid to ask

freebsd.org

pdf programming
1
GitHub - trifectatechfoundation/sudo-rs: A memory safe implementation of sudo and su.

github.com

rust security unix
1
Live-Streams – 38C3: Illegal Instructions Streaming

ccc.de

38c3 chaos computer club event hacker media
1
An Overview of Virtual Machine Architectures

unipi.it

historical pdf virtualization
1
Efficient Programming with Components

jmeiners.com

Alexander A. Stepanov’s lecture recordings: https://www.youtube.com/playlist?list=PLHxtyCq_WDLXryyw91lahwdtpZsmo4BGD Comments

c++
1