LelouBil

9 ms·

91.
by LelouBil 3mo ago
It's great. Personally I am the worst at mental math and resort to a calculator for any stuff beyond 2 digits multiplications, but at least I know how to do it (very slowly) if I have to, and this means I could have an intuition of an
92.
by LelouBil 3mo ago
Having done a bit of teaching/grading for computer science, I don't know how to do it reliably nowadays. For math we ask the whole reasoning and not just the answer, but here what do you do ? What I resorted to is a live code revi
93.
by LelouBil 3mo ago
I think the calculator parallel is really on point. You learn math before using a calculator to do the boring part. You should learn code before using an AI to generate the boring part. Even more so for LLMs because they are not determinist
94.
by LelouBil 3mo ago
I recently had the opportunity to help teach to almost graduate students, (even though I graduated only last year myself), and with the main teacher we made it a point to do a skim code review with ever single one of the 90 students, just
95.
by LelouBil 3mo ago
My take is that you learn math before learning how to use a calculator. And can understand what it does and reproduce it (slower) by hand if needed, but everyone is still using it for stuff we don't need to think about. If you use AI e
96.
by LelouBil 3mo ago
Glad to live in the EU, but then we also have Chat Control trying to pass again.
97.
by LelouBil 4mo ago
Yes I'm using bluebuild for my custom bazzite image.
98.
by LelouBil 4mo ago
Lol yes
99.
by LelouBil 4mo ago
Look up NewTypes. The article's dance is to avoid having extra fields that are completely unnecessary here. They want some kind of nominal email type, that is actually a string, so can be used in places where a string is needed, but wh
100.
by LelouBil 4mo ago
My French ID card has the features, but also the French digital ID app also requires Play Integrity...
101.
by LelouBil 4mo ago
Can someone explain how the "core features" would work ? How/Why is this linked to a TLD and not a hosting provider ?
102.
by LelouBil 4mo ago
I would love a Bazzite-style nixos distribution. Like batteries-included for gaming. Is this kind of thing common in the NixOS space ? Like configs you can import that manage 99% of the os for you ?
103.
by LelouBil 4mo ago
I post this on every post about Nix I encounter, but I sincerely hope that it gets static electricity typing one day. I have yet to try typenix (a fork of the typescript compiler applying the typescript type system to nix) https:/&#x2
104.
by LelouBil 4mo ago
That is already happening for old games, and while they usually run on simpler CPUs than modern ones, I don't see why this couldn't be possible for binary Linux drivers. The toolchain would also be easier to match, unless they wer
105.
by LelouBil 4mo ago
More information here : https://docs.perryts.com/ Basically it's a compiler for a subset of typescript to native code, packaged with a reactive UI toolkit that maps to platform widgets.
106.
by LelouBil 4mo ago
I read the title as "Nonogram" (Picross) at first !
107.
by LelouBil 4mo ago
Games are just something someone finds enjoyable to do. You have all kind of games, some that are actual programming, some that are purely reflexes and dexterity, some that are in between. > Since when have games become more about just c
108.
by LelouBil 4mo ago
The only reason I'm not using nix everywhere is the lack of static typing. I just stumbled upon this and i'll give it a go.
109.
Full typing for Nix based on TypeScript(github.com)
4 points by LelouBil 4mo ago|1 comments
110.
by LelouBil 4mo ago
Do you have a source ? I didn't find any info about this exploit, and I thought it was related to chat reporting (being hate "speech" after all)
111.
by LelouBil 4mo ago
https://modrinth.com/mod/no-chat-reports Basically with each chat message there's a cryptographic payload proving that you are the sender, so reports can't be fabricated. If you remove it on the server before
112.
by LelouBil 4mo ago
I'm wondering what this means for Kotlin now
113.
by LelouBil 4mo ago
> Once you understand how to write a program get someone else to write it. Pretty relevant with LLMs and coding agents.
114.
by LelouBil 4mo ago
> A programming language is low level when its programs require attention to the irrelevant. Great definition actually
115.
by LelouBil 4mo ago
My framework 16 has a QMK firmware and can be remapped with complex setups. But I didn't find any cool use case for it, what do you use it for ?
116.
by LelouBil 4mo ago
I'm using nix on Bazzite, with home-manager
117.
by LelouBil 5mo ago
Like a sibling comment said, at least you can be sure that updates you will download are provided by the same entity, since the repositories are signed.
118.
by LelouBil 5mo ago
Yes, it is worse because using your package manager trusts your distribution (and the packages packager), doing curl bash trusts a random website. While in this case docker is not a random website, it's best to use the package manager
119.
by LelouBil 5mo ago
It's the publisher that enabled Turnstile.
120.
If Windows were designed today, would the Registry exist? [video](youtube.com)
15 points by LelouBil 5mo ago|5 comments

More ›