Mathstodon

nilixstill out here, i am open for <a class="mention u-url" href="https://cafe.nilfm.cc/o/freelance" rel="nofollow noopener noreferrer" target="_blank">#freelance</a> work! <a class="mention u-url" href="https://cafe.nilfm.cc/o/webdev" rel="nofollow noopener noreferrer" target="_blank">#webdev</a>, <a class="mention u-url" href="https://cafe.nilfm.cc/o/systemsprogramming" rel="nofollow noopener noreferrer" target="_blank">#systemsProgramming</a>, <a class="mention u-url" href="https://cafe.nilfm.cc/o/ui" rel="nofollow noopener noreferrer" target="_blank">#UI</a>, whatever! my studio: <a class="mention u-url" href="https://lightcrystal.systems" rel="nofollow noopener noreferrer" target="_blank">https://lightcrystal.systems</a> code forge: <a class="mention u-url" href="https://forge.lightcrystal.systems/nilix" rel="nofollow noopener noreferrer" target="_blank">https://forge.lightcrystal.systems/nilix</a> my personal space: <a class="mention u-url" href="https://nilfm.cc" rel="nofollow noopener noreferrer" target="_blank">https://nilfm.cc</a> lets connect! <a class="mention u-url" href="https://cafe.nilfm.cc/o/fedihire" rel="nofollow noopener noreferrer" target="_blank">#fediHire</a>

रञ्जित (Ranjit Mathew)Nice, but hard to follow properly if you don’t already know <a href="https://mastodon.social/tags/Jai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Jai</a>:“Four Years Of Jai” [2024], Smári McCarthy (<a href="https://smarimccarthy.is/posts/2024-12-02-four-years-of-jai/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://smarimccarthy.is/posts/2024-12-02-four-years-of-jai/</a>).Via Lobsters: <a href="https://lobste.rs/s/ipvyhu/four_years_jai" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://lobste.rs/s/ipvyhu/four_years_jai</a>On HN: <a href="https://news.ycombinator.com/item?id=43699564" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://news.ycombinator.com/item?id=43699564</a><a href="https://mastodon.social/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Programming</a> <a href="https://mastodon.social/tags/PLDI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PLDI</a> <a href="https://mastodon.social/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProgrammingLanguages</a> <a href="https://mastodon.social/tags/SystemsProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SystemsProgramming</a>

CycloneWith a significant number of CVEs stemming from memory safety issues in C systems programming, what is the best path forward?<a href="https://infosec.exchange/tags/memorysafety" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#memorysafety</a> <a href="https://infosec.exchange/tags/systemsprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#systemsprogramming</a> <a href="https://infosec.exchange/tags/rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#rust</a> <a href="https://infosec.exchange/tags/zig" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#zig</a> <a href="https://infosec.exchange/tags/c" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#c</a>

