Mathstodon

0 posts0 participants0 posts today

TariqI'm only just starting to learn <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> I've today come across "type inference" where it works out the type of a thing by how you use it.I saw it in <a href="https://mastodon.social/tags/Lean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Lean</a> too with <a href="https://mastodon.social/tags/implicit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#implicit</a> types".Anyway - my brain is worrying that this is not a foolproof system and the languages should never have allowed it.Am I wrong to worry?<a href="https://mastodon.social/tags/computerscience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#computerscience</a> <a href="https://mastodon.social/tags/pl" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#pl</a>

ANATH LEE WALESDADYMINDS PODCAST 3: Interview With Daniel Dluzneski: On The First Five Minutes of School Shooting and School Safety Emergency ManagementKeywords <a href="https://mastodon.social/tags/school" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#school</a> <a href="https://mastodon.social/tags/safety" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#safety</a>, <a href="https://mastodon.social/tags/active" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#active</a> <a href="https://mastodon.social/tags/shooter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#shooter</a>, <a href="https://mastodon.social/tags/emergency" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#emergency</a> <a href="https://mastodon.social/tags/preparedness" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#preparedness</a>, <a href="https://mastodon.social/tags/community" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#community</a> <a href="https://mastodon.social/tags/involvement" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#involvement</a>, <a href="https://mastodon.social/tags/technology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#technology</a> in <a href="https://mastodon.social/tags/schools" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#schools</a>, <a href="https://mastodon.social/tags/threat" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#threat</a> <a href="https://mastodon.social/tags/assessment" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#assessment</a>, <a href="https://mastodon.social/tags/parental" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#parental</a> involvement, school <a href="https://mastodon.social/tags/violence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#violence</a>, <a href="https://mastodon.social/tags/implicit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#implicit</a> <a href="https://mastodon.social/tags/memory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#memory</a>, <a href="https://mastodon.social/tags/first" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#first</a> <a href="https://mastodon.social/tags/five" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#five</a> <a href="https://mastodon.social/tags/minutes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#minutes</a>, <a href="https://mastodon.social/tags/Security" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Security</a>, <a href="https://mastodon.social/tags/Emergency" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Emergency</a> Summary In this conversation, Daniel Dluzneski discusses the critical aspects of school…<a href="https://podcast.dadyminds.org/2024/10/30/dadyminds-podcast-3-interview-with-daniel-dluzneski-on-the-first-five-minutes-of-school-shooting-and-school-safety-emergency-management/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://podcast.dadyminds.org/2024/10/30/dadyminds-podcast-3-interview-with-daniel-dluzneski-on-the-first-five-minutes-of-school-shooting-and-school-safety-emergency-management/</a>

NR4/Team210Got nerdsniped with sdf math by <a href="https://chaos.social/@danb" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@danb</a> & mapped moebius ellipses. With knobs to prove the on-surface coordinates are there! ;-) This is a good friday evening. <a href="https://abraum.social/tags/sdf" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#sdf</a> <a href="https://abraum.social/tags/implicit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#implicit</a> <a href="https://abraum.social/tags/surface" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#surface</a> <a href="https://abraum.social/tags/ellipse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ellipse</a> <a href="https://abraum.social/tags/moebius" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#moebius</a> <a href="https://abraum.social/tags/sidetrack" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#sidetrack</a>

sheerluck<a href="https://misskey.io/tags/implicit" rel="nofollow noopener noreferrer" target="_blank">#implicit</a> <a href="https://misskey.io/tags/multiplication" rel="nofollow noopener noreferrer" target="_blank">#multiplication</a> <a href="https://misskey.io/tags/bug" rel="nofollow noopener noreferrer" target="_blank">#bug</a> Если в <a href="https://misskey.io/tags/sagemath" rel="nofollow noopener noreferrer" target="_blank">#sagemath</a> использовать <code>implicit_multiplication(True)</code>, перестаёт работать<pre><code>match some: case _: return 1r</code></pre>с такой смешной ошибкой:<pre><code> match*some: ^ SyntaxError: invalid syntax</code></pre>потому что увидев match some оно думает "В питоне так не бывает, значит пора перемножать"

