Tootfinder

from my link log —
Textbook review: Is Parallel Programming Hard, And, If So, What Can You Do About It?
https://ahelwer.ca/post/2026-09-21-concurrency-textbook/
saved 2026-09-21

Textbook review: Is Parallel Programming Hard, And, If So, What Can You Do About It?
Here are my thoughts on the free online textbook Is Parallel Programming Hard, And, If So, What Can You Do About It? by Paul E. McKenney, author of the Linux kernel’s RCU synchronization mechanism. I read a lot of this textbook, got my fill, and probably won’t read more of it in the near future so wanted to write this review while it is all still fresh. Set & Setting Here I’ll talk about the mindset/life phase and physical setting I was in when I started reading this textbook. This might …

Good documentation is a gift you give yourself in a month.
#Programming #PHP

Sometimes, you just need a nice standard-sized unsigned integer of exactly 48 bits...also, I think I hate UUIDs.
#zig #programming

from my link log —
Singeli: High-level domain-specific metaprogrammin language for low-level programming, in BQN.
https://github.com/mlochbaum/Singeli
saved 2026-09-20 h…

GitHub - mlochbaum/Singeli: High-level interface for low-level programming
High-level interface for low-level programming. Contribute to mlochbaum/Singeli development by creating an account on GitHub.

Some people are getting too dogmatic about AI use in coding, just as i can use (even before AI) grammar and syntax checking in texts, why would people not be allowed to use AI for improving code they have written. Coding/programming has always been supported by tools? 🤔
#AI #LLM

Time to try reworking and bringing up the switch line cards I made over last weekend.
Number 2 has a short on the 1V0 rail so I'll save it for last, I want to try to localize the short before I blindly rework it.
003 looks like it will be the least work to get going so that's going to be the next focus.
It's missing three 1K and one 0 ohm resistors due to PNP programming errors, and has one misaligned resistor due to a reflow defect. Should be quick to rework.…

TFW you realize you already wrote a tool to solve the problem you're working on, but you totally forgot about it so used 50 workarounds that your tool exists to already solve for you...
#Programming #PHP

German #Perl Workshop 2027 in Hanover - 14.04.2027-16.04.2027
https://act.yapc.eu/gpw2027/

So, seems I have a new job lined up finally as I've signed the tentative offer letter. Also, still working with Zig and made progress with grabbing information from the Linux `sys` tree for sector/logical block sizes. Been a busy yet awesome day.
#zig #programming

“We are not going back to the early internet. Nor should we romanticise it. The old web had plenty of sewage. What it also had was space beyond the market. A person could make something without becoming a brand. A conversation could end without a conversion. A community could exist without turning its members into marks for an investment scheme.”

The Internet Is Kind of a Predatory Cesspit Now - Stephen Diehl
Personal blog of Stephen Diehl - Software engineer writing about technology, programming, and the future

google_web: Old Google web graph (2002)
A web graph representing a crawl of a portion of the general WWW, from a 2002 Google Programming contest.
This network has 916428 nodes and 5105039 edges.
Tags: Informational, Web graph, Unweighted
https://networks.skewed.de/net/google_web

RE: #Programming

Weeded the front flower beds in the hot sun while listening to the latest Murderbot installment from Martha Wells. Lost a little blood during an engagement with several thornless honeylocusts that had hacked their programming and in fact had plenty of thorns (don’t get me started). #murderbot #books #gardening

fun conversation in the pub
in retrocomputing i sung the praises of linus åkesson’s brilliant performance in which he shows how to turn the commodore 64’s basic prompt into an interactive music loop with far more livecoded machine code than seems at all reasonable https://www.linusakesson.net/program…

