Статья

Domo Arigato, Mr. debugfs

Years ago, at what I think I remember was DebConf 15, I hacked for a while on debhelper to write build-ids to debian binary control files , so that the build-id (more specifically, the ELF note .note.gnu.build-id ) wound up in the Debian apt archive metadata. I’ve always thought this was super cool, and seeing as how Michael Stapelberg blogged some great pointers around the ecosystem, including the fancy new debuginfod service, and the find-dbgsym-packages helper, which uses these same headers, I don’t think I’m the only one. At work I’ve been using a lot of rust , spec

Paul's Notes · EN

Complex for Whom?

In basically every engineering organization I’ve ever regarded as particularly high functioning, I’ve sat through one specific recurring conversation which is not – a conversation about “complexity”. Things are good or bad because they are or aren’t complex, architectures needs to be redone because it’s too complex – some refactor of whatever it is won’t work because it’s too complex. You may have even been a part of some of these conversations – or even been the one advocating for simple light-weight solutions. I’ve done

Paul's Notes · EN

boot2kier

I can’t remember exactly the joke I was making at the time in my work’s slack instance (I’m sure it wasn’t particularly funny, though; and not even worth re-reading the thread to work out), but it wound up with me writing a UEFI binary for the punchline. Not to spoil the ending but it worked - no pesky kernel, no messing around with “userland”. I guess the only part of this you really need to know for the setup here is that it was a Severance joke, which is some fantastic TV. If you haven’t seen it, this post will seem perhaps weirder than it actually

Paul's Notes · EN

The Promised LAN

The Internet has changed a lot in the last 40+ years. Fads have come and gone. Network protocols have been designed, deployed, adopted, and abandoned. Industries have come and gone. The types of people on the internet have changed a lot. The number of people on the internet has changed a lot, creating an information medium unlike anything ever seen before in human history. There’s a lot of good things about the Internet as of 2025, but there’s also an inescapable hole in what it used to be, for me . I miss being able to throw a site up to send around to friends to play with without

Paul's Notes · EN

It's NOT always DNS.

I’ve written down a new rule (no name, sorry) that I’ll be repeating to myself and those around me. “If you can replace ‘DNS’ with ‘key value store mapping a name to an ip’ and it still makes sense, it was not, in fact, DNS.” Feel free to repeat it along with me. Sure, the “It’s always DNS” meme is funny the first few hundred times you see it – but what’s less funny is when critical thinking ends because a DNS query is involved. DNS failures are often the first observable problem because it’s one of the first t

Paul's Notes · EN

DESFire EV3

I’ve long been interested in hardware key material storage devices. I’ve been a fan of yubikeys (I still remember when my fancy new NEO-N showed up), PIV (and its associated smattering of additional fields ), SaaS HSMs , the kernel keyring , some tooling I’ve fairly satisfied with the design of at prior companies, and of course, our dear friend, the TPM. All that is not even to mention the scores of exotic hardware security modules one generally comes across from time to time when you’re keeping a sharp eye out that you wind up playing with. I have not used any LLMs in

Paul's Notes · EN

Why Write?

As a graduate of a liberal arts university, I wound up, unsurprisingly, taking a lot of classes in every possible academic discipline. Thinking back to the person that I was going into university, I don’t think I would have chosen to take them – after all, my degree was in the sciences; I’d have been stoked to do nothing more than wall-to-wall computer science until I ran out of coursework and filled the rest of my hours with research and independent studies with my professors (which, I guess I did actually do, just not as much as I would have otherwise). Even this blog&rsquo

Paul's Notes · EN

