#formal #haskell #lean #ocaml #os #rust #zig
- Having your compile-time cake and eating it too
    - Hindley-Milner (HM), the most popular human-friendly type system, used in Swift, Rust, Scala, Haskell, OCaml etc.
    - proposed four big features to replace pretty much all Rust macros, including derive ones, while keeping Rust's type system, and achieving (most of) Zig's comptime features
        - `@` or `@=`
        - `Abstract`
        - `TypeInfo` and `Field`
        - `Code` and `parse`
- CAPTCHAs don't work any more for ticket sellers
- Concepts vs type traits
- tachy0n: The last 0day jailbreak
- found Domain Theory Lecture Notes
- generate and read the following DeepWiki:
    - ymndoseijin/zilliam
    - ShabbirHasan1/unsynn
    - AstatineAi/ocaml-forester
    - pygae/galgebra
    - utensil/forest
- use GenSpark to generate Follow-up Research after Formalizing Geometric Algebra in Lean
- Does gratitude increase happiness?

#agent #apl #cg #compiler #git #haskell #lean #os #rust #software
- Anthropic’s ‘System Card’ for Claude 4 (Opus and Sonnet)
    - particularly fun reading
        - 4.1.1.1 Continuations of self-exfiltration attempts
        - 4.1.1.2 Opportunistic blackmail
        - 4.1.1.3 Self-exfiltration under extreme circumstances
        - 4.1.3 Excessive compliance with harmful system-prompt instructions
            - "mistakenly omitted the only finetuning dataset that included harmful system prompts"
- Forgotten APL Influences (2016)
- learn about Glean
    - a system for collecting, deriving and querying facts about source code
    - from Indexing Hackage: Glean vs. hiedb
- Pain in the dots
    - different semantics of two and three dot notation for `git log` and `git diff`
- Make Your Phone Grayscale
    - I've already started the practice, combining it with all-day nightshift mode
- The GCC compiler backend can now fully bootstrap the Rust compiler

#ocaml #os #rust #tla
- Why I love OCaml
- How to Get Your Research Paper Accepted
- Fork Union: Beyond OpenMP in C++ and Rust?
- #lang
    - Wren, a small, fast, class-based concurrent scripting language
        - "Think Smalltalk in a Lua-sized package with a dash of Erlang and wrapped up in a familiar, modern syntax."
        - Talon: Write Raylib programs in Wren
    - Picat, a rule-based language, in which predicates, functions, and actors are defined with pattern-matching rules
        - from Finding hard 24 puzzles with planner programming
            - "the only language that I know has a built-in planner module"
    - Dark, a serverless backend language
        - Darklang Goes Open Source
        - Goodbye Dark Inc. - Hello Darklang Inc
    - Roto
        - from Introducing Roto: A Compiled Scripting Language for Rust
    - Janet #lisp
        - a more batteries-included Lua, with Lisp/Clojure-inspired syntax
        - see The smallest embeddable scripting language, part 1
        - PEGs in a PEG
        - JNJ: J iN Janet
        - Bagatto, a static site generator written in Janet
    - goal, embeddable scripting array language
    - lamber, functional scripting language compiling to Lambda Calculus
- found many papers, see some HF papers worth skimming

#context #formal #idea #os
- Adventures in Symbolic Algebra with Model Context Protocol
    - maybe I should create MCP for GAlgebra
    - followup: Interfacing MCP with Combinatorial, Convex, and SMT Solvers
- Transpiler is a meaningless word (2023)
    - maybe that means I should give up on the idea that I could build a Forester transpiler
- found Obsidian Bases

#os #sqlite
- If composers were hackers
- found Litestream: Revamped, making SQLite apps reliably recoverable from object storage
- The Ingredients of a Productive Monorepo

#gpu #news #os #web
- Not causal chains, but interactions and adaptations
    - RCA(root cause analysis) model v.s. RE(resilience engineering) model, for incidents
    - related
        - The same incident never happens twice, but the patterns recur over and over
        - Quick takes on the GCP public incident write-up
            - “What went well” is more than just a pat on the back
            - Behind the scenes: Redpanda Cloud’s response to the GCP outage (on HN) (on lobste.rs)
        - Implicit is better than explicit
- Open Source Can't Coordinate
- Particle Life simulation in browser using WebGPU

#agent #docker #lemmy #mastodon #os
- Agent Recursion
- Semgrep: AutoFixes using LLMs
    - found a few alternatives to `semgrep`, e.g. ast-grep
- Adding Mastodon Comments to your Blog
    - Mastodon as comment system for your static blog
    - My blog now has Lemmy comments
    - learn about Glasp: Highlight the Internet & Build Your AI Clone
- async/await versus the Calloop Model
- Mimalloc Cigarette: Losing one week of my life catching a memory leak
- Ditching Obsidian and building my own
- found Qwen3 Technical Report
- found TestDesiderata
- found macOS VMs in a Docker Container