mastodon.ie

amen zwa, esq.In <a href="https://mathstodon.xyz/tags/EE" class="mention hashtag" rel="nofollow noopener" target="_blank">#EE</a>, we tend to see information as a time-varying, <a href="https://mathstodon.xyz/tags/complex" class="mention hashtag" rel="nofollow noopener" target="_blank">#complex</a> signal, with the magnitude conveying the content and the phase the context. We received this tradition from the mathematicians and the physicists who preceded us by a few centuries. And this perspective is bashed into our little brains, from the very first semester of our undergraduate curricula.The complex representation affords greater information capacity and many analytical conveniences. As such, most everything we do is in the complex domain \(\mathbb{C}\): electric machines, transmission lines, electromagnetics, DSP, DIP, etc. This habit even affects the way we use our HP RPN calculators. In short, we adore complex numbers. But this perspective is not shared by our <a href="https://mathstodon.xyz/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#CS</a> and <a href="https://mathstodon.xyz/tags/DS" class="mention hashtag" rel="nofollow noopener" target="_blank">#DS</a> brethren.Modern DNNs are inhered with might processing powers. These powers can be further enhanced by adapting real-valued NNs (rvNNs) as complex-valued NNs (cvNNs). Real-valued time-domain signal can be converted to complex signal, using Hilbert transform.Sure, Liouville’s Theorem had long stood in the way of convergence of cvNNs. But over the past four decades, the EE community had devised many workarounds. Hirose describes cvNNs in his 2012 book. I do believe CS and DS communities should at least glance at cvNNs.<a href="https://link.springer.com/book/10.1007/978-3-642-27632-3" rel="nofollow noopener" translate="no" target="_blank">https://link.springer.com/book/10.1007/978-3-642-27632-3</a>

324.cat█ De Cristina Cifuentes a Joana Ortega, altres polítics esquitxats per inflar el currículum ▓▒░ La dimissió de Noelia Núñez del PP després de falsejar el currículum és l'enèsim cas d'un personatge polític que menteix sobre la seva formació <a href="https://www.ccma.cat/324/de-cristina-cifuentes-a-joana-ortega-altres-politics-esquitxats-per-inflar-el-curriculum/noticia/3363600/?ext=MASTODON_ONLINE" rel="nofollow noopener" translate="no" target="_blank">https://www.ccma.cat/324/de-cristina-cifuentes-a-joana-ortega-altres-politics-esquitxats-per-inflar-el-curriculum/noticia/3363600/?ext=MASTODON_ONLINE</a><a href="https://mastodon.online/tags/324cat" class="mention hashtag" rel="nofollow noopener" target="_blank">#324cat</a> <a href="https://mastodon.online/tags/corrupcio" class="mention hashtag" rel="nofollow noopener" target="_blank">#corrupcio</a> <a href="https://mastodon.online/tags/psoe" class="mention hashtag" rel="nofollow noopener" target="_blank">#psoe</a> <a href="https://mastodon.online/tags/pp" class="mention hashtag" rel="nofollow noopener" target="_blank">#pp</a> <a href="https://mastodon.online/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a>

Paul HouleAtrium on top floor -- at the far side you can see a corridor that leads into Gates Hall, while a workman is still painting the wall next to the staircase down to the next level<a href="https://mastodon.social/tags/photo" class="mention hashtag" rel="nofollow noopener" target="_blank">#photo</a> <a href="https://mastodon.social/tags/photography" class="mention hashtag" rel="nofollow noopener" target="_blank">#photography</a> <a href="https://mastodon.social/tags/cornell" class="mention hashtag" rel="nofollow noopener" target="_blank">#cornell</a> <a href="https://mastodon.social/tags/interior" class="mention hashtag" rel="nofollow noopener" target="_blank">#interior</a> <a href="https://mastodon.social/tags/buildings" class="mention hashtag" rel="nofollow noopener" target="_blank">#buildings</a> <a href="https://mastodon.social/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a> <a href="https://mastodon.social/tags/architecture" class="mention hashtag" rel="nofollow noopener" target="_blank">#architecture</a> <a href="https://mastodon.social/tags/construction" class="mention hashtag" rel="nofollow noopener" target="_blank">#construction</a>

