Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@matematico314@social.linux.pizza
2026-05-18 20:24:49

RE: social.linux.pizza/@matematico
Dando RT nisso, jš que agora é que é o momento rs.

@memeorandum@universeodon.com
2026-05-18 17:01:04

Trump's Fox Cabinet urges escalation as he ponders a return to war in Iran (Matt Gertz/Media Matters for America)
mediamatters.org/us-iran-relat
memeorandum.com/260518/p70#a26

@heiseonline@social.heise.de
2026-04-14 11:53:00

Zahlen, bitte! Die faszinierende Mathematik des höchsten Kirchturms der Welt
Die Sagrada Família beeindruckt nicht nur mit dem weltgrößten Kirchturm: Die Mathematik des ungewöhnlichen Jahrhundertbaus fasziniert auch Nicht-Geistliche.

Zahlen, bitte! Die faszinierende Mathematik des höchsten Kirchturms der Welt
Die Sagrada Família beeindruckt nicht nur mit dem weltgrößten Kirchturm: Die Mathematik des ungewöhnlichen Jahrhundertbaus fasziniert auch Nicht-Geistliche.

@SmartmanApps@dotnet.social
2026-05-18 07:47:16

1/5
#MathsMonday
This week I will debunk several false claims made about brackets in #Mathematics on socials - there are several! Actually it's easy to just check for yourself, at

Screenshot from Cajori showing early Egyptian arithmetic, and that + and - came into use in Germany at the end of the 15th Century
@noellabo@fedibird.com
2026-04-18 14:39:22

:t_motemote2:
こっちもあるよ

@newstik@social.heise.de
2026-06-17 17:12:47

2 Österreicher widerlegen die Rupert-Vermutung
#Mathematik

Die Rupert-Vermutung | MI | 17 06 2026 | 19:05
Wie ein Prinz der Mathematik ein Rätsel aufgab

@jerome@jasette.facil.services
2026-04-17 19:53:49

On s'attendait Š rien de moins de la CAQ
#villedequebec

Le boulevard urbain sur Laurentienne largué par le Ministère
La conversion d'un tronçon de l’autoroute Laurentienne en boulevard urbain n’est plus dans les cartons du ministère des Transports depuis l'an passé.

@Techmeme@techhub.social
2026-05-19 00:56:16

Vitalik Buterin says AI-assisted "formal verification" could help secure blockchain networks, smart contracts, and cryptographic systems against software flaws (Jason Nelson/Decrypt)
decrypt.co/368226/ethereum-fou

Ethereum Founder Vitalik Buterin Says AI Verification Could Help Secure Crypto Networks
Vitalik Buterin said mathematically verified software may help protect cryptographic infrastructures as AI improves both code generation and vulnerability discovery.

@noellabo@fedibird.com
2026-04-18 14:38:45

:t_motimoti2:

@matematico314@social.linux.pizza
2026-04-17 20:40:11
Content warning: Levemente indecente

RE: social.linux.pizza/@matematico
Achei que vocês iriam rir dessa. Eu achei hilšria. Pelo visto, minha amiga tem razão e eu tenho um senso de humor quebrado rs.