#apl #compiler #game #gpu #os #physics #quantum #shader #zig
- found Algorithms by Jeff Erickson (2019)
- Comparing parallel functional array languages: Programming and performance[van2025comparing]
    - learned that APL can run on GPU via Dyalog, the paper even discussed a flash attention implementation
    - BQN doesn't seem to run on GPU
    - it might be interesting to use arrayfire C API, even on Mac
    - prefer tilelang to DaCe
- found A JavaScript library for building parsers, interpreters, compilers, and more
- Layers All The Way Down: The Untold Story of Shader Compilation
    - introduces the motivation behind MojoShader, from Direct3D HLSL bytecode or assembly source to other shader languages
- found Mystical, a programming language that resembled magical circles
- Bare Metal Zig (2023)
- Google Scholar is manipulatable
- found Path Integrals in Quantum Mechanics, Statistics, Polymer Physics, and Financial Markets by Hagen Kleinert

#elixir #game #ocaml #os #rust #software #web #zig
- Parallel Scaling Law for Language Models
- #lang
    - The Language That Never Was
        - Leaving Rust gamedev after 3 years
        - Mun
        - jank
        - The Little Book of Rust Macros
        - MonoGame
- #rust/error
    - Using unwrap() in Rust is Okay
        - anyhow for applications and thiserror for libraries
    - On Error Handling in Rust
        - error_set, inspired by Zig's error set
        - snafu
- found GNU Parallel Examples
- found Lua for Elixir
- found OCaml Web Development: Essential Tools and Libraries in 2025
- found Teal: a statically-typed dialect of Lua, a statically-typed dialect of Lua

#formal #game #news #os #rust #tla #zig
- I don’t like NumPy
    - Writing a better code with pytorch and einops
    - Einops and Einsum Summarized
- looking for Zig way to implement eiops
    - Interesting (mis-)use cases for comptime
        - zig-infix-parser
    - Zig Comptime is amazing
        - ZEIN, Zig-based implementation of general-rank tensors
        - Functional Programming in Zig
        - What is Zig's Comptime?
        - comath: comptime math, used by zilliam
        - alg, Algebra for Zig
        - mecha, A parser combinator library for Zig
            - from Zig, Parser Combinators - and Why They're Awesome
        - parcom, see also this blog post
    - einops in Rust, with only backend `tch`
    - Einsums and einops-cpp are in C++
- The current state of TLA⁺ development
    - found Spectacle and tlafmt
- 10 Years of Stable Rust: An Infrastructure Story
    - formal methods projects built on Rust
- Beyond 'Aha!': Toward Systematic Meta-Abilities Alignment in Large Reasoning Models
- Declaring a friendship to self
- Internet Artifacts
    - discovered Helicopter game

#formal #forth #os #tla #zig
- Introducing oniux: Kernel-level Tor isolation for any Linux app
    - code
    - found smoltcp
- The cryptography behind passkeys
- How fast is CeTZ-Plot?
- ZJIT has been merged into Ruby
    - Instead of compiling YARV bytecode directly to the low-level IR (LIR), it uses an high-level SSA-based intermediate representation (HIR)
        - In the bytecode, which is tersely encoded, jumps are offsets, some control-flow is implicit, and most dataflow is via the stack.
        - By contrast, HIR looks more like a graph. Jumps have pointers to their targets and there’s no stack: instructions that use data have pointers directly to the instructions that create the data.
- found Warteschlangensimulator, a event-driven, stochastic simulator for queueing systems
- found kowk, a ~100k-pod k8s cluster simulator
- Data is code, about philosophy behind Forth
    - also What the hell is Forth?
- found Insights into DeepSeek-V3: Scaling Challenges and Reflections on Hardware for AI Architectures
- found Marigold: Affordable Adaptation of Diffusion-Based Image Generators for Image Analysis
    - Marigold Computer Vision
- Zig App Release and Updates via Github ⚡

#agent #ebpf #os #physics #rust #software #tui #web #yaml
- try genspark
    - impressive result
    - one deep research per day for free
- Read the Code, Not the Profile
    - Dramatic percentages in software is just linear improvement
- Writing that changed how I think about PL
- Experiment on your code freely with Git worktree
- Lock-Free Rust: How to Build a Rollercoaster While It’s on Fire
- found
    - Spall: a code profiler that runs in your browser
    - TUI for search & replace
        - scooter: Interactive find and replace in the terminal
        - serpl: A simple terminal UI for search and replace, ala VS Code.
        - scooter wins as it supports filtering files, both support regex and replace preview
    - Avian Physics 0.3
    - Makepad 1.0 : Rust UI Framework
- checked out YS — YAML Done Wisely
    - I wish to use it as a template engine, but the scripting syntax is not delicious
- Two months in Servo: CSS nesting, Shadow DOM, Clipboard API, and more
    - Servo is still very actively growing
- Misadventures in DTrace: how to debug the macOS kernel
    - I need to compare more with eBPF and DTrace
    - found DTrace book

#apl #formal #os #proof #rust #sec #tla #web
- Are We Serious About Using TLA+ For Statistical Properties?
    - found FizzBee for behavior correctness verification and performance modelling, based on simulation
    - I've wished for a tool like this for a long time
    - see also Modular verification of MongoDB Transactions using TLA+
- Flattening Rust's Learning Curve
    - The best open source project for someone might not be yours, and that's OK
- A review of documentation in the Rust ecosystem
    - found Blessed.rs: Recommended Crate Directory
- Secure by Design: Google’s Perspective on Memory Safety (2024)
- Microservices Are a Tax Your Startup Probably Can’t Afford
- Private Internet (2024)
- A tool to verify estimates, II: a flexible proof assistant