Remote
Tariq
@rzeta0@mathstodon.xyz
mastodon 4.7.2maths + art + science
📘 http://amazon.com/dp/B01EER4Z4G
📗 http://amazon.com/dp/B085Z96M9P
📕 http://amazon.com/dp/B0861QFR8C
📔 http://amazon.com/dp/B0BTQ7P69H
📓 http://amazon.com/dp/B0CQS8JYJC
📗 http://amazon.com/dp/B0DWHS1RDJ
143 Followers
48 Following
50 Posts
Joined July 15, 2025
𝗠𝗮𝘁𝗵𝘀 𝗣𝗿𝗼𝗼𝗳𝘀 𝗶𝗻 𝗟𝗲𝗮𝗻 - 𝗙𝗶𝗿𝘀𝘁 𝗦𝘁𝗲𝗽𝘀
You don't need to be a PhD to write simple maths proofs in Lean.
This course takes you from a complete beginner, and gives you enough confidence to read and write simple proofs. Each chapter has one exercise, designed to build confidence, not destroy it!
youtube: @LeanFirstSteps@www.youtube.com
free content: https://leanfirststeps.blogspot.com/p/contents.html
Have fun with Prolog!
... especially if you didn't enjoy it at university.
book - https://www.amazon.com/dp/B0BTQ7P69H/
youtube - @prologbyexample@www.youtube.com
for my next project I don't want to use github
some people mentioned codeberg - but is that still a suitably ethical recommendation?
are there other options?
what I value/need:
* will be around years from now
* i can use it via a web browser to do the basics (upload content)
* a macOS GUI tool would be nice but not crtical, I guess this means compatible with the git protocol
* nice to be able to render common files in the browser eg pdf, png,
* usable zero price option
Replying to
@pelle@veganism.social @david_chisnall@infosec.exchange @xgranade@wandering.shop
i'm genuinely surprised that an organisation (signal) that is normally so alert and aware of such issues is making this error
is it a case of an overly powerful product owner pushing this past dissenting voices?
if so then the president/ceo of @signalapp@mastodon.world needs to hear from us
This is an error in the author's solution, surely?
(my working is here and says \[ 2^{2^{n+1}} =(2^{2^n})\times (2^{2^n}) \]
https://numbertheorystepbystep.blogspot.com/2026/07/exercise-6312.html )
Replying to
@FishFace@ioc.exchange
Yes, I've just restarted Tao's book and the example is from the appendix which covers basic logic and quantifiers
If an author writes a maths textbook with exercises, .... is someone else (me) allowed to write a book of solutions and publish it?
Or does that break copyright?
Or is reproducing the exercises considered "fair use" ?
#maths #writing #publishing #copyright
I remember seeing a few of these back in the day ...
https://en.wikipedia.org/wiki/2600%3A_The_Hacker_Quarterly
---
"The magazine's name comes from the phreaker discovery in the 1960s that the transmission of a 2600 hertz tone – which could be produced perfectly with a plastic toy whistle given away free with Cap'n Crunch cereal, discovered by friends of John Draper – over a long-distance trunk connection gained access to operator mode, and allowed the user to explore aspects of the telephone system that were not otherwise accessible."
currently watching this nice video on blue noise by @demofox@mastodon.gamedev.place
Beyond White Noise for Real-Time Rendering
How do you change the default font for LibreOffice spreadsheet app Calc?
This question illustrates how ux and ui design still has a way to go in major open source projects that seek to compete with popular proprietary software.
-
The method is not where you'd expect it.
-
It doesn't change the default for Calc, only for that file.
-
Normal users shouldn't have to mess with "templates" and give them "specific names".
-
If the above is wrong, that adds weight to the fact that a fairly tech confident person couldn't find the correct answer.
If I was a billionaire, I'd set up a Foundation to sponsor work on open source UX and UI design.
I'm now learning how "indices" of primitive roots can help in the same way taking logs can help:
----
Determine the least non-negative residue $x$ such that
\[7^{100}6^{100} \equiv x \pmod {17} \]
my solution:
https://numbertheorystepbystep.blogspot.com/2026/04/exercise-639.html
Replying to
@JacquesC2
i'm a total beginner who dipped my toe into writing formal (simple) proofs in lean
and yes, the process made me really clarify my understanding of the proof strategy and details
that proof checkers are not forgiving of ambiguity or "read between the lines" was very educational for me
Perhaps Tim accidentally resigned because he got confused by Liquid Glass.
Replying to
@rtn
this might be useful?
https://longformmath.com/math-history-book/
I've read his two other book and liked their friendly approach and am saving up for this one
also this one is free, and is beautifully crafted, from @ajcainhttps://archive.org/details/cain_formandnumber_ebook_large
Replying to
@david_chisnall@infosec.exchange
I always wondered why humans evolved without a teeth brushing function built in.
Replying to
@cwebber @Blender
I received a reply.
It was disappointing. I wont' post it here.
It was from the CEO Francesco and totally ignored the direct and central question I raised - not accepting tainted money from organisations because of ethics. His reply suggested there was no boundary. I replied with some illustrative examples but am not hopeful of any change.
He did say this, I quote:
"The actions of those organizations don't have to be aligned with Blender's mission/ideals."
Which goes to the root of the issue.
#blender3d #anthropic #tech
Replying to
@olegmar
The textbook hasn't reached the point where we know that primes have primitive roots.
It could be an error by the author who lost track of what we are supposed to know at each point in the book.
Or maybe there is something deeper that I'm missing.
Replying to
I liked the video a lot. I watched the first part more carefully and will return to part 2.
I finally understand that blue noise is globally uniform but locally random (sorry if that is very wrong), The explanation of one way to generate it by "picking the point furthest from others" is intuitive.
I need to go back and watch the irrational number thing which maps to points on a circle - but the idea that blue noise almost equidistantly dissects the circumference - minimising clumping - was a good way to illustrate the idea.
i may try to find your irrational numbers blog to read about it at a slower pace
- thanks for sharing !
Replying to
@villares@ciberlandia.pt @Introscopia@social.coletivos.org
I haven't seen this one - looking forrward to watching it!
thanks for sharing!
Replying to
given "tech users" love complexity and they have huge influence on open source development ... I think a good way fwd to have options for the UI
-
a complex "traditional" mode
-
a modern simplified UI+UX (what you, what happens) for "new users / beginners / whatever you name it"
Most people do 10% of the functions 90% of the time.
Replying to
@simulo
here's a "professional and polished" bug I reported in 2018 - still not fixed
https://bugs.documentfoundation.org/show_bug.cgi?id=116846
Replying to
expanding on the "ugliness"
the icons and imagery
-
are inconsistent in design feel, that mix is jarring
-
render poorly at different scales
-
some are difficult to understand - quickly, for even at all - a crucial design objective
Replying to
@FishFace@ioc.exchange
i will sleep on it - i've always struggled with this kind of stuff
(but still manage to do normal maths exercises)
Replying to
@consequently@hcommons.social
Why doesn't this explanation of falsehood apply to the first statement which also has a false antecedent?
Replying to
@inpc@go.mxtthxw.art @openrightsgroup@social.openrightsgroup.org
What's the genuine alternative?
Serious question.
I've been writing to my MP about Palantir but have not been able to list an alternative.
Replying to
@FishFace@ioc.exchange
Why isn't the second statement
"there exists an x such that False implies False"
?
Why is it "and" and not "implies" ?
Replying to
@foone@digipres.club
I hate it too but it is good to challenge ourselves sometimes.
The sloppier language is one that most ordinary non-technical people can use. Unlike every single programming language I can think of.
The 50 year failure to develop a ui or language to get computers (or databases or search engines or information repositories) to do what people want is the gap that natural language interfaces to (increasingly) general purpose capabilities that are being filled by "AI".
And it is the specialist community's failure to communicate to normal people the risks of an inaccurate system like "AI".
Replying to
@alberto@fractalego.social
Am I correct that this proposal that operating systems do age verification is only in the USA and nowhere else in the world?
(which means most of us can safely ignore it?)
Replying to
@openrightsgroup@social.openrightsgroup.org
Convincing the head of the NHS to move off big US brands onto relatively unproven UK options with tiny resources to deal with "events" will be a challenge.
I'm not saying UK options can't work eventually.
I'm saying the work to get there will be non-technical. Things like liability and insurance, things like resources and scale to deal with problems, to gain accreditation, to invest in bid responses etc etc including taking the CTO to golf, running "free" immersion days, and other forms of legal bribe.
Replying to
@FishFace@ioc.exchange
I grew up in the 80s where calculators did (9) then (sqrt)
But later the best generation had calculators which tried to emulate written notation.
But that didn't work for me as the uncertainty of interpretation was much greater.
Doing an exercise to show the following has no solutions.
\[x^3 \equiv 89 \pmod {197}\]
We can use a proposition - see attached image.
Question: why does the author's solution NOT first establish that 𝑛=197 has a primitive root?
Surely the proposition is only true if 𝑛 has a primitive root.
What's the correct interpretation this statement?
"There exists a positive number 𝑥 such that for every positive number 𝑦, we have 𝑦²=𝑥."
Is it
∃𝑥,∀𝑦[𝑦²=𝑥]
or is it
∀𝑦,∃𝑥[𝑦²=𝑥]
My (beginner) vote is for the first one ∃𝑥,∀𝑦[𝑦²=𝑥]
#maths #quantifiers
Replying to
@FishFace@ioc.exchange
This whole English ambiguity is why I was so attracted to formal languages.
But I realise I can't speak to people in lambda calculus or Lean !
Replying to
X= I am a man.
Y= I am a mammal.
X⇒Y
But I can't see why
"I am a man only if I am a mammal"
I could be a cat.
True:
6<2x<4 for all 3
Any recommendations for a *protetcive* sleeve for a macbook ?
For years I used an Incase Icon with "tenserlite" which is just padding around the egde to protect against falls hitting the edge first.
The magnet appears to have weakened, and the laptop keeps slipping out and hitting the floor.
Can't get these any more it seems - so what do people recommend today?