[TJ's notes]

I just realised how unusual British politics is. One day you have elections and the very next day you have a new prime minister. And that's it. In many countries (mine included) there would be negotations going on after the elections that can take weeks if not months and only then a new goverment is formed. I still believe coallition goverments are better, though 🙃. #politics , #uk

WebNest of Tomas Jakl · EN

[TJ's notes]

Follow-up to my previous post , the Haskell GHC compiler on top of the Foreign Function Interface now also supports the REPL and Template Haskell in its WASM/JavaScript backend! This makes it now viable for real-world usage! For details see the announcement blog post by Cheng Shao: https://www.tweag.io/blog/2024-11-21-ghc-wasm-th-ghci/ #haskell

WebNest of Tomas Jakl · EN

[TJ's notes]

Some years ago Tom Leinster wrote a wonderful explanation of what makes a (mathematical) definition 'natural' : It’s a matter of aesthetics, and obviously there’s no precise answer, but here’s my stab at it. When you meet a new definition, there are two questions you might ask: where does it come from? and why is the definition exactly that, not something slightly different? If there’s a satisfactory answer to both, you can call the definition ‘natural’. I've not been as careful about my definitions in the same way but I've been very careful about the notions and theories that I tend to study.

WebNest of Tomas Jakl · EN

[TJ's notes]

So according to the recent talk Reflections on Haskell@Meta by Simon Marlow, Haskell is no longer used in Meta (Facebook, Instagram, ...) as the main language to specify automated moderation tools. Instead, they use Hack, their version of PHP. As Simon explains in the talk, the decision to drop Haskell was made whilst knowing that many of Haskell safety guarantees will have to be dropped in the new system. I wonder if we should now expect to see many more unexpected moderation missteps in the coming years 🙂. #facebook , #haskell

WebNest of Tomas Jakl · EN

[TJ's reposts]

Reshared https://calnewport.com/on-charlie-kirk-and-saving-civil-society/ Fully agree with Cal Newport's message. I quote his final paragraphs (but encourage you to read the rest): After troubling national events, there’s often a public conversation about the appropriate way to respond. Here’s one option to consider: Quit using these social platforms . Find other ways to keep up with the news, or spread ideas, or be entertained. Be a responsible grown-up who does useful things; someone who serves real people in the real world. To save civil society, we need to end our decade-long experiment wi

WebNest of Tomas Jakl · EN

[TJ's notes]

Loved this A Day in the Life of an Ensh*ttificator video by the Norwegian Consumer Council ! Related references: Consumer Rights Wiki #internet , #enshittification

WebNest of Tomas Jakl · EN

Keep Android Open!

Android will become a locked-down platform in September 2026. Sign the petition, install F-Droid, debate with coleagues... #android

WebNest of Tomas Jakl · EN

[TJ's reposts]

Reshared https://www.youtube.com/watch?v=M0--ZH1lOzg There are many interesting thoughts in this great lecture by Terrence Tao on "Mathematics in the age of AI". #mathematics , #ai

WebNest of Tomas Jakl · EN

Serploom ®

AI-powered SEO dashboard for Google Search Console that finds striking-distance keywords, quick wins, and prioritized ranking recommendations.

Pedro Martins · EN

Bookmarkjar ®

AI-powered bookmark manager that saves, organizes, and lets you search your bookmarks with semantic understanding. Find faster, organize less.

Pedro Martins · EN

Paperwall

Native animated wallpapers for the macOS desktop and Lock Screen, with creation, upscaling, and sync tools.

Pedro Martins · EN

Wormhole

Secure tunnels for agents and worktrees, with self-hosted relay, Tailscale, and Cloudflare support.

Pedro Martins · EN

oxlint-plugin-arch

Configurable architecture rules for Oxlint, covering file structure, exports, boundaries, schemas, and APIs.

Pedro Martins · EN

Calometer

AI calorie and macro tracker that logs meals from a single photo, with Apple Health sync, trends, and a private food diary.

Pedro Martins · EN

Pose AI

An on-device iPhone pose and photo coach with live guides, framing and lighting feedback, and hands-free capture.

Pedro Martins · EN

Lauyer

Portuguese legal research for AI agents, searching court decisions and legislation through a secure MCP server.

Pedro Martins · EN

hello katie its me katie

talking abou

millie lockhart off the clock · EN