@eikke

Cloudy software guy. #Haskell'ist, music-lover and startup-minded.

 .be
Joined May 2009
  • Tweets4.3K
  • Following542
  • Followers572
52Media
The story of a 🐫 and a 🐍 counting down to 0, or "Using OxCaml to implement type-safe reference counting between #OCaml and #Python". Could've been a La Fontaine fable!
Yaron (Ron) Minsky
@yminskyJun 15
Replying to @yminsky
The actual post is here: blog.janestreet.com/oxcaml-t…

Using OxCaml to implement type-safe reference counting between OCaml and Python

Jane Street is known for being an OCaml shop, but for years now Python has been our second major programming language, acting as the primary tool for data an...

blog.janestreet.com
1
2
2,023
One of the coolest things I've seen in a while: "From Silicon to Darude Sand-storm: breaking famous synthesizer DSPs", reverse-engineering and emulating *the* synth that shaped late 90s/early 00s EDM. Bridging #hardware, #DSP, some #maths, #programming and, of course, #music.
1
1
87
Full recording of this well-presented #CCC talk at media.ccc.de/v/39c3-from-sil…

From Silicon to Darude Sand-storm: breaking famous synthesizer DSPs

Have you ever wondered how the chips and algorithms that made all those electronic music hits work? Us too! At The Usual Suspects we cre...

media.ccc.de
1
117
Advice to young engineers: Read a lot of code. Several more times than you write. Ideally not the code internal to company. Go find where the state of the art is, study it. Having worked in the docker codebase early in my career gave me a lot of skill boost long-term.
28
234
47
1,871
309,209
UK online stores don't want me to buy things from them because I have no UK phone number (yet). Even Vodafone won't sell me a mobile subscription without providing them with a valid UK phone number. Get it?
199
Even Belgian media are reporting about @natfriedman's Vesuvius Challenge! standaard.be/cnt/dmf20231013…
1
1
168
Hey @Eurostar! Not sure how the My Thalys World to Eurostar conversion went, but... I had Club level until 31/01/24 and amassed 3308 status points already (likely more, since last rides weren't processed yet). (1/2)
1
338
Now I have the Carte Blanche level (cool!), which would've "cost" only 2900 points on 31/01/24. However, the level will now expire on 01/10/24 instead, and my status points are reset to 0. That can't be right, isn't it?! (2/2)
1
129
DMARC reports: an XML file in a ZIP file. MTA-STS/TLSRPT reports: a GZip'ed JSON. 🙄🙄🙄
147
Coincidentally, I've been experimenting recently booting a #RaspberryPi 2 using UEFI with systemd-boot on #Debian #Linux (armhf) using the very same approach.
Phoronix
@phoronix23 May 2023
#Fedora #Linux Developers Discuss An Idea For Using U-Boot On x86 BIOS Systems phoronix.com/news/Fedora-U-B…

Fedora Developers Discuss An Idea For Using U-Boot On x86 BIOS Systems

Last year Fedora and Red Hat developers began discussing the idea of dropping legacy BIOS support and to then only focus on UEFI platforms

phoronix.com
159
Why do #Linux distributions insist on using an initrd to boot, while 80+% of machines out there (not even counting embedded/Android) don't need it to boot at all, assuming some drivers (nvme, ahci, maybe some others) were compiled in?
94
If you like making #music, spend some time with the Bespoke #synth, a DAW quite unlike the traditional ones. With some good samples and VST/LV2 plugins, lots of fun to create patches! #Free #software, runs on #Linux. See bespokesynth.com
A patch in the Bespoke Synth UI

ALT A patch in the Bespoke Synth UI

3
210
A plea for #Haskell library authors to use the `concurrency` abstractions: nicolast.be/development/conc…
7
418
Using #Jekyll as a #blog engine, and writing about #Haskell? With some simple steps, you can run and test the code in your articles to make sure everything works. See nicolast.be/various/jekyll-l… for a walkthrough!
1
154
Concurrency and shared mutual state are hard to get right, and even harder to test. In #Haskell, STM and #DejaFu can help. Here's a #blog post introducing some patterns I recently adopted: nicolast.be/development/test… #programming #coding #software #development #testing
A screenshot of some of the code used in the blog-post.

ALT A screenshot of some of the code used in the blog-post.

1
2
15
892
#Haskell tip: if you have a data-type with `TVar`s inside, parametrize it over a `cell` type, e.g., `data T' cell = T' { t :: cell Int }`. Now `type T = T' TVar` and `type FrozenT = T' Identity` allows to write `snapshot :: T -> STM FrozenT` which is quite useful in tests.
1
1
165
"Pas in het afvalverwerkingsbedrijf, waar de inhoud van de zakken verder gescheiden wordt, wordt het gescand. Het #statiegeld van elk herkend blikje of flesje wordt dan teruggestort op de rekening van de koper." Dus blikjes mogen niet meer platgedrukt worden? 😬
1
111
Hey @Play4_be, naar quasi-jaarlijkse gewoonte... Daarnet iets van @petergregson denk ik, delen jullie de rest ook even? Appreciated! #demol
Nicolas T.@eikke21 Mar 2021
Zeg @Play4_be, wat als jullie de 'soundtrack' van #DeMol ergens zouden publiceren? 🎶
639
If you use the #Haskell `ReaderT Env IO` pattern with some STM variables in your `Env`, here's a trick to simplify writing transactions across them: discourse.haskell.org/t/stm-… It relies on some combinators to access the vars, and hoisting `ReaderT Env STM` into `ReaderT Env IO`

STM variables in ReaderT, hoisting from STM to IO

(This may be a well-known pattern, but I don’t think I’ve seen it before, so here goes) I was working on some code recently, where some data must be shared (and mutated) by several threads. Hence,...

discourse.haskell.org
2
96
Hey @GitHub, I'm getting messages in Discussions that are clearly written by something GPT (content is fine,in a way,but doesn't contribute to the conversation and just states some obvious facts). All accounts look very similar (joined last month, 2 repos). What to do about this?
1
101
Load more