~lobsters | Bookmarks (1962)

‘He was in mystic delirium’: was this hermit mathematician a forgotten genius whose ideas could transform AI – or a lonely madman?

theguardian.com

Alexander Grothendieck’s mathematical work is by far the most important influence on my own. I’m not...
Alexander Grothendieck’s mathematical work is by far the most important influence on my own. I’m not an obsessive fan who collects everything about him, but I can say that years ago I read some volumes of the samizdat version of Harvests and Sowings (Moissons et semailles), and also the short biography by Philippe Douroux. And heard some anecdotes, mostly second hand, mostly from people...

ai math person
2
Enabling DCI.DbC on a Jasper Lake NUC

reflexive.space

reversing
1
Alex Pliutau | My first experience with Gleam Language

pliutau.com

Tue, Aug 27, 2024 5-minute read Over the past few months, I saw a growing amount...
Tue, Aug 27, 2024 5-minute read Over the past few months, I saw a growing amount of posts on X about the Gleam language (probably the X algorithm doing its thing), and decided to give it a try. I was not disappointed, with few exceptions. Disclaimer 1: This post shares my personal experience with the language, and i...

erlang
1
Lesser-known operators in C#

alogoulogoi.com

dotnet satire
1
Heart of dark mode: done, and still in progress

tailscale.com

Earlier this summer, after many passionate requests, Tailscale finally joined the dark side. That is to...
Earlier this summer, after many passionate requests, Tailscale finally joined the dark side. That is to say: we rolled out support for “dark mode” in our admin console. Dark mode users are often enthusiastic and vocal and, feeling the pressure of their expectations, we wanted to make sure we got it right. In this po...

css design
1
SSH CA with device and identity attestation: ssh-tpm-ca-authority

linderud.dev

The past year I have been hacking around on tools utilizing TPMs, and one of the...
The past year I have been hacking around on tools utilizing TPMs, and one of the features I have been interested to learn more about is the device attestation features. After being a bit inspired by some ideas from people at work, the hackerspace and toots on mastodon, I figure out a SSH certificate authority would ...

linux security sigstore tpm
1
CHERI Myths: I don’t need CHERI if I have safe languages

cheriot.org

There’s a recurring myth that CHERI and safe languages are solving the same problems and that,...
There’s a recurring myth that CHERI and safe languages are solving the same problems and that, if you have one, you don’t need the other. When I joined the CHERI project in 2012, my primary motivation was producing hardware that enabled safe interoperability between languages, so I never felt that safe languages and...

hardware practices security
1
Symbolics S-Geometry Manual : Free Download, Borrow, and Streaming : Internet Archive

archive.org

graphics lisp
1
Think Parallel - Bryce Adelstein Lelbach - ACCU 2024

youtube.com

c++performance science & technology video
1
This month in Servo: tabbed browsing, Windows buffs, devtools, and more! - Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine

servo.org

browsers rust servo servo engine servo rendering engine
2
PQC for non-cryptographers

keymaterial.net

Yesterday, Chandler asked about an overview of the new PQC algorithms, including hybrids, for non-cryptographers. And...
Yesterday, Chandler asked about an overview of the new PQC algorithms, including hybrids, for non-cryptographers. And since I’m currently procrastinating writing something about TLS, I might as well write that overview first. Unfortunately, I am a cryptographer, which means I easily forget that the average person pr...

cryptography security
1
Current zlib-rs performance

trifectatech.org

Our zlib-rs project implements a drop-in replacement for libz.so, a dynamic library that is widely used...
Our zlib-rs project implements a drop-in replacement for libz.so, a dynamic library that is widely used to perform gzip (de)compression. Of course, zlib-rs is written in rust, and while we aim for a safe implementation, a crucial aspect of making this project successful is solid performance. The original zlib implem...

performance rust
1
Honey, I shrunk {fmt}: bringing binary size to 14k and ditching the C++ runtime

vitaut.net

The {fmt} formatting library is known for its small binary footprint, often producing code that is...
The {fmt} formatting library is known for its small binary footprint, often producing code that is several times smaller per function call compared to alternatives like IOStreams, Boost Format, or, somewhat ironically, tinyformat. This is mainly achieved through careful application of type erasure on various levels,...

c++
2
rotating.boston - making of

philo.gay

rotating.boston - making of The idea behind this came to me after running across a .boston...
rotating.boston - making of The idea behind this came to me after running across a .boston domain (probably toot.boston or better.boston) while scrolling Fedi and seeing Tris' rotating.horse site. The vision I had in my head was of a 3D model slowly spinning, but what would it be a 3D model of? What's recognizable a...

graphics
1
Dumb ways to die: Random Values in Pointers · Phil Pearl's Blog

philpearl.github.io

I just think this is a nice fox. Mmmm, pointy Fri, Aug 30, 2024 I seem...
I just think this is a nice fox. Mmmm, pointy Fri, Aug 30, 2024 I seem to be writing about one blog post a year at the moment. I always tell myself I want to write more, but it doesn’t happen. This, however, is the first post in a series. But I only have two ideas for posts, and one seems like a bad...

go
3
Bubble Sort Is Not Robust Either

two-wrongs.com

Just after I published the previous article on bubble sort, I stumbled over another account claiming...
Just after I published the previous article on bubble sort, I stumbled over another account claiming bubble sort is somehow more robust than better algorithms (emphasis mine):1 I should clarify that I generally agree with the author’s sentiment. It’s just this example that’s wrong and triggering to me. To see how ro...

programming
1
GitHub - coder/aicommit: become the world's laziest committer

github.com

ai
1
My Software Bookshelf

olano.dev

compsci erlang practices
2
Writing APIs in Rust

sled.rs

rust
1
GitHub - gitroomhq/postiz-app: 📨 Schedule social posts, measure them, exchange with other members and get a lot of help from AI 🚀

github.com

Hi all, I am one of the builders of Postiz. Happy to get feedback and also...
Hi all, I am one of the builders of Postiz. Happy to get feedback and also some contributors :) https://github.com/gitroomhq/postiz-app This social media scheduling tool is similar to traditional ones: Buffer, Hootsuite, SproutSocial, etc. Key features: Schedule for 9 social media platforms (Threads, Pinterest, Facebook, TikTok, Reddit, LinkedIn, Dribbble, YouTube, Instagram.) Basic analytics for almost all the social media platforms. AI Features: Copilots, AI...

javascript nodejs
2
psychedelia syndrome

psychedeliasyndro.me

assembly
1
LLMs struggle to explain themselves | jyc

jonathanychan.com

ai plt
2
End of the Road: An AnandTech Farewell

anandtech.com

hardware site updates
4
The impact of memory safety on sandboxing · Alex Gaynor

alexgaynor.net

Fri, Aug 30, 2024 Sandboxing and memory safety are generally considered two orthogonal, and therefore complementary,...
Fri, Aug 30, 2024 Sandboxing and memory safety are generally considered two orthogonal, and therefore complementary, approaches to improving security. Memory safety reduces the likelihood of a vulnerability being introduced, and sandboxing reduces the impact if a vulnerability is exploited. However, I think this ove...

security
1