Hauleth's blog - Guards! Guards!

All elementary functions from a single operator

A single two-input gate suffices for all of Boolean logic in digital hardware. No comparable primitive has been known for continuous mathematics: computing elementary functions such as sin\sin, cos\cos, \sqrt{\phantom{x}}, and log\log has always required multiple distinct operations. Here we show that a single binary operator,

Beyond Booleans — overreacted

What is the type of 2 + 2 = 4?

eLife Claim Trees — eLife Claim Trees

Panel-level claim graphs for reproducibility — eLife Claim Trees

Permissioned Data Diary 6: Boring Auth - Daniel's Leaflets

In which we resist the temptation to invent a clever authorization model & pick the boring one instead.

If-This-Then-AT Blueprint: Payment-Proof Access Gates - Nick's Blog

elifepathways/mira · Underlay

Welcome | Konstantin's Blog

This is my blog and personal newsletter. I write about building and using software, as well as thoughts and comments about the web and the state of things in general. Most of my work uses (but is not limited to) Elixir and Rust.

Using Enums to Represent State | corrode Rust Consulting

Many Rust beginners with a background in systems programming tend to use bool (or even u8 – an 8-bit unsigned integer type) to represent “state”. For example, how about a bool to indicate whether a user is active or not? struct User { // ... …

The Spirit of Plan 9 on the Web

Homepage and blog of hacker/builder Jeff Lindsay, aka progrium

CE Labs

Secure systems engineering, verified all the way down to the cryptography.

Agent Skills | Chainguard

Agents are only as safe as the skills you give it. Stop letting it pick up unvetted dependencies from the digital sidewalk.

edoardottt/awesome-hacker-search-engines

A curated list of awesome search engines useful during Penetration testing, Vulnerability assessments, Red/Blue Team operations, Bug Bounty and more

Blaine Cook

Hi! I'm Blaine, a software programmer living in the Slocan Valley who works on decentralized technologies (<a href="https://www.eff.org/deeplinks/2019/10/adversarial-interoperability">this</a> kind, not that kind) in order to give communities the autonomy to self-determine in online spaces.