Paul HouleThey just opened the door at the new CS and Information Science building across the street this Monday, Tuesday I brought my wide angle Zeiss over<a href="https://mastodon.social/tags/photo" class="mention hashtag" rel="nofollow noopener" target="_blank">#photo</a> <a href="https://mastodon.social/tags/photography" class="mention hashtag" rel="nofollow noopener" target="_blank">#photography</a> <a href="https://mastodon.social/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a> <a href="https://mastodon.social/tags/cornell" class="mention hashtag" rel="nofollow noopener" target="_blank">#cornell</a> <a href="https://mastodon.social/tags/architecture" class="mention hashtag" rel="nofollow noopener" target="_blank">#architecture</a> <a href="https://mastodon.social/tags/buildings" class="mention hashtag" rel="nofollow noopener" target="_blank">#buildings</a> <a href="https://mastodon.social/tags/architecture" class="mention hashtag" rel="nofollow noopener" target="_blank">#architecture</a> <a href="https://mastodon.social/tags/construction" class="mention hashtag" rel="nofollow noopener" target="_blank">#construction</a>

☮ ♥ ♬ 🧑‍💻<a href="https://wandering.shop/@cstross" class="u-url mention" rel="nofollow noopener" target="_blank">@cstross</a> “People who actually want a personal computer they can program are a niche market, albeit vastly larger than in 1982”The roots of the <a href="https://ioc.exchange/tags/Mega65" class="mention hashtag" rel="nofollow noopener" target="_blank">#Mega65</a> lay in <a href="https://ioc.exchange/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#CS</a> <a href="https://ioc.exchange/tags/education" class="mention hashtag" rel="nofollow noopener" target="_blank">#education</a> with <a href="https://ioc.exchange/tags/students" class="mention hashtag" rel="nofollow noopener" target="_blank">#students</a> not being able to grasp the basics not because of lack of intelligence, but through the lack of exposure to basic computing hardware. “By insulating new computer science and IT students from how computers really work, we may well be disadvantaging them, by preventing them from learning how a computer really works. It's quite the same idea as starting a mechanic on a simple old car, instead of on a nuclear submarine: make the important details visible so that they can be learnt.” — Paul Gardner-Stephen<<a href="https://c65gs.blogspot.com/2015/12/is-this-first-academic-slide.html" rel="nofollow noopener" translate="no" target="_blank">https://c65gs.blogspot.com/2015/12/is-this-first-academic-slide.html</a>> <a href="https://mas.to/@swelljoe" class="u-url mention" rel="nofollow noopener" target="_blank">@swelljoe</a> <a href="https://studio8502.ca/@mos_8502" class="u-url mention" rel="nofollow noopener" target="_blank">@mos_8502</a>

amen zwa, esq.Types of <a href="https://mathstodon.xyz/tags/Programmers" class="mention hashtag" rel="nofollow noopener" target="_blank">#Programmers</a> in <a href="https://mathstodon.xyz/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#CS</a> and <a href="https://mathstodon.xyz/tags/IT" class="mention hashtag" rel="nofollow noopener" target="_blank">#IT</a>:• Theorist—seek new discoveries in computability theory, complexity theory, and type theory (Church, Turning, Kleene, Cook, etc.) • Inventor—design, analyse, prove, and publish an original algorithm (Knuth, Dijkstra, Karp, Tarjan, etc.) • Engineer—devise a correct, efficient implementation of a published algorithm (implementers of DSP, DIP, etc.) • Translator—convert an algorithm's mathematical description directly into a programme (CS undergraduates) • Cobbler—cobble together APIs into a programme that might, or might not, work (senior IT practitioners) • Cutter—cut and paste existing bits of code into a programme that just might do something unexpected (mid-level IT practitioners) • Cleaner—clean up senior team members' messy, buggy code, while leaving the existing bugs intact and adding a few new ones (junior IT practitioners) • Generator—ask AI to write direct-to-production code that no IT practitioner in the team could be bothered to read (senior IT managers)

