Makale (524) – onsuggest

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