Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mastodon.ie is one of the many independent Mastodon servers you can use to participate in the fediverse.
Irish Mastodon - run from Ireland, we welcome all who respect the community rules and members.

Administered by:

Server stats:

1.8K
active users

mastodon.ie: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#programminglanguages

0 posts0 participants0 posts today
Dr. Anna Latour<p>I really enjoyed <span class="h-card" translate="no"><a href="https://mastodon.social/@Felienne" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Felienne</span></a></span>'s narrative about narratives about Computer Science yesterday. She applied some of the ideas presented in the Glaciers, Gender and Science paper (<a href="https://journals.sagepub.com/doi/abs/10.1177/0309132515623368" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">journals.sagepub.com/doi/abs/1</span><span class="invisible">0.1177/0309132515623368</span></a>) to her experiences in the Computer Science / Programming Languages communities. She's also starting a reading club to brainstorm the meaning (and the name?) of the field of "Computer Science".</p><p><a href="https://mathstodon.xyz/tags/ICTOpen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ICTOpen</span></a><br><a href="https://mathstodon.xyz/tags/ICTOpen2025" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ICTOpen2025</span></a><br><a href="https://mathstodon.xyz/tags/NWO" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NWO</span></a><br><a href="https://mathstodon.xyz/tags/Conference" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Conference</span></a><br><a href="https://mathstodon.xyz/tags/AcademicMastodon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AcademicMastodon</span></a><br><a href="https://mathstodon.xyz/tags/AcademicChatter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AcademicChatter</span></a><br><a href="https://mathstodon.xyz/tags/ICT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ICT</span></a><br><a href="https://mathstodon.xyz/tags/Research" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Research</span></a><br><a href="https://mathstodon.xyz/tags/Networking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Networking</span></a><br><a href="https://mathstodon.xyz/tags/Utrecht" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Utrecht</span></a> <br><a href="https://mathstodon.xyz/tags/Jaarbeurs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Jaarbeurs</span></a><br><a href="https://mathstodon.xyz/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ComputerScience</span></a> <br><a href="https://mathstodon.xyz/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgrammingLanguages</span></a><br><a href="https://mathstodon.xyz/tags/WomenInComputing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>WomenInComputing</span></a> <br><a href="https://mathstodon.xyz/tags/WomenInSTEM" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>WomenInSTEM</span></a> <br><a href="https://mathstodon.xyz/tags/Glaciology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Glaciology</span></a></p>
Lisp & Scheme Weekly<p>I made a programming language inspired by lisp</p><p><a href="https://github.com/realdanvanth/telos/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/realdanvanth/telos/</span><span class="invisible"></span></a></p><p>Discussions: <a href="https://discu.eu/q/https://github.com/realdanvanth/telos/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://github.com/</span><span class="invisible">realdanvanth/telos/</span></a></p><p><a href="https://mastodon.social/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lisp</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programminglanguages</span></a></p>
Haskell Weekly<p>"Super Haskell": an introduction to Agda by André Muricy</p><p><a href="https://adabeat.com/fps/super-haskell-an-introduction-to-agda-by-andre-muricy/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">adabeat.com/fps/super-haskell-</span><span class="invisible">an-introduction-to-agda-by-andre-muricy/</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://adabeat.com/fps/super-haskell-an-introduction-to-agda-by-andre-muricy/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://adabeat.com</span><span class="invisible">/fps/super-haskell-an-introduction-to-agda-by-andre-muricy/</span></a></p><p><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programminglanguages</span></a></p>
vascorsd<p>Global rename and find reference |<br>Gleam v1.10.0 released</p><p><a href="https://gleam.run/news/global-rename-and-find-references/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">gleam.run/news/global-rename-a</span><span class="invisible">nd-find-references/</span></a></p><p><a href="https://mastodon.social/tags/gleam" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gleam</span></a> <a href="https://mastodon.social/tags/gleamlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gleamlang</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgrammingLanguages</span></a></p>
Dave Rahardja<p>At some point, type safety is indistinguishable from template metaprogramming.</p><p><a href="https://sfba.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://sfba.social/tags/programmingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programmingLanguages</span></a></p>
Compsci Weekly<p>[R] Image classification by evolving bytecode</p><p><a href="https://zyme.dev/blog/1_image_classification_by_evolving_bytecode" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">zyme.dev/blog/1_image_classifi</span><span class="invisible">cation_by_evolving_bytecode</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://zyme.dev/blog/1_image_classification_by_evolving_bytecode" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://zyme.dev/bl</span><span class="invisible">og/1_image_classification_by_evolving_bytecode</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/machinelearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>machinelearning</span></a> <a href="https://mastodon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programminglanguages</span></a></p>
Jesper Agdakx 🔸With the NWO XL consortium on Cyclic Structures in Programs and Proofs, we are looking for 6 highly motivated and talented PhD students starting in September (with some flexibility).<br><br>The topics range from Modal logic, proof theory, and coalgebras to Programming languages, concurrency, and type systems and Proof assistants (#Agda, <a class="hashtag" href="https://agda.club/tag/rocq" rel="nofollow noopener noreferrer" target="_blank">#Rocq</a>).<br><br>Information about the positions and application procedure can be found on the website:<br><br><a href="https://cyclic-structures.gitlab.io/vacancies/" rel="nofollow noopener noreferrer" target="_blank">cyclic-structures.gitlab.io/vacancies/</a><br><br>Please forward to any strong candidates you know!<br><br><a class="hashtag" href="https://agda.club/tag/typetheory" rel="nofollow noopener noreferrer" target="_blank">#TypeTheory</a> <a class="hashtag" href="https://agda.club/tag/modallogic" rel="nofollow noopener noreferrer" target="_blank">#ModalLogic</a> <a class="hashtag" href="https://agda.club/tag/concurrency" rel="nofollow noopener noreferrer" target="_blank">#Concurrency</a> <a class="hashtag" href="https://agda.club/tag/programminglanguages" rel="nofollow noopener noreferrer" target="_blank">#ProgrammingLanguages</a> <a class="hashtag" href="https://agda.club/tag/typesystems" rel="nofollow noopener noreferrer" target="_blank">#TypeSystems</a> <a class="hashtag" href="https://agda.club/tag/proofassistants" rel="nofollow noopener noreferrer" target="_blank">#ProofAssistants</a> <a class="hashtag" href="https://agda.club/tag/cyclicstructures" rel="nofollow noopener noreferrer" target="_blank">#CyclicStructures</a> <a class="hashtag" href="https://agda.club/tag/phd" rel="nofollow noopener noreferrer" target="_blank">#PhD</a> <a class="hashtag" href="https://agda.club/tag/netherlands" rel="nofollow noopener noreferrer" target="_blank">#Netherlands</a> <a class="hashtag" href="https://agda.club/tag/universityofgroningen" rel="nofollow noopener noreferrer" target="_blank">#UniversityOfGroningen</a> <a class="hashtag" href="https://agda.club/tag/leidenuniversity" rel="nofollow noopener noreferrer" target="_blank">#LeidenUniversity</a> <a class="hashtag" href="https://agda.club/tag/universityoftwente" rel="nofollow noopener noreferrer" target="_blank">#UniversityOfTwente</a> <a class="hashtag" href="https://agda.club/tag/tudelft" rel="nofollow noopener noreferrer" target="_blank">#TUDelft</a> <a class="hashtag" href="https://agda.club/tag/radbouduniversity" rel="nofollow noopener noreferrer" target="_blank">#RadboudUniversity</a>
Programming Weekly<p>Show HN: The C3 programming language (C alternative language)</p><p><a href="https://github.com/c3lang/c3c" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/c3lang/c3c</span><span class="invisible"></span></a></p><p>Discussions: <a href="https://discu.eu/q/https://github.com/c3lang/c3c" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://github.com/</span><span class="invisible">c3lang/c3c</span></a></p><p><a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programminglanguages</span></a></p>
vascorsd<p>This seems a very cool and interesting evolution for a stable and productive language, focused on real needs in the industry. The focus on making sure it all integrates well and works with legacy code is astounding. Very nice. Ocaml future seems great.</p><p>--</p><p>Making OCaml Safe for Performance Engineering | Lobsters</p><p><a href="https://lobste.rs/s/ujvpdn/making_ocaml_safe_for_performance" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">lobste.rs/s/ujvpdn/making_ocam</span><span class="invisible">l_safe_for_performance</span></a></p><p><a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a> <a href="https://mastodon.social/tags/ocaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ocaml</span></a> <a href="https://mastodon.social/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgrammingLanguages</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a></p>
Felix 🇺🇦🚴‍♂️🇨🇦🇬🇱🇩🇰🇲🇽🇵🇦 🇪🇺<p>Can jank beat Clojure's error reporting?</p><p><a href="https://jank-lang.org/blog/2025-03-28-error-reporting/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jank-lang.org/blog/2025-03-28-</span><span class="invisible">error-reporting/</span></a></p><p><a href="https://norden.social/tags/clojure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>clojure</span></a> <a href="https://norden.social/tags/jank" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>jank</span></a> <a href="https://norden.social/tags/compiler" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compiler</span></a> <a href="https://norden.social/tags/programmingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programmingLanguages</span></a></p>
Haskell Weekly<p>Function Application Needs to Grow a Spine Already</p><p><a href="https://thunderseethe.dev/posts/function-application-grow-a-spine/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">thunderseethe.dev/posts/functi</span><span class="invisible">on-application-grow-a-spine/</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://thunderseethe.dev/posts/function-application-grow-a-spine/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://thunderseet</span><span class="invisible">he.dev/posts/function-application-grow-a-spine/</span></a></p><p><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programminglanguages</span></a></p>
Lisp & Scheme Weekly<p>Typechecking Generalized Algebraic Datatypes in Clojure</p><p><a href="https://moea.github.io/playground/clojure/gadt/static/typing/2025/03/29/gadt.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">moea.github.io/playground/cloj</span><span class="invisible">ure/gadt/static/typing/2025/03/29/gadt.html</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://moea.github.io/playground/clojure/gadt/static/typing/2025/03/29/gadt.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://moea.github</span><span class="invisible">.io/playground/clojure/gadt/static/typing/2025/03/29/gadt.html</span></a></p><p><a href="https://mastodon.social/tags/clojure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>clojure</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programminglanguages</span></a></p>
Haskell Weekly<p>Scottish Programming Languages and Verification Summer School 2025</p><p><a href="https://spli.scot/splv/2025-edinburgh/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">spli.scot/splv/2025-edinburgh/</span><span class="invisible"></span></a></p><p>Discussions: <a href="https://discu.eu/q/https://spli.scot/splv/2025-edinburgh/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://spli.scot/s</span><span class="invisible">plv/2025-edinburgh/</span></a></p><p><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programminglanguages</span></a></p>
Kevin Karhan :verified:<p><span class="h-card" translate="no"><a href="https://java.duke.social/users/naomi" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>naomi</span></a></span> <a href="https://infosec.space/tags/JVM" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>JVM</span></a> in <a href="https://infosec.space/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Rust</span></a>, <em>when</em>?</p><p><a href="https://infosec.space/tags/Java" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Java</span></a> <a href="https://infosec.space/tags/MemirySafe" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MemirySafe</span></a> <a href="https://infosec.space/tags/MemorySafety" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MemorySafety</span></a> <a href="https://infosec.space/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgrammingLanguages</span></a> <a href="https://infosec.space/tags/Meme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Meme</span></a> <a href="https://infosec.space/tags/Memes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Memes</span></a></p>
Compsci Weekly<p>SpecTec has been adopted</p><p><a href="https://webassembly.org/news/2025-03-27-spectec/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">webassembly.org/news/2025-03-2</span><span class="invisible">7-spectec/</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://webassembly.org/news/2025-03-27-spectec/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://webassembly</span><span class="invisible">.org/news/2025-03-27-spectec/</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programminglanguages</span></a> <a href="https://mastodon.social/tags/webassembly" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>webassembly</span></a></p>
vascorsd<p>SpecTec has been adopted - WebAssembly</p><p>«...huge leap forward, because the practical state of language specifications is basically stuck in the 1960s: most language standards, even new ones, are still defined by some basic grammar notation for their syntax (and sometimes not even that), while their semantics is given by a combination of pretty prose, hidden assumptions, and wishful thinking.»</p><p><a href="https://webassembly.org/news/2025-03-27-spectec/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">webassembly.org/news/2025-03-2</span><span class="invisible">7-spectec/</span></a></p><p><a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a> <a href="https://mastodon.social/tags/wasm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>wasm</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgrammingLanguages</span></a></p>
Compsci Weekly<p>Spade, a hardware description language inspired by modern software languages</p><p><a href="https://spade-lang.org/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">spade-lang.org/</span><span class="invisible"></span></a></p><p>Discussions: <a href="https://discu.eu/q/https://spade-lang.org/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://spade-lang.</span><span class="invisible">org/</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/hardware" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hardware</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a> <a href="https://mastodon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programminglanguages</span></a></p>
haecksen<p><a href="https://chaos.social/tags/DigitalWork" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DigitalWork</span></a>, <a href="https://chaos.social/tags/Education" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Education</span></a>, <a href="https://chaos.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a>, <a href="https://chaos.social/tags/Skillsharing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Skillsharing</span></a>, <a href="https://chaos.social/tags/Mobility" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mobility</span></a>, <a href="https://chaos.social/tags/Bioengineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Bioengineering</span></a> (e.g. resistant seeds, meat alternatives), <a href="https://chaos.social/tags/Quantumcomputing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Quantumcomputing</span></a>, <a href="https://chaos.social/tags/Encryption" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Encryption</span></a>, <a href="https://chaos.social/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgrammingLanguages</span></a>.</p><p>Technology has significantly transformed our society, will it continue so?<br>How could and should technology shape our future?</p>
Andy Balaam<p><strong>Mini-rust in Rust 020: Gaps in our type checker</strong></p> <p><a href="https://video.infosec.exchange/videos/watch/d53469bf-a12b-4c0a-a48e-088beb61a5f4" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">video.infosec.exchange/videos/</span><span class="invisible">watch/d53469bf-a12b-4c0a-a48e-088beb61a5f4</span></a></p>
Golang Weekly<p>Faster interpreters in Go: Catching up with C++</p><p><a href="https://planetscale.com/blog/faster-interpreters-in-go-catching-up-with-cpp" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">planetscale.com/blog/faster-in</span><span class="invisible">terpreters-in-go-catching-up-with-cpp</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://planetscale.com/blog/faster-interpreters-in-go-catching-up-with-cpp" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://planetscale</span><span class="invisible">.com/blog/faster-interpreters-in-go-catching-up-with-cpp</span></a></p><p><a href="https://mastodon.social/tags/cpp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cpp</span></a> <a href="https://mastodon.social/tags/databases" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>databases</span></a> <a href="https://mastodon.social/tags/golang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>golang</span></a> <a href="https://mastodon.social/tags/performance" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>performance</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programminglanguages</span></a></p>
ExploreLive feeds
About