#cs

Thomas KahleThe only thing I’m asking is whether <a href="https://machteburch.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#AI</a> can solve the Halting Problem.<a href="https://machteburch.social/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a> <a href="https://machteburch.social/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a>

amen zwa, esq.Back in the early 1980s, MIS and IFSM sprouted out of <a href="https://mathstodon.xyz/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#CS</a>, as business-focused tech fields. In due course, those newer fields organised themselves into "business analysts" and "system administrators", bolstered by their MBAs, of course.But Data Science and Vibe Coding, hatched by the latest AI hype (by my count, the 5th one, after Rosenblatt, Minsky, Rumelhart, Hinton, and Vaswani), are beginning to swallow CS, mainly because run-of-the-mill colleges are dumbing down their CS curricula to better match the fashion trends of DS and VC.CS educators must now band up together and stand up for their field's very identity.

DougMerritt (log😅 = 💧log😄)<a href="https://mathstodon.xyz/@AmenZwa" class="u-url mention" rel="nofollow noopener" target="_blank">@AmenZwa</a> > Ubiquitous quantum computing is but a pipe dreamIt also isn't known to be able to do much beyond security applications like public key cryptography even in principle, despite the vast number of hucksters who give the impression that it will solve all problems in extreme parallelism, which is simply false.> It is high time the FPGA/ASIC hardware design courses trickle from the <a href="https://mathstodon.xyz/tags/EE" class="mention hashtag" rel="nofollow noopener" target="_blank">#EE</a> curriculum down to the <a href="https://mathstodon.xyz/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#CS</a> curriculum.I've done extensive work with FPGAs (and some ASICs) over the years, and they are undeniably very useful.But programmers can't just learn Verilog as if it's another programming language. They would need to learn a certain amount of the EE curriculum beyond just focused things like that.Wait, I get it, you're proposing that they will use AI to get around that need. 😆

amen zwa, esq.The CPUs' heyday of Moore's Law and Dennard Scaling are over. GPUs and TPUs had saturated the market. Ubiquitous quantum computing is but a pipe dream. So, what's next?<a href="https://mathstodon.xyz/tags/FPGA" class="mention hashtag" rel="nofollow noopener" target="_blank">#FPGA</a> and <a href="https://mathstodon.xyz/tags/ASIC" class="mention hashtag" rel="nofollow noopener" target="_blank">#ASIC</a>, of course, especially considering the steep, upward tick in growth and availability of lower-cost hardware components and higher-capability software tools.For over 40 years, these technologies had been in heavy use in the specialised fields of DSP, avionics, I/O, networks, and the like, mainly due to the considerable demands they place upon development costs and engineering skills. But the recent advances in HLS and HDL software, along with low-cost hardware boards, IP blocks, and SoCs, had rendered these technologies competitive with the conventional CPU- and MCU-based approaches, for use in broader, industrial applications.It is high time the FPGA/ASIC hardware design courses trickle from the <a href="https://mathstodon.xyz/tags/EE" class="mention hashtag" rel="nofollow noopener" target="_blank">#EE</a> curriculum down to the <a href="https://mathstodon.xyz/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#CS</a> curriculum.But then, there are so-called "higher education" institutions that have already replaced instructors with LLMs, so what do I know, really....

TariqI've now posted this to stackexchange if anyone fancies advising on a more elaborated question with attempted solution.<a href="https://cs.stackexchange.com/questions/173407/solution-feedback-regarding-inhabitant-of-λp-type-and-logical-equivalent-stateme" rel="nofollow noopener" translate="no" target="_blank">https://cs.stackexchange.com/questions/173407/solution-feedback-regarding-inhabitant-of-λp-type-and-logical-equivalent-stateme</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> <a href="https://mathstodon.xyz/tags/typetheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#typetheory</a>

TariqGiven the contextS : * P : S → * Q : S → *I want to find an inhabitant of Πx : S . Px → Qx → PxMy interpretation of Px and Qx is that they are equivalent to * ... and so I need to find an inhabitant of Πx : S . * → * → *.. and given the only thing with type * I have to plat with is S, the answer must beλx:S . S → S → SIs that right?<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> <a href="https://mathstodon.xyz/tags/typetheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#typetheory</a>

TariqIf I have a function f : Πa:A. (Πb:B.C)and another functiong : Πa:A.BCan I apply f to g as follows?fg : C---My brain says f : A →(B→C) is the same as f : A →B→C by right-associativity of →, and that's why we can.<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> <a href="https://mathstodon.xyz/tags/typetheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#typetheory</a> <a href="https://mathstodon.xyz/tags/lambdacalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#lambdacalculus</a>