cybertrapped<a href="https://mastodon.social/tags/linux" class="mention hashtag" rel="nofollow noopener" target="_blank">#linux</a> <a href="https://mastodon.social/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a> <a href="https://mastodon.social/tags/computer" class="mention hashtag" rel="nofollow noopener" target="_blank">#computer</a> <a href="https://mastodon.social/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#science</a> <a href="https://mastodon.social/tags/directory" class="mention hashtag" rel="nofollow noopener" target="_blank">#directory</a> <a href="https://mastodon.social/tags/fileSystem" class="mention hashtag" rel="nofollow noopener" target="_blank">#fileSystem</a> Yesterday I extracted the contents of an initrd.img that came packaged in a Fedora distribution. From kernel.org I learned this mini-os can be used by the kernel during the bootup process. I guess I could have mounted the directory to play with the tools it is configured with. But I realized I do not know the difference between a directory and a file system. Please help me understand what is the difference between these two concepts.

amen zwa, esq.<a href="https://mathstodon.xyz/tags/EE" class="mention hashtag" rel="nofollow noopener" target="_blank">#EE</a> If it ain't broke, don't fix it. If it's broke, pull out the multimeter.<a href="https://mathstodon.xyz/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#CS</a> If it ain't broke, prove its bounds. If it's broke, ask the mathematicians' help.<a href="https://mathstodon.xyz/tags/DS" class="mention hashtag" rel="nofollow noopener" target="_blank">#DS</a> If it ain't broke, shout about it atop the AI ramparts. If it's broke, hide it behind the AI veil.<a href="https://mathstodon.xyz/tags/IT" class="mention hashtag" rel="nofollow noopener" target="_blank">#IT</a> If it ain't broke, propose ways to fix it good. If it's broke, deploy it to production.

TariqI've posted a question on cs stackexchange as I think there is a typo in the textbook exercise on λ2 church numerals and operations.It says "Add" should beAdd ≡λm,n : Nat . λα : ∗. λf : α →α. λx : Nat . mαf(nαf x)but I think it should be (Nat changed to α)Add ≡λm,n : Nat . λα : ∗. λf : α →α. λx : α . mαf(nαf x)I'd welcome guidance.more context here: <a href="https://cs.stackexchange.com/questions/173246/possible-error-in-textbook-exercise-on-λ2-church-numerals" rel="nofollow noopener" translate="no" target="_blank">https://cs.stackexchange.com/questions/173246/possible-error-in-textbook-exercise-on-λ2-church-numerals</a><a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a>

Peter Beens :canada: :mstdnca:Historically, junior devs learned through trial, error, and mentorship. Over-reliance on LLMs may erode these learning opportunities, stunting professional growth.True? False? Or it doesn't matter?<a href="https://mstdn.ca/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#AI</a> <a href="https://mstdn.ca/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#CS</a>

