🇦🇹Philipp

someone

using Arch Linux + Emacs
Haskell and C (currently writing a Lisp)

[🇦🇹Philipp @sysretq64]

@ChShersh EU should recommend "<C-c>lr"

[🇦🇹Philipp @sysretq64]

@razzy_ar All objects are equal. But some objects are more equal than others.

[Well-Typed @welltyped]

We're delighted to finally announce the first official release of hs-bindgen, a tool that automatically generates Haskell bindings from C headers. Read the announcement at https://t.co/0Y9LG7ZJim or check it out at https://t.co/LQZYZH7TOi .

[🇦🇹Philipp @sysretq64]

@onehappyfellow CPUs are bytecde VMs

[doomslide @doomslide]

Check out this loser!

>uploads a draft to Chat on Sept. 8th
>gets scooped by Chat on Oct. 6th

"The result released by OpenAI (#311) on October 6, 2026... identical to a preliminary version of the present paper that was uploaded to ChatGPT on September 8, 2026"

LMAO get rekt

[Lukáš Hozda @LukasHozda]

My autism machine, so peak

[leanghok @Leangphok]

let the larp begin

[🇦🇹Philipp @sysretq64]

@alcuintweets meep

[🇦🇹Philipp @sysretq64]

@neocartesian WHAT

[the Rich @Duderichy]

BREAKING: OpenAI has proved optimal packing for 16 squares!!

[One Happy Fellow @onehappyfellow]

I vibed so hard
and went so far
in the end
my code didn't really matter

I had to slop
to lose it all
but in the end
my product didn't matter

[🇦🇹Philipp @sysretq64]

@almighty_lisp they should add :::: to C++ to access private static members.

[🇦🇹Philipp @sysretq64]

@SyntaxError2505 @wormvoot based

[🇦🇹Philipp @sysretq64]

@vaxryy 0w0

[Lukáš Hozda @LukasHozda]

ChatGPT read the documentation of my Rust project and immediately switched its gender to female, incredible

[🇦🇹Philipp @sysretq64]

@razzy_ar should I learn Koka?

[鸢娓Iris🍥 @chatnoir_is]

@AstraKernel https://t.co/osPxEjRY6g

[LaurieWired @lauriewired]

The boom in Linux CVEs lately should get you thinking.

Surely, given a finite codebase, there are also a finite number of bugs / unintended behavior, thus, a finite amount of vulnerabilities. Theoretically, a “solvable” problem. Right?

Well…not at all actually.

It gets a bit philosophical, but there’s the concept of “weird machines”.

A weird machine is an accidental computer located inside of another computer program. Quite a few exploits (e.g. anything ROP) falls into this category, where the attacker’s instruction set consists of fragments of the original software.

Finite code can *easily* have infinite Unintended Behavior (not undefined behavior btw…that’s a very different thing). Weird machines don’t even have to be Turing complete to be, really, really powerful!

Even if you have a million superhuman AI coders and fuzzers thrown at the Linux kernel, you quickly hit halting-problem-esque uncomputable states. The concept of patching every possible bug until none remain isn’t possible, because we can’t often correctly define what a “bug” even is.

Now, can you make a kernel that truly has zero weird machines relative to a formal specification? ….yes, but it wouldn’t look like Linux. It’d look more like sel4, VxWorks, or (shudder) INTEGRITY-178.

[radgametools @radgametools]

Hey, happy to announce that the RAD Debugger is now available for Linux (in alpha). It is early and preliminary! Expect random weirdnesses *for sure*, but it is ready to be played with!

https://t.co/XLpdRIMcUm

[Elias Daler @EliasDaler]

SDL added AGENTS.md and it gives me hope. :’)

Huge W.