Viewing profile — LelouBil

Isn't the main issue that for MV3 you can't have a dynamic blocklist ? And so you have to update it with an extension update ?

I feel like it's the best ATProto architecture explanation on the web. I hope it will make people who argue that "there are no instances in ATProto" is wrong, understand that it is…

https://fstar-lang.org/tutorial/

I found these links in the F* book https://www.microsoft.com/en-us/research/blog/everparse-hard... https://lwn.net/Articles/770750/ https://project-everest.github.io/

I like Haskell, and to me this seems really useful as a kind of "noob" to functional languages. Is this used in the industry ? And for what kind of software ?

Also, this is a trivial example but I would rather an LLm call a recursive "grep" than using 1000 read_file MCP calls. Having a scripting language as a tool is powerfull, and can h…

I don't think you are so opposite. You are saying the chicken came first and they are saying the egg came first.

"Varying levels of autonomy" So from image generators up to agents.

Here's the actual law : https://eur-lex.europa.eu/eli/reg/2024/1689/oj/eng I feel like this should be linked in any discussion of any legal matter

Look at the written law. I found this definition here : > ... who use an AI system to generate or manipulate image, audio or video content that appreciably resembles existing perso…

Yes, that's why the system should be a bit different. It should indicate notable features that influence the rating, like PEGI includes "online content" "gambling" and so on

Hello, completely hijacking your recent comment because I found no other way to contact you. You wrote a month ago that you were close to releasing something called "nix-compile", …

Force a PEGI-like system for every apps please. It would be awesome.

Just waiting for the Motorolas that will have first party graphene os support. That's the only thing that will make me change my phone from 2019 still on life support thanks to cus…

I think this is like the windows bit locker vulnerability that was seen a while ago. The windows recovery put the TPM in the same state as the normal windows OS, so it released bit…

How would they rugpull your own self hosted infra ? And the server architecture that runs on ATProto ? (And so your own server and bluesky's servers and Blacksky's servers and so o…

I get the savings of Distroless, but when you have an issue it's a pain to debug.

It's also fully open source and you can self-host your data while interacting with everyone else like it's GitHub

I really think ATProto is decentralized "the right way" for the general public. So I would very much like it to support this kind of thing.

It's very interesting, thank you very much https://pdsls.dev/at://did:plc:wshs7t2adsemcrrd4snkeqli/sh.t...

I would prefer this to be more geared towards things like Private social profiles or shared with specific circles than DMs, which are already served by E2EE. There's no issue in us…

Speaking about Tangled, is there an article somewhere about how they use ATProto ? Like what are in the records and all

I started to contribute a lot to Openstreetmap since someone submitted the StreetComplete app a while ago ! It's amazing that something like this exists.