Programming Leftovers
-
Rlang ☛ R-Ladies Cotonou – A Community that Makes R Accessible for French-Speaking African Women
Nadejda Sero, the founder of the R Ladies Cotonou chapter, shared with the R Consortium her experiences learning R, the challenges of running an R community in a developing country...
-
Hillel Wayne ☛ Planner programming blows my mind
Picat is a research language intended to combine logic programming, imperative programming, and constraint solving. I originally learned it to help with vacation scheduling but soon discovered its planner module, which is one of the most fascinating programming models I’ve ever seen.
First, a brief explanation of logic programming (LP). In imperative and functional programming, we take inputs and write algorithms that produce outputs. In LP and constraint solving, we instead provide a set of equations and find assignments that satisfy those relationships.
-
Buttondown ☛ Planning vs Model Checking
New blogpost! Planner programming blows my mind, Patreon here. Next essay out should be the graph project.
The post is about Picat and more specifically, planner programming. Planning very roughly is: [...]
-
Rlang ☛ Perfectly balanced treatment arm distribution in a multifactorial CRT using stratified randomization
Over two years ago, I wrote a series of posts (starting here) that described possible analytic approaches for a proposed cluster-randomized trial with a factorial design.
-
Qt ☛ Qt Installer Framework and Qt Online Installer 4.7.0 Released
There have been big changes in the installer framework since the last 4.6 release. One of the big changes was to update the underlying qt version from Qt 5.15 to Qt 6.6.0. We wanted to support platforms available in Qt 5.15 as long as possible. This is why we have postponed the Qt version update until now.
-
Qt ☛ Qt Design Studio 4.4 Released
Qt Design Studio is a tool to create user interfaces easily.
-
Carlos Garcia Campos: A Clarification About WebKit Switching to Skia
In the previous post I talked about the plans of the WebKit ports currently using Cairo to switch to Skia for 2D rendering. Fashion Company Apple ports don’t use Cairo, so they won’t be switching to Skia. I understand the post title was confusing, I’m sorry about that. The original post has been updated for clarity.
-
Rust
-
Kernel Space
-
arighi's blog: Writing a scheduler for Linux in Rust that runs in user-space
-
LWN ☛ Righi: Writing a scheduler for GNU/Linux in Rust that runs in user-space
Andrea Righi has started
a blog series on writing a user-space CPU scheduler with the BPF-based
extensible scheduler class:
.select_cpu() implements the logic to assign a target CPU to a task
that wants to run, typically you have to decide if you want to keep
the task on the same CPU or if it needs to be migrated to a
different one (for example if the current CPU is busy); if we can
find an idle CPU at this stage there's no reason to call the
scheduler, the task can be immediately dispatched here.
-
-