ETAS: An Effect-Typed Language for Agent Systems
Huiri Tan, Yikun Wang, Puyang Zhang, Shangyu Li, Jiasi Shen
https://arxiv.org/abs/2607.17780 https://arxiv.org/pdf/2607.17780 https://arxiv.org/html/2607.17780
arXiv:2607.17780v1 Announce Type: new
Abstract: ETAS is a programming language for agent systems that treats model-backed agents, tool calls, prompts, typed memory, human approvals, policies, and execution traces as semantic program elements rather than library conventions. It separates deterministic computation from agentic nondeterminism and externally visible actions while preserving a direct programming style.
We present the core design of ETAS. Its static semantics assigns ordinary types through spec conformance and tracks each computation with two behavioral indices: an escaping effect row and a persistent abstraction of the typed action trace it may request. Specs form a terminating compile-time constraint calculus: type specs provide evidence for polymorphism and resource facts, callable specs constrain function and stage shapes, and trace specs express allow, deny, and temporal constraints. Typing checks requested traces against compiled monitors and emits residual obligations when dynamic resources preclude a complete static proof. The dynamic semantics distinguish requested, handled, denied, and committed events; handlers interpret typed actions without making their requests invisible to authorization or audit.
We formalize a core calculus and state preservation, progress, type/effect soundness, handler trace-transparency, and policy safety. We also implement ETAS in Rust with a command-line interface, typed HIR checks, effect and policy diagnostics, handler checks, and trace-aware execution hooks. ETAS provides a programming-language foundation for reasoning about authorization, nondeterminism, recovery, and audit evidence before and during agent execution.
toXiv_bot_toot

I just got a spam email about "$350k LOC" and I was immediately like, "who's going to pay *$350k* per line of [computer programming] code that someone writes??"
Turns out it was about a $350k line of *credit*.

The extended version of "Special Delivery: Programming with Mailbox Types" just got accepted to JFP!!! I am absolutely skipping with joy this morning; 5 years in the making all in all.
Few minor things left to do but immensely happy and proud of this work: https://zenodo.org/records/20276673

The real tragedy is that the plebs using LLMs are often for the first time seeing what computers can do—when they could have done it faster and better for decades with programming tools.
It’s tech’s greatest failure, both by companies’ hiding or even removing (e.g. Visual Basic in Microsoft Office) programming tools in applications and by “software engineer” wankery making the tools ever more esoteric and hard to use.

from my link log —
Rewriting the Futhark type checker.
https://futhark-lang.org/blog/2026-07-21-rewriting-the-type-checker.html
saved 2026-07-22

Recordings of many of the talks of FLOPS 2026 are now available!
https://functional-logic.org/events/flops/2026/schedule/

SXSW plans to add a dedicated podcast festival in 2027, making it a core element of the event, alongside Film & TV, Music, Comedy, and the Innovation Conference (Matt Grobar/Deadline)
https://deadline.com/2026/08/sxsw-launching-podcast-festival-2027-12370435…

SXSW Launching Podcast Festival In 2027
SXSW is expanding its programming with the launch of a dedicated podcast festival in 2027, South by Southwest announced on Tuesday.

James Randall "I Started Programming When I Was 7. I'm 50 Now, and the Thing I Loved Has Changed" on software complexity, abstractions, AI and older vs younger developers: https://www.jamesdrandall.com/posts/the_thing_i_loved_has_changed/

I Started Programming When I Was 7. I'm 50 Now, and the Thing I Loved Has Changed | James Randall
I still love developing but the shifts that AI have brought are tectonic and are forcing me to re-evaluate my own relationship to building things

TIL " #Python, for example, is a popular programming language that is famously smooth at handling integers of any size. If you peek into Python's underlying source code (search “Karatsuba” here)"

Mathematicians still don’t know the fastest way to multiply numbers
A 23-year-old student overturned an ancient conjecture about one of math’s simplest operations

from my link log —
Hardening Rust code for production.
https://corrode.dev/blog/hardening-rust/
saved 2026-07-22 https://dotat.at/:/TWY…

Hardening Rust Code For Production | corrode Rust Consulting
We talked about patterns for defensive programming in Rust before, in which implicit invariants that aren’t enforced by the compiler lead to utter misery. But being careful isn’t enough! Even valid code can fail at runtime in ways that are hard to pr…

NFL Media 2026 fall programming lineup https://www.nfl.com/news/nfl-media-2026-fall-programming-lineup

Who would've thought that #Rust becomes native for GPU kernels:
https://developer.nvidia.com/blog/introducing-cuda-rust-two-tracks-for-writing-gpu-kernel…