Laura SophiaMy old introduction was very outdated, so it's time to reintroduce myself: <a href="https://tech.lgbt/tags/introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#introduction</a>Hi 👋, I’m Laura.I am a transfeminine person, somewhat in the middle of my transition. 🏳️‍⚧️ <a href="https://tech.lgbt/tags/trans" class="mention hashtag" rel="nofollow noopener" target="_blank">#trans</a> <a href="https://tech.lgbt/tags/transbubble" class="mention hashtag" rel="nofollow noopener" target="_blank">#transbubble</a>A major part of my time I spend as a Postdoc in computer science, working on embedded AI and low-power IoT communication. <a href="https://tech.lgbt/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a> <a href="https://tech.lgbt/tags/TinyML" class="mention hashtag" rel="nofollow noopener" target="_blank">#TinyML</a> <a href="https://tech.lgbt/tags/IoT" class="mention hashtag" rel="nofollow noopener" target="_blank">#IoT</a> <a href="https://tech.lgbt/tags/academia" class="mention hashtag" rel="nofollow noopener" target="_blank">#academia</a> <a href="https://tech.lgbt/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#science</a>Outside of work, I am active in the local <a href="https://tech.lgbt/tags/queer" class="mention hashtag" rel="nofollow noopener" target="_blank">#queer</a> center (board member, GER: Vorstand), I enjoy playing board games, and I listen to too many <a href="https://tech.lgbt/tags/podcasts" class="mention hashtag" rel="nofollow noopener" target="_blank">#podcasts</a>.

Piotr NowakThe field of computer science is based on the cynical acceptance of a mismatch between theory and practice, according to Micah D. Beck<a href="https://cacm.acm.org/opinion/accept-the-consequences/" rel="nofollow noopener" translate="no" target="_blank">https://cacm.acm.org/opinion/accept-the-consequences/</a><a href="https://c.im/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a> <a href="https://c.im/tags/computer" class="mention hashtag" rel="nofollow noopener" target="_blank">#computer</a> <a href="https://c.im/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#science</a>

aNew on 'Stuff': Book Review - Logic Beach, Part 1 \n <a href="https://stuff.graves.cl/posts/2025-06-29_12_05-book-review-logic-beach,-part-1.html" rel="nofollow noopener" target="_blank">https://stuff.graves.cl/posts/2025-06-29_12_05-book-review-logic-beach,-part-1.html</a>#science-fiction <a class="hashtag" href="https://91268476.xyz/collections/tags/philosophy" rel="nofollow noopener" target="_blank">#philosophy</a> <a class="hashtag" href="https://91268476.xyz/collections/tags/physics" rel="nofollow noopener" target="_blank">#physics</a> <a class="hashtag" href="https://91268476.xyz/collections/tags/ontology" rel="nofollow noopener" target="_blank">#ontology</a> <a class="hashtag" href="https://91268476.xyz/collections/tags/cs" rel="nofollow noopener" target="_blank">#cs</a> #⭐️⭐️⭐️⭐️ #book-review <a class="hashtag" href="https://91268476.xyz/collections/tags/english" rel="nofollow noopener" target="_blank">#english</a>

amen zwa, esq.Common types of <a href="https://mathstodon.xyz/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a> books:• THEORETICAL—<a href="https://mathstodon.xyz/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#CS</a> pure theory books on "programming as a mathematical activity": "The Lambda Calculus, Its Syntax and Semantics" (barendregt), "Category Theory for Programmers" (Milewski), etc.• PRACTICAL—<a href="https://mathstodon.xyz/tags/IT" class="mention hashtag" rel="nofollow noopener" target="_blank">#IT</a> pure coding books on "programming as a vocational activity": "The C Programming Language" (Kernighan), typical API call-fest pulps, etc.• BALANCED—introductory programming books with ample theoretical background, for CS undergraduates: "Introduction to Functional Programming" (Bird), "The Implementation of Functional Programming Languages" (Jones), etc.

Rxiv mechanobio📰 "Multicontinuum Homogenization for Poroelasticity Model" <a href="https://arxiv.org/abs/2506.20890" rel="nofollow noopener" translate="no" target="_blank">https://arxiv.org/abs/2506.20890</a> <a href="https://biologists.social/tags/Physics" class="mention hashtag" rel="nofollow noopener" target="_blank">#Physics</a>.Comp-Ph <a href="https://biologists.social/tags/Mechanics" class="mention hashtag" rel="nofollow noopener" target="_blank">#Mechanics</a> <a href="https://biologists.social/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a>.Na <a href="https://biologists.social/tags/Cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#Cs</a>.Na <a href="https://biologists.social/tags/Cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#Cs</a>.Ce <a href="https://biologists.social/tags/Cell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Cell</a>

