Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

3K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#computersci

0 posts0 participants0 posts today
José A. Alonso<p>Readings shared January 11, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/01/11-readings_shared_01-11-25" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/01/11-readings_shared_01-11-25</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="tag">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="tag">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="tag">#<span>Coq</span></a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="tag">#<span>Rocq</span></a> <a href="https://mathstodon.xyz/tags/Agda" class="mention hashtag" rel="tag">#<span>Agda</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Python" class="mention hashtag" rel="tag">#<span>Python</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="tag">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/ComputerSci" class="mention hashtag" rel="tag">#<span>ComputerSci</span></a> <a href="https://mathstodon.xyz/tags/Education" class="mention hashtag" rel="tag">#<span>Education</span></a> <a href="https://mathstodon.xyz/tags/GenAI" class="mention hashtag" rel="tag">#<span>GenAI</span></a></p>
José A. Alonso<p>Assessment in computer science education in the GenAI era (Prioritizing critical thinking over syntax mastery). ~ Orit Hazzan. <a href="https://cacm.acm.org/blogcacm/assessment-in-computer-science-education-in-the-genai-era/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">cacm.acm.org/blogcacm/assessme</span><span class="invisible">nt-in-computer-science-education-in-the-genai-era/</span></a> <a href="https://mathstodon.xyz/tags/ComputerSci" class="mention hashtag" rel="tag">#<span>ComputerSci</span></a> <a href="https://mathstodon.xyz/tags/Education" class="mention hashtag" rel="tag">#<span>Education</span></a> <a href="https://mathstodon.xyz/tags/GenAI" class="mention hashtag" rel="tag">#<span>GenAI</span></a></p>
Nick Byrd, Ph.D.<p>What about religious change in <a href="https://nerdculture.de/tags/Mauritius" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mauritius</span></a>?</p><p>Nachita Rosun got qualitative and quantitative data about religious belief, religious practice, and <a href="https://nerdculture.de/tags/timeManagement" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>timeManagement</span></a> (with a novel <a href="https://nerdculture.de/tags/calendar" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>calendar</span></a> app?)</p><p><a href="https://nerdculture.de/tags/dataAnalysis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dataAnalysis</span></a> is in early stages (help welcome), but <a href="https://nerdculture.de/tags/preregistration" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>preregistration</span></a> etc. are <a href="https://nerdculture.de/tags/openAccess" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>openAccess</span></a>: <a href="https://osf.io/rfjkp/?view_only=" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">osf.io/rfjkp/?view_only=</span><span class="invisible"></span></a> (presumably data will be eventually)</p><p>The team's also on ResearchGate:<br>- <a href="https://www.researchgate.net/profile/Nachita-Rosun-2" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">researchgate.net/profile/Nachi</span><span class="invisible">ta-Rosun-2</span></a><br>- <a href="https://www.researchgate.net/profile/Matthew-Gervais" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">researchgate.net/profile/Matth</span><span class="invisible">ew-Gervais</span></a><br>- <a href="https://www.researchgate.net/profile/Aiyana-Willard" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">researchgate.net/profile/Aiyan</span><span class="invisible">a-Willard</span></a></p><p><a href="https://nerdculture.de/tags/religion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>religion</span></a> <a href="https://nerdculture.de/tags/webDev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>webDev</span></a> <a href="https://nerdculture.de/tags/psychology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>psychology</span></a> <a href="https://nerdculture.de/tags/computerSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>computerSci</span></a></p>
Huckster Noise<p>"Contributions" from past sysadmins of <a href="https://mastodon.social/tags/berkeley" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>berkeley</span></a> CSUA (Computer Science Undergrad Association) never fail to amuse.<br><a href="https://mastodon.social/tags/it" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>it</span></a> <a href="https://mastodon.social/tags/linux" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>linux</span></a> <a href="https://mastodon.social/tags/nfs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>nfs</span></a> <a href="https://mastodon.social/tags/CS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CS</span></a> <a href="https://mastodon.social/tags/computersci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>computersci</span></a></p>
Olivia<p>I speak out openly today about the lack of <a href="https://fosstodon.org/tags/accountability" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>accountability</span></a> in the department of <a href="https://fosstodon.org/tags/computersci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>computersci</span></a> in <a href="https://fosstodon.org/tags/sheffielduni" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sheffielduni</span></a> <a href="https://fosstodon.org/tags/uniofsheffield" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>uniofsheffield</span></a> and how I was treated because I have had enough of keeping quiet about this. After all the reading on defiance of brown and black women. Watching <a href="https://fosstodon.org/tags/codedbias" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>codedbias</span></a> and reading <a href="https://fosstodon.org/tags/datafeminism" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>datafeminism</span></a> I want accountability from my department. I want justice that had been denied to me, for both the harm and trauma they caused due to their failures of process, and their aversion to evidence.</p>
Ele Willoughby, PhD<p>Physicists Hertha Ayrton, Lise Meitner &amp; Harriet Brooks<br><a href="https://spore.social/tags/geologist" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>geologist</span></a> Alice Wilson<br>Mathematician Emmy Noether<br><a href="https://spore.social/tags/seismologist" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>seismologist</span></a> Inge Lehmann<br>Pharmaceutical chemist Alice Ball<br>Botanist Janaki Ammal<br><a href="https://spore.social/tags/astrophysicist" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>astrophysicist</span></a> Cecilia Payne-Gaposchkin<br><a href="https://spore.social/tags/computerSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>computerSci</span></a> Grace Hopper<br>Mathematician Mary Golda Ross <br>Physicist Chien-shiung Wu<br><a href="https://spore.social/tags/inventor" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>inventor</span></a> Hedy Lamarr<br><a href="https://spore.social/tags/phycologist" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>phycologist</span></a> Isabella Aiona Abbott<br><a href="https://spore.social/tags/geneticist" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>geneticist</span></a> Irene Ayako Uchida<br>Crystallographer Rosalind Franklin <br>Marine geologist Marie Tharp<br>Biochemist Marie Maynard Daly</p>
SearchLive feeds
About