mastodontech.de ist einer von vielen unabhängigen Mastodon-Servern, mit dem du dich im Fediverse beteiligen kannst.
Offen für alle (über 16) und bereitgestellt von Markus'Blog

Serverstatistik:

1,4 Tsd.
aktive Profile

#cs

3 Beiträge3 Beteiligte0 Beiträge heute
amen zwa, esq.<p>In <a href="https://mathstodon.xyz/tags/EE" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>EE</span></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">#<span>complex</span></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.</p><p>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">#<span>CS</span></a> and <a href="https://mathstodon.xyz/tags/DS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DS</span></a> brethren.</p><p>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.</p><p>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.</p><p><a href="https://link.springer.com/book/10.1007/978-3-642-27632-3" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">link.springer.com/book/10.1007</span><span class="invisible">/978-3-642-27632-3</span></a></p>
Tariq<p>I got some sleep and did some thinking - and updated my attempt at ex 3.21 from Type Theory and Formal Proof.</p><p>Give a recursive definition for \(FTV(A)\), the set of free type variables in \(A\), for an expression \(A\) in \(\mathbb{T}2\) or in \(Λ_{\mathbb{T}2}\).</p><p>I'd welcome feedback (I'm self-teaching)</p><p><a href="https://type-theory-and-formal-proof.blogspot.com/2025/07/chapter-3-exercise-21.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">type-theory-and-formal-proof.b</span><span class="invisible">logspot.com/2025/07/chapter-3-exercise-21.html</span></a></p><p><a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>cs</span></a> <a href="https://mathstodon.xyz/tags/typetheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>typetheory</span></a></p>
☮ ♥ ♬ 🧑‍💻<p><span class="h-card" translate="no"><a href="https://wandering.shop/@cstross" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>cstross</span></a></span> “People who actually want a personal computer they can program are a niche market, albeit vastly larger than in 1982”</p><p>The roots of the <a href="https://ioc.exchange/tags/Mega65" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mega65</span></a> lay in <a href="https://ioc.exchange/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CS</span></a> <a href="https://ioc.exchange/tags/education" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>education</span></a> with <a href="https://ioc.exchange/tags/students" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>students</span></a> not being able to grasp the basics not because of lack of intelligence, but through the lack of exposure to basic computing hardware. </p><p>“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</p><p>&lt;<a href="https://c65gs.blogspot.com/2015/12/is-this-first-academic-slide.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">c65gs.blogspot.com/2015/12/is-</span><span class="invisible">this-first-academic-slide.html</span></a>&gt; </p><p><span class="h-card" translate="no"><a href="https://mas.to/@swelljoe" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>swelljoe</span></a></span> <span class="h-card" translate="no"><a href="https://studio8502.ca/@mos_8502" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>mos_8502</span></a></span></p>
Tariq<p>I've posted a question on cs stackexchange as I think there is a typo in the textbook exercise on λ2 church numerals and operations.</p><p>It says "Add" should be</p><p>Add ≡λm,n : Nat . λα : ∗. λf : α →α. λx : Nat . mαf(nαf x)</p><p>but I think it should be (Nat changed to α)</p><p>Add ≡λm,n : Nat . λα : ∗. λf : α →α. λx : α . mαf(nαf x)</p><p>I'd welcome guidance.</p><p>more context here:<br><a href="https://cs.stackexchange.com/questions/173246/possible-error-in-textbook-exercise-on-λ2-church-numerals" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">cs.stackexchange.com/questions</span><span class="invisible">/173246/possible-error-in-textbook-exercise-on-λ2-church-numerals</span></a></p><p><a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>cs</span></a></p>
Laura Sophia<p>My old introduction was very outdated, so it's time to reintroduce myself:<br><a href="https://tech.lgbt/tags/introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>introduction</span></a></p><p>Hi 👋, I’m Laura.</p><p>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">#<span>trans</span></a> <a href="https://tech.lgbt/tags/transbubble" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>transbubble</span></a></p><p>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">#<span>cs</span></a> <a href="https://tech.lgbt/tags/TinyML" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TinyML</span></a> <a href="https://tech.lgbt/tags/IoT" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IoT</span></a> <a href="https://tech.lgbt/tags/academia" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>academia</span></a> <a href="https://tech.lgbt/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>science</span></a></p><p>Outside of work, I am active in the local <a href="https://tech.lgbt/tags/queer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>queer</span></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">#<span>podcasts</span></a>.</p>
Paul Houle<p>⛓️‍💥 Broken Tokens? Your Language Model can Secretly Handle Non-Canonical Tokenizations</p><p><a href="https://arxiv.org/abs/2506.19004" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2506.19004</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/ai" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ai</span></a> <a href="https://mastodon.social/tags/llm" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>llm</span></a> <a href="https://mastodon.social/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>cs</span></a> <a href="https://mastodon.social/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>research</span></a> <a href="https://mastodon.social/tags/tokenization" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tokenization</span></a> <a href="https://mastodon.social/tags/language" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>language</span></a></p>
France | République française<p><a href="https://www.europesays.com/fr/218332/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">europesays.com/fr/218332/</span><span class="invisible"></span></a> Bonne nouvelle pour le Bayern avant d’affronter le PSG <a href="https://pubeurope.com/tags/Actualit%C3%A9s" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Actualités</span></a> <a href="https://pubeurope.com/tags/CanalSupporters" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CanalSupporters</span></a> <a href="https://pubeurope.com/tags/ComanPSG" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ComanPSG</span></a> <a href="https://pubeurope.com/tags/CoupeDuMondeDesClubs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CoupeDuMondeDesClubs</span></a> <a href="https://pubeurope.com/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CS</span></a> <a href="https://pubeurope.com/tags/FR" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FR</span></a> <a href="https://pubeurope.com/tags/France" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>France</span></a> <a href="https://pubeurope.com/tags/KingsleyComan" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>KingsleyComan</span></a> <a href="https://pubeurope.com/tags/News" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>News</span></a> <a href="https://pubeurope.com/tags/ParisSaintGermain" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ParisSaintGermain</span></a> <a href="https://pubeurope.com/tags/ParisSg" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ParisSg</span></a> <a href="https://pubeurope.com/tags/psg" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>psg</span></a> <a href="https://pubeurope.com/tags/PSGBayernMunich" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PSGBayernMunich</span></a> <a href="https://pubeurope.com/tags/QuartsDeFinale" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>QuartsDeFinale</span></a> <a href="https://pubeurope.com/tags/une" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>une</span></a></p>
Europe<p>Dembélé après PSG / IM:”J’espère bien finir avec ce Mondial”</p><p>Pour son quart de finale de la&nbsp;Coupe du monde des clubs, le&nbsp;PSG&nbsp;n’a fait qu’une bouchée de l’Inter Miami…<br><a href="https://flipboard.social/tags/Europe" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Europe</span></a> <a href="https://flipboard.social/tags/France" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>France</span></a> <a href="https://flipboard.social/tags/Ballond" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Ballond</span></a>'Or <a href="https://flipboard.social/tags/canalsupporters" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>canalsupporters</span></a> <a href="https://flipboard.social/tags/coupedumonde" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>coupedumonde</span></a> <a href="https://flipboard.social/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>cs</span></a> <a href="https://flipboard.social/tags/Demb%C3%A9l%C3%A9" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Dembélé</span></a> <a href="https://flipboard.social/tags/france" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>france</span></a> <a href="https://flipboard.social/tags/LeoMessi" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeoMessi</span></a> <a href="https://flipboard.social/tags/Nouvelles" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Nouvelles</span></a> <a href="https://flipboard.social/tags/Ousmane" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Ousmane</span></a> <a href="https://flipboard.social/tags/paris" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>paris</span></a> <a href="https://flipboard.social/tags/ParisSaint" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ParisSaint</span></a>-Germain <a href="https://flipboard.social/tags/ParisSG" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ParisSG</span></a> <a href="https://flipboard.social/tags/PSG" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PSG</span></a> <a href="https://flipboard.social/tags/Une" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Une</span></a> <a href="https://flipboard.social/tags/wc" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>wc</span></a> <a href="https://flipboard.social/tags/worldcup" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>worldcup</span></a><br><a href="https://www.europesays.com/2205179/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">europesays.com/2205179/</span><span class="invisible"></span></a></p>
France | République française<p><a href="https://www.europesays.com/fr/214458/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">europesays.com/fr/214458/</span><span class="invisible"></span></a> Dembélé après PSG / IM:&nbsp;»J’espère bien finir avec ce Mondial&nbsp;» <a href="https://pubeurope.com/tags/Actualit%C3%A9s" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Actualités</span></a> <a href="https://pubeurope.com/tags/BallonD" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BallonD</span></a>'or <a href="https://pubeurope.com/tags/CanalSupporters" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CanalSupporters</span></a> <a href="https://pubeurope.com/tags/canalsupporters" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>canalsupporters</span></a> <a href="https://pubeurope.com/tags/CoupeDuMonde" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CoupeDuMonde</span></a> <a href="https://pubeurope.com/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CS</span></a> <a href="https://pubeurope.com/tags/demb%C3%A9l%C3%A9" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>dembélé</span></a> <a href="https://pubeurope.com/tags/FR" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FR</span></a> <a href="https://pubeurope.com/tags/France" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>France</span></a> <a href="https://pubeurope.com/tags/LeoMessi" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeoMessi</span></a> <a href="https://pubeurope.com/tags/News" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>News</span></a> <a href="https://pubeurope.com/tags/Ousmane" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Ousmane</span></a> <a href="https://pubeurope.com/tags/Paris" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Paris</span></a> <a href="https://pubeurope.com/tags/ParisSaintGermain" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ParisSaintGermain</span></a> <a href="https://pubeurope.com/tags/ParisSg" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ParisSg</span></a> <a href="https://pubeurope.com/tags/psg" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>psg</span></a> <a href="https://pubeurope.com/tags/une" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>une</span></a> <a href="https://pubeurope.com/tags/wc" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>wc</span></a> <a href="https://pubeurope.com/tags/WorldCup" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>WorldCup</span></a></p>
Piotr Nowak<p>The field of computer science is based on the cynical acceptance of a mismatch between theory and practice, according to Micah D. Beck</p><p><a href="https://cacm.acm.org/opinion/accept-the-consequences/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">cacm.acm.org/opinion/accept-th</span><span class="invisible">e-consequences/</span></a></p><p><a href="https://c.im/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>cs</span></a> <a href="https://c.im/tags/computer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>computer</span></a> <a href="https://c.im/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>science</span></a></p>
a<p>New on 'Stuff': Book Review - Logic Beach, Part 1 \n<br><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></p><p>#science-fiction<br><a class="hashtag" href="https://91268476.xyz/collections/tags/philosophy" rel="nofollow noopener" target="_blank">#philosophy</a><br><a class="hashtag" href="https://91268476.xyz/collections/tags/physics" rel="nofollow noopener" target="_blank">#physics</a><br><a class="hashtag" href="https://91268476.xyz/collections/tags/ontology" rel="nofollow noopener" target="_blank">#ontology</a><br><a class="hashtag" href="https://91268476.xyz/collections/tags/cs" rel="nofollow noopener" target="_blank">#cs</a><br>#⭐️⭐️⭐️⭐️<br>#book-review<br><a class="hashtag" href="https://91268476.xyz/collections/tags/english" rel="nofollow noopener" target="_blank">#english</a></p>
:flag_enby_wartime: 𝕛𝕦𝕝𝕖𝕤 :antifa:<p>I wonder whether "fusion trees with multiple roots" exist</p><p>what I know after a quick search</p><ul><li>there is a bonsai technique concerning roots of fusion trees</li><li>there is a minecraft modpack called fusion forest</li><li>there is a company called b-forest</li><li>there is a famous counter strike player named forest</li><li>there is a subfield named forest informatics</li><li>there is a greek thing named b dag</li></ul><p><a href="https://mastodon.catgirl.cloud/tags/tcs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tcs</span></a> <a href="https://mastodon.catgirl.cloud/tags/theoreticalComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theoreticalComputerScience</span></a> <a href="https://mastodon.catgirl.cloud/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>cs</span></a> <a href="https://mastodon.catgirl.cloud/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>research</span></a></p>
amen zwa, esq.<p>Common types of <a href="https://mathstodon.xyz/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> books:</p><p>• THEORETICAL—<a href="https://mathstodon.xyz/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CS</span></a> pure theory books on "programming as a mathematical activity": "The Lambda Calculus, Its Syntax and Semantics" (barendregt), "Category Theory for Programmers" (Milewski), etc.</p><p>• PRACTICAL—<a href="https://mathstodon.xyz/tags/IT" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IT</span></a> pure coding books on "programming as a vocational activity": "The C Programming Language" (Kernighan), typical API call-fest pulps, etc.</p><p>• BALANCED—introductory programming books with ample theoretical background, for CS undergraduates: "Introduction to Functional Programming" (Bird), "The Implementation of Functional Programming Languages" (Jones), etc.</p>
Rxiv mechanobio<p>📰 "Multicontinuum Homogenization for Poroelasticity Model"<br> <a href="https://arxiv.org/abs/2506.20890" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2506.20890</span><span class="invisible"></span></a> <a href="https://biologists.social/tags/Physics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Physics</span></a>.Comp-Ph <a href="https://biologists.social/tags/Mechanics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mechanics</span></a> <a href="https://biologists.social/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a>.Na <a href="https://biologists.social/tags/Cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Cs</span></a>.Na <a href="https://biologists.social/tags/Cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Cs</span></a>.Ce <a href="https://biologists.social/tags/Cell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Cell</span></a></p>
Rxiv mechanobio<p>📰 "Contactless Precision Steering of Particles in a Fluid inside a Cube with Rotating Walls"<br> <a href="https://arxiv.org/abs/2506.15958" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2506.15958</span><span class="invisible"></span></a> <a href="https://biologists.social/tags/Physics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Physics</span></a>.Flu-Dyn <a href="https://biologists.social/tags/Dynamics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Dynamics</span></a> <a href="https://biologists.social/tags/Cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Cs</span></a>.Ro <a href="https://biologists.social/tags/Cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Cs</span></a>.Lg <a href="https://biologists.social/tags/Cell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Cell</span></a></p>
Manchester<p>The University of Manchester joins two new national research hubs to drive sustainable manufacturing</p><p>Advanced materials We’re home to 700 materials experts, revo…<br><a href="https://pubeurope.com/tags/Manchester" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Manchester</span></a> <a href="https://pubeurope.com/tags/UnitedKingdom" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UnitedKingdom</span></a> <a href="https://pubeurope.com/tags/UK" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UK</span></a> <a href="https://pubeurope.com/tags/GB" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GB</span></a> <a href="https://pubeurope.com/tags/England" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>England</span></a> <a href="https://pubeurope.com/tags/Headlines" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Headlines</span></a> <a href="https://pubeurope.com/tags/News" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>News</span></a> <a href="https://pubeurope.com/tags/Europe" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Europe</span></a> <a href="https://pubeurope.com/tags/EU" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>EU</span></a> <a href="https://pubeurope.com/tags/Britain" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Britain</span></a> <a href="https://pubeurope.com/tags/Chemistry" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Chemistry</span></a> <a href="https://pubeurope.com/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CS</span></a>-AdvancedMaterials <a href="https://pubeurope.com/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CS</span></a>-Biotechnology <a href="https://pubeurope.com/tags/GreatBritain" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GreatBritain</span></a> <a href="https://pubeurope.com/tags/Manchester" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Manchester</span></a>-Institute-of-Biotechnology <a href="https://pubeurope.com/tags/Materials" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Materials</span></a> <a href="https://pubeurope.com/tags/Science" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Science</span></a> <a href="https://pubeurope.com/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>science</span></a>-and-engineering <a href="https://pubeurope.com/tags/SirHenryRoyceInstitute" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SirHenryRoyceInstitute</span></a> <a href="https://pubeurope.com/tags/SustainableFutures" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SustainableFutures</span></a> <a href="https://pubeurope.com/tags/UniversityofManchester" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UniversityofManchester</span></a><br><a href="https://www.europesays.com/uk/196859/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">europesays.com/uk/196859/</span><span class="invisible"></span></a></p>
amen zwa, esq.<p>When I was in <a href="https://mathstodon.xyz/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CS</span></a> grad school, back in the early 1990s, <a href="https://mathstodon.xyz/tags/wavelets" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>wavelets</span></a> were hot in 3D volumetric CG—oh, those SIGGRAPH symposia on the topic. At the same time in <a href="https://mathstodon.xyz/tags/EE" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>EE</span></a>, loads of papers were published on their efficacy in DSP. Just about everyone in EE and CS seemed to have published at least one paper on wavelets. Fun times. But the current state of wavelet academic <a href="https://mathstodon.xyz/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>research</span></a> seemed to have dried up.</p><p>I don't quite understand why wavelet transform has not supplanted Fourier transform in many <a href="https://mathstodon.xyz/tags/engineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>engineering</span></a> and <a href="https://mathstodon.xyz/tags/computing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>computing</span></a> application domains, considering its estimable time-frequency locality and its prodigious multi-resolution analysis capabilities, compared to Fourier analysis.</p><p>I am but a mere "maths carpenter". So, what am I missing, I wonder.</p>
Jan Midtgaard<p>Michael D. Adams is looking for a post-doc to join him in Singapore on a project related to programming with fixed points:<br><a href="https://michaeldadams.org/hiring/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">michaeldadams.org/hiring/</span><span class="invisible"></span></a></p><p>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">#<span>postdocjob</span></a> <a href="https://types.pl/tags/phd" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>phd</span></a> <a href="https://types.pl/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>cs</span></a> <a href="https://types.pl/tags/pl" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pl</span></a></p>
Jencel Panic<p><span class="h-card" translate="no"><a href="https://mastodon.social/@jnpn" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>jnpn</span></a></span> 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">#<span>cs</span></a> people</p>
Jencel Panic<p>I 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...</p><p><a href="https://en.wikipedia.org/wiki/Structured_program_theorem" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">en.wikipedia.org/wiki/Structur</span><span class="invisible">ed_program_theorem</span></a></p><p><a href="https://mathstodon.xyz/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mathstodon.xyz/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>cs</span></a></p>