CassieMdr c'est ouf de recevoir des messages comme ça. Et évidemment il m'a pas du tout dit ça parce que jsuis une meuf 😭❤️ <a href="https://mastodon.social/tags/twitch" class="mention hashtag" rel="nofollow noopener" target="_blank">#twitch</a> <a href="https://mastodon.social/tags/twitchstreamer" class="mention hashtag" rel="nofollow noopener" target="_blank">#twitchstreamer</a> <a href="https://mastodon.social/tags/streaming" class="mention hashtag" rel="nofollow noopener" target="_blank">#streaming</a> <a href="https://mastodon.social/tags/kick" class="mention hashtag" rel="nofollow noopener" target="_blank">#kick</a> <a href="https://mastodon.social/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a> <a href="https://mastodon.social/tags/dofus" class="mention hashtag" rel="nofollow noopener" target="_blank">#dofus</a>

@haitchfiveNew work:Distributed Transaction Patterns<a href="https://github.com/ha1tch/dxp/blob/main/README.md" rel="nofollow noopener" translate="no" target="_blank">https://github.com/ha1tch/dxp/blob/main/README.md</a>A framework for understanding and implementing distributed transaction patterns through a phase-based spectrum approach.The DXP documentation is organized as a progressive journey through distributed transaction patterns.<a href="https://oldbytes.space/tags/DistributedSystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#DistributedSystems</a> <a href="https://oldbytes.space/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> <a href="https://oldbytes.space/tags/cloud" class="mention hashtag" rel="nofollow noopener" target="_blank">#cloud</a> <a href="https://oldbytes.space/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a> <a href="https://oldbytes.space/tags/foss" class="mention hashtag" rel="nofollow noopener" target="_blank">#foss</a> <a href="https://oldbytes.space/tags/golang" class="mention hashtag" rel="nofollow noopener" target="_blank">#golang</a> <a href="https://oldbytes.space/tags/natsio" class="mention hashtag" rel="nofollow noopener" target="_blank">#natsio</a> <a href="https://oldbytes.space/tags/oss" class="mention hashtag" rel="nofollow noopener" target="_blank">#oss</a> <a href="https://oldbytes.space/tags/OpenSource" class="mention hashtag" rel="nofollow noopener" target="_blank">#OpenSource</a>

Jan MidtgaardMichael D. Adams is looking for a post-doc to join him in Singapore on a project related to programming with fixed points: <a href="https://michaeldadams.org/hiring/" rel="nofollow noopener" translate="no" target="_blank">https://michaeldadams.org/hiring/</a>Should be a fun PL project and a good opportunity to work and live in a cool city. <a href="https://types.pl/tags/postdocjob" class="mention hashtag" rel="nofollow noopener" target="_blank">#postdocjob</a> <a href="https://types.pl/tags/phd" class="mention hashtag" rel="nofollow noopener" target="_blank">#phd</a> <a href="https://types.pl/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a> <a href="https://types.pl/tags/pl" class="mention hashtag" rel="nofollow noopener" target="_blank">#pl</a>

Jencel Panic<a href="https://mastodon.social/@jnpn" class="u-url mention" rel="nofollow noopener" target="_blank">@jnpn</a> There is probably an alternative universe where Brainfuck is studied and admired like Lambda Calculus by <a href="https://mathstodon.xyz/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a> people

Jencel PanicI have long suspected that any language with if's and loops would be Turing complete, turns out there was a proof for that all along...<a href="https://en.wikipedia.org/wiki/Structured_program_theorem" rel="nofollow noopener" translate="no" target="_blank">https://en.wikipedia.org/wiki/Structured_program_theorem</a><a href="https://mathstodon.xyz/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a> <a href="https://mathstodon.xyz/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a>

Recent searches

Search options

Administered by:

Server stats:

#cs