Eric MaugendreThe new algorithm for directed cheapest routes "slices the graph into layers, moving outward from the source like Dijkstra’s. But rather than deal with the whole frontier at each step, it uses the Bellman-Ford algorithm to pinpoint influential nodes, moves forward from these nodes to find the shortest paths to others, and later comes back to other frontier nodes. It doesn’t always find the nodes within each layer in order of increasing distance, so the sorting barrier doesn’t apply. And if you chop up the graph in the right way, it runs slightly faster than the best version of Dijkstra’s algorithm. It’s considerably more intricate, relying on many pieces that need to fit together just right. But curiously, none of the pieces use fancy mathematics."<a href="https://www.quantamagazine.org/new-method-is-the-fastest-way-to-find-the-best-routes-20250806/" rel="nofollow noopener" translate="no" target="_blank">https://www.quantamagazine.org/new-method-is-the-fastest-way-to-find-the-best-routes-20250806/</a><a href="https://hachyderm.io/tags/graphTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#graphTheory</a> <a href="https://hachyderm.io/tags/shortestPath" class="mention hashtag" rel="nofollow noopener" target="_blank">#shortestPath</a> <a href="https://hachyderm.io/tags/navigation" class="mention hashtag" rel="nofollow noopener" target="_blank">#navigation</a> <a href="https://hachyderm.io/tags/networks" class="mention hashtag" rel="nofollow noopener" target="_blank">#networks</a> <a href="https://hachyderm.io/tags/computing" class="mention hashtag" rel="nofollow noopener" target="_blank">#computing</a> <a href="https://hachyderm.io/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#CS</a> <a href="https://hachyderm.io/tags/computerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#computerScience</a> <a href="https://hachyderm.io/tags/algorithmics" class="mention hashtag" rel="nofollow noopener" target="_blank">#algorithmics</a> <a href="https://hachyderm.io/tags/algorithmic" class="mention hashtag" rel="nofollow noopener" target="_blank">#algorithmic</a> <a href="https://hachyderm.io/tags/algorithms" class="mention hashtag" rel="nofollow noopener" target="_blank">#algorithms</a> <a href="https://hachyderm.io/tags/algorithm" class="mention hashtag" rel="nofollow noopener" target="_blank">#algorithm</a>

Eric Maugendre"Choreographic programming is a paradigm for concurrent and distributed software, whereby descriptions of the intended communications (choreographies) are automatically compiled into [decentralized code. It is difficult to combine w/higher-order functions]: compilation is not modular (editing a part might require recompiling everything) and the generated code can perform unexpected global synchronisations." <a href="https://portal.findresearcher.sdu.dk/en/publications/modular-compilation-for-higher-order-functional-choreographies" rel="nofollow noopener" translate="no" target="_blank">https://portal.findresearcher.sdu.dk/en/publications/modular-compilation-for-higher-order-functional-choreographies</a><a href="https://hachyderm.io/tags/computing" class="mention hashtag" rel="nofollow noopener" target="_blank">#computing</a> <a href="https://hachyderm.io/tags/compilation" class="mention hashtag" rel="nofollow noopener" target="_blank">#compilation</a> <a href="https://hachyderm.io/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#CS</a> <a href="https://hachyderm.io/tags/concurrency" class="mention hashtag" rel="nofollow noopener" target="_blank">#concurrency</a> <a href="https://hachyderm.io/tags/distributed" class="mention hashtag" rel="nofollow noopener" target="_blank">#distributed</a> <a href="https://hachyderm.io/tags/semantics" class="mention hashtag" rel="nofollow noopener" target="_blank">#semantics</a> <a href="https://hachyderm.io/tags/computerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#computerScience</a>

Rod2ik 🇪🇺 🇨🇵 🇪🇸 🇺🇦 🇨🇦 🇩🇰 🇬🇱☮🕊️The <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> dream has become a <a href="https://mastodon.social/tags/nightmare" class="mention hashtag" rel="nofollow noopener" target="_blank">#nightmare</a> The coding=prosperity promise has officially collapsedFresh <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/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a> <a href="https://mastodon.social/tags/graduates" class="mention hashtag" rel="nofollow noopener" target="_blank">#graduates</a> are facing <a href="https://mastodon.social/tags/unemployment" class="mention hashtag" rel="nofollow noopener" target="_blank">#unemployment</a> rates of 6.1% to 7.5% more than double what <a href="https://mastodon.social/tags/biology" class="mention hashtag" rel="nofollow noopener" target="_blank">#biology</a> and <a href="https://mastodon.social/tags/art" class="mention hashtag" rel="nofollow noopener" target="_blank">#art</a> <a href="https://mastodon.social/tags/history" class="mention hashtag" rel="nofollow noopener" target="_blank">#history</a> majors are experiencing<a href="https://techcrunch.com/2025/08/10/the-computer-science-dream-has-become-a-nightmare/" rel="nofollow noopener" translate="no" target="_blank">https://techcrunch.com/2025/08/10/the-computer-science-dream-has-become-a-nightmare/</a>