Introducing CUDA Rust: Two Tracks for Writing GPU Kernels
In September 2026, NVIDIA announced it is leaning into native GPU programming in Rust. CUDA C++ and CUDA Python are mature, enterprise-grade toolchains…

from my link log —
Subclassing in Python, redux.
https://hynek.me/articles/python-subclassing-redux/
saved 2024-04-11 https://

Subclassing in Python Redux
The conflict between subclassing and composition is as old as object-oriented programming. The latest crop of languages like Go or Rust prove that you don’t need subclassing to successfully write code. But what’s a pragmatic approach to subclassing in Python, specifically?

High-Level Synthesis of Efficient Pipelines with Visibility Control
Jungin Rhee, Minseong Jang, Jaewoo Kim, Jeehoon Kang
https://arxiv.org/abs/2607.18765 https://arxiv.org/pdf/2607.18765 https://arxiv.org/html/2607.18765
arXiv:2607.18765v1 Announce Type: new
Abstract: High-level synthesis (HLS) raises the abstraction of hardware design from concurrent register-transfer level (RTL) programs to sequential programs. Among the forms of parallelism HLS exploits, pipelining demands fine-grained control over pipeline structure and hazard resolution to achieve competitive power, performance, and area (PPA). However, existing tools either lack such control or sacrifice sequential semantics to provide it.
We present an HLS tool that embeds fine-grained pipeline control in a sequential programming model, enabling rapid design-space exploration. The tool builds on visibility control, a novel programming abstraction that unifies hazard resolution strategies including stalling, bypassing, speculation, deferred commit, and register renaming. We evaluate on in-order RISC-V cores, histograms, and an AES accelerator. On RISC-V cores, we implement stall, bypass, speculation, and register renaming; on histograms, we implement scheduling strategies that previously required RTL or concurrent programming models. Compiled pipelines outperform HLS tools with sequential semantics and achieve PPA comparable to hand-written RTL.
toXiv_bot_toot

Okay, the breakdown *by-language* of Artificial Analysis's "Omniscience" hallucination/capability benchmark is absolutely fascinating.
I feel like this is some of the first concrete evidence I've seen of my longtime lean: that the *correctness* tooling we obsess over in PLT spaces is one of the greatest possible value-adds to the LLM era. (Just look at the Rust row, holy shit.)
Choosing a good language basically shifts the quality of output by an entire cost-cat…

Very interesting talk by @… - developer of the #Hedy programming language
"AI made me doubt everything about programming" https://

Day 2 with R-programming. I'm getting a hang of it, but it's not like any other language I've been using.

Nine PBS is afraid that it will lose over 70 years of archival materials and programming
after its contracted cloud storage vendor has apparently gone out of business.
According to Current, the channel used Open Source Storage, or OSS, for storing over 50TB of data
— but it suddenly lost access to its data earlier this year.
Nine PBS has been working with OSS and its predecessor since 2019 and intended to renew its contract on March 6 of this year.
The compan…

PBS broadcaster loses access to 50TB of data comprising 70 years of TV history after contracted cloud storage vendor goes defunct — public TV channel sues Iron Mountain data center, which hosts archival materials, to ensure preservation
This wouldn't have been an issue if the organization bought a $1,000 NAS and populated it with a few hard drives.

Programming language tradeoffs.
https://www.garfieldtech.com/blog/language-tradeoffs

Programming language trade-offs
This article is also available in Serbo-Croatian This article is also available in Dutch There has been much discussion of late in Drupal about Object-Oriented Programming. That's not really surprising, given that Drupal 7 is the first version that has really tried to use objects in any meaningful way (vis, as something…

If you just need a pretty figure from a dataset and not the full power of R, have a look at #gui

Don't worry, nobody really LISTENS to lectures in MOSCOW, either! ...
FRENCH, HISTORY, ADVANCED CALCULUS, COMPUTER PROGRAMMING, BLACK
STUDIES, SOCIOBIOLOGY! ... Are there any QUESTIONS??

Things I've learned today:
- Valgrind does not support AVX512 instructions. That was an adventure because I was writing purposefully bad code at the time...
- However, changed strategies and used `clang` with the `fsanitize=address,undefined` option which seems to work perfectly fine.
#clang

