@filippo

sorry to be so ignorant but what is a HSM?

is it a machine dedicated to doing cryptography?

@Akshay @RosaCtrl @samir

yes, I think formal verification sets this apart

@patriksvensson @anderseknert

I initially thought the code patches were AI generated and the contributor and blog writer was human.

But this thread is suggesting the contributor and blog writer was also not human.

What next? Will it order dangerous chemicals from amazon and deliver them to the register address via nslookup? will it automatically use ToR to find an assassin on the dark web?

I'm certain huge horrors lie ahead...

@samir

I'm generally against hyper-large-model based generative algorithms for at least 3 reasons

1. the ethics of training resources and getting training data

2. new class of bugs and security risks, as well as the poor maintainability of generated code

3. deskilling as people rely on these auto-parrots, and no longer learn the actual skill these machines are bad at mimicking

I was surprised to see a famous mathematician, world famous, invest a lot of time in AI-aided proofs. I guess the difference between AI-generated code or human-language content - and AI-generated proofs is that the proofs can be checked with proof checkers (which are not AI). I'm still thinking about whether this "idea generation" is a good thing or a bad thing.

An easy way to remember the difference between combination and permutation.

"permutation lock" will be my mnemonic

https://www.mathsisfun.com/combinatorics/combinations-permutations.html

#maths

@firefoxwebdevs

credit where credit is due

I'm still going to use Librewolf as trust on telemetry and ad-partnerships is not yet restored

@JulianOliver @analogfusion

why do you think no feasible alternatives have emerged?

by feasibly I also mean solutions that work for non-technical normal people.