Readings shared July 18, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/19-readings_shared_07-18-25 #ACL2 #CompSci #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Rocq #Rust #Teaching

Readings shared July 18, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/19-readings_shared_07-18-25 #ACL2 #CompSci #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Rocq #Rust #Teaching
How to write Rust in the Linux kernel: part 3
Link: https://lwn.net/SubscriberLink/1026694/3413f4b43c862629/
Discussion: https://news.ycombinator.com/item?id=44610468
@mhoye The #Rust language server protocol implementation, #RustAnalyzer, certainly does that, as shown in picture, as part of "code actions".
(Note the greyed `: i32` in the source code is merely a hint shown by the IDE, not something that's effectively included in the source code.)
At last I'm back to working on #CodebergCI for #AutonomiDweb.
I already had a simple test doing deployment to #Codeberg pages but can find nothing to help me do cross platform #RustLang build and release.
I have this on GH by copying another project.
I hate Yaml - just saying - and while #WoodpeckerCI lint helps, I so miss the useful error messages of the #Rust compiler.
Comparing codes: Binary search in a 2D matrix. ~ James Bowen. https://mmhaskell.com/blog/2025/7/14/binary-search-in-a-2d-matrix #Haskell #FunctionalProgramming #Rust
TIL about caligula, a CLI disk burning tool that automates away some of the usual steps you might take when using `dd` for the same task.
Note, that the #Rust situation on #Debian 13 #trixie is much better than on Debian 12 #bookworm.
E.g. you have rust-analyzer now, which is good for having a nice #IDE experience in #Emacs or other editors.
Matter of taste, but I try to not touch any software, that is not in Debian main Only to package it for Debian, of course.
Figma have been pretty quiet about their use of Rust since their initial post in 2018¹. To the point where I thought they may have replaced that component with a non-Rust implementation. It seems that not the case though, as they have a new post out today about some optimisations they made to their Rust code:
https://www.figma.com/blog/supporting-faster-file-load-times-with-memory-optimizations-in-rust/
¹ https://medium.com/figma-design/rust-in-production-at-figma-e10a0ec31929
Modular Interpreters and Visitors in Rust with Extensible Variants and CGP
https://contextgeneric.dev/blog/extensible-datatypes-part-2/
This Week in Rust 608 · This Week in Rust
Supporting Faster File Load Times with Memory Optimizations in Rust https://lobste.rs/s/pz9rgk #performance #rust
https://www.figma.com/blog/supporting-faster-file-load-times-with-memory-optimizations-in-rust/
Hola!
Estoy estudiando la ingeniería computacional en Los Estados Unidos en el Pennsylvania State University.
Me encanta #Linux y #Rust. También me interesa el programación de graficas.
Ahorita estoy trabajando en un reproductor de musica escrito en Rust con el crate #libcosmic para el escritorio de #COSMIC.
#RustFloripa daqui a pouco
Title: Dioxus
️ What's: A libre framework in Rust for building lightweight, high-perf multi-platform GUI
️ https://dioxuslabs.com
️ https://github.com/dioxuslabs/
#LinuxGameDev #LibreFramework #GUI #Rust
️ #Arch
️ https://lebottinlinux.vps.a-lec.org/LO.html
️ Update: 0.7.0-alpha.3
Signific. vers.
️
️
️
️
️ Changes: https://github.com/DioxusLabs/dioxus/releases
️ From:
️ https://github.com/DioxusLabs/dioxus/releases.atom
️ https://www.youtube.com/embed/aSxdmXjZutI
️ https://www.youtube.com/embed/BbQzRdxekao
https://www.youtube.com/embed/EOeoAYoFtJo
️ https://www.youtube.com/embed/YQ160yiJs18
️ https://www.youtube.com/embed/KmqExCoR69g
Adding lookbehinds to rust-lang/regex
An annotated guide to adding captureless lookbehinds to the Rust linear-time regex engine.
#rust #rustlang #programming
https://systemf.epfl.ch/blog/rust-regex-lookbehinds/
I've completed "Restroom Redoubt" - Day 14 - Advent of Code 2024 #AdventOfCode https://adventofcode.com/2024/day/14
https://github.com/jeffmallozzi/AoC-2024-Rust/blob/master/src/days/day14.rs
Note to self: Update the dependencies in the dev tool I maintain more often than once a year.
I spent almost a solid day fighting with conflicting features trying to get the WASM portion of my Leptos based code to compile after updating dependencies. #Rust #RustLang
Granted, Leptos is only up to version 0.8 so every release is technically a breaking change. Even so, it was unwise to let it go so long. I am now jumping from 0.6 to latest with twice as much migration to do.