Chuck Darwin<a href="https://c.im/tags/Legal" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Legal</a> <a href="https://c.im/tags/documents" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#documents</a> are notoriously difficult to understand, even for lawyers. This raises the question: ❓Why are these documents written in a style that makes them so <a href="https://c.im/tags/impenetrable" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#impenetrable</a>?MIT cognitive scientists believe they have uncovered the answer to that question. Just as “magic spells” use special rhymes and archaic terms to signal their power, -- the convoluted language of legalese acts to convey a sense of <a href="https://c.im/tags/authority" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#authority</a>, they conclude.In a study appearing this week in the journal of the Proceedings of the National Academy of Sciences, the researchers found that even non-lawyers use this type of language when asked to write laws.“People seem to understand that there’s an <a href="https://c.im/tags/implicit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#implicit</a> <a href="https://c.im/tags/rule" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#rule</a> that this is how laws should sound, and they write them that way,” says Edward Gibson, an MIT professor of brain and cognitive sciences and the senior author of the study.<a href="https://news.mit.edu/2024/mit-study-explains-laws-incomprehensible-writing-style-0819" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://news.mit.edu/2024/mit-study-explains-laws-incomprehensible-writing-style-0819</a>

OblomovTalking about <a href="https://sociale.network/tags/implicit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#implicit</a> <a href="https://sociale.network/tags/sexism" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#sexism</a>: android as the general term for a robot resembling a human, and gynoid used specifically to denote one with female features. The generic term should be anthropoid, with android and gynoid being the specialized ones. Of course, the fact that anthropoid already exists and does not refer to robots make things more complicated …

Susan Larson ♀️🏳️‍🌈🏳️‍⚧️🌈<a href="https://mastodon.online/tags/Eviction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Eviction</a>, <a href="https://mastodon.online/tags/threats" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#threats</a> and <a href="https://mastodon.online/tags/suicidalthoughts" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#suicidalthoughts</a>: <a href="https://mastodon.online/tags/Uganda" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Uganda</a>'s <a href="https://mastodon.online/tags/LGBTQ" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LGBTQ</a> <a href="https://mastodon.online/tags/community" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#community</a> endures trying year. LGBTQ activists say the <a href="https://mastodon.online/tags/AntiHomosexualityAct" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AntiHomosexualityAct</a> has given <a href="https://mastodon.online/tags/Ugandans" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Ugandans</a> an <a href="https://mastodon.online/tags/implicit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#implicit</a> <a href="https://mastodon.online/tags/license" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#license</a> to <a href="https://mastodon.online/tags/abuse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#abuse</a> and <a href="https://mastodon.online/tags/discriminate" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#discriminate</a> against <a href="https://mastodon.online/tags/sexualminorities" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#sexualminorities</a> <a href="https://www.nbcnews.com/nbc-out/out-news/eviction-threats-suicidal-thoughts-ugandas-lgbtq-community-endures-try-rcna130313" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.nbcnews.com/nbc-out/out-news/eviction-threats-suicidal-thoughts-ugandas-lgbtq-community-endures-try-rcna130313</a>

Susan Larson ♀️🏳️‍🌈🏳️‍⚧️🌈[Video] Lawrence: '<a href="https://mastodon.online/tags/Terrorist" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Terrorist</a>' threatening <a href="https://mastodon.online/tags/Georgia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Georgia</a> <a href="https://mastodon.online/tags/DA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#DA</a> did so with <a href="https://mastodon.online/tags/Trump" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Trump</a>'s <a href="https://mastodon.online/tags/implicit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#implicit</a> <a href="https://mastodon.online/tags/instructions" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#instructions</a><a href="https://mastodon.online/tags/MSNBC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MSNBC</a>’s <a href="https://mastodon.online/tags/LawrenceODonnell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LawrenceODonnell</a> analyzes the <a href="https://mastodon.online/tags/reporting" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#reporting</a> that a <a href="https://mastodon.online/tags/supporter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#supporter</a> of Donald <a href="https://mastodon.online/tags/Trump" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Trump</a>’s was <a href="https://mastodon.online/tags/arrested" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#arrested</a> in <a href="https://mastodon.online/tags/Alabama" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Alabama</a> for making <a href="https://mastodon.online/tags/threats" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#threats</a> against <a href="https://mastodon.online/tags/FultonCounty" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FultonCounty</a> <a href="https://mastodon.online/tags/DistrictAttorney" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#DistrictAttorney</a> <a href="https://mastodon.online/tags/FaniWillis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FaniWillis</a> <a href="https://mastodon.online/tags/Women" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Women</a> <a href="https://mastodon.online/tags/Transgender" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Transgender</a> <a href="https://mastodon.online/tags/LGBTQ" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LGBTQ</a> <a href="https://mastodon.online/tags/LGBTQIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LGBTQIA</a> <a href="https://mastodon.online/tags/Georgia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Georgia</a> <a href="https://www.msnbc.com/the-last-word/watch/lawrence-terrorist-threatening-da-willis-did-so-with-trump-s-implicit-instructions-196825669568" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.msnbc.com/the-last-word/watch/lawrence-terrorist-threatening-da-willis-did-so-with-trump-s-implicit-instructions-196825669568</a>