Rod2ik 🇪🇺 🇨🇵 🇪🇸 🇺🇦 🇨🇦 🇩🇰 🇬🇱 ☮🕊️The <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23computer" target="_blank">#computer</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23science" target="_blank">#science</a> dream has become a <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23nightmare" target="_blank">#nightmare</a> The coding=prosperity promise has officially collapsed Fresh <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23computer" target="_blank">#computer</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23science" target="_blank">#science</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23cs" target="_blank">#cs</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23graduates" target="_blank">#graduates</a> are facing <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23unemployment" target="_blank">#unemployment</a> rates of 6.1% to 7.5% more than double what <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23biology" target="_blank">#biology</a> and <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23art" target="_blank">#art</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23history" target="_blank">#history</a> majors are experiencing <a href="https://techcrunch.com/2025/08/10/the-computer-science-dream-has-become-a-nightmare/" rel="nofollow noopener" target="_blank">techcrunch.com/2025/08/10/t...</a> <a href="https://techcrunch.com/2025/08/10/the-computer-science-dream-has-become-a-nightmare/" rel="nofollow noopener" target="_blank">The computer science dream has...</a>

Chris<a href="https://mastodon.social/tags/airbus" class="mention hashtag" rel="nofollow noopener" target="_blank">#airbus</a> <a href="https://mastodon.social/tags/a321" class="mention hashtag" rel="nofollow noopener" target="_blank">#a321</a> <a href="https://mastodon.social/tags/lisbon" class="mention hashtag" rel="nofollow noopener" target="_blank">#lisbon</a> <a href="https://mastodon.social/tags/lisboa" class="mention hashtag" rel="nofollow noopener" target="_blank">#lisboa</a> <a href="https://mastodon.social/tags/LIS" class="mention hashtag" rel="nofollow noopener" target="_blank">#LIS</a> <a href="https://mastodon.social/tags/portugal" class="mention hashtag" rel="nofollow noopener" target="_blank">#portugal</a> <a href="https://mastodon.social/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a>-tjk <a href="https://mastodon.social/tags/TAP" class="mention hashtag" rel="nofollow noopener" target="_blank">#TAP</a> <a href="https://mastodon.social/tags/a321neo" class="mention hashtag" rel="nofollow noopener" target="_blank">#a321neo</a>

amen zwa, esq.A possible <a href="https://mathstodon.xyz/tags/FP" class="mention hashtag" rel="nofollow noopener" target="_blank">#FP</a> <a href="https://mathstodon.xyz/tags/learning" class="mention hashtag" rel="nofollow noopener" target="_blank">#learning</a> path for <a href="https://mathstodon.xyz/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#CS</a> students of all levels, from an introductory level to an advanced level:• "Introduction to Functional Programming", Bird (1988) • "The Implementation of Functional Programming Languages", Peyton Jones (1987)• "Introduction to Automata Theory, Languages, and Computation", Hopcroft (1979) • "Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics", Leeuwen (1994)• "An Introduction to Functional Programming Through 𝜆-Calculus", Michaelson (2011) • "Introduction to Combinators and 𝜆-Calculus", Hindley (1986)• "Category Theory for Programmers", Milewski (2019) • "Category Theory", Awodey (2008)• "Types and Programming Languages", Pierce (2002) • "Homotopy Type Theory", The Univalent Foundations Programme (2013)

