Read the Novels and Forget Everything Else

F*: A general-purpose proof-oriented programming language

Note-Taking and Personal Knowledge Management

Bridge heading into the smokey landscape. License: CC-0 I read Brennan Kenneth Brown's What have note-taking PKMs accomplished, really?...,Bridge heading into the smokey landscape. License: CC-0 I read Brennan Kenneth Brown's What have note-taking PKMs accomplished, really?...

Harvesting SSH Credentials: Insights from My Honeypot Network

Developers are attached to tools because tools encode trust

The tools themselves are new and their capabilities are in constant flux. If your kitchen knife kept changing shape, weight, and edge, you’d have to relearn it every time; that’s a hard tool to build trust in. But it also points to a flaw in how you use that tool, the process around it, and the way the tool reinforces the process.

Sharing an X11 Server Across Hosts with FamilyWild

Autoregressive Language Model on the 6502 Processor

A language model on a 1975 MOS 6502 processor, using a tiny Mamba-based language model and custom 8-bit ternary inference engine, used to generate text on a BBC Micro from the 1980s.

TinyNES Review – A Super Niche NES Console

EU Age Verification Project Mandates Hardware-Bound Attestation

The EU’s age verification project confirms hardware-bound attestation is mandatory, raising concerns over Linux, custom ROMs, and open-source access.

Rooting, firmware analysis and persistent credentials of TP-Link TL-841N

Twenty Years of RISC OS Open

Schmitt Trigger: Robust Comparator Design with Hysteresis

A Schmitt trigger is a comparator circuit with built-in hysteresis that uses two switching thresholds to eliminate noise and ensure stable output transitions. It is widely used for signal conditioning, waveform shaping, and robust digital and analog circuit design.,A Schmitt trigger is a comparator circuit with built-in hysteresis that uses two switching thresholds to eliminate noise and ensure stable output transitions. It is widely used for signal conditioning, waveform shaping, and robust digital and analog circuit design.

Californians' data deletion requests, DROP, become enforceable Aug. 1

California residents can use the DROP system to request registered data brokers stop selling their personal information.

My personal AI benchmark: "Generate an SVG of a frog with a Habsburg jaw."

One prompt, every model: generate an SVG of a frog with a Habsburg jaw. Each model gets three tries a month. An AI drawing benchmark.

Karpathy’s Pelican

We're starting to leave the territory where you'd test an LLM by e.g. "create an svg of pelican on a bicycle". As one idea to generalize it, I was interested what Opus 5 would do if I gave it the first paragraph of the Lord of the Rings, a 1M token budget (~$10) and asked for,Embedded video

When transit passes were designed by hand (2022)

A nonprofit center for inspiration, education, and community in the graphic arts.,In the 1930s–60s, Milwaukee Electric Railway & Light Company offered trolley and bus riders a weekly burst of color and hand lettering. About 300 of these tickets are now in our collection.

'Crush this lady': how eBay harassment campaign led to $56M payout

Show HN: Make your Framework 12 sound like a creaky door

make your framework hinge rusty (wow it's also written in rust too) - ArcaEge/creakwork12

Show HN: Kakehashi – Experimental userspace to run macOS binaries on Linux ARM

Userspace macOS translation layer for Linux ARM64. Contribute to wie-project/kakehashi development by creating an account on GitHub.

Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark

Use Nix and NixOS on your DGX Spark! Contribute to graham33/nixos-dgx-spark development by creating an account on GitHub.