DrMikeStantonGreat illustration of implicit bias where the student probably doesn’t even realize what she’s saying is problematic. <a href="https://youtu.be/nFbvBJULVnc" rel="nofollow noopener noreferrer" target="_blank">https://youtu.be/nFbvBJULVnc</a><a href="https://mstdn.social/tags/discrimination" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#discrimination</a> <a href="https://mstdn.social/tags/racism" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#racism</a> <a href="https://mstdn.social/tags/implicit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#implicit</a> <a href="https://mstdn.social/tags/bias" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#bias</a> <a href="https://mstdn.social/tags/psychology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#psychology</a> <a href="https://mstdn.social/tags/video" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#video</a>

Maaike😂 Sat here enduring, but also snickering at, Teen Titans’ episode Bl4z3Although it’s shouty, it’s quite educational 🙃 Kid doesn’t understand why I burst out laughing several times though Would recommend<a href="https://mastodon.social/tags/implicit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#implicit</a> <a href="https://mastodon.social/tags/infosec" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#infosec</a> for <a href="https://mastodon.social/tags/kids" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#kids</a> <a href="https://mastodon.social/tags/goodmorning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#goodmorning</a> <a href="https://mastodon.social/tags/parenting" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#parenting</a>

New Submissions to TMLRContinuous Deep Equilibrium Models: Training Neural Odes Faster by Integrating Them to Infinity<a href="https://openreview.net/forum?id=mlI9f7u6Zo" rel="nofollow noopener noreferrer" target="_blank">https://openreview.net/forum?id=mlI9f7u6Zo</a><a href="https://sigmoid.social/tags/implicit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#implicit</a> <a href="https://sigmoid.social/tags/implicitness" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#implicitness</a> <a href="https://sigmoid.social/tags/explicit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#explicit</a>

Shiwali Mohan | शिवाली मोहनRecognizing various ways of <a href="https://sigmoid.social/tags/discrimination" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#discrimination</a> and <a href="https://sigmoid.social/tags/implicit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#implicit</a> and <a href="https://sigmoid.social/tags/explicit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#explicit</a> biases are the first steps in moving towards a culture that is sustains all people.

Aurélien Grosdidier ✅<a href="https://mastodon.social/tags/flat" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Flat</a>, non-hierarchical <a href="https://mastodon.social/tags/organizations" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#organizations</a> do not work | <a href="https://mastodon.social/tags/dynamics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#dynamics</a> <a href="https://mastodon.social/tags/explicit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#explicit</a> <a href="https://mastodon.social/tags/formal" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#formal</a> <a href="https://mastodon.social/tags/hierarchy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#hierarchy</a> <a href="https://mastodon.social/tags/implicit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#implicit</a> <a href="https://mastodon.social/tags/informal" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#informal</a> <a href="https://mastodon.social/tags/management" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#management</a> <a href="https://mastodon.social/tags/power" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#power</a> <a href="http://www.smashcompany.com/business/kelly-odonnel-flat-non-hierarchical-organizations-do-not-work" rel="nofollow noopener noreferrer" target="_blank">http://www.smashcompany.com/business/kelly-odonnel-flat-non-hierarchical-organizations-do-not-work</a>

Recent searches

Search options

Administered by:

Server stats:

#implicit