HNHacker News
TopNewBestAskShowJobs

LelouBil

2,144 karma · joined March 23, 2022

submissionscomments
LelouBil··on Cursor launches Origin, GitHub alternative
The difference with GitHub is you can also use it if the main instance is down if you self host. (And again self hosting still gets you the interconnection benefits just like if everyone was on tangled.org)
LelouBil··on Cursor launches Origin, GitHub alternative
What does "forcing" mean here ?

If you want to build an alternative Knot implementation (git Hosting) you can use anything as long as the API is compatible ?

Same for all of the parts of Tangled really

Also, even if it's down, unlike GitHub you can self host your own AppView so it's never down for you

LelouBil··on Cursor launches Origin, GitHub alternative
I really hope more people would use Tangled (https://tangled.org/)

You get:

   - Self hosting your git hosting (if you want)

   - Self hosting your issues/PRs (if you want)

   - Self hosting your CI (if you want)

   - Github-like social features (I have one account, I can follow, star, add issues and PRs to any repo on tangled)

It's built on ATProto, so even if the company disappears, all of the integration and features will still work for anyone that wants to run their own AppView (that is open-source), an AppView is basically the UI/Network-wide Data Aggregator for ATProto apps
LelouBil··on Cursor launches Origin, GitHub alternative
What does it even mean to "win the AI race" ?

Right now there are many providers providing different tradeoffs, for different usages.

Would "winning" mean releasing an all-purpose better model that will outperform every other companies for all kind of tasks ? Something like AGI but cost effective ?

Or is it winning the consumer-side AI race ? Like making a kind of "super personal AI assistant" the likes you would see in movies and TVs ?

I'm not arguing, I am just struggling to understand what it usually means when somebody says that, it's not like competitors will go bankrupt the second OpenAI/Anthropic/Whatever does something specific.

LelouBil··on Incident with Github.com
Use Tangled ! https://tangled.org/

It's a social network with github-like social features and git hosting, but you can still self host your git and have all the features like issues, PRs and so on just like GitHub.

And it's built on ATProto so you can also have your issues PRs and so on hosted on your infra, but everything interconnects nicely with your single account, just like using GitHub.

They even added a vouching system for users, to know who to trust based on who you already trusted.

LelouBil··on France to ban unsolicited telemarketing calls
Living in France, right now the only kind of spam calls I am getting are prerecorded voice loops.

I admit they are done pretty well, it took 2-3 different calls (accross months) for me to notice I wasn't talking to a real person !

LelouBil··on Microsoft Edge is about to lock out older ad blockers, just like Chrome did
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 ?
LelouBil··on ATProto for Distributed Systems Engineers
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 actually true and not just a naming debate.

LelouBil··on F*: A general-purpose proof-oriented programming language
https://fstar-lang.org/tutorial/
LelouBil··on F*: A general-purpose proof-oriented programming language
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/

LelouBil··on F*: A general-purpose proof-oriented programming language
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 ?

LelouBil··on Developers are attached to tools because tools encode trust
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 help remove unnecessary stuff from the LLM's context.

LelouBil··on Anime User Interfaces
I don't think you are so opposite.

You are saying the chicken came first and they are saying the egg came first.

LelouBil··on EU will mandate labels on authentic-looking AI content starting August 2
"Varying levels of autonomy"

So from image generators up to agents.

LelouBil··on EU will mandate labels on authentic-looking AI content starting August 2
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

LelouBil··on EU will mandate labels on authentic-looking AI content starting August 2
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 persons, objects, places, entities or events and would falsely appear to a person to be authentic or truthful (deep fakes)

https://eur-lex.europa.eu/eli/reg/2024/1689/oj/eng

LelouBil··on Google will expand age checks on Android worldwide till the end of the year
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

LelouBil··on The new rules of context engineering for Claude 5 generation models
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", how is it going ?

LelouBil··on Google will expand age checks on Android worldwide till the end of the year
Force a PEGI-like system for every apps please.

It would be awesome.

LelouBil··on Donate to GrapheneOS
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 custom roms

LelouBil··on Ubuntu's TPM encryption switches to snap kernel that blocks deb kernel packages
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 locker keys, but you could bypass the login on the recovery environment.

LelouBil··on Tangleflow: Converts GitHub Actions workflows to tangled workflows and back
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 on).

You can self host every part of ATProto with relative difficulty (PDS, where your data is, is the easiest)

LelouBil··on Securing Services with Rootless Containers
I get the savings of Distroless, but when you have an issue it's a pain to debug.
LelouBil··on Tangleflow: Converts GitHub Actions workflows to tangled workflows and back
It's also fully open source and you can self-host your data while interacting with everyone else like it's GitHub
LelouBil··on Building on ATProto
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.
LelouBil··on Building on ATProto
It's very interesting, thank you very much

https://pdsls.dev/at://did:plc:wshs7t2adsemcrrd4snkeqli/sh.t...

LelouBil··on Building on ATProto
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 using ATProto to "link" an external service, like Tangled does with it's "knots" which host the git data.

All of the social stuff (issues, PRs, comments and so on) is on ATProto, and on ATProto you also have a "repository" object, linking to a "knot" object containing the address of the knot.

What's stopping an E2EE DM implementation to use ATProto to point to something like an "accepted matrix server" for all parties, and each having a "matrix identity" ATProto record ? (I don't know about Matrix so idk if this is exactly possible but you get the idea)

LelouBil··on Building on ATProto
Speaking about Tangled, is there an article somewhere about how they use ATProto ? Like what are in the records and all
LelouBil··on OpenStreetMap: Admin_level for All Countries
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.

LelouBil··on Hyprland 0.55 announced the switch to Lua for its config files
Cue is amazing, I'm using it to configure my kubernetes homelab.

I CANNOT imagine what horrors it would be to do it all with helm or templating.

← PreviousPage 3 of 23Next →