~lobsters | Bookmarks (1979)

The difference between undefined behavior and ill-formed C++ programs - The Old New Thing

microsoft.com

c++
2
GitHub - vitonsky/arrival-time: Simple and powerful progress time estimation (ETA) for JavaScript

github.com

javascript
1
Perfect NAS Solution

wordpress.com

freebsd hardware
2
Reverse engineering the 59-pound printer onboard the Space Shuttle

righto.com

The Space Shuttle contained a bulky printer so the astronauts could receive procedures, mission plans, weather...
The Space Shuttle contained a bulky printer so the astronauts could receive procedures, mission plans, weather reports, crew activity plans, and other documents. Needed for the first Shuttle launch in 1981, this printer was designed in just 7 months, built around an Army communications terminal. Unlike modern printe...

hardware reversing
1
Back-dating Git commits based on file modification dates

simonwillison.net

vcs web
2
Clang vs. Clang

yp.to

compilers cryptography security
2
Versioning as Communication

xavd.id

practices
1
Copying core dumps - yshui --log-level=trace

yshui.dev

debugging linux
1
Towards userspaceification of POSIX - part I: signal handling and IO - Redox - Your Next(Gen) OS

redox-os.org

osdev rust
2
A Knownbits Abstract Domain for the Toy Optimizer, Correctly

pypy.org

After Max' introduction to abstract interpretation for the toy optimizer in the last post, I want...
After Max' introduction to abstract interpretation for the toy optimizer in the last post, I want to present a more complicated abstract domain in this post. This abstract domain reasons about the individual bits of a variable in a trace. Every bit can be either "known zero", "known one" or "unknown". The abstract d...

compilers formalmethods plt toy-optimizer z3
2
"We ran out of columns" - The best, worst codebase

jimmyhmiller.github.io

programming
2
Racket meet-up: Saturday, 3 August, 2024 at 18:00 UTC

racket.discourse.group

Everyone is welcome to join us on Jitsi Meet for the Racket meet-up: Saturday, 3 August,...
Everyone is welcome to join us on Jitsi Meet for the Racket meet-up: Saturday, 3 August, 2024 at 18:00 UTC announcement at https://racket.discourse.group/t/racket-meet-up-saturday-3-august-2024-at-18-00-utc/3073 EVERYONE WELCOME 😁 Comments

lisp
1
Primitive Recursive Functions For A Working Programmer

matklad.github.io

programming
2
GitHub Profile Roast 🔥🔥🔥

pages.dev

satire
4
GitHub - susam/tzero: Social timeboxing for IRC channels

github.com

culture show
2
There is only one test!

allendowney.blogspot.com

UPDATE: Here is a more recent (and I think clearer) version of this post. A few...
UPDATE: Here is a more recent (and I think clearer) version of this post. A few weeks ago I started reading reddit/r/statistics regularly. I post links to this blog there and the readers have given me some good feedback. And I have answered a few questions. One of the most commons question I see is something like, "...

education math science
1
Desugaring Haskell's do-Notation into Applicative Operations

microsoft.com

haskell pdf plt
1
Panic! At The Async Runtime Shutdown

mattkeeter.com

While working on Crucible, I've been repeatedly bitten by seemingly "impossible" panics happening at a frustratingly...
While working on Crucible, I've been repeatedly bitten by seemingly "impossible" panics happening at a frustratingly low rate. We tracked the issue down to a edge case in how the Tokio runtime manages spawned tasks. This post presents a toy example which makes the problem obvious. Consider a system with two tasks: T...

rust
2
Reduce allocations and comparison performance with the new unique package in Go 1.23

josephwoodward.co.uk

Posted on Friday, 2nd August 2024 Having been playing around with the upcoming Go 1.23 release...
Posted on Friday, 2nd August 2024 Having been playing around with the upcoming Go 1.23 release (which at the time of writing is still in draft but due for release this month) I was interested to understand the new unique package and the problems it aims to solve. Below is a write-up of that investigation which I’m h...

go performance
1
Default To Large Modules

two-wrongs.com

When you design a system of decent size, whether it’s software or something else, you are...
When you design a system of decent size, whether it’s software or something else, you are going to have to decompose it into subsystems, or modules.1 A module is a somewhat independent component that does something on its own, and collaborates or interacts with other modules to make the larger system perform its des...

programming
1
manifest

pypi.org

man·i·fest [verb] : to make something happen by imagining it and consciously thinking that it will...
man·i·fest [verb] : to make something happen by imagining it and consciously thinking that it will happen Manifest is an experiment in letting an LLM provide the return value for a function. It allows you to manifest powerful behaviors into existence merely by defining the function's facade. Shout out to @dstufft fo...

ai python
1
A Handy Way To Clear The Terminal In Python

dev.to

So I have been using the Python REPL quite a bit lately. I've been using it...
So I have been using the Python REPL quite a bit lately. I've been using it on Windows and it was really getting quite annoying to me that I couldn't clear the terminal screen. With a little bit of work I was able to hack together this code to allow me to clear the terminal. There were a few small issues that made t...

cli coding development engineering python
1
Trying and mostly failing to optimize frustum culling in a WebGL + TS + Rust engine

paavo.me

graphics
1
Streams, Calculational Proofs and Dafny

rdivyanshu.github.io

formalmethods
2