रञ्जित (Ranjit Mathew)Nice:“The Little Book About OS Development”, Erik Helin & Adam Renberg (<a href="https://littleosbook.github.io/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://littleosbook.github.io/</a>).Via HN: <a href="https://news.ycombinator.com/item?id=43440473" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://news.ycombinator.com/item?id=43440473</a>On Lobsters: <a href="https://lobste.rs/s/u71ra1/little_book_about_os_development" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://lobste.rs/s/u71ra1/little_book_about_os_development</a><a href="https://mastodon.social/tags/OS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OS</a> <a href="https://mastodon.social/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Programming</a> <a href="https://mastodon.social/tags/OSDev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OSDev</a> <a href="https://mastodon.social/tags/SystemsProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SystemsProgramming</a> <a href="https://mastodon.social/tags/OperatingSystems" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OperatingSystems</a>

रञ्जित (Ranjit Mathew)Great:“An Epic Treatise On Error Models For Systems Programming Languages”, Varun Gandhi (<a href="https://typesanitizer.com/blog/errors.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://typesanitizer.com/blog/errors.html</a>).Via HN: <a href="https://news.ycombinator.com/item?id=43297574" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://news.ycombinator.com/item?id=43297574</a>On Lobsters: <a href="https://lobste.rs/s/az2qlz/epic_treatise_on_error_models_for_systems" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://lobste.rs/s/az2qlz/epic_treatise_on_error_models_for_systems</a><a href="https://mastodon.social/tags/Errors" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Errors</a> <a href="https://mastodon.social/tags/Exceptions" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Exceptions</a> <a href="https://mastodon.social/tags/ErrorHandling" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ErrorHandling</a> <a href="https://mastodon.social/tags/SystemsProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SystemsProgramming</a> <a href="https://mastodon.social/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Programming</a> <a href="https://mastodon.social/tags/PLDI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PLDI</a>

LavX NewsRevolutionizing Rust: The Emergence of c-ward as a libc ImplementationThe Rust programming community has a new player in the libc space with c-ward, a fresh implementation designed to bridge the gap between C and Rust. This innovative library not only enhances compatibi...<a href="https://news.lavx.hu/article/revolutionizing-rust-the-emergence-of-c-ward-as-a-libc-implementation" rel="nofollow noopener noreferrer" target="_blank">https://news.lavx.hu/article/revolutionizing-rust-the-emergence-of-c-ward-as-a-libc-implementation</a><a href="https://mastodon.cloud/tags/news" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#news</a> <a href="https://mastodon.cloud/tags/tech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#tech</a> <a href="https://mastodon.cloud/tags/RustLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RustLang</a> <a href="https://mastodon.cloud/tags/SystemsProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SystemsProgramming</a> <a href="https://mastodon.cloud/tags/libc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#libc</a>

devsimsekJust published a new blog comparing Rust and Go from my perspective.After months of working with both, I've found that Go feels like it was designed to be learned in a weekend, while Rust demands your respect and attention.Which would you choose to learn first?Check out my full thoughts here: **<a href="https://smsk.dev/2025/03/16/rust-vs-go-a-tale-of-two-systems-languages/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://smsk.dev/2025/03/16/rust-vs-go-a-tale-of-two-systems-languages/</a>**<a href="https://universeodon.com/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rust</a> <a href="https://universeodon.com/tags/Go" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Go</a> <a href="https://universeodon.com/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Programming</a> <a href="https://universeodon.com/tags/SystemsProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SystemsProgramming</a> <a href="https://universeodon.com/tags/WebDev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#WebDev</a>

Hacker NewsAn epic treatise on error models for systems programming languages — <a href="https://typesanitizer.com/blog/errors.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://typesanitizer.com/blog/errors.html</a> <a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#HackerNews</a> <a href="https://mastodon.social/tags/errorModels" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#errorModels</a> <a href="https://mastodon.social/tags/systemsProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#systemsProgramming</a> <a href="https://mastodon.social/tags/languages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#languages</a> <a href="https://mastodon.social/tags/techDiscussion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#techDiscussion</a> <a href="https://mastodon.social/tags/programmingInsights" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programmingInsights</a>

Paul KeenGreg KH makes a strong case for Rust in Linux kernel. Memory safety without C++ baggage is a game changer.<a href="https://ruby.social/tags/Linux" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Linux</a> <a href="https://ruby.social/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rust</a> <a href="https://ruby.social/tags/SystemsProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SystemsProgramming</a> <a href="https://lore.kernel.org/rust-for-linux/2025021954-flaccid-pucker-f7d9@gregkh/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://lore.kernel.org/rust-for-linux/2025021954-flaccid-pucker-f7d9@gregkh/</a>

LavX NewsZig: The Emerging Language for Systems Programming Takes a Leap ForwardThe Zig programming language is gaining traction among developers for its focus on performance and safety, offering a compelling alternative to established languages like C and Rust. With its latest u...<a href="https://news.lavx.hu/article/zig-the-emerging-language-for-systems-programming-takes-a-leap-forward" rel="nofollow noopener noreferrer" target="_blank">https://news.lavx.hu/article/zig-the-emerging-language-for-systems-programming-takes-a-leap-forward</a><a href="https://mastodon.cloud/tags/news" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#news</a> <a href="https://mastodon.cloud/tags/tech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#tech</a> <a href="https://mastodon.cloud/tags/MemoryManagement" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MemoryManagement</a> <a href="https://mastodon.cloud/tags/ZigLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ZigLang</a> <a href="https://mastodon.cloud/tags/SystemsProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SystemsProgramming</a>

EventHelix.com 🦀🚀 Rust Under the Hood hardcover edition is now available! 📚Dive deep into Rust internals through x86-64 assembly, exploring memory management, compiler optimizations, async state machines, and more. Get your copy today: <a href="https://www.amazon.com/dp/B0DS9M8S13" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.amazon.com/dp/B0DS9M8S13</a> 🔧 Learn how enums, structs, Vtables, SIMD, and async executors work at any level. 🦀💻 <a href="https://mastodon.world/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rust</a> <a href="https://mastodon.world/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Programming</a> <a href="https://mastodon.world/tags/RustLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RustLang</a> <a href="https://mastodon.world/tags/SystemsProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SystemsProgramming</a> <a href="https://mastodon.world/tags/Books" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Books</a> <a href="https://mastodon.world/tags/LearningRust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LearningRust</a>

LavX NewsZig vs Rust: Navigating the Future of Systems ProgrammingIn the evolving landscape of systems programming, Zig and Rust emerge as two compelling contenders, each with unique philosophies and strengths. This article delves into their distinctive features, us...<a href="https://news.lavx.hu/article/zig-vs-rust-navigating-the-future-of-systems-programming" rel="nofollow noopener noreferrer" target="_blank">https://news.lavx.hu/article/zig-vs-rust-navigating-the-future-of-systems-programming</a><a href="https://mastodon.cloud/tags/news" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#news</a> <a href="https://mastodon.cloud/tags/tech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#tech</a> <a href="https://mastodon.cloud/tags/RustLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RustLang</a> <a href="https://mastodon.cloud/tags/ZigLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ZigLang</a> <a href="https://mastodon.cloud/tags/SystemsProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SystemsProgramming</a>

rustmeetHey everyone! 👋 Want to help build something awesome? We're looking for contributors to join the RUSTMEET 2025 team! Whether you're a Rust enthusiast or just curious about the language, we'd love to have you on board. We'll share our knowledge and provide guidance along the way!Interested? Fill out our form here: <a href="https://forms.gle/kHcKuNTPy4YHYKHb7" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://forms.gle/kHcKuNTPy4YHYKHb7</a><a href="https://c.im/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rust</a> <a href="https://c.im/tags/RustLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RustLang</a> <a href="https://c.im/tags/OpenSource" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OpenSource</a> <a href="https://c.im/tags/SystemsProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SystemsProgramming</a>

रञ्जित (Ranjit Mathew)Interesting:"What Every Systems Programmer Should Know About Concurrency" [PDF, 2020], Matt Kline (<a href="https://assets.bitbashing.io/papers/concurrency-primer.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://assets.bitbashing.io/papers/concurrency-primer.pdf</a>).Via HN: <a href="https://news.ycombinator.com/item?id=42403744" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://news.ycombinator.com/item?id=42403744</a>On Lobsters: <a href="https://lobste.rs/s/ygnu6z/what_every_systems_programmer_should" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://lobste.rs/s/ygnu6z/what_every_systems_programmer_should</a><a href="https://mastodon.social/tags/SystemsProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SystemsProgramming</a> <a href="https://mastodon.social/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Programming</a> <a href="https://mastodon.social/tags/Concurrency" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Concurrency</a> <a href="https://mastodon.social/tags/Threads" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Threads</a> <a href="https://mastodon.social/tags/Multithreading" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Multithreading</a>

रञ्जित (Ranjit Mathew)A <a href="https://mastodon.social/tags/video" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#video</a> of a <a href="https://mastodon.social/tags/TechTalk" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TechTalk</a> on the same topic by the same author:“SEI' 24] Modern Systems Programming: Rust And Zig - Aleksey Kladov” [2024], CeSIUM (<a href="https://youtu.be/4aLy6qjhHeo" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://youtu.be/4aLy6qjhHeo</a>).<a href="https://mastodon.social/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rust</a> <a href="https://mastodon.social/tags/Zig" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Zig</a> <a href="https://mastodon.social/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Programming</a> <a href="https://mastodon.social/tags/SystemsProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SystemsProgramming</a> <a href="https://mastodon.social/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProgrammingLanguages</a>

रञ्जित (Ranjit Mathew)“Zig And Rust” [2023], Aleksey Kladov (<a href="https://matklad.github.io/2023/03/26/zig-and-rust.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://matklad.github.io/2023/03/26/zig-and-rust.html</a>).On HN: <a href="https://news.ycombinator.com/item?id=35325556" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://news.ycombinator.com/item?id=35325556</a>On Lobsters: <a href="https://lobste.rs/s/ir5psh/zig_rust" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://lobste.rs/s/ir5psh/zig_rust</a>On /r/rust: <a href="https://old.reddit.com/r/rust/comments/123jpry/blog_post_zig_and_rust/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://old.reddit.com/r/rust/comments/123jpry/blog_post_zig_and_rust/</a>On /r/Zig: <a href="https://old.reddit.com/r/Zig/comments/123jpia/blog_post_zig_and_rust/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://old.reddit.com/r/Zig/comments/123jpia/blog_post_zig_and_rust/</a><a href="https://mastodon.social/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Programming</a> <a href="https://mastodon.social/tags/SystemsProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SystemsProgramming</a> <a href="https://mastodon.social/tags/Zig" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Zig</a> <a href="https://mastodon.social/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rust</a>

Nix Your Bugs & Rust Your EnginesRust Your Engines #5 January 14, 2025, 6:00:00 PM CET - GMT+1 - Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik, 68159, Mannheim, Deutschland <a href="https://rheinneckar.events/events/053a956d-88f3-4b85-85b6-f1c56c989cb9" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://rheinneckar.events/events/053a956d-88f3-4b85-85b6-f1c56c989cb9</a>

rustmeetExciting news for Rust folks! The first-ever Polish Rust conference is dropping in Gliwice this March 15-16! Rustmeet 2025 is now accepting talk proposals 📣 (until Jan 10) - whether you're into low-level wizardry, system hacks, or cool Rust projects. Free ticket + accommodation if your talk gets picked! Come hang with fellow Rustaceans and level up your Rust game! Details: rustmeet.eu <a href="https://c.im/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rust</a> <a href="https://c.im/tags/RustLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RustLang</a> <a href="https://c.im/tags/OpenSource" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OpenSource</a> <a href="https://c.im/tags/SystemsProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SystemsProgramming</a>

रञ्जित (Ranjit Mathew)The <a href="https://mastodon.social/tags/Zig" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Zig</a> guys wade into the <a href="https://mastodon.social/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rust</a> in the <a href="https://mastodon.social/tags/Linux" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Linux</a> kernel brouhaha:“RAII And The Rust/Linux Drama”, Loris Cro (<a href="https://kristoff.it/blog/raii-rust-linux/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://kristoff.it/blog/raii-rust-linux/</a>).On HN: <a href="https://news.ycombinator.com/item?id=42291417" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://news.ycombinator.com/item?id=42291417</a>On Lobsters (where Asahi Lina responds): <a href="https://lobste.rs/s/hxerht/raii_rust_linux_drama" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://lobste.rs/s/hxerht/raii_rust_linux_drama</a><a href="https://mastodon.social/tags/RAII" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RAII</a> <a href="https://mastodon.social/tags/SystemsProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SystemsProgramming</a> <a href="https://mastodon.social/tags/OSDev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OSDev</a>

HoldMyType<a href="https://mathstodon.xyz/tags/systemsprogramming" class="mention hashtag" rel="tag">#systemsprogramming</a> in a domain a set of solved situations keeps recurring in different patterns and work is reduced to identify a new pattern and relate the new workflow to it <a href="https://mathstodon.xyz/tags/physics" class="mention hashtag" rel="tag">#physics</a> with a set of theories In some laws, with the same assumptions re held, one need deduce the consequences of the changes in the situation and reformulate accordingly. A new situation can violate some assumptions, and it can seem entirely unrelated to previous work flow in a solution. Application from which need to be modified with some <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="tag">#math</a> model like binomial theorem, which is very different from a patch in <a href="https://mathstodon.xyz/tags/git" class="mention hashtag" rel="tag">#git</a> So the latter is less empiricist, numerically, than the former. But yes, trickier numerical can often be seen as more than one simpler numerical (s) Theoretically, however, the latter is falsifiable, whereas the former simply depends on abstractions. So yes, if there's a fun part in <a href="https://mathstodon.xyz/tags/programming" class="mention hashtag" rel="tag">#programming</a>, it's abstraction In your face <a href="https://mathstodon.xyz/tags/ai" class="mention hashtag" rel="tag">#ai</a> Written with <a href="https://mathstodon.xyz/tags/languagetool" class="mention hashtag" rel="tag">#languagetool</a> AI based grammar checker

Recent searches

Search options

Administered by:

Server stats:

#systemsprogramming