Europe Says<a href="https://www.europesays.com/2298297/" rel="nofollow noopener" translate="no" target="_blank">https://www.europesays.com/2298297/</a> Supercoupe d’Europe, Ligue 1… Le calendrier du PSG en août <a href="https://pubeurope.com/tags/CalendrierPSG" class="mention hashtag" rel="nofollow noopener" target="_blank">#CalendrierPSG</a> <a href="https://pubeurope.com/tags/CanalSupporters" class="mention hashtag" rel="nofollow noopener" target="_blank">#CanalSupporters</a> <a href="https://pubeurope.com/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a> <a href="https://pubeurope.com/tags/Europe" class="mention hashtag" rel="nofollow noopener" target="_blank">#Europe</a> <a href="https://pubeurope.com/tags/Ligue1" class="mention hashtag" rel="nofollow noopener" target="_blank">#Ligue1</a> <a href="https://pubeurope.com/tags/Nantes" class="mention hashtag" rel="nofollow noopener" target="_blank">#Nantes</a>/PSG <a href="https://pubeurope.com/tags/ParisSaintGermain" class="mention hashtag" rel="nofollow noopener" target="_blank">#ParisSaintGermain</a> <a href="https://pubeurope.com/tags/ParisSG" class="mention hashtag" rel="nofollow noopener" target="_blank">#ParisSG</a> <a href="https://pubeurope.com/tags/PSG" class="mention hashtag" rel="nofollow noopener" target="_blank">#PSG</a> <a href="https://pubeurope.com/tags/PSG" class="mention hashtag" rel="nofollow noopener" target="_blank">#PSG</a>/Angers <a href="https://pubeurope.com/tags/PSGTottenham" class="mention hashtag" rel="nofollow noopener" target="_blank">#PSGTottenham</a> <a href="https://pubeurope.com/tags/SupercoupeD" class="mention hashtag" rel="nofollow noopener" target="_blank">#SupercoupeD</a>'Europe <a href="https://pubeurope.com/tags/SuperCoupeUEFA" class="mention hashtag" rel="nofollow noopener" target="_blank">#SuperCoupeUEFA</a> <a href="https://pubeurope.com/tags/ToulousePsg" class="mention hashtag" rel="nofollow noopener" target="_blank">#ToulousePsg</a> <a href="https://pubeurope.com/tags/Une" class="mention hashtag" rel="nofollow noopener" target="_blank">#Une</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)

Europe Says<a href="https://www.europesays.com/2225523/" rel="nofollow noopener" translate="no" target="_blank">https://www.europesays.com/2225523/</a> Dourogás Group companies sold to Iberis Capital: advisors <a href="https://pubeurope.com/tags/BernardoAbreuMota" class="mention hashtag" rel="nofollow noopener" target="_blank">#BernardoAbreuMota</a> <a href="https://pubeurope.com/tags/Cavaleiro" class="mention hashtag" rel="nofollow noopener" target="_blank">#Cavaleiro</a>&Associados <a href="https://pubeurope.com/tags/CS" class="mention hashtag" rel="nofollow noopener" target="_blank">#CS</a>’Associados <a href="https://pubeurope.com/tags/dx2" class="mention hashtag" rel="nofollow noopener" target="_blank">#dx2</a> <a href="https://pubeurope.com/tags/FranciscoAlbuquerqueReis" class="mention hashtag" rel="nofollow noopener" target="_blank">#FranciscoAlbuquerqueReis</a> <a href="https://pubeurope.com/tags/GasPrice" class="mention hashtag" rel="nofollow noopener" target="_blank">#GasPrice</a> <a href="https://pubeurope.com/tags/Jo%C3%A3oQuintelaCavaleiro" class="mention hashtag" rel="nofollow noopener" target="_blank">#JoãoQuintelaCavaleiro</a> <a href="https://pubeurope.com/tags/Jos%C3%A9Lu%C3%ADsSilva" class="mention hashtag" rel="nofollow noopener" target="_blank">#JoséLuísSilva</a> <a href="https://pubeurope.com/tags/KPMG" class="mention hashtag" rel="nofollow noopener" target="_blank">#KPMG</a> <a href="https://pubeurope.com/tags/LiquefiedNaturalGas" class="mention hashtag" rel="nofollow noopener" target="_blank">#LiquefiedNaturalGas</a> <a href="https://pubeurope.com/tags/lng" class="mention hashtag" rel="nofollow noopener" target="_blank">#lng</a> <a href="https://pubeurope.com/tags/LNGPrice" class="mention hashtag" rel="nofollow noopener" target="_blank">#LNGPrice</a> <a href="https://pubeurope.com/tags/NaturalGas" class="mention hashtag" rel="nofollow noopener" target="_blank">#NaturalGas</a> <a href="https://pubeurope.com/tags/PedroSeixasSilva" class="mention hashtag" rel="nofollow noopener" target="_blank">#PedroSeixasSilva</a> <a href="https://pubeurope.com/tags/RicardoCardador" class="mention hashtag" rel="nofollow noopener" target="_blank">#RicardoCardador</a> <a href="https://pubeurope.com/tags/TiagoDaRochaMatos" class="mention hashtag" rel="nofollow noopener" target="_blank">#TiagoDaRochaMatos</a> <a href="https://pubeurope.com/tags/VitorFurtadoSousa" class="mention hashtag" rel="nofollow noopener" target="_blank">#VitorFurtadoSousa</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>.

Recent searches

Search options

Administered by:

Server stats: