+1 for Archipelago
flaviat
joined 1 year ago
OMG I just installed it! Great to see.
I believe it's the "don't stuff beans up your nose" effect, writing this prompt is causing it to mention goblins
Bravo. The farthest i could get is 2/3 assuming the following model: x₁ is a random number between 0 and 1, x₂ between x₁ and 1, and so on. If the service breaks at x₁, gets fixed at x₂, breaks again at x₃, etc. availability is 2/3.
Luna is a very common transfem name
I also had a computer not boot. Tried installing windows 11 but the iso does not include network card drivers and requires a second drive that has them. I just happened to have another but it malfunctioned. Was assured IT would fix it but it still doesn't boot. :(
This github bot arguing with itself for over 5000 comments over an issue label
Thank you for the links
Junk theorems in Lean are laughably bad due to type coercions.
Those look suspicious... I mean when you consider that the set of propositions is given a topology and an order, "The set {z : ℝ | z ≠ 0} is a continuous, non-monotone surjection." doesn't seem so ridiculous after all. Similarly the determinant of logical operations gains meaning on a boolean algebra. Zeta(1) is also by design. It does start getting juicy around "2 - 3 = +∞" and the nontransitive equality and the integer interval.
The flipside to that quote is that computer programs are useful tools for mathematicians. See the mersenne prime search, OEIS and its search engine, The L-function database, as well as the various python scripts and agda, rocq, lean proofs written to solve specific problems within papers. However, not everything is perfect: throwing more compute at the problem is a bad solution in general; the stereotypical python script hacked together to serve only a purpose has one-letter variable names and redundant expressions, making it hard to review. Throw in the vibe coding over it all, and that's pretty much the extent of what I mean.
I apologize if anything is confusing, I'm not great at communication. I also have yet to apply to a mathematics uni, so maybe this is all manageable in practice.
The developer of an LLM image description service for the fediverse has (temporarily?) turned it off due to concerns from a blind person.
Link to the thread in question
Good for them
view more: next ›
There cannot be such a thing since pdf does not structure its data. There is an extension to the standard that would let a program do it for you but nobody uses it (PDF/UA-1). (also pandoc is vibe coded now)