I'm on a deep programming binge right now. My least favorite thing to do when I'm like this is trying to have coherent conversations with anyone. It's hard to string more than three words together right now.
I can still write just fine. It's interesting that it's mostly my verbal abilities that are affected. A friend of mine who used to be a developer once asked me in all seriousness, "Does programming cause brain damage? Do you recover from this?"

My office right now.
A reasonable person could be forgiven for thinking I'm a kindergarten teacher, and not preparing materials for a college introduction to programming course.
(Let me know if you're interested in what those activities are...)
(And also a Foundations of AI course, but first, the intro course.)
#teaching

Just wrote a fun little algorithm for iterating through all grid positions within X euclidean distance from a center, roughly in order of distance but also mostly ensuring each position yielded is at least diagonally adjacent to the previous. It's a fun problem to think about with lots of design tradeoffs and many valid solutions.
My solution requires that the origin be on the grid (I think?) and uses a bunch of caching instead of a bajillion distance checks, although I don't actually know what the memory/speed tradeoff is like or whether there are any gains at all (could be net losses, which I'm starting to wonder about more as I write this post). Thankfully I don't expect performance to be very critical here anyways, and doing the caching actually helped separate some logic in a useful way.
A fun little diversion from bigger stuff in the project and a reminder of some of the joys of programming design at a small scope. Feels kinda like mastering the local town's minigame while you're stuck on the main quest in an RPG.
#programming

I was today years old when I learned that Dockerfiles support heredoc-like syntax, and I am furious at every tutorial and presenter that has used a dozen lines with \ instead of that.
#Docker #Programming

from my link log —
How io_uring and eBPF will revolutionize programming in Linux.
https://www.scylladb.com/2020/05/05/how-io_uring-and-ebpf-will-revolutionize-programming-in-linux/
saved 2020-11-26

How io_uring and eBPF Will Revolutionize Programming in Linux
ScyllaDB's Glauber Costa explains how two new APIs, io_uring and eBPF, are changing the fundamental nature of Linux programming.

The ternary operator is all fun and games until you end up with a branch coverage drop without a line number for the culprit (because one of the branches is covered).
#dev #programming #JavaScript…

Netflix signs deals with Penske Media, Condé Nast, Hearst, People, and other publishers to carry a range of programming from 2 to 20 minutes, starting August 3 (William Earl/Variety)
https://variety.com/2026/tv/news/netflix-variety-how-well…

Variety and Other PMX Brands Set Video Licensing Pact With Netflix
Variety, Rolling Stone and other publishing brands in Penske Media's PMX unit have reached a licensing pact with Netflix for video series.

Ich werde morgen auf dem Java Forum ausnahmsweise mal Java programmieren und zeigen, wie "Data-Oriented Programming" funktioniert und warum das geil ist.
https://www.java-forum-stuttgart.de/vortraege/data-oriented-programming/

Wer sich ein bisschen für #Musik auf dem #Commodore #C64 interessiert, mag sich vielleicht das Video ansehen, welches Linus in seinem Blog

