abricq

Nice ! I have a fun survival challenge: the swiss Via Alpina hike in Minecraft !

Quickly did the math. The real trail is ~390 km long, with 23,500 m of elevation gain and 14 Alpine passes. I found that Minecraft walking speed is 4.317 m/s (1 block = 1 m), so that's ~25 hours of continuous walking, or ~33 hours assuming 75% movement efficiency for terrain. That's one Alpine pass every ~2.4 hours, and a new hiking-stage destination every ~1h40!

The same is happening with AI-written codebase. You don't read AI written code, you ask an AI to explain it to you. Not that it's either a healthy place to be...

By the way, the same is happening for the Apple Store.

Their review process is advocated as usually within 24 hours (and heavily advertised by Apple as such, see https://developer.apple.com/distribute/app-review/) and it is taking now much longer.

In the last month, I had to go through the review process twice, and twice I needed to contact them personally after waiting for 1 week of waiting. It did however helped, after every human contact I was reviewed within a few hours.

I got this explanation from them...

> We are currently experiencing a higher-than-normal amount of inquiries and have been unable to respond in the time frame that we would prefer. During these periods of high volume, the app review time will take longer than average, and we cannot currently provide a concrete timeline for when your specific app(s) will be finished with the process

I'm guessing, AI slots invading the store.

For those curious to see actual games played by top-level engines, the most famous French chess-commentator has a youtube plalist where he and french GM Matthieu Cornette analyzes some of these games.

https://youtube.com/playlist?list=PLiZ56cRXeIu3-zr-S7_XND3M3...

GM Mathieu Cornette is an excellent chess analyist, might not be the best at banalazing, but he does find some amazing computer games. Engine games are often boring, so it's nice that they pick the good ones.

> I do not understand the demand for such a device at all.

You can have TikTok and Instagram-Reels opened at the same time... Don't you want that ?!

> Up to 2x faster gaming performance with ray tracing in Cyberpunk 2077: Ultimate Edition when compared to Mac mini with M4.

Interesting that Apple quotes performances when playing Cyberpunk 2077 ! Maybe they will want to care more about gaming ?

And while i'm at it, I was wondering a few weeks ago if I should try this game on my M3 pro. Anyone has played it on Apple and has feedback ?

I'm not an expert either, but i've studied it a little and tried some of these stuffs.

First, the attestor is not google. Google here only provides the infra (to generate proof and verify them). Let's call the attestor the issuer, and it's the trusted authority that gives you a proof of identity.

A possible flow is:

1. (pre-req) Some issuer (a state, bank, mobile operator, etc.) issues a signed credential to my wallet (stored on my phone, for instance). This could be a full digital ID, or a narrower “proof of age” attestation.

2. Later, a site asks my browser for a proof that I satisfy some predicate, e.g. age >= 18. The site provides the "zk-program" (circuit) that needs to be executed, and awaits for proof (which are essentially proof of executions of the program on trusted yet undisclosed inputs).

3. My phone generates (ideally locally, but not ready today yet) a ZK proof that it knows a valid issuer-signed credential whose hidden attributes satisfy that predicate. Essentially, it is executing the circuit with some inputs (some are public, like public key of issuers, some of private, like the issued ID)

4. The site verifies the proof against public inputs: the issuer public key, the circuit being used, the predicate being requested, and a fresh nonce/challenge.

So to answer some of your questions.

> Does the site know who I am? Not from the ZK proof itself, it will know who has issued your ID.

> Does the site know my attestor? Yes, it knows their public key.

> Does the attestor know what site I am visiting? No.

> Does the attestor know who I am? Yes

> Do I know who the site and attestor are, and when proof happens? I guess there are multiple possible ways to do this, depends on the UX.

While I appreciate all the stuffs mentioned here, I believe they are missing something: people should *go vote at all the elections*, and advocate for a system-level change. Systemic resilience instead of personal habits.

Pretty much all their suggestions are to be applied on personal-level. And I agree with those. But they could be made 100x easier if there was some help provided by localities, municipalities & states. I'd love to know better my neighbors & exchange skills & objects, but i'd be much easier if there was a *free* repair-coffee in the neighborhood.

One example from the article: one of the suggestion for "hope for the best prepare for the worst" is "start a local repair cafe". But come on ! With what money ? With what time ? Where ? Opening a repair café is the kind of stuff is by nature non-profitable, therefore the business of the states.

All i'm trying to say is: let's just not forget that this is a political concern, and we can vote for these stuffs.

> ML assistance reduces our performance and persistence, and denies us both the muscle memory and deep theory-building that comes with working through a task by hand: the cultivation of what James C. Scott would call

Imagine being starting university now... I can't imagine to have learned what I did at engineering school if it wasn't for all the time lost on projects, on errors. And I can't really think that I would have had the mental strength required to not use LLMs on course projects (or side projects) when I had deadlines, exams coming, yet also want to be with friends and enjoy those years of your life.

Interesting project. Is the main value to "self-host your own ngrok", or is it to actually compete with ngrok using an open-source project ? If so how do you intend to monetize your project ?

> Useful if you need to compile Rust on a shared hosting server from 2008 where the only installed runtime is PHP.

Not sure if it was meant as a joke or not, but this cracked me up

Let me explain why I feel emotional about this. Humans had already proven how much harm can be done via online harassment. This seems to be the 1st documented case (that I am aware of) of online harassment orchestrated and executed by AI.

Automated and personalized harassment seems pretty terrifying to me.

Mostly these two: https://rgbds.gbdev.io/docs/v0.5.2/gbz80.7 and https://gbdev.io/pandocs/

It's incredibly well documented !

This game gave me a real-life déjà vu. A few months ago, three friends and I spent a long weekend trying to build a Game Boy emulator from scratch in Rust. None of us had ever worked on emulators before—we basically gave ourselves three days to read the docs, figure things out, and ship something. It was chaotic but also educational and an absolute blast. Encouraging anyone that wants to learn a bit more about simple computers and assembly to try that ! If anyone’s curious about what came out of it: https://github.com/chalune-dev/gameboy

I haven't played the game so I can't answer for sure, but my guess is: if you are writing an emulator throughout the game, it's very likely you are guided to write one using OOP.

> My belief in this tech isn't based on marketing hype or someone telling me it's good – it's based on cold reality of what I'm shipping daily

Then why is half of the big tech companies using Microsoft Teams and sending mails with .docx embedded in ?

Of course marketing matters.

And of course the hard facts also matters, and I don't think anybody is saying that AI agents are purely marketing hype. But regardless, it is still interesting to take a step back and observe what marketing pressures we are subject to.

Yes, certainly agree. A few days ago here there was this blog claiming how formal verification would become widely more used with AI. The author claiming that AI will help us with the difficulty barrier to write formal proofs.

> * Programmers resistance to AI assisted programming has lowered considerably. Even if LLMs make mistakes, the ability of LLMs to deliver useful code and hints improved to the point most skeptics started to use LLMs anyway: now the return on the investment is acceptable for many more folks.

Could not agree more. I myself started 2025 being very skeptical, and finished it very convinced about the usefulness of LLMs for programming. I have also seen multiple colleagues and friends go through the same change of appreciation.

I noticed that for certain task, our productivity can be multiplied by 2 to 4. So hence comes my doubts: are we going to be too many developers / software engineers ? What will happen for the rests of us ?

I assume that other fields (other than software-related) should also benefits from the same productivity boosts. I wonder if our society is ready to accept that people should work less. I think the more likely continuation is that companies will either hire less, or fire more, instead of accepting to pay the same for less hours of human-work.

What I am waiting for is something similar to this (proof of image ownership / authenticity) embedded in smartphones cameras.

Not sure if ZK is the right way of achieving this. Even if the cryptographic guarantees are strong, generating these proofs is very expensive.

This is great ! Congratulations. I really like your project, especially I like how easily it is to peak at.

Do you plan on moving forward with this project ? I seem to understand that all the training is done on the CPU, and that you have next steps regarding optimizing that. Do you consider GPU accelerations ?

Also, do you have any benchmarks on known hardware ? Eg, how long would it take to train on a macbook latest gen or your own computer ?

Makes me think of another Rust visualisation of the memory layouts, that I find amazing: https://johnbsmith.github.io/Informatik/Rust/Dateien/Rust-co...

Especially helpful if you come from C / C++

I'm actually really bad at all this networking certificates, and have a question for the experts. If a user have to sign a short-lived CA and then present that certificate to the host he wishes to connect with, isn't that basically allowing CA emitters to track the user's activity for this host ?

This feels like replacing ssh for shh-with-tracking. Am i missing something ?

I know that I, as a user, ultimately have 2 choices: to pay for a subscription, or the choice to not use these services.

Option (1) does not block infinite scrolling content, it only removes adds. So this is missing the point. All i want is to not see these dumb shorts videos that I genuinely give no fuck about, but that manages to catch my attention regardless.

Then sure, I can always delete my social accounts, and ultimately i might end up doing it. But let me try to explain why I think this is difficult, and also unfair.

I give 2 purposes to these social networks: First, they play a role in personal-life balance as a way to be more integrated in my group of friends / local communities. Second, they play a role as citizen of my region (in my case, France and switzerland) by being a (sorta reliable) source of information through following accounts and newspapper on them.

Initially, none of these social-networks came with this super-fast / addictive content. They only started to integrate it, in my experience, since 5 years. So it seems to me that these companies have broke the initial contract that they "sold" to us: to connect with our friends & communities and to allow us to follow a specific set of public influencers.

I guess that I am mad that we, as a society, have allowed these companies to gain such an important role in our daily lifes (social life and public life) that they can now say : we will allow you to interact with some of our friends, but you will also have to watch our stupid videos... And unfortunaltey, it's not easy at all to spin up a concurrent social networks that would be full-filling this initial contract. Probably lots of people actually like to scroll on insta Reels and youtube Shorts.

I really like everything related to network-wide blocking of shitty online services that are enforced on us !

On top of blocking adds (which is great), I wish there were more / easier ways to do network-wide blocking of all sorts of aggressive infinite scrolling (in my case : youtube shorts and instagram reels).

I often like to go on instagram to see posts / stories from the people I follow and I don't want to be suggested stupid videos that are especially designed to catch my attention. I know it's probably revealing a lack of strength on my side, but yeah, I often fall for watching a few of them and loosing 15 minutes of my life.

This is the demo from this github repo: https://github.com/PennyroyalTea/gibberlink.

The encryption sheme is described in this link: https://github.com/ggerganov/ggwave

> This library allows you to communicate small amounts of data between air-gapped devices using sound.

On a slightly related topic, I remember to have seen an exposition where an artist was asked to represents what a human who has naturally evolved to survive a car crash might look like. And it has a cool / terrifying website: http://www.meetgraham.com.au/view-graham

Quite fascinating topic to wonder about: how long will it take for the modern era to genetically change us ?