Learning diary › Year 2025 › July, 2025 › 2025-07-08 [2025-07-08]

✍️source

- #rust
    - Understanding Rust’s Memory Model
    - #[derive(Clone)] is broken
    - Building the Rust compiler with GCC
        - rust-lang/rustc_codegen_gcc: libgccjit AOT codegen for rustc
        - Testing the GCC-based Rust compiler(backend)
- #clojure
    - All Programming Languages are Fast
    - 8 Reasons why Clojure is a better Java than Java
- #swift
    - Cocoa Basics series
- #go
    - Generic interfaces
    - What's //go:nosplit for?
    - Be Careful with Go Struct Embedding
- #software #idea
    - Inverse Triangle Inequality
- #lean
    - Lean's new home page: Lean is a theorem prover and programming language that enables correct, maintainable, and formally verified code
        - learn about tactic `grind`
    - The Lean FRO Year 3 Roadmap — Lean Lang
    - My first verified (imperative) program (on HN)
    - The Math Is Haunted
    - “Bad Apple!!” But It’s 3288 Lean Tactics Spamming VSCode
- #lang
    - Flix – A powerful effect-oriented programming language (on HN)
        - runs on JVM, interoperable with Java, Kotlin, Scala, etc.
        - could be considered a meta-programming language for Datalog
        - DIDYOUKNOW.md is informative
        - Flix | FAQ is fun
    - Pony (on HN)
        - open-source, object-oriented, actor-model, capabilities-secure, high-performance
        - An Early History of Pony - Pony
    - The Q Programming Language
        - ssa and asm optimizations
        - zero dependencies (no llvm, no libc)
        - ultra-fast builds and tiny binaries
        - written in Go
    - Concurrent Programming with Harmony #formal
        - a Python-like open-source programming language for testing and experimenting with concurrent and distributed programs
        - Harmony programs are model-checked so that all corner cases are explored
    - Carbon Language: An experimental successor to C++
        - informative discussions on on HN
    - SUS Lang: The SUS Hardware Description Language
        -  Verilog and VHDL might be good enough per this comment on HN
    - Gren 25S: Easier interop, concurrent tasks and zero-install packages #lang
    - #lua
        - the Fennel programming language
        - YueScript
        - Lua beats MicroPython for serious embedded devs
        - willtobyte/carimbo: A 2D game engine developed in modern C++ using SDL, featuring Lua scripting capabilities and designed for web portability via WebAssembly.
- #model-edit
    - Show HN: Unlearning Comparator, a visual tool to compare machine unlearning
- #wasm
    - WebAssembly: Yes, but for What?
    - AssemblyScript
        - A TypeScript-like language for WebAssembly
    - When Is WebAssembly Going to Get DOM Support? (on HN)
- #im
    - bitchat is a decentralized, peer-to-peer messaging application that operates over Bluetooth Low Energy (BLE) mesh networks
    - White Noise – secure and private messenger
    - Matrix Is Not Safe for EU Data Privacy
        - Addressing fear, uncertainty and doubt thrown at Element and Matrix
    - Why not Matrix (2023)
    - catgirl - IRC client
    - About Convos - The simplest IRC client around
    - NINA: Rebuilding the original AIM, AOL Desktop, Yahoo and ICQ platforms (on HN)
    - Giving Up on Element & Matrix.org (on HN) (on lobste.rs)
    - I'm never going back to Matrix
    - XMPP: When a 25-Year-Old Protocol Becomes Strategic Again (on HN)