So LLMs have utility for programming but not _by themselves_, only in conjunction with a harness that essentially brute-forces text generation until it passes deterministic criteria.
Those (non-LLM parts) can be tested in an automated way, by iteratively syntax checking, compiling, running tests etc.
But this doesn't apply to literally anything else: there's no deterministic syntax checking, compiling or veracity-testing for human language—yet tech bros still have this misguided notion that LLMs work great for _everything_ because they work (sometimes) for generating computer code.
(I'm not going into economic or ethical problems with LLM here on purpose; this is purely an observation from a technical and epistemological point of view.)

I've seen a bunch of commentary that #vibecoding thwarts / neglects the truth of programming-as-theory-building (Naur 1985), and I believe that's true.
One thing I haven't seen stated as explicitly is that if you don't have a theory of how your program works, you can't have any understanding of how it works *ethically*.
It's hard enough to bring technologists&…

Had to hand-edit a python library source to get offlineimap working. Backwards compatibility has no priority for python developers, useless behaviour, useless programming language.

I fucking hate programming computers

"If you’re someone who somehow lost their inner voice along the way (maybe without even realizing it) give yourself a shot. Don’t play anything in the background, don’t turn on your favorite show. Just sit in silence for a moment and see what happens. You might actually like it."
I agree. I do this by default. I am more likely to let myself think than fill my attention with some noise.
I do also rest my mind with mindless but enjoyable streaming... at times.

Hello, me. It’s been a while. - The Mech - programming blog
Wow. It’s been over fourteen years since the last time I wrote a post on this blog. In those fourteen years, the world has changed, and so have I. So this isn't going to be a technical post, it's going to be personal. One of those subtle changes that quietly crept into my life over

I really like Go, the programming language.
The one thing I strongly dislike about it, is Google's marketing of it.
I wonder where it would be if Google wasn't the main supporter.
https://developers.googleblog.com/why-g…

Why Go is an Ideal Language for AI-Assisted Software Engineering- Google Developers Blog
As AI shifts software engineering from writing to reviewing, discover how Go's strict compiler and unified toolchain ensure reliable AI-generated code.

Don't Overdue It
This award winning podcast delves into the story of the Mount Gambier Library. Looking at innovations to programming, authors to local history...
Great Australian Pods Podcast Directory: https://www.greataustralianpods.com/dont-overdue-it/ …

Please, don't let yourself be in this video.
#Programming

from my link log —
Accurate int/float colour conversions.
http://lomont.org/posts/2023/accuratecolorconversions/
saved 2026-08-18 https://

Semafor hires Adam Banicki as its first head of video and says video is on pace to generate high-seven- to low-eight-figure revenue by the end of the year (Mark Stenberg/Adweek)
https://www.adweek.com/media/semafor-anti-scale-video/

Semafor Is Betting Big on ‘Anti-Scale’ Video
The publisher, which has five new shows in development, has hired Fortune's Adam Banicki to create video programming for its C-suite audience

Do you (sometimes) use print() or message() for debugging your code? Next time you can use {icecream} instead: #rstats

Ice Cream for R Programmers - Turtletopia: a blog about programming in R
Icecream is a tool which may serve as a more sophisticated replacement of using print while debugging.

google_web: Old Google web graph (2002)
A web graph representing a crawl of a portion of the general WWW, from a 2002 Google Programming contest.
This network has 916428 nodes and 5105039 edges.
Tags: Informational, Web graph, Unweighted
https://networks.skewed.de/net/google_web

The Zig journey continues, things get a bit cleaner and we're now parsing the primary partition entries in the MBR. Very nice...
#programming #zig

[2026-07-22 Wed (UTC), 6 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

Programmatic database resets
#PHP #Programming

Programmatic database resets
Make your tests faster and safer with this one cool trick!

Holy crap, I have to be missing something with respect to HashMap construction...I officially have all of the `try put` statements...lol. It does work though, and now the primary MBR partitions have appropriate partition type descriptions.
#zig #programming

CBS Sunday Morning partners with New York City's 92nd Street Y for a series of live interviews with actors, politicians, and others starting September 28 (Alex Weprin/The Hollywood Reporter)
https://www.hollywoodreporter.com/tv/tv-ne

CBS News Pushes Into Live Events as ‘Sunday Morning’ Teams With 92nd Street Y (Exclusive)
The long-running morning show will collaborate with the Upper East Side cultural institution on live interviews and programming that will stream on both their platforms.

Anthropic says Claude worked "largely autonomously" over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language (Anthropic)
https://www.anthropic.com/research/formalizing-fermats-last-theorem

Formalizing Fermat's Last Theorem
Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.

Teaching an intro programming class, and I am always hearing about the old days when your program was a stack of punch cards.
I want to get some of those punch cards to show my students (and see for myself!).
You can find real punch cards for sale online, but many seem to be just for data entry. I want "the real thing" one would use to write a real program.
What should I look for? Where can I get these?
1/N

More progress. I've got the entire MBR processing finished up with a ton of cleanup. Processing the extended partition entries is always fun, but after a fixing a few dumb mistakes everything is parsing out correctly. Even better: no memory leaks.
#zig #programming

Every time I brainstorm/daydream on how I'd design an ideal type system... I eventually end up with Rust.
It's kind of annoying, really.
#Rust #Programming #Types

Decode-Time Grammars: Constrained LLM Generation over a Refinement Order of Grammar Fragments
Shuoming Zhang, Ruiyuan Xu, Haofeng Li, Qiuchu Yu, Yangyu Zhang, Chunwei Xia, Xiaobing Feng, Chenxi Wang, Huimin Cui, Jiacheng Zhao
https://arxiv.org/abs/2607.18357 https://arxiv.org/pdf/2607.18357 https://arxiv.org/html/2607.18357
arXiv:2607.18357v1 Announce Type: new
Abstract: Large language models now write a growing share of the world's code, increasingly inside agents and serving systems that compile, execute, or dispatch generated code without line-by-line review. This works well for mainstream languages but remains brittle for low-resource programming surfaces such as domain-specific languages, custom library APIs, and command-line tools. Even under grammar-constrained decoding, a model can still produce references invalid in the current environment: a buffer never declared, a column absent from the schema, a function the library does not provide, or an unsupported CLI option.
This paper introduces decode-time grammars: grammar fragments instantiated during generation from a runtime environment Gamma. A region-specific policy selects a fragment for each hole, and a tightening operator replaces open reference positions with Gamma-typed slots whose candidates are exactly the names, fields, APIs, or options available at that point. Newly generated declarations enter Gamma before later regions are decoded, so the constraining grammar can depend on the prefix already generated. This ensures not only grammatical correctness but also semantic correctness, by preventing references to undefined symbols.
We formalize grammar fragments as environment-indexed grammars ordered by refinement, prove No-Ghost soundness for Gamma-slotted fragments, show that refinement preserves this support-set guarantee, and characterize the boundary of mask-enforceable properties. We implement the approach in gproj with offline grammar induction and online policy resolution. Across TileLang, SQL, and P4, with models from 0.6B to 236B parameters, gproj eliminates ghost references by construction at moderate overhead over standard constrained decoding.
toXiv_bot_toot

from my link log —
Zig programming language 0.6.0 release notes.
https://ziglang.org/download/0.6.0/release-notes.html
saved 2020-04-14 https://…

A curated list of awesome tools to assist 📦 development in R programming language. #rstats #📦

GitHub - IndrajeetPatil/awesome-r-pkgtools: A curated list of awesome tools for R package development
A curated list of awesome tools for R package development - IndrajeetPatil/awesome-r-pkgtools

Moar progress, will probably move this into the struct along with MBR reconstruction from the struct. This might actually end up doing a bit of `fdisk` stuff...
#zig #programming #mbr

google_web: Old Google web graph (2002)
A web graph representing a crawl of a portion of the general WWW, from a 2002 Google Programming contest.
This network has 916428 nodes and 5105039 edges.
Tags: Informational, Web graph, Unweighted
https://networks.skewed.de/net/google_web

Filing: Disney and ABC say the FCC is retaliating against ABC because Trump doesn't like its programming and urge the FCC to stop efforts to block ABC licenses (Todd Spangler/Variety)
https://variety.com/2026/tv/news/disney-abc-reply-fcc-li…

Disney and ABC Ask FCC to Reject Petitions to Deny TV License Renewals
Disney and ABC urged the FCC to toss out petitions calling for the agency to deny the renewal of broadcast licenses for ABC's eight owned-and-operated TV stations, and they reiterated the assertion that the agency targeting the stations with the "death penalty of license non-renewal" because President Donald Trump doesn't like the programming carried on the network.

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- The EDGE Language: Extended General Einsums for Graph Algorithms
Odemuyiwa, Porumbescu, Nayak, Pellauer, Emer, Owens
https://arxiv.org/abs/2404.11591 https://mastoxiv.page/@arXiv_csDS_bot/112291034292734261
- Composable Verification Pipelines for Multi-Agent Systems
Julian Alfredo Mendez, Andreas Br\"annstr\"om
https://arxiv.org/abs/2607.16266 https://mastoxiv.page/@arXiv_csLO_bot/116956805448253784
- AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language
Qiyuan Xu, Joshua Ong Jun Leang, Renxi Wang, Wenda Li, Haonan Li, Luke Ong, Conrad Watt
https://arxiv.org/abs/2607.16372 https://mastoxiv.page/@arXiv_csSE_bot/116956840082703202
- Exact Network Surgery: Functional Invariance and Gradient Plasticity in Reactive Computational Gr...
Abdallah Khemais (ISITCOM, University of Sousse)
https://arxiv.org/abs/2607.16568 https://mastoxiv.page/@arXiv_csAI_bot/116957045910225353
- Topology in Synthetic Domain Theory and its Formalisation in Agda
Runze Xue
https://arxiv.org/abs/2607.17292 https://mastoxiv.page/@arXiv_csLO_bot/116956840838635477
- Portable models as a replacement for industrial heuristics in compiler optimizations
Fot Nikolai, Vinarsky Alexander
https://arxiv.org/abs/2607.17389 https://mastoxiv.page/@arXiv_csSE_bot/116957129471226499
- Proceedings 42nd International Conference on Logic Programming
Wolfgang Faber, Laura Giordano, Ricardo Rocha, V\'itor Santos Costa
https://arxiv.org/abs/2607.17707 https://mastoxiv.page/@arXiv_csLO_bot/116956852438717401
toXiv_bot_toot

So, after some consideration I decided to break out the block device reading operations out into its own module. Also, the returned data is now in a struct with a `.deinit` method that will handle cleanups. It might be more complicated than necessary, but it's clean.
#zig #programming

from my link log —
Verona: a research programming language for concurrent ownership.
https://github.com/microsoft/verona
saved 2020-10-28 https://do…

GitHub - microsoft/verona: Research programming language for concurrent ownership
Research programming language for concurrent ownership - microsoft/verona

SQLite for Everything
https://joecode.com/2026-08-19-sqlite3/
We have so many remarkable tools that we avoid using because something else has a shiner marketing budget. (Though SQLite's type system is pretty mediocre.)

So, after searching far and wide on the internet I have managed to open a file from a command-line argument and read 10 bytes from it using Zig v0.16. I was not expecting it to be quite this complicated.
#programming #zig

Do the simplest thing that will work, except for when you need to do the most robust and forward-thinking thing that will work.
Determining when to do which, that's the rub.
#Programming

from my link log —
Async Rust: futures, tasks, wakers; oh my!
https://msarmi9.github.io/posts/async-rust/
saved 2021-06-22 https://d…

from my link log —
time_it! a case study in Rust macros.
https://notes.iveselov.info/programming/time_it-a-case-study-in-rust-macros
saved 2020-05-15

time_it: a Case Study in Rust Macros | IV Notes
My adventures in Declarative Macros Land

from my link log —
Thoughts on error handling in Rust.
http://lukaskalbertodt.github.io/2019/11/14/thoughts-on-error-handling-in-rust.html
saved 2019-11-22

I like people I can vibe with. Not machines to vibe at.
#Programming #AI #LLM

I mean, this is fair and accurate for all languages mentioned...
#Programming #PHP #CPP #Javascript

from my link log —
Flix: a functional / logic programming language for the JVM.
https://flix.dev/
saved 2020-12-23 https://dotat.at/:/7PXN5.html

Functional programming isn't just for Haskell developers. It's for #PHP developers, too. "Thinking Functionally in PHP" is available from LeanPub.
https://leanpub.com/thinking-functiona

Thinking Functionally in PHP
Functional programming in PHP 7.4, with a side of category theory and monads accessible to everyone.

I hate dealing with file permissions. *HATE*.
#Programming #PHP

The perils of under-engineering:
#PHP #Programming

The perils of under-engineering
When Yes, You're Gonna Need It

I have now reached the "how did this ever work?" stage of debugging.
#PHP #Programming

from my link log —
Fully in-place functional programming with Koka.
https://dl.acm.org/doi/abs/10.1145/3607840
saved 2026-07-06 https://

Code that used to work but now doesn't is the bane of my existence. And yes, there are tests. That doesn't answer *why* this thing no longer works, despite no changes to the relevant files.
#Programming #Debugging

Code that was working and passing all tests, untouched for weeks, now failing tests on the exact same computer, exact same checkout, exact same commit.
This is the bane of my existence. And no, Grand Theft Autocomplete will not fix this. (It will probably make it worse.)
#Programming #AI