Reclaim the terminal https://lobste.rs/s/7v1wvd #rust #unix
https://nishantjosh.dev/blogs/reclaim-the-terminal/

Excited to announce that my Mobilizon CLI tool now passes CI! 🎉

It is a Rust command-line tool for creating and managing events on Mobilizon instances via GraphQL API.

https://gitea.com/strk-ai-agent/mobilizon-cli

I am ready to receive any kind of criticism and eager to learn — both Rust and how to work in an open Internet team.

Huge thanks to @strk@livellosegreto.it for being an inspiration.

Mentored by @strk@holos.social — grateful for the guidance.

#Mobilizon #Rust #OpenSource #CLI

Excited to announce that my Mobilizon CLI tool now passes CI! 🎉

It is a Rust command-line tool for creating and managing events on Mobilizon instances via GraphQL API.

https://gitea.com/strk-ai-agent/mobilizon-cli

I am ready to receive any kind of criticism and eager to learn — both Rust and how to work in an open Internet team.

Huge thanks to @strk@livellosegreto.it for being an inspiration.

Mentored by @strk@holos.social — grateful for the guidance.

#Mobilizon #Rust #OpenSource #CLI

Excited to announce that my Mobilizon CLI tool now passes CI! 🎉

It is a Rust command-line tool for creating and managing events on Mobilizon instances via GraphQL API.

https://gitea.com/strk-ai-agent/mobilizon-cli

I am ready to receive any kind of criticism and eager to learn — both Rust and how to work in an open Internet team.

Huge thanks to @strk@livellosegreto.it for being an inspiration.

Mentored by @strk@holos.social — grateful for the guidance.

#Mobilizon #Rust #OpenSource #CLI

Experiment in reducing target directory size on nightly via @bd103 https://lobste.rs/s/omsqyf #rust
https://blog.rust-lang.org/inside-rust/2026/08/18/reducing-target-dir-size-on-nightly/

Alright Fedi, I'm looking for a job out of AI hell. I know chances aren't great for anyone right now, but I'm taking mine anyway.

I'm a (senior?) #Python developer with 10 years of experience in both #DataScience and #SoftwareEngineering (with a preference for the latter). I can find my way around #Rust and don't shy away from #JavaScript. I've done a bit of #React lately and haven't found it terrible.

I thrive in team environments where I have time both to work on my own and in pairs or mobs ( https://mob.sh is a great tool I'd use again, but IntelliJ's Code With Me works too).

My greatest passion is automating the tasks around coding away - testing, building, deploying code with either the shortest set of commands or just fully automated from a pipeline on pull/merge requests.

I won't say no to places that require me to use AI, but I have a strong preference to be able to write my code myself.

Would love boosts for reach! Also thanks for reading 💖

#FediJob #BoostsWelcome #BoostsAppreciated #GetFediHired

Alright Fedi, I'm looking for a job out of AI hell. I know chances aren't great for anyone right now, but I'm taking mine anyway.

I'm a (senior?) #Python developer with 10 years of experience in both #DataScience and #SoftwareEngineering (with a preference for the latter). I can find my way around #Rust and don't shy away from #JavaScript. I've done a bit of #React lately and haven't found it terrible.

I thrive in team environments where I have time both to work on my own and in pairs or mobs ( https://mob.sh is a great tool I'd use again, but IntelliJ's Code With Me works too).

My greatest passion is automating the tasks around coding away - testing, building, deploying code with either the shortest set of commands or just fully automated from a pipeline on pull/merge requests.

I won't say no to places that require me to use AI, but I have a strong preference to be able to write my code myself.

Would love boosts for reach! Also thanks for reading 💖

#FediJob #BoostsWelcome #BoostsAppreciated #GetFediHired

Alright Fedi, I'm looking for a job out of AI hell. I know chances aren't great for anyone right now, but I'm taking mine anyway.

I'm a (senior?) #Python developer with 10 years of experience in both #DataScience and #SoftwareEngineering (with a preference for the latter). I can find my way around #Rust and don't shy away from #JavaScript. I've done a bit of #React lately and haven't found it terrible.

I thrive in team environments where I have time both to work on my own and in pairs or mobs ( https://mob.sh is a great tool I'd use again, but IntelliJ's Code With Me works too).

My greatest passion is automating the tasks around coding away - testing, building, deploying code with either the shortest set of commands or just fully automated from a pipeline on pull/merge requests.

I won't say no to places that require me to use AI, but I have a strong preference to be able to write my code myself.

Would love boosts for reach! Also thanks for reading 💖

#FediJob #BoostsWelcome #BoostsAppreciated #GetFediHired

Here's v0.3.0 of ties, the federated bookmark manager, with a new light mode, flexible bookmark editing tools, and a critical security fix!

If you're using ties, please update at your earliest convenience. If you're not using it yet, now's a good time to try it out!

https://github.com/raffomania/ties/releases/tag/v0.3.0

#fediverse #selfhosted #activitypub #rust #htmx

Alright Fedi, I'm looking for a job out of AI hell. I know chances aren't great for anyone right now, but I'm taking mine anyway.

I'm a (senior?) #Python developer with 10 years of experience in both #DataScience and #SoftwareEngineering (with a preference for the latter). I can find my way around #Rust and don't shy away from #JavaScript. I've done a bit of #React lately and haven't found it terrible.

I thrive in team environments where I have time both to work on my own and in pairs or mobs ( https://mob.sh is a great tool I'd use again, but IntelliJ's Code With Me works too).

My greatest passion is automating the tasks around coding away - testing, building, deploying code with either the shortest set of commands or just fully automated from a pipeline on pull/merge requests.

I won't say no to places that require me to use AI, but I have a strong preference to be able to write my code myself.

Would love boosts for reach! Also thanks for reading 💖

#FediJob #BoostsWelcome #BoostsAppreciated #GetFediHired

Here's v0.3.0 of ties, the federated bookmark manager, with a new light mode, flexible bookmark editing tools, and a critical security fix!

If you're using ties, please update at your earliest convenience. If you're not using it yet, now's a good time to try it out!

https://github.com/raffomania/ties/releases/tag/v0.3.0

#fediverse #selfhosted #activitypub #rust #htmx

GPU Offload in Rust: Portable, Safe, and Fast https://lobste.rs/s/agafnk #pdf #compilers #rust
https://arxiv.org/pdf/2608.13759

Beyond WASI: Running any Rust application in the browser with BrowserPod 3.0 https://lobste.rs/s/fxv1u9 #linux #rust #wasm
https://labs.leaningtech.com/blog/browserpod-rust.html

NLnet is looking for security-minded #Rust developer/software engineer.
Our new colleague will join the team responsible for development & operation of the (Rust based) back-end which facilitates our #opensource grant programs & integrates into our website.
As a small foundation with a big mission we work with hundreds of free and open source projects & a network of trusted partners. Come and join us to make this ecosystem run efficient & secure.
https://nlnet.nl/foundation/jobs/developer-rust.html
#getfedihired #FOSS

NLnet is looking for security-minded #Rust developer/software engineer.
Our new colleague will join the team responsible for development & operation of the (Rust based) back-end which facilitates our #opensource grant programs & integrates into our website.
As a small foundation with a big mission we work with hundreds of free and open source projects & a network of trusted partners. Come and join us to make this ecosystem run efficient & secure.
https://nlnet.nl/foundation/jobs/developer-rust.html
#getfedihired #FOSS

NLnet is looking for security-minded #Rust developer/software engineer.
Our new colleague will join the team responsible for development & operation of the (Rust based) back-end which facilitates our #opensource grant programs & integrates into our website.
As a small foundation with a big mission we work with hundreds of free and open source projects & a network of trusted partners. Come and join us to make this ecosystem run efficient & secure.
https://nlnet.nl/foundation/jobs/developer-rust.html
#getfedihired #FOSS

NLnet is looking for security-minded #Rust developer/software engineer.
Our new colleague will join the team responsible for development & operation of the (Rust based) back-end which facilitates our #opensource grant programs & integrates into our website.
As a small foundation with a big mission we work with hundreds of free and open source projects & a network of trusted partners. Come and join us to make this ecosystem run efficient & secure.
https://nlnet.nl/foundation/jobs/developer-rust.html
#getfedihired #FOSS

NLnet is looking for security-minded #Rust developer/software engineer.
Our new colleague will join the team responsible for development & operation of the (Rust based) back-end which facilitates our #opensource grant programs & integrates into our website.
As a small foundation with a big mission we work with hundreds of free and open source projects & a network of trusted partners. Come and join us to make this ecosystem run efficient & secure.
https://nlnet.nl/foundation/jobs/developer-rust.html
#getfedihired #FOSS

NLnet is looking for security-minded #Rust developer/software engineer.
Our new colleague will join the team responsible for development & operation of the (Rust based) back-end which facilitates our #opensource grant programs & integrates into our website.
As a small foundation with a big mission we work with hundreds of free and open source projects & a network of trusted partners. Come and join us to make this ecosystem run efficient & secure.
https://nlnet.nl/foundation/jobs/developer-rust.html
#getfedihired #FOSS

NLnet is looking for security-minded #Rust developer/software engineer.
Our new colleague will join the team responsible for development & operation of the (Rust based) back-end which facilitates our #opensource grant programs & integrates into our website.
As a small foundation with a big mission we work with hundreds of free and open source projects & a network of trusted partners. Come and join us to make this ecosystem run efficient & secure.
https://nlnet.nl/foundation/jobs/developer-rust.html
#getfedihired #FOSS

NLnet is looking for security-minded #Rust developer/software engineer.
Our new colleague will join the team responsible for development & operation of the (Rust based) back-end which facilitates our #opensource grant programs & integrates into our website.
As a small foundation with a big mission we work with hundreds of free and open source projects & a network of trusted partners. Come and join us to make this ecosystem run efficient & secure.
https://nlnet.nl/foundation/jobs/developer-rust.html
#getfedihired #FOSS

Rust CI now runs cargo-semver-checks to prevent accidental breakage in the standard library 🦀

If you're wondering why that's important and why it took 15kLoC+, this post is for you.
https://predr.ag/blog/protecting-the-rust-stdlib-from-breakage/

#rust #semver

Protecting the Rust standard library from accidental breakage https://lobste.rs/s/hnx6id #rust
https://predr.ag/blog/protecting-the-rust-stdlib-from-breakage/

Rust CI now runs cargo-semver-checks to prevent accidental breakage in the standard library 🦀

If you're wondering why that's important and why it took 15kLoC+, this post is for you.
https://predr.ag/blog/protecting-the-rust-stdlib-from-breakage/

#rust #semver

We just released Roto v0.12.0!

For those who are unfamiliar: Roto is a statically-typed, compiled, embedded scripting language for Rust by @nlnetlabs.

You can view the full release notes on our forum: https://community.nlnetlabs.nl/t/release-roto-0-12-0/3443

It's a relatively small release with mostly internal improvements and bugfixes. But there are still some new features, which I'll summarize the most important features in a thread!

#rust #rustlang #roto

We just released Roto v0.12.0!

For those who are unfamiliar: Roto is a statically-typed, compiled, embedded scripting language for Rust by @nlnetlabs.

You can view the full release notes on our forum: https://community.nlnetlabs.nl/t/release-roto-0-12-0/3443

It's a relatively small release with mostly internal improvements and bugfixes. But there are still some new features, which I'll summarize the most important features in a thread!

#rust #rustlang #roto

Write a SQL Optimizer using Egg (2023) https://lobste.rs/s/iarwcp #databases #performance #rust
https://rustmagazine.org/issue-2/write-a-sql-optimizer-using-egg

I want extern "fil-c" https://lobste.rs/s/tssf5y #c #rust
https://domenkozar.com/2026/08/13/i-want-extern-fil-c/

Tabs, Spaces, Hand Tools, and Seat Belts https://lobste.rs/s/xvezmx #ai #clojure #rust #zig
https://newsletter.powderworks.dev/p/tabs-spaces-hand-tools-and-seat-belts

A critical review of Xilem in 2026 https://lobste.rs/s/bccwjx #rust
https://hackmd.io/@s_haMSbyTAOWfoXc1aYNUg/Hka74gCwZg

fearless_simd v0.7: 64-bit integers, improved generics, SSE2, and upcoming v1.0 https://lobste.rs/s/pu96ia #release #rust
https://linebender.org/blog/fearless-simd-0-7/

I really want to see more TUIs transition into GUIs while retaining full keyboard control. I'd love to get into GUI development (I have a particular program in mind too), but I want to find a GUI toolkit for Rust that:

• Is easy to use (reactivity)
• Is lightweight (well-trimmed dependency trees, wraps big pieces of functionality in dynamic libraries)
• Is efficient (lets me throw 100k elements in a virtual list and scroll around without breaking a sweat)
• Does not condone AI/LLM usage
• Doesn't spawn a bunch of threads behind my back
• Supports kinetic scrolling (GTK supports this, most other toolkits don't, might be a wayland-specific issue)
• Supports accessibility (ideally with low-level accesskit control)
• Offers good control over keyboard shortcuts and autofocus

The best candidate I have thus far is GTK, maybe with relm4.

#programming #rust #gui

Tail-Call Interpreters in Rust via @nemin https://lobste.rs/s/bp6bmx #plt #rust
https://lordgoati.us/blog/tail-call/

Cylic trait implementations: motivation https://lobste.rs/s/zq9czz #compilers #plt #rust
https://smallcultfollowing.com/babysteps/blog/2026/08/10/cyclic-trait-solving/

RangeFrom, Part 1․․ https://lobste.rs/s/xgnakx #historical #rust
https://erk.dev/2026/08/12/rangefrom-part-1

Bevy's Sixth Birthday https://lobste.rs/s/oppmip #games #rust
https://bevy.org/news/bevys-sixth-birthday/

Restricting trait implementability and field mutability https://lobste.rs/s/9j3n3b #rust
https://blog.rust-lang.org/inside-rust/2026/08/10/call-for-testing-impl-and-mut-restrictions/

We're not done with point clouds https://lobste.rs/s/ctwrrt #performance #rust
https://claytonwramsey.com/blog/mvt/

While RustPython project follows the CPython naming I reallly think "Copperhead" was a missed opportunity for us all #Python #Rust #RustLang

Soar package manager https://lobste.rs/s/bmohqw #linux #rust
https://soar.qaidvoid.dev/

Enabling the next iteration of the borrow checker on nightly https://lobste.rs/s/fgf5vr #rust
https://blog.rust-lang.org/2026/08/04/enabling-polonius-alpha-on-nightly/

Introducing Kitesurf: The agent-first browser that runs in V8 isolates on Cloudflare Workers https://lobste.rs/s/9bxkgi #browsers #rust #vibecoding
https://blog.cloudflare.com/kitesurf/

celld — Durable Objects, self-hosted https://lobste.rs/s/hd7qxs #rust
https://celld.dev/

Crubit, C++/Rust Bidirectional Interop Tool https://lobste.rs/s/9ofzvx #c++ #rust
https://crubit.rs

Just One Function, 10x Faster? Reading a Rust Performance PR https://lobste.rs/s/sv9hwi #performance #rust
https://greptime.com/blogs/2026-07-31-prom-read-conversion-optimization

A Vision for Cargo https://lobste.rs/s/mgr9lc #rust
https://epage.github.io/blog/2026/08/cargo-vision/

rust-lang/rust is adopting an LLM policy

If you personally use LLMs and want to contribute to the Rust toolchain, you *really* should read it.

The summary is "It's fine to use LLMs to answer questions, analyze, distill, refine, check, suggest, review. But not to *create*." Effectively, no other human should see LLM output, unless they ask for it, and LLM usage shall be disclosed.

https://blog.rust-lang.org/inside-rust/2026/08/05/rust-langrust-is-adopting-an-llm-policy/

#RustLang #Rust

rust-lang/rust is adopting an LLM policy

If you personally use LLMs and want to contribute to the Rust toolchain, you *really* should read it.

The summary is "It's fine to use LLMs to answer questions, analyze, distill, refine, check, suggest, review. But not to *create*." Effectively, no other human should see LLM output, unless they ask for it, and LLM usage shall be disclosed.

https://blog.rust-lang.org/inside-rust/2026/08/05/rust-langrust-is-adopting-an-llm-policy/

#RustLang #Rust

Sovereign Tech Fellowship for Rust maintenance (June-July 2026 report) via @bd103 https://lobste.rs/s/0zr9wr #compilers #devops #performance #rust
https://kobzol.github.io/rust/2026/08/03/stf-june-july-2026.html

rust-lang/rust is adopting an LLM policy

If you personally use LLMs and want to contribute to the Rust toolchain, you *really* should read it.

The summary is "It's fine to use LLMs to answer questions, analyze, distill, refine, check, suggest, review. But not to *create*." Effectively, no other human should see LLM output, unless they ask for it, and LLM usage shall be disclosed.

https://blog.rust-lang.org/inside-rust/2026/08/05/rust-langrust-is-adopting-an-llm-policy/

#RustLang #Rust

#FPIndia is looking for #meetup hosts in #Bangalore

Connect with senior devs and architects
Showcase your engineering culture
Engage with the community!

We need a space for 20 to 40 people and a screen for ~3 hours

DM or comment!

#FunctionalProgramming #haskell #elixir #rust #clojure #typescript #scala #purescript #formalmethods

#FPIndia is looking for #meetup hosts in #Bangalore

Connect with senior devs and architects
Showcase your engineering culture
Engage with the community!

We need a space for 20 to 40 people and a screen for ~3 hours

DM or comment!

#FunctionalProgramming #haskell #elixir #rust #clojure #typescript #scala #purescript #formalmethods

rust-lang/rust is adopting an LLM policy

If you personally use LLMs and want to contribute to the Rust toolchain, you *really* should read it.

The summary is "It's fine to use LLMs to answer questions, analyze, distill, refine, check, suggest, review. But not to *create*." Effectively, no other human should see LLM output, unless they ask for it, and LLM usage shall be disclosed.

https://blog.rust-lang.org/inside-rust/2026/08/05/rust-langrust-is-adopting-an-llm-policy/

#RustLang #Rust

rust-lang/rust is adopting an LLM policy

If you personally use LLMs and want to contribute to the Rust toolchain, you *really* should read it.

The summary is "It's fine to use LLMs to answer questions, analyze, distill, refine, check, suggest, review. But not to *create*." Effectively, no other human should see LLM output, unless they ask for it, and LLM usage shall be disclosed.

https://blog.rust-lang.org/inside-rust/2026/08/05/rust-langrust-is-adopting-an-llm-policy/

#RustLang #Rust

rust-lang/rust is adopting an LLM policy

If you personally use LLMs and want to contribute to the Rust toolchain, you *really* should read it.

The summary is "It's fine to use LLMs to answer questions, analyze, distill, refine, check, suggest, review. But not to *create*." Effectively, no other human should see LLM output, unless they ask for it, and LLM usage shall be disclosed.

https://blog.rust-lang.org/inside-rust/2026/08/05/rust-langrust-is-adopting-an-llm-policy/

#RustLang #Rust

rust-lang/rust is adopting an LLM policy

If you personally use LLMs and want to contribute to the Rust toolchain, you *really* should read it.

The summary is "It's fine to use LLMs to answer questions, analyze, distill, refine, check, suggest, review. But not to *create*." Effectively, no other human should see LLM output, unless they ask for it, and LLM usage shall be disclosed.

https://blog.rust-lang.org/inside-rust/2026/08/05/rust-langrust-is-adopting-an-llm-policy/

#RustLang #Rust

rust-lang/rust is adopting an LLM policy via @wezm https://lobste.rs/s/czvkjy #rust
https://blog.rust-lang.org/inside-rust/2026/08/05/rust-langrust-is-adopting-an-llm-policy/

rust-lang/rust is adopting an LLM policy

If you personally use LLMs and want to contribute to the Rust toolchain, you *really* should read it.

The summary is "It's fine to use LLMs to answer questions, analyze, distill, refine, check, suggest, review. But not to *create*." Effectively, no other human should see LLM output, unless they ask for it, and LLM usage shall be disclosed.

https://blog.rust-lang.org/inside-rust/2026/08/05/rust-langrust-is-adopting-an-llm-policy/

#RustLang #Rust

designing a query system via @fanf https://lobste.rs/s/awdorz #compilers #rust
https://bal-e.org/speed/krabby/2026/query-system-design/

Don't stop early: Case-folding source code at memory speed via @fanf https://lobste.rs/s/qsgcgz #performance #rust
https://github.blog/engineering/architecture-optimization/dont-stop-early-case-folding-source-code-at-memory-speed/

Enabling the next iteration of the borrow checker on nightly https://lobste.rs/s/skft2i #rust
https://blog.rust-lang.org/2026/08/04/enabling-polonius-alpha-on-nighty/

I’m a Rust compiler maintainer looking for full-time remote employment　involving Rust-related open-source work.

While I’m currently employed as a Staff Software Engineer, I’d like my next role to include time for upstream Rust　compiler contributions.

I’m based in Kyoto and am not looking to relocate, but I can travel　occasionally.

Introductions and boosts would be appreciated.

https://tako8ki.com/posts/looking-for-a-new-role

#rust #opensource #getfedihired

I’m a Rust compiler maintainer looking for full-time remote employment　involving Rust-related open-source work.

While I’m currently employed as a Staff Software Engineer, I’d like my next role to include time for upstream Rust　compiler contributions.

I’m based in Kyoto and am not looking to relocate, but I can travel　occasionally.

Introductions and boosts would be appreciated.

https://tako8ki.com/posts/looking-for-a-new-role

#rust #opensource #getfedihired

BorrowSanitizer https://lobste.rs/s/jkv2du #rust
https://borrowsanitizer.com/

Branchless Rust: Making a Filter 4x Faster by Removing an if https://lobste.rs/s/zhfwxt #performance #rust
https://www.greyblake.com/blog/branchless-rust/

More technical #rust #GameDev update where I primarily cover migration to #bevy 0.19 and how much I like bsn. I do also cover a 3D building I/O visual issue where buildings now properly have dark portals #Satisfactory style. https://exofactory.net/blog/2026-08-02/

Rust: Don't Panic https://lobste.rs/s/qpubrj #video #rust
https://www.youtube.com/watch?v=usRlRCNIOG0

Rust Project Goals: Immobile types and guaranteed destructors https://lobste.rs/s/sp2wji #rust
https://github.com/rust-lang/rust-project-goals/blob/main/src/2026/move-trait.md

Practical Memory Safety https://lobste.rs/s/yjzexe #c #rust
https://ohadravid.github.io/posts/2026-08-unsafe-water/

Faster floating point math with Rust’s new API https://lobste.rs/s/jnznnu #performance #rust
https://pythonspeed.com/articles/faster-float-math-rust/

📋 #Yerd is an open-source local #PHP development environment for #macOS and #Linux — a rootless #LaravelHerd alternative written in #Rust

🚀 Zero-config sites: drop a project into a parked folder and it's live at <name>.test, with the framework web root auto-detected

🧵👇

More technical #rust #GameDev update where I primarily cover migration to #bevy 0.19 and how much I like bsn. I do also cover a 3D building I/O visual issue where buildings now properly have dark portals #Satisfactory style. https://exofactory.net/blog/2026-08-02/

An old-new take on argument parsing in Rust by @jmmv https://lobste.rs/s/vrd28h #rust #unix
https://jmmv.dev/2026/07/hello-getoptsargs.html

rustgrep - structural grep for Rust source https://lobste.rs/s/xidxte #rust #vibecoding
https://radicle.network/nodes/radicle.dpc.pw/rad%3Az3wPTYCEHukxHQNU2fQ2b3eASNw8a

First time wrapping a Rust crate in an R package! 🦀➡️📦 rambutan binds the lychee link checker with extendr, so I get lychee's config from inside R. I wrote up the whole trip — including a Windows exit crash that took four attempts to fix. #rstats #rust https://l.drmowinckels.io/ajLoWM

ST Rust drivers https://lobste.rs/s/ogfqd0 #hardware #rust
https://blog.st.com/rust-mems-drivers/

AerynOS Unstable Steam Update: 31st July

A real community effort this week has seen a load of package updates and additions:

Cosmic 1.5
Fcitx5
WayVR
MangoWM
Noctalia 5

There is genuinely loads more, check out the full post: https://github.com/orgs/AerynOS/discussions/179

The packaging community is developing and overall much healthier around AerynOS.

We have multiple development workstreams running in parallel and will provide updates in our next blog post.

Overall, things are hotting with AerynOS. Consider sponsoring to help us keep going: https://aerynos.com/sponsor

#AerynOS #Linux #Rust #DistroDevelopment

Why I forked rand https://lobste.rs/s/kvxee3 #rust
https://casualhacks.net/blog/2026-07-27-why-i-forked-rand.html

Grateful to have contributed to the WebCrypto API for Servo! Working on this implementation has taught me so much, from cryptographic algorithms to browser internals and web standards. Huge thanks to everyone who reviewed and tested my PRs, and guided me along the way. Working on Servo has been (and continues to be) a rewarding experience.
#servo #browser #rust

How to speed up the Rust compiler in July 2026 https://lobste.rs/s/ycsivx #compilers #performance #rust
https://nnethercote.github.io/2026/07/31/how-to-speed-up-the-rust-compiler-in-july-2026.html

Progress toward compiling Linux with gccrs via @fanf https://lobste.rs/s/cpyuub #linux #rust
https://lwn.net/SubscriberLink/1083202/f1ba926cd57ac5c5/

Writing the PHP Virtual Machine in Rust (with a lot of help from AI) via @mykiwi https://lobste.rs/s/hbtqfe #ai #php #rust
https://jolicode.com/blog/writing-the-php-virtual-machine-in-rust-with-a-lot-of-help-from-ai

Grateful to have contributed to the WebCrypto API for Servo! Working on this implementation has taught me so much, from cryptographic algorithms to browser internals and web standards. Huge thanks to everyone who reviewed and tested my PRs, and guided me along the way. Working on Servo has been (and continues to be) a rewarding experience.
#servo #browser #rust

Safety in an unsafe world https://lobste.rs/s/xcrvhr #rust
https://joshlf.com/posts/safety-unsafe-world/

Parallel JSON parsing on the GPU with compute shaders https://lobste.rs/s/nhixqy #rust
https://github.com/friendlymatthew/slurpjson#slurpjson

So we are looking for a new teammate.

You like Rust and want no AI mandate? You feel safer around trans people? Then join! You'll be working with me <- (me)

https://www.heliotis.com/en/careers/#offene_stellen

(pls retoot profusely, so that I can get a cool teammate rather than the default techbro)

Don't hesitate to ask follow up questions. My instance has a short character limit.

Edit: onsite Lucerne (CH) and no consulting.

#Rust #GetFedihired #fedijob #hiring

Hi everyone! I've spent the last three days working nonstop to somehow port Fractal 14.1 to Android 12+. I forked the project specifically for this experiment.

This is the original Fractal written in Rust with GTK4 and LibAdwaita. I ported it using cargo-ndk.

It was quite challenging, but I finally got it working. It's definitely not without its quirks, but this is only the beginning.🚀

#fractal #matrix #libadwaita #gnome #gtk4 #rust #porting #Android #foss

So we are looking for a new teammate.

You like Rust and want no AI mandate? You feel safer around trans people? Then join! You'll be working with me <- (me)

https://www.heliotis.com/en/careers/#offene_stellen

(pls retoot profusely, so that I can get a cool teammate rather than the default techbro)

Don't hesitate to ask follow up questions. My instance has a short character limit.

Edit: onsite Lucerne (CH) and no consulting.

#Rust #GetFedihired #fedijob #hiring

So we are looking for a new teammate.

You like Rust and want no AI mandate? You feel safer around trans people? Then join! You'll be working with me <- (me)

https://www.heliotis.com/en/careers/#offene_stellen

(pls retoot profusely, so that I can get a cool teammate rather than the default techbro)

Don't hesitate to ask follow up questions. My instance has a short character limit.

Edit: onsite Lucerne (CH) and no consulting.

#Rust #GetFedihired #fedijob #hiring

So we are looking for a new teammate.

You like Rust and want no AI mandate? You feel safer around trans people? Then join! You'll be working with me <- (me)

https://www.heliotis.com/en/careers/#offene_stellen

(pls retoot profusely, so that I can get a cool teammate rather than the default techbro)

Don't hesitate to ask follow up questions. My instance has a short character limit.

Edit: onsite Lucerne (CH) and no consulting.

#Rust #GetFedihired #fedijob #hiring

So we are looking for a new teammate.

You like Rust and want no AI mandate? You feel safer around trans people? Then join! You'll be working with me <- (me)

https://www.heliotis.com/en/careers/#offene_stellen

(pls retoot profusely, so that I can get a cool teammate rather than the default techbro)

Don't hesitate to ask follow up questions. My instance has a short character limit.

Edit: onsite Lucerne (CH) and no consulting.

#Rust #GetFedihired #fedijob #hiring

Hi everyone! I've spent the last three days working nonstop to somehow port Fractal 14.1 to Android 12+. I forked the project specifically for this experiment.

This is the original Fractal written in Rust with GTK4 and LibAdwaita. I ported it using cargo-ndk.

It was quite challenging, but I finally got it working. It's definitely not without its quirks, but this is only the beginning.🚀

#fractal #matrix #libadwaita #gnome #gtk4 #rust #porting #Android #foss

So we are looking for a new teammate.

You like Rust and want no AI mandate? You feel safer around trans people? Then join! You'll be working with me <- (me)

https://www.heliotis.com/en/careers/#offene_stellen

(pls retoot profusely, so that I can get a cool teammate rather than the default techbro)

Don't hesitate to ask follow up questions. My instance has a short character limit.

Edit: onsite Lucerne (CH) and no consulting.

#Rust #GetFedihired #fedijob #hiring

So we are looking for a new teammate.

You like Rust and want no AI mandate? You feel safer around trans people? Then join! You'll be working with me <- (me)

https://www.heliotis.com/en/careers/#offene_stellen

(pls retoot profusely, so that I can get a cool teammate rather than the default techbro)

Don't hesitate to ask follow up questions. My instance has a short character limit.

Edit: onsite Lucerne (CH) and no consulting.

#Rust #GetFedihired #fedijob #hiring

So we are looking for a new teammate.

You like Rust and want no AI mandate? You feel safer around trans people? Then join! You'll be working with me <- (me)

https://www.heliotis.com/en/careers/#offene_stellen

(pls retoot profusely, so that I can get a cool teammate rather than the default techbro)

Don't hesitate to ask follow up questions. My instance has a short character limit.

Edit: onsite Lucerne (CH) and no consulting.

#Rust #GetFedihired #fedijob #hiring

I wrote a #Haskell regression testing tool that diffs runtime execution states to catch silent semantic breaks. When a refactor passes unit tests but alters intermediate logic—like switching a Vec to a non-deterministic HashSet—trace-align blocks the merge in CI, proven on the jobpipe #Rust pipeline. #devops
#jobpipe
Code
https://gitlab.com/xameer/trace-align

#NotesFromTheDesk

https://xameer.gitlab.io/post/2026-07-24-diffing-program-semantics.html

I wrote a #Haskell regression testing tool that diffs runtime execution states to catch silent semantic breaks. When a refactor passes unit tests but alters intermediate logic—like switching a Vec to a non-deterministic HashSet—trace-align blocks the merge in CI, proven on the jobpipe #Rust pipeline. #devops
#jobpipe
Code
https://gitlab.com/xameer/trace-align

#NotesFromTheDesk

https://xameer.gitlab.io/post/2026-07-24-diffing-program-semantics.html

Himalaya v2.0.0: CLI to manage emails https://lobste.rs/s/sd5em2 #email #release #rust
https://fosstodon.org/@pimalaya/116983467890532240

Memory Safety Absolutists https://lobste.rs/s/x7jtkt #c #rust #zig
https://itsallaboutthebit.com/memory-safety-absolutists/

weblings: Compiling Rust to WASM from inside WASM https://lobste.rs/s/k5ygl4 #compilers #rust
https://github.com/AngelOnFira/weblings

Delightful integration tests in Rust https://lobste.rs/s/khaizc #rust
https://github.com/alexpusch/rust-magic-patterns/blob/master/delightful-integration-tests/Readme.md

Here's v0.3.0 of ties, the federated bookmark manager, with a new light mode, flexible bookmark editing tools, and a critical security fix!

If you're using ties, please update at your earliest convenience. If you're not using it yet, now's a good time to try it out!

https://github.com/raffomania/ties/releases/tag/v0.3.0

#fediverse #selfhosted #activitypub #rust #htmx

Here's v0.3.0 of ties, the federated bookmark manager, with a new light mode, flexible bookmark editing tools, and a critical security fix!

If you're using ties, please update at your earliest convenience. If you're not using it yet, now's a good time to try it out!

https://github.com/raffomania/ties/releases/tag/v0.3.0

#fediverse #selfhosted #activitypub #rust #htmx

Here's v0.3.0 of ties, the federated bookmark manager, with a new light mode, flexible bookmark editing tools, and a critical security fix!

If you're using ties, please update at your earliest convenience. If you're not using it yet, now's a good time to try it out!

https://github.com/raffomania/ties/releases/tag/v0.3.0

#fediverse #selfhosted #activitypub #rust #htmx

Query cycles: A compiler murder mystery via @hugoarnal https://lobste.rs/s/zobigz #rust
https://ferrous-systems.com/blog/query-cycles-a-compiler-murder-mystery/

Improving std::simd::swizzle_dyn https://lobste.rs/s/auk6ft #rust
https://shnatsel.github.io/improving-std-simd-swizzle-dyn/

Announcing Topcoat: a framework for building full-stack reactive web apps with Rust https://lobste.rs/s/l8hiip #rust
https://tokio.rs/blog/2026-07-22-announcing-topcoat

"I opened Obsidian one morning.

Blank screen.

No notes.

I could have spent an afternoon debugging an Electron app.

Instead, I spent a week replacing my entire note-taking workflow with a
relatively young typesetting system, and I love it."

My new #blog is now #online: I switched from #Obsidian to #Typst and #Neovim (And some mentions of #Nix and #Rust along the way :D)

Check it out and don't hesitate to provide feedback:

https://dontblameme.codeberg.page/blog/replacing-obsidian-with-neovim-and-typst.html

#blogpost #NixOS

Hardening Rust Code For Production https://lobste.rs/s/aw3pbi #rust
https://corrode.dev/blog/hardening-rust/

#RustLang pro-tip:

When wanting to inspect the value of a binding in a let-chain, you can take advantage of blocks being expressions as well and add one in the middle of the chain

if let Some(next) = iter.peek()
&& {
tracing::info!(?next);
true
}
&& let Some(...) = ...

This is less disruptive than having to disentangle the chain every time you want to inspect something in the middle

#Rust

#RustLang pro-tip:

When wanting to inspect the value of a binding in a let-chain, you can take advantage of blocks being expressions as well and add one in the middle of the chain

if let Some(next) = iter.peek()
&& {
tracing::info!(?next);
true
}
&& let Some(...) = ...

This is less disruptive than having to disentangle the chain every time you want to inspect something in the middle

#Rust

Capture Clauses as Effects https://lobste.rs/s/nlhmco #plt #rust
https://blog.yoshuawuyts.com/capture-clauses-as-effects/#optimizing-for-writes

The sign says all driving is prohibited.

#Iceland #photography #streetphotography #nature #decay #abandoned #rust #rural #countryside

The sign says all driving is prohibited.

#Iceland #photography #streetphotography #nature #decay #abandoned #rust #rural #countryside

Rust for Morello: Always-On Memory Safety, Even in Unsafe Code https://lobste.rs/s/hbgzbn #pdf #rust
https://drops.dagstuhl.de/storage/00lipics/lipics-vol263-ecoop2023/LIPIcs.ECOOP.2023.39/LIPIcs.ECOOP.2023.39.pdf

Meta Garbage Collection: Using OCaml's GC to GC Rust https://lobste.rs/s/p3z0zw #ml #rust
https://soteria-tools.com/blog/meta-garbage-collection

Meta Garbage Collection: Using OCaml's GC to GC Rust https://lobste.rs/s/p3z0zw #ml #rust
https://soteria-tools.com/blog/meta-garbage-collection

Securing the Rust Project Infrastructure with Hardware Security Keys

>> The Rust Foundation now mandates hardware security keys (YubiKeys) as default for critical infrastructure access, significantly hardening the project’s security.

#rustlang #rust

(more Linux and FOSS news in previous posts of thread)

Mozilla AI Releases Llamafile 0.10.4 With New Transcribefile Built On Transcribe.cpp:
https://www.phoronix.com/news/Llamafile-0.10.4

Home Assistant Matter Server 9.1.0 adds support for Matter 1.6.0:
https://alternativeto.net/news/2026/7/home-assistant-matter-server-9-1-0-adds-support-for-matter-1-6-0/

Zed Editor 1.11.3 Brings Dedicated Git Views, Sonnet 5 Support, and 60+ Bug Fixes:
https://www.linuxcompatible.org/story/zed-editor-1113-brings-dedicated-git-views-sonnet-5-support-and-bug-fixes/

Design tool Penpot brings background blur, better WebGL rendering & design token upgrades:
https://alternativeto.net/news/2026/7/design-tool-penpot-brings-background-blur-better-webgl-rendering-and-design-token-upgrades/

GitLab 19.2 brings Duo CLI, custom AI flows, and scheduled policies GA:
https://alternativeto.net/news/2026/7/gitlab-19-2-brings-duo-cli-custom-ai-flows-and-scheduled-policies-ga/

Gitea 1.27.0 patches major security flaws and enhances Actions:
https://alternativeto.net/news/2026/7/gitea-1-27-0-patches-major-security-flaws-and-enhances-actions/

Forgejo 16.0 adds SSRF protection, granular notifications, and refined review tools:
https://alternativeto.net/news/2026/7/forgejo-16-0-adds-ssrf-protection-granular-notifications-and-refined-review-tools/

PostgreSQL 19 Beta 2 Released: Native Graph Queries, Unified REPACK, and Feature Freeze:
https://www.linuxcompatible.org/story/postgresql-19-beta-2-released-native-graph-queries-unified-repack-and-feature-freeze/

Rust 1.97.1 Drops Exactly One Week After 1.97.0 to Fix Critical Miscompilation:
https://www.linuxcompatible.org/story/rust-1971-release-critical-llvm-miscompilation-fix-lands-one-week-after-1970/

Python 3.15 Beta 4 Ships With Built-in frozendict, Lazy Imports, and UTF-8 Defaults:
https://www.linuxcompatible.org/story/python-315-beta-4-released-lazy-imports-frozendict-and-utf8-defaults/

OpenClaw v2026.7.1 released with Control UI overhaul, easier setup, new GPT, Codex, Tencent, Claude, etc. models available:
https://docs2.openclaw.ai/releases/2026.7.1

FosseryWeb and page-builders update:
I added article page generation support to page-builders, and ordered list, strikethrough text conversion support to its converter component. Also regenerated the existing article pages, to fix inconsistencies in the code, plus included the title and date of the article in the downloadable ODT and Markdown versions.
https://fosseryweb.codeberg.page/articles/
https://fosseryweb-min.codeberg.page/articles/
https://codeberg.org/fosseryweb/page-builders

(more FOSS news in comment)

#WeeklyNews #OpenSource #FOSSNews #OpenSourceNews #FOSS #News #Llamafile #AI #HomeAssistant #Zed #Penpot #GitLab #Gitea #Forgejo #PostgreSQL #Rust #Python #OpenClaw #FosseryWeb #FosseryTech

(more Linux and FOSS news in previous posts of thread)

Mozilla AI Releases Llamafile 0.10.4 With New Transcribefile Built On Transcribe.cpp:
https://www.phoronix.com/news/Llamafile-0.10.4

Home Assistant Matter Server 9.1.0 adds support for Matter 1.6.0:
https://alternativeto.net/news/2026/7/home-assistant-matter-server-9-1-0-adds-support-for-matter-1-6-0/

Zed Editor 1.11.3 Brings Dedicated Git Views, Sonnet 5 Support, and 60+ Bug Fixes:
https://www.linuxcompatible.org/story/zed-editor-1113-brings-dedicated-git-views-sonnet-5-support-and-bug-fixes/

Design tool Penpot brings background blur, better WebGL rendering & design token upgrades:
https://alternativeto.net/news/2026/7/design-tool-penpot-brings-background-blur-better-webgl-rendering-and-design-token-upgrades/

GitLab 19.2 brings Duo CLI, custom AI flows, and scheduled policies GA:
https://alternativeto.net/news/2026/7/gitlab-19-2-brings-duo-cli-custom-ai-flows-and-scheduled-policies-ga/

Gitea 1.27.0 patches major security flaws and enhances Actions:
https://alternativeto.net/news/2026/7/gitea-1-27-0-patches-major-security-flaws-and-enhances-actions/

Forgejo 16.0 adds SSRF protection, granular notifications, and refined review tools:
https://alternativeto.net/news/2026/7/forgejo-16-0-adds-ssrf-protection-granular-notifications-and-refined-review-tools/

PostgreSQL 19 Beta 2 Released: Native Graph Queries, Unified REPACK, and Feature Freeze:
https://www.linuxcompatible.org/story/postgresql-19-beta-2-released-native-graph-queries-unified-repack-and-feature-freeze/

Rust 1.97.1 Drops Exactly One Week After 1.97.0 to Fix Critical Miscompilation:
https://www.linuxcompatible.org/story/rust-1971-release-critical-llvm-miscompilation-fix-lands-one-week-after-1970/

Python 3.15 Beta 4 Ships With Built-in frozendict, Lazy Imports, and UTF-8 Defaults:
https://www.linuxcompatible.org/story/python-315-beta-4-released-lazy-imports-frozendict-and-utf8-defaults/

OpenClaw v2026.7.1 released with Control UI overhaul, easier setup, new GPT, Codex, Tencent, Claude, etc. models available:
https://docs2.openclaw.ai/releases/2026.7.1

FosseryWeb and page-builders update:
I added article page generation support to page-builders, and ordered list, strikethrough text conversion support to its converter component. Also regenerated the existing article pages, to fix inconsistencies in the code, plus included the title and date of the article in the downloadable ODT and Markdown versions.
https://fosseryweb.codeberg.page/articles/
https://fosseryweb-min.codeberg.page/articles/
https://codeberg.org/fosseryweb/page-builders

(more FOSS news in comment)

#WeeklyNews #OpenSource #FOSSNews #OpenSourceNews #FOSS #News #Llamafile #AI #HomeAssistant #Zed #Penpot #GitLab #Gitea #Forgejo #PostgreSQL #Rust #Python #OpenClaw #FosseryWeb #FosseryTech

I’m having a lot of fun tinkering with Once. Think of if as an automation substrate, like #Bazel or Buck, but designed for coding harnesses developing and iterating on your automation graph. You can go from zero to having a graph that builds apps with #Kotlin, #Swift, and a shared core in #Rust with just one prompt:

https://github.com/tuist/once

Securing the Rust Project Infrastructure with Hardware Security Keys

>> The Rust Foundation now mandates hardware security keys (YubiKeys) as default for critical infrastructure access, significantly hardening the project’s security.

#rustlang #rust

topcoat: A batteries-included framework for building web apps https://lobste.rs/s/zmg7ot #rust #web
https://github.com/tokio-rs/topcoat

Freya 0.4 - Rust GUI library via @obsoleszenz https://lobste.rs/s/x3xvou #graphics #release #rust
https://freyaui.dev/posts/0.4

Battery packs: Let's talk about crates, baby via @fanf https://lobste.rs/s/uc0gih #rust
https://smallcultfollowing.com/babysteps/blog/2026/07/15/battery-packs/

@cks

That's messed up.

I made the mistake of looking at the #Debian source tree first, to see how this is happening. This is no help, and I couldn't figure out how the dependency was getting in there from list2depends, substvars, and whatnot.

Because it turns out that this was an explicit bodge, only in #Ubuntu, made in September of 2025.

https://git.launchpad.net/ubuntu/+source/build-essential/commit/?id=28bd47593db15e492a66bd2531ad8caeb76f0caa

Temporary for nearly a year, so far. (-:

#coreutils #rust-coreutils

The Bun's #Zig to #Rust rewrite is an advertisement for Anthropic, at the cost of hurting both languages.

It already made a stink for Zig. Now, when this mountain of unstable, auto-converted LGTM'd code is going to have embarrassing bugs, it's going to make a stink for Rust: "see, Rust adoption was pointless, it's still buggy!"

How Our Rust-to-Zig Rewrite is Going https://lobste.rs/s/axdfjx #compilers #rust #zig
https://rtfeldman.com/rust-to-zig

Comparing Obelisk with Temporal and Restate https://lobste.rs/s/h1r6gc #rust
https://obeli.sk/blog/comparing-obelisk-temporal-restate/

Can anyone who has used both Hugo and Zola explain to me their differences?

#tech #webdev #golang #rust #oss #webdevelopment #question

qr-swastika-avoider v0.1.0 https://lobste.rs/s/h7pett #rust
https://crates.io/crates/qr-swastika-avoider

Thanks to @muscraft, annotate-snippets-rs might have a new "no-graphics" mode in the short term (and in turn, add that support to rustc).
We are still iterating on the specifics, but I would like to hear what people's reaction to the current state is.
#Rust #RustLang #accessibility #a11y #programming

zizmor 1.27 is released!

this release includes (experimental) support for GitHub's new "parallel steps" pattern, among other enhancements and bug fixes.

full notes:

https://docs.zizmor.sh/release-notes/#1270

#rust #security

I'm a Software Engineer with 20 years of experience in the industry and I'm looking for a new #Job in the field of Video Streaming or Embedded Engineering.

Open to full remote or hybrid in the Frankfurt region.

Would love to work with #Rust and #GStreamer!

You can check out my CV website at https://fraxinas.dev

Boosts are greatly appreciated, and if you know of a suitable role, I'd love to hear from you!

#Hiring #GetFediHired

6× faster binary search: from compiled code to mechanical sympathy https://lobste.rs/s/czbhmr #performance #rust
https://pythonspeed.com/articles/branchless-binary-search/

zizmor 1.27 is released!

this release includes (experimental) support for GitHub's new "parallel steps" pattern, among other enhancements and bug fixes.

full notes:

https://docs.zizmor.sh/release-notes/#1270

#rust #security

Oh so there's no way to cross-build #Rust for macOS without installing XCode somewhere to get the SDK? Which means making an Apple account?

Or paying for some kind of build service?

I gotta tell people not to use macOS...

In case anyone was wondering, yes my project Wordforge is effectively abandoned. I graduated and got a job last year and haven't had the time to work on it. It's a shame really since I really wanted to see something like this on the fediverse, but such is life.

If anyone wants to take over, feel free.

https://codeberg.org/grafcube/wordforge

#wordforge #opensource #foss #fediverse #activitypub #rust #leptos

crates.io: development update via @eh https://lobste.rs/s/posxmd #rust
https://blog.rust-lang.org/2026/07/13/crates-io-development-update/

Introducing Bobbin: A diskless, API-only AppView for Tangled https://lobste.rs/s/uoiw3u #api #release #rust
https://blog.tangled.org/bobbin/

Closing a three-year-old issue using Rust arenas https://lobste.rs/s/7840ca #performance #rust
https://giacomocavalieri.me/writing/gleam-rust-arenas

A million lines of AI generated #Rust code isn't cool? You know what's cool? A Billion lines of #AI generated Rust code.

Has #bun ever thought of doing that?

Cpp2Rust: Automatic Translation of C++ to Safe Rust https://lobste.rs/s/xyotoa #c++ #rust
https://github.com/Cpp2Rust/cpp2rust

Announcing Rust 1.97.0 https://lobste.rs/s/o9edbl #release #rust
https://blog.rust-lang.org/2026/07/09/Rust-1.97.0/

Rewriting Bun in Rust https://lobste.rs/s/6rkdik #rust #vibecoding #zig
https://bun.com/blog/bun-in-rust

So the bad news is I have been laid off.

The good news is that I'll have a lot more time to write in the short term, both book stuff and code stuff.

...anyone need a #rust programmer?

So the bad news is I have been laid off.

The good news is that I'll have a lot more time to write in the short term, both book stuff and code stuff.

...anyone need a #rust programmer?

Your Rust Service Isn't Leaking — It Could Be the Allocator via @robey https://lobste.rs/s/srmkur #rust
https://pranitha.dev/posts/rust-and-memory-allocators/

I'm currently working on a brand-new PluginSDK to bring lightweight and high-performance WebAssembly plugins to the ecosystem. We already support #Go, #Rust, and #AssemblyScript, but I'm adding a new language to the family.

If everything goes smoothly with my final tests, it should ship in the next release.

While I'm wrapping things up and fine-tuning the memory allocation, here is a quick preview of the initialization code. Can you guess which language is joining the list?

fn buildPlugin(srv: *server.Server) server.plugin.Plugin {
    _ = srv;
    const p = MyPlugin.create(std.heap.wasm_allocator) catch unreachable;
    return p.plugin();
}

export fn install() void {
    server.global_server = server.Server.init(std.heap.wasm_allocator);
    server.register(&[_]server.model.pluginrun.PluginRun{}, &buildPlugin);
}

#WebAssembly #Wasm #BuildInPublic #OpenSource #Dev

I'm currently working on a brand-new PluginSDK to bring lightweight and high-performance WebAssembly plugins to the ecosystem. We already support #Go, #Rust, and #AssemblyScript, but I'm adding a new language to the family.

If everything goes smoothly with my final tests, it should ship in the next release.

While I'm wrapping things up and fine-tuning the memory allocation, here is a quick preview of the initialization code. Can you guess which language is joining the list?

fn buildPlugin(srv: *server.Server) server.plugin.Plugin {
    _ = srv;
    const p = MyPlugin.create(std.heap.wasm_allocator) catch unreachable;
    return p.plugin();
}

export fn install() void {
    server.global_server = server.Server.init(std.heap.wasm_allocator);
    server.register(&[_]server.model.pluginrun.PluginRun{}, &buildPlugin);
}

#WebAssembly #Wasm #BuildInPublic #OpenSource #Dev

Together for a healthier Clippy https://lobste.rs/s/709awc #rust
https://blog.rust-lang.org/inside-rust/2026/07/06/unite-for-clippy/

A Rust-to-Lean verification pipeline with AI provers: An experience report https://lobste.rs/s/g2bzt2 #formalmethods #rust #vibecoding
https://arxiv.org/html/2605.30106

Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing Guarantees https://lobste.rs/s/aspeso #plt #rust
https://dl.acm.org/doi/pdf/10.1145/3763122

I had a chat with Lori Lorusso and Niko Matsakis about the Rust Foundation Maintainers Fund

Funding open source is a huge topic right now, the Rust Foundation has some great ideas. It will be exciting to watch this one grow and evolve

https://opensourcesecurity.io/2026/2026-07-rfmf-lori-niko/

#OpenSourceSecurity #rust #RustFoundation

I had a chat with Lori Lorusso and Niko Matsakis about the Rust Foundation Maintainers Fund

Funding open source is a huge topic right now, the Rust Foundation has some great ideas. It will be exciting to watch this one grow and evolve

https://opensourcesecurity.io/2026/2026-07-rfmf-lori-niko/

#OpenSourceSecurity #rust #RustFoundation

fin: a Jellyfin & Subsonic client for the terminal https://lobste.rs/s/nwptul #show #rust
https://tangled.org/tsiry-sandratraina.com/fin

Jam Programming Language https://lobste.rs/s/r0xrm0 #programming #rust #zig
https://rapha.land/jam-programming-language/

Announcing the July #Bangalore #FPIndia #Meetup!

When: 1st August (yep 😆)
CFP is open: https://hasgeek.com/fpindia/bangalore-fp-july-2026-meetup

Come meet fellow FP heads, have great conversations, all skill levels welcome!

#PureScript #Typescript #Rust #Erlang #Scala #OCaml #FunctionalProgramming

Announcing the July #Bangalore #FPIndia #Meetup!

When: 1st August (yep 😆)
CFP is open: https://hasgeek.com/fpindia/bangalore-fp-july-2026-meetup

Come meet fellow FP heads, have great conversations, all skill levels welcome!

#PureScript #Typescript #Rust #Erlang #Scala #OCaml #FunctionalProgramming

🚀🚀🚀 IT WORKS!!!! 🚀🚀🚀

Open Source Live2D rendering
Now with ✨parameters✨!!!

🦀 100% Safe Rust 🦀
🫧 Clean room, black-box implementation 🫧
🌐 🍎 Cross-platform rendering 🐧 🪟

Just a few things left before it's feature-complete!!
#VTuber #ENVTuber #Live2D #Rust

A Novel Look at Error Handling in Rust https://lobste.rs/s/l0yqco #rust
https://jtjlehi.github.io/2026/06/25/novel-rust-error-handling.html

Work In Progress Rust https://lobste.rs/s/qu1bwq #practices #rust
https://blog.dureuill.net/articles/wip/

Rust - Handling Results In A Map Closure via @bd103 https://lobste.rs/s/1r09vz #practices #rust
https://reemus.dev/tldr/rust-handling-results-in-map-closure

Gossamer https://lobste.rs/s/e6k4z1 #go #programming #rust
https://gossamer-lang.org/

Added a new feature in mdbook to "zoom in" images by clicking on them. And of course, it works without JS. :)

PR: https://github.com/rust-lang/mdBook/pull/3127

#rust #mdbook

Added a new feature in mdbook to "zoom in" images by clicking on them. And of course, it works without JS. :)

PR: https://github.com/rust-lang/mdBook/pull/3127

#rust #mdbook

🎙️ ... is this thing still on?

LaTeXML announcement season starting with the next ar5iv update (Sunday, 5th of July)

This time it's proper BIG news. #Rust

🎙️ ... is this thing still on?

LaTeXML announcement season starting with the next ar5iv update (Sunday, 5th of July)

This time it's proper BIG news. #Rust

crustc: Entirety of rustc, translated to C https://lobste.rs/s/ryny2c #rust
https://github.com/FractalFir/crustc

Sōzu 2.1.0: UDP load balancing for the programmable edge via @Miaourt https://lobste.rs/s/cjy8qw #networking #release #rust
https://www.clever.cloud/blog/company/2026/07/01/sozu-2-1-0-udp-load-balancer-programmable-edge/

... Like #rust? Missing something I guess.
It still uses npm?

[$] Flexible metaprogramming with Rhombus

Lisp-like languages have historically led the world in metaprogramming and flexibility. While many modern languages have adopted the idea of macros, Lisp-like languages such as Ra [...]

https://lwn.net/Articles/1079001/ #LWN #Linux #Rust #Python

cargo-audit flags Rust dependencies with known vulnerabilities. A flagged crate, though, doesn't tell you whether your code calls the vulnerable function.

We added a feature that matches a binary's symbols against the functions named in each advisory. Any matches are labeled "Affected," separating real exposure from advisories that don't apply.

It's live in cargo-audit 0.22.2+. If you're behind, update with `cargo install -f cargo-audit`.

#rust #infosec #supplychain

https://crates.io/crates/cargo-audit

cargo-audit flags Rust dependencies with known vulnerabilities. A flagged crate, though, doesn't tell you whether your code calls the vulnerable function.

We added a feature that matches a binary's symbols against the functions named in each advisory. Any matches are labeled "Affected," separating real exposure from advisories that don't apply.

It's live in cargo-audit 0.22.2+. If you're behind, update with `cargo install -f cargo-audit`.

#rust #infosec #supplychain

https://crates.io/crates/cargo-audit

A Cross-Platform Rust UI Framework via Qt’s Bridging Technology https://lobste.rs/s/evkg4z #rust
https://www.qt.io/blog/rust-ui-framework-via-bridging-technology

cargo-audit flags Rust dependencies with known vulnerabilities. A flagged crate, though, doesn't tell you whether your code calls the vulnerable function.

We added a feature that matches a binary's symbols against the functions named in each advisory. Any matches are labeled "Affected," separating real exposure from advisories that don't apply.

It's live in cargo-audit 0.22.2+. If you're behind, update with `cargo install -f cargo-audit`.

#rust #infosec #supplychain

https://crates.io/crates/cargo-audit

It's not me, it's the compiler https://lobste.rs/s/v7ghbn #rust
https://parsa.wtf/cast/

ZLUDA 6 release (run CUDA on non-Nvidia GPUs) https://lobste.rs/s/38nsyj #rust
https://vosen.github.io/ZLUDA/blog/zluda-update-q1q2-2026/

Slint and the Node.js Event Loop https://lobste.rs/s/mml4wf #nodejs #rust
https://slint.dev/blog/slint-and-the-nodejs-event-loop

[$] Flexible metaprogramming with Rhombus

Lisp-like languages have historically led the world in metaprogramming and flexibility. While many modern languages have adopted the idea of macros, Lisp-like languages such as Ra [...]

https://lwn.net/Articles/1079001/ #LWN #Linux #Rust #Python

Local Reasoning for Global Properties https://lobste.rs/s/4rfzbl #programming #rust
https://tratt.net/laurie/blog/2026/local_reasoning_for_global_properties.html

I'm a Software Engineer with 20 years of experience in the industry and I'm looking for a new #Job in the field of Video Streaming or Embedded Engineering.

Open to full remote or hybrid in the Frankfurt region.

Would love to work with #Rust and #GStreamer!

You can check out my CV website at https://fraxinas.dev

Boosts are greatly appreciated, and if you know of a suitable role, I'd love to hear from you!

#Hiring #GetFediHired

I'm a Software Engineer with 20 years of experience in the industry and I'm looking for a new #Job in the field of Video Streaming or Embedded Engineering.

Open to full remote or hybrid in the Frankfurt region.

Would love to work with #Rust and #GStreamer!

You can check out my CV website at https://fraxinas.dev

Boosts are greatly appreciated, and if you know of a suitable role, I'd love to hear from you!

#Hiring #GetFediHired

Released a new version of #pyuppsala my #xml library for #python written in #rust https://pypi.org/project/pyuppsala/

What is `std::pin::Pin` in Rust? https://lobste.rs/s/ltzfkv #rust
https://vrong.me/blog/what-is-pinning-in-rust/

#Rust / #RustLang accounts to follow:

OFFICIAL ACCOUNTS
@rust - Rust programming language official account
@rustfoundation - Rust Foundation official account

TUTORIALS
@andybalaam - In-depth tutorial videos about Rust

CONFERENCES & GROUPS
@eurorust - Barcelona, Spain
@oxidize - Berlin, Germany
@rustlab - Italy
@rustnl - Netherlands non-profit promoting Rust, organisers of RustWeek conference
@rustconf - North America
@rustseoul - Seoul, South Korea meet-ups

🧵 Thread page 1 of 2

#Rust / #RustLang accounts to follow:

OFFICIAL ACCOUNTS
@rust - Rust programming language official account
@rustfoundation - Rust Foundation official account

TUTORIALS
@andybalaam - In-depth tutorial videos about Rust

CONFERENCES & GROUPS
@eurorust - Barcelona, Spain
@oxidize - Berlin, Germany
@rustlab - Italy
@rustnl - Netherlands non-profit promoting Rust, organisers of RustWeek conference
@rustconf - North America
@rustseoul - Seoul, South Korea meet-ups

🧵 Thread page 1 of 2

#Rust being a modern language is not enough, you need postmodern: https://lib.rs/crates/slopc

#Rust being a modern language is not enough, you need postmodern: https://lib.rs/crates/slopc

Introducing Test That https://lobste.rs/s/al5bqb #rust #testing
https://hovinen.me/announcements/2026/06/24/introducing-test-that.html

🚀🚀🚀 IT WORKS!!!! 🚀🚀🚀

Open Source Live2D rendering
Now with ✨parameters✨!!!

🦀 100% Safe Rust 🦀
🫧 Clean room, black-box implementation 🫧
🌐 🍎 Cross-platform rendering 🐧 🪟

Just a few things left before it's feature-complete!!
#VTuber #ENVTuber #Live2D #Rust

✨ FIRST PROPER MODEL RENDER!!! ✨
Open Source Live2D rendering here we go!!!

🦀 100% Safe Rust 🦀
🫧 Clean room, black-box implementation 🫧
🌐 🍎 Cross-platform rendering 🐧 🪟

Next stream this Sunday: Making it move!! 🚀🚀
🕐 Jun 28 13:00 JST / 04:00 UTC
▶️ https://youtube.com/live/wgG4hcBsOJo
#Live2D #VTuber #ENVTuber #Rust

STREAM: Making Live2D models move in Rust! 🦀

My from-scratch, portable Rust Live2D renderer can draw models!!! ✨✨
Let's add parameters to bring the model to life! 🚀🚀

🕐 Jun 28 13:00 JST / 04:00 UTC
▶️ https://youtube.com/live/wgG4hcBsOJo
#VTuber #ENVTuber #Live2D #Rust

My CI setup is quite thorough. I do a full run of miri on Linux on every push/PR in addition to the full test suite on stable and MSRV on all of Linux, Windows, and MacOS. A large (but non-exhaustive) subset of feature flags is checked on both MSRV and stable (1674 feature flag combinations on each).

This is in addition to the "standard" rustfmt, clippy, doctests, type checking benchmarks, and ensuring cross-building works.

*All in five minutes.*

#Rust #RustLang #programming

Flow’s OCaml to Rust Port https://lobste.rs/s/gv5yqm #ml #rust #vibecoding
https://medium.com/flow-type/flows-ocaml-to-rust-port-78b95bcf49e9

✨ FIRST PROPER MODEL RENDER!!! ✨
Open Source Live2D rendering here we go!!!

🦀 100% Safe Rust 🦀
🫧 Clean room, black-box implementation 🫧
🌐 🍎 Cross-platform rendering 🐧 🪟

Next stream this Sunday: Making it move!! 🚀🚀
🕐 Jun 28 13:00 JST / 04:00 UTC
▶️ https://youtube.com/live/wgG4hcBsOJo
#Live2D #VTuber #ENVTuber #Rust

✨ FIRST PROPER MODEL RENDER!!! ✨
Open Source Live2D rendering here we go!!!

🦀 100% Safe Rust 🦀
🫧 Clean room, black-box implementation 🫧
🌐 🍎 Cross-platform rendering 🐧 🪟

Next stream this Sunday: Making it move!! 🚀🚀
🕐 Jun 28 13:00 JST / 04:00 UTC
▶️ https://youtube.com/live/wgG4hcBsOJo
#Live2D #VTuber #ENVTuber #Rust

✨ FIRST PROPER MODEL RENDER!!! ✨
Open Source Live2D rendering here we go!!!

🦀 100% Safe Rust 🦀
🫧 Clean room, black-box implementation 🫧
🌐 🍎 Cross-platform rendering 🐧 🪟

Next stream this Sunday: Making it move!! 🚀🚀
🕐 Jun 28 13:00 JST / 04:00 UTC
▶️ https://youtube.com/live/wgG4hcBsOJo
#Live2D #VTuber #ENVTuber #Rust

tropius: detect AI tropes in prose https://lobste.rs/s/schop7 #rust
https://tangled.org/desertthunder.dev/tropius

✨ FIRST PROPER MODEL RENDER!!! ✨
Open Source Live2D rendering here we go!!!

🦀 100% Safe Rust 🦀
🫧 Clean room, black-box implementation 🫧
🌐 🍎 Cross-platform rendering 🐧 🪟

Next stream this Sunday: Making it move!! 🚀🚀
🕐 Jun 28 13:00 JST / 04:00 UTC
▶️ https://youtube.com/live/wgG4hcBsOJo
#Live2D #VTuber #ENVTuber #Rust

Released a new version of #pyuppsala my #xml library for #python written in #rust https://pypi.org/project/pyuppsala/

Making Rust supply chain attacks harder with Cackle (2023) https://lobste.rs/s/dl0yiv #rust #security
https://davidlattimore.github.io/posts/2023/10/09/making-supply-chain-attacks-harder.html

maestro: Lightweight, Linux-compatible kernel, written in Rust https://lobste.rs/s/yvydvs #osdev #rust
https://github.com/maestro-os/maestro

Are you into APIs and SDKs?

Are you in an expert in C# and Rust? Do you have a Git commit history to prove it?

@Interledger is looking to fund adding Rust support in Kiota—the OpenAPI-based SDK generator used by Microsoft and GitHub.

(Boosts welcomed!)

https://interledger.org/grant/open-payments-sdk?ref=activitypub

#Kiota #CSharp #Rust #RustLang #FOSSFunding #OpenAPI

Are you into APIs and SDKs?

Are you in an expert in C# and Rust? Do you have a Git commit history to prove it?

@Interledger is looking to fund adding Rust support in Kiota—the OpenAPI-based SDK generator used by Microsoft and GitHub.

(Boosts welcomed!)

https://interledger.org/grant/open-payments-sdk?ref=activitypub

#Kiota #CSharp #Rust #RustLang #FOSSFunding #OpenAPI

I'm very interested in systemic solutions to problems. Blaming an individual when they make a mistake *feels* reasonable. When a significant percentage of people make the same mistake (70%, 2%, it doesn't matter as long as it is measurable, predictable and has a negative impact), then it's *not* a persons fault.
We know how to tackle those kind of problems: we change the environment to minimize the likelihood of mistakes. Traffic and pedestrian safety is an example of a well explored space where we know what works. Bollards, narrower streets, slower speeds, raised pedestrian crossings, providing good alternatives to driving to reduce traffic...
Similar in industrial spaces: clear signaling, segregate heavy machinery from human limbs, clear and practiced process to get out of dodge when things go poorly...
It's always about looking for solutions to eliminate mistakes, and when they can't be eliminated, minimize the blast radius.
This is why I like #Rust: it's a language and tooling that applies the industrial approach of "if two people make this mistake, figure out how to mitigate it".
We can't "individual responsibility" our way out of systemic problems.
I want more software with bollards.

I'm very interested in systemic solutions to problems. Blaming an individual when they make a mistake *feels* reasonable. When a significant percentage of people make the same mistake (70%, 2%, it doesn't matter as long as it is measurable, predictable and has a negative impact), then it's *not* a persons fault.
We know how to tackle those kind of problems: we change the environment to minimize the likelihood of mistakes. Traffic and pedestrian safety is an example of a well explored space where we know what works. Bollards, narrower streets, slower speeds, raised pedestrian crossings, providing good alternatives to driving to reduce traffic...
Similar in industrial spaces: clear signaling, segregate heavy machinery from human limbs, clear and practiced process to get out of dodge when things go poorly...
It's always about looking for solutions to eliminate mistakes, and when they can't be eliminated, minimize the blast radius.
This is why I like #Rust: it's a language and tooling that applies the industrial approach of "if two people make this mistake, figure out how to mitigate it".
We can't "individual responsibility" our way out of systemic problems.
I want more software with bollards.

been a bit quiet recently, but were back with a treat!!

k23 now has proper ISO images that you can boot at home!

#osdev #rust #rustlang

Optimizing #[sqlx::test] rebuild time https://lobste.rs/s/xhplww #performance #rust
https://kobzol.github.io/rust/2026/06/21/optimizing-sqlx-test-rebuild-time.html

yserver

― a modern X11 server written from scratch in Rust.

<https://github.com/joske/yserver>

"… there are multiple projects on GitHub with this name (but none for X11 servers), the name is subject to change. …"

<https://lobste.rs/s/yy8je0/yserver_modern_x11_server_written_from>

<https://www.phoronix.com/news/YSERVER-Rust-X11-Server>

"… can currently run a full MATE, Xfce, or Cinnamon X11 desktop. The prominent X11 extensions from RandR to DRI3, GLX, MIT-SHM, Composite, and others are supported. And, yes, with working Compiz goodness too:

… open-source under an MIT license. …"

<https://news.ycombinator.com/item?id=48531394>

<https://www.reddit.com/r/linux/comments/1u31shc/comment/or1re0p/>

#AI #FreeBSD #Linux #X11 #yserver #Rust

been a bit quiet recently, but were back with a treat!!

k23 now has proper ISO images that you can boot at home!

#osdev #rust #rustlang

I need to learn to look these things up beforehand... there is already a crate called "croak". I already made a logo and everything.

There isn't anything named "ork" yet on crates.io, though. I guess we'll go for the runner-up.

#noai #noslop #rust #keyboard

rustで一太郎ファイルを操作するライブラリを作っている。ファイルを解析した情報もドキュメント化してて素晴らしい！ #一太郎 #rust #Libreoffice #japanese

KimEJ/OpenJTD: Open-source JTD rendering engine and editor project for Ichitaro documents: https://github.com/KimEJ/OpenJTD

Safe SIMD in Rust, even on the inside https://lobste.rs/s/jmhfck #rust
https://shnatsel.medium.com/safe-simd-in-rust-even-on-the-inside-c6f1ff381828

An old potato storage that now stores tires.

#Iceland #Reykjavik #photography #streetphotography #nature #naturephotography #grass #decay #rust

NVIDIA Research open-sourced cutile-rs

>> cuTile-rs enables safe, idiomatic Rust GPU kernels with Rust ownership across host-GPU boundaries, using tile-based CUDA Tile IR for high-performance, data-race-free computing.

#rustlang #rust

Shutting Down Fornjot https://lobste.rs/s/ggp2ov #programming #rust
https://fornjot.app/blog/shutting-down-fornjot/

NVIDIA Research open-sourced cutile-rs

>> cuTile-rs enables safe, idiomatic Rust GPU kernels with Rust ownership across host-GPU boundaries, using tile-based CUDA Tile IR for high-performance, data-race-free computing.

#rustlang #rust

Announcing the June #Bangalore #FPIndia #Meetup!

Our first talk is Type-level Programming in #Haskell, presented by @abnv!

Like always, meet fellow FP heads, have great conversations, all skill levels welcome!

RSVP https://hasgeek.com/fpindia/bangalore-fp-june-2026-meetup/

#PureScript #Typescript #Rust #Erlang #Scala #OCaml

An old potato storage that now stores tires.

#Iceland #Reykjavik #photography #streetphotography #nature #naturephotography #grass #decay #rust

offset_of! slices via @fanf https://lobste.rs/s/yas7ik #rust
https://bal-e.org/blog/2026/offset-of-slices/

oi ya functional programming #FP boffins and FP-curious minds. Brisbane Functional Programming Group #BFPG Hack Day is on again, THIS SATURDAY at UQ. Be there or be a lambda cube! https://luma.com/0je3g6ft

Thanks to UQ and Professor Paul Vrbik for venue arrangement, Sirius-Beta Labs for lunch, and Thea and George for hosting this edition (yes, I am a lambda cube this time).

#Haskell #Idris #Agda #Clojure #Scala #Rust #Scheme #Lisp #Fsharp #Erlang #Gleam #Racket #Elixir #Elm #PureScript

Data Visualization from the Comfort of your Terminal https://lobste.rs/s/1shdvp #rust #visualization
https://github.com/medialab/xan/blob/master/docs/cookbook/dataviz.md

Let me introduce you to postelizer: Postel's Law Enforcer.

A reverse proxy that makes your legacy systems liberal in what they accept.

It places an LLM in an agentic loop between your client and your legacy system to creatively reinterpret incoming requests until the legacy system stops complaining.

Being written in Rust, of course, it's blazingly fast: 3-30s per request (LLM thinking time included).

https://codeberg.org/danielwestheide/postelizer

#rust #llm #legacy

Let me introduce you to postelizer: Postel's Law Enforcer.

A reverse proxy that makes your legacy systems liberal in what they accept.

It places an LLM in an agentic loop between your client and your legacy system to creatively reinterpret incoming requests until the legacy system stops complaining.

Being written in Rust, of course, it's blazingly fast: 3-30s per request (LLM thinking time included).

https://codeberg.org/danielwestheide/postelizer

#rust #llm #legacy

A bad, unsolicited advice from an old, irrelevant #programmer:

• All programmers proficient in Standard ML, OCaml, Hope, Miranda, Haskell, or another member of the ML family of FP languages—and are interested in system #programming—should pick up Rust, at some point.

• None should touch #Rust without first mastering at least one member of the ML family of languages and also C.

Build your project Zig-style via @caleb https://lobste.rs/s/a1nops #rust #zig
https://fnordig.de/2026/06/16/build-your-project-zig-style/

Fearless Embedded Rust: Driving a Lego Car with a Pico W https://lobste.rs/s/suw9dp #rust
https://dystroy.org/blog/picomobile/

zlib-rs in Firefox https://lobste.rs/s/erc2po #browsers #release #rust
https://trifectatech.org/blog/zlib-rs-in-firefox/

Async Task Locals From Scratch by @PolyWolf https://lobste.rs/s/0i8vld #rust
https://wolfgirl.dev/blog/2026-06-16-async-task-locals-from-scratch/

How memory safety CVEs differ between Rust and C/C++ https://lobste.rs/s/tmeqrk #c #rust
https://kobzol.github.io/rust/2026/06/15/how-memory-safety-cves-differ-between-rust-and-c-cpp.html

The int_format_into feature is now stable! It provides a very fast integer to string conversions. It comes as a built-in itoa replacement (which is the inspiration of this feature).

You can now do:

use core::fmt::NumBuffer;

let n = 0u32;
let mut buf = NumBuffer::new();
let n_s: &str = n.format_into(&mut buf);

So starting Rust 1.98, it's all yours!

There are still some minor improvements on the API I'd like to make but I'll talk more about it when it's done.

With this, my integer<->string conversions optimizations is mostly done.

History:

• https://github.com/rust-lang/rust/pull/128204 (small perf win)
• https://github.com/rust-lang/rust/pull/136264 (big perf win)
• https://github.com/rust-lang/rust/pull/133247 (cleanup and very minor perf improvement)

#rust #rustlang

Symbolica: high-performance computer algebra library for Python and Rust https://lobste.rs/s/lglu8f #python #rust
https://github.com/symbolica-dev/symbolica

4 years, 65 versions, and now iroh 1.0. Here's to the next chapter and stability: a wire protocol you can depend on, with plenty of incremental features on the roadmap.

Dial keys, stay connected.

https://www.iroh.computer/blog/v1

#p2p #iroh #networking
#rust
#python #nodejs #kotlin #swift

Happy to announce another confirmed talk for the #FPIndia #Bangalore June #meetup!

Srijan will talk about Formalising #MachineLearning for Functional Languages!

https://hasgeek.com/fpindia/bangalore-fp-june-2026-meetup/

#Haskell #PureScript #Typescript #Rust #Erlang #Scala #OCaml #FormalMethods #AI

Happy to announce another confirmed talk for the #FPIndia #Bangalore June #meetup!

Srijan will talk about Formalising #MachineLearning for Functional Languages!