Writing your own BEAM in Elm.
Nov. 10th, 2025 02:31 pm![[syndicated profile]](https://www.dreamwidth.org/img/silk/identity/feed.png){kind=small}
dotaturls_feed- 2025‑11‑10 - Writing your own BEAM in Elm.
- https://martin.janiczek.cz/2025/11/09/writing-your-own-beam.html
- redirect https://dotat.at/:/BBNPD
- blurb https://dotat.at/:/BBNPD.html
- atom entry https://dotat.at/:/BBNPD.atom
- web.archive.org archive.today
Philippson on the Mishkan
Nov. 10th, 2025 09:24 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
lethargic_manI wrote before about how one of the strengths of Rabbi Ludwig Philippson, in his 1844 commentary on the Torah, is his ability to pull patterns out of what look like random things in the text. I said I wanted to translate two examples, but this turned out to be a much larger undertaking than I expected. In the end, I decided to feed the text into a translation engine, but this also involved a large expenditure of time, correcting the things the translation engine (or the OCRing of the original text) got wrong.
This is actually the second text I wished to translate. (The first might not necessarily be longer, but it's buried somewhere inside the long Schlussbetrachtung zum ersten Buche Moscheh, and I'd need to at least skim translate that to find it.) In this passage, Philippson considers in turn the meanings of the names of the Mishkan, its component spaces, its dimensions, the materials it was constructed from and its colours, before bringing all of this together into a summary of the deeper meaning of the Mishkan, the like of which I have never read.
I'd originally intended to write here: This is a long text; so I suggest that rather than reading it online, you print it out and read during the long drawn-out parts of the High Holydays services. But then life got in the way and I'm only finishing it now. So I suggest instead you print it out and read it during the long dark autumn or winter Friday nights. (Hah, who am I kidding that anyone's going to read a text this long? I suspect I'm translating this mostly for my own benefit to be able to reread easily and fast in the future.) If you do print it out, note that the page with the Tetragrammaton needs to be disposed of in due course in a geniza.
Two comments up front: Firstly, the translation below doesn’t capture one aspect of the original text, which is that it looks like this: in blackletter, with long S’s, and with abſolutely no paragraphing (apart from daſhes to introduce new ſections).
( View page scan )
The other is to raise the issue one word that Philippson makes copious use of, but which I’ve had difficulty translating. That word is Vermittelung. Vermitteln means to impart or mediate, but Philippson uses it to describe the connection between God and Man. I’ve translated it as “intermediation”, or “connexion” (using this spelling for a nineteenth-century feel); I don’t feel this really does the job well, but I can’t think of anything better. (Where you see "connection" spelled with CT, this is not a continuity error, but rather rendering the more unambigous word Verbindung.)
(If you're reading this on a smartphone, now would be a sensible time to start viewing in landscape orientation.)
( Read all about it! )Async Rust with Tokio I/O streams: backpressure, concurrency, and ergonomics.
Nov. 9th, 2025 06:36 pmdotaturls_feed- 2025‑11‑09 - Async Rust with Tokio I/O streams: backpressure, concurrency, and ergonomics.
- https://biriukov.dev/docs/async-rust-tokio-io/1-async-rust-with-tokio-io-streams-backpressure-concurrency-and-ergonomics/
- redirect https://dotat.at/:/HRK3H
- blurb https://dotat.at/:/HRK3H.html
- atom entry https://dotat.at/:/HRK3H.atom
- web.archive.org archive.today
Saturday Morning Breakfast Cereal - Sawyer Lee and the Quest to Just Stay Home
Nov. 10th, 2025 11:30 amsmbc_comics_feed
Click here to go see the bonus panel!
Hovertext:
Click the comic to read chapter 1!
Today's News:
Pre-orders for my new book Sawyer Lee and the Quest to Just Stay Home have begun!
Sawyer Lee is an illustrated middle grade novel starring an unadventurous kid who'd rather dig a deep dent in the couch than make a mark on the world, as many in his illustrious family of astronauts, scientists, spies, champion athletes... blah blah blah... have. He has decided that after generations of effort, it’s time to spend one lifetime relaxing.
The problem is that Sawyer keeps getting caught up in the exhausting expectations of his wicked aunt Celia, his complex relationship with his ambitious other friend, Angela, and the shenanigans of every else in town hoping to win the yearly Gourd Thump festival celebrating nature’s dullest vegetable.
In this tale of mystery, treachery, conspiracy, plant husbandry, and an imaginary love triangle, Sawyer knows it will take a regrettable amount of energy to escape these entanglements and find a way back to his happy place on Gary’s couch, with a cozy throw blanket, a steaming mug of chamomile tea, and an empty schedule.
You can check out the first chapter here along with pre-order links!
Saturday Morning Breakfast Cereal - Addiction
Nov. 10th, 2025 11:20 amsmbc_comics_feed
Click here to go see the bonus panel!
Hovertext:
How're you gonna get your girlfriend pregnant with a BEHAVIORAL addiction, man?
Today's News:
How To Fix A Too Salty Ferment
Nov. 10th, 2025 03:32 pmfermentingforfoodies_feedNeed to fix a too salty ferment? Here are four ways to reduce salt after fermentation so you don't have to worry about the sodium content.
An interview with William Kahan, the old man of floating-point. (1998)
Nov. 10th, 2025 01:18 amdotaturls_feed- 2025‑11‑10 - An interview with William Kahan, the old man of floating-point. (1998)
- https://people.eecs.berkeley.edu/~wkahan/ieee754status/754story.html
- redirect https://dotat.at/:/PVS10
- blurb https://dotat.at/:/PVS10.html
- atom entry https://dotat.at/:/PVS10.atom
- web.archive.org archive.today
who wants to play (to the exclusion of everything else)... video games??
Nov. 10th, 2025 12:00 amdinosaur_comics_feed| archive - contact - sexy exciting merchandise - search - about |
| ← previous | November 10th, 2025 | next |
November 10th, 2025: This comic is inspired by WEEKENDS!! – Ryan | ||
GADT-style trait-constrained enums in Rust.
Nov. 9th, 2025 02:49 amdotaturls_feed- 2025‑11‑09 - GADT-style trait-constrained enums in Rust.
- https://kcsongor.github.io/gadts-in-rust/
- redirect https://dotat.at/:/1AUQW
- blurb https://dotat.at/:/1AUQW.html
- atom entry https://dotat.at/:/1AUQW.atom
- web.archive.org archive.today
New Attacks Against Secure Enclaves
Nov. 10th, 2025 12:04 pmbruce_schneier_feedEncryption can protect data at rest and data in transit, but does nothing for data in use. What we have are secure enclaves. I’ve written about this before:
Almost all cloud services have to perform some computation on our data. Even the simplest storage provider has code to copy bytes from an internal storage system and deliver them to the user. End-to-end encryption is sufficient in such a narrow context. But often we want our cloud providers to be able to perform computation on our raw data: search, analysis, AI model training or fine-tuning, and more. Without expensive, esoteric techniques, such as secure multiparty computation protocols or homomorphic encryption techniques that can perform calculations on encrypted data, cloud servers require access to the unencrypted data to do anything useful.
Fortunately, the last few years have seen the advent of general-purpose, hardware-enabled secure computation. This is powered by special functionality on processors known as trusted execution environments (TEEs) or secure enclaves. TEEs decouple who runs the chip (a cloud provider, such as Microsoft Azure) from who secures the chip (a processor vendor, such as Intel) and from who controls the data being used in the computation (the customer or user). A TEE can keep the cloud provider from seeing what is being computed. The results of a computation are sent via a secure tunnel out of the enclave or encrypted and stored. A TEE can also generate a signed attestation that it actually ran the code that the customer wanted to run.
Secure enclaves are critical in our modern cloud-based computing architectures. And, of course, they have vulnerabilities:
The most recent attack, released Tuesday, is known as TEE.fail. It defeats the latest TEE protections from all three chipmakers. The low-cost, low-complexity attack works by placing a small piece of hardware between a single physical memory chip and the motherboard slot it plugs into. It also requires the attacker to compromise the operating system kernel. Once this three-minute attack is completed, Confidential Compute, SEV-SNP, and TDX/SDX can no longer be trusted. Unlike the Battering RAM and Wiretap attacks from last month—which worked only against CPUs using DDR4 memory—TEE.fail works against DDR5, allowing them to work against the latest TEEs.
Yes, these attacks require physical access. But that’s exactly the threat model secure enclaves are supposed to secure against.
Interesting Links for 10-11-2025
Nov. 10th, 2025 12:00 pmandrewducker- 1. How the world's richest man is boosting the British right
- (tags:politics fascism ElonMusk twitter bias )
- 2. James Watson: From DNA pioneer to untouchable pariah
- (tags:biography DNA history viaPatrickHadfield )
- 3. Fact-Checking Claims About Zohran Mamdani
- (tags:politics usa satire funny )
- 4. Reminder that the New York Times regularly prints hateful nonsense (an article about someone they tried to interview about Zohran Mamdani)
- (tags:politics newyork journalism OhForFucksSake USA viaKenny )
- 5. A bunch of engineers built a drifting wheelchair for an injured coworker. It looks awesome.
- (tags:disability engineering video )
- 6. The nature of the last universal common ancestor and its impact on the early Earth system
- (tags:biology genetics earth )
- 7. Meet the teen behind the Louvre 'Fedora Man' mystery photo
- (tags:france police photos crime Paris style )
- 8. New flu virus mutation could see 'worst season in a decade' (get your vaccinations!)
- (tags:flu doom )
- 9. Long-term Melatonin use associated with much higher risk of heart problems and death
- (tags:medicine heart )
- 10. Senate Democrats Just Made a Huge Mistake
- (tags:usa politics )
- 11. Scotland's first commercial windfarm will be able to deliver five times more clean power than before after being upgraded
- (tags:scotland windpower GoodNews )
Discovering the discovery of designated resolvers (DNS DDR).
Nov. 9th, 2025 06:28 pmdotaturls_feed- 2025‑11‑09 - Discovering the discovery of designated resolvers (DNS DDR).
- https://labs.ripe.net/author/yevheniya-nosyk/discovering-the-discovery-of-designated-resolvers/
- redirect https://dotat.at/:/R0VAU
- blurb https://dotat.at/:/R0VAU.html
- atom entry https://dotat.at/:/R0VAU.atom
- web.archive.org archive.today
vital functions
Nov. 9th, 2025 10:14 pmkaberettCelebrating. Anniversary. <3
Reading. ( Ravindran, Link, Stocks )
I have also: been skimming a variety of pain-related academic publications, and: printed out not one but TWO translations of Treatise on Man for the coming week's work reading.
Playing. Things!
- Gently pootling along in I Love Hue.
- Inkulinati! Delighted by having made it along the High Combat route on the second map page of my journey with... really minimal damage sustained; also very pleased that having worked through most of the Academy and now having made Progress on my Journey I now have enough of an understanding of mechanics that Proper Shared Activity is viable. (... had a Very satisfying Pushing A Helmeted Dog Off Its Level when it had considerately broken down a neutral gate for me.)
- Fluxx! A particularly ridiculous game, that spent a whole bunch of time Draw 1 Play 1 and then suddenly exploded into Draw 3, Play All, Rich Bonus, Poor Bonus, Party Bonus, and Inflation, among others.
Cooking. Um. Three things from [the Roti King cookbook]9https://www.penguin.co.uk/books/466240/roti-king-by-sugen-gopal/9781837832118)! Surprised by how Very Into the beetroot thingy I was, and the pumpkin stew Grew On Me over the several days we spent eating it.
Also a tomato salad from East, which I was meh about -- but hey, that's one more thing crossed off that particular cookbook list!
Eating. This weekend we have had Many Avocadoes (which are a Special Treat), and also A made me blueberry pancakes for breakfast this morning.
OH and a variety of Things To Share from The Artful Duke in Bromley: macaroni cheese not particularly exciting but also very definitely not Cold Sad Soup, and therefore very welcome; sweetcorn "ribs"; three bean chilli nacho Situation; halloumi fries with hot honey. This occasioned the realisation on my part that "hot honey" is upselling for "sweet chilli sauce", which I find very amusing.
And a big pile of tomatoes my mother sent us home with, along with a chunk of Schwarzbrot :)
Exploring. Bromley "zoo"!
Making & mending. ... I got one of A's mildly problematic fountain pens writing earlier today and then promptly made it stop again. Gonna keep poking at the nib. (Tines were misaligned. Fixed that but/and they are now also a bit too splayed for capillary action to work properly; I think this predated my starting to mess around with it...)
Growing. The Mystery Habanero fruit are getting bigger. I am extremely impatient about how much bigger I need to wait for them to get before I can taste one to see how bad an idea eating it neat was.
All the various patio saffron are coming up, but the trough do not seem to have any interest in flowering this year, so I am going to need to Have A Think about what to do to make them happier. Honestly the answer is probably "buy another bag of bulb compost and bury 'em deeper".
Experience report: it will never work in theory.
Nov. 9th, 2025 05:40 pmdotaturls_feed- 2025‑11‑09 - Experience report: it will never work in theory.
- https://www.computer.org/csdl/magazine/so/2024/03/10424425/1Ulj1Qa8tJ6
- redirect https://dotat.at/:/FX16K
- blurb https://dotat.at/:/FX16K.html
- atom entry https://dotat.at/:/FX16K.atom
- web.archive.org archive.today
Systematization of knowledge (SoK): eternal war in memory. (2013)
Nov. 9th, 2025 05:59 pmdotaturls_feed- 2025‑11‑09 - Systematization of knowledge (SoK): eternal war in memory. (2013)
- https://people.eecs.berkeley.edu/~dawnsong/papers/Oakland13-SoK-CR.pdf
- redirect https://dotat.at/:/R3BMI
- blurb https://dotat.at/:/R3BMI.html
- atom entry https://dotat.at/:/R3BMI.atom
- web.archive.org archive.today
Saturday Morning Breakfast Cereal - What
Nov. 9th, 2025 11:20 amsmbc_comics_feed
Click here to go see the bonus panel!
Hovertext:
Fortunately, it turns out that all along he has been a placebo husband.
Today's News:
an assortment of nice things
Nov. 9th, 2025 12:48 pmwychwoodDespite *gestures* everything, there are still nice things sometimes!
Not so nice: now I have to go to a double choir rehearsal where a) the conductor has already made it clear that he's not going to follow the precedent of our newly-retired chorus director and finish the second rehearsal early because everyone is tired by then, not that anyone thought for a second that he would, and b) they've cut the break between the two rehearsals down to thirty minutes, which I am not convinced is long enough when we have two and a half hours of rehearsal each side of it...
- Miss H just got made redundant, but on Friday she heard that she'd successfully interviewed for another job at her institution, so the cat's Dreamies are no longer in peril.
- Another friend just got promoted! Exciting new job title.
- I have some annual leave this week, and it's going to be amazing.
- Pictures!
This one's from quite a while ago, but I came across it while I was uploading the others. I did know that flowers could break through pavement, but it's still pretty impressive to see! Tiny little leaves tearing up the tarmac.
Between Reform somehow, horrifyingly, topping the polls, and my city being smothered in Union Jack flags put up by people who definitely don't have any racist motivations of any kind and who are only purely coincidentally buddies with Tommy Robinson, it's nice to see something I can agree with for once.
This was on my parents' road - one of the trees in the allotments was dropping these absolutely colossal leaves all along the pavement. I thought they looked acer-ish, so presumably sycamore, but I've never seen one a quarter of this size before. I told my swimming buddy who volunteers for a tree charity about it, and she suggested it might be a London plane (after saying "I know you said the leaves were absolutely enormous, but I wasn't expecting them to be that big"), which seems plausible on a quick internet search. Just so comically gigantic though.
Interesting Links for 09-11-2025
Nov. 9th, 2025 12:00 pmandrewducker- 1. Women are three times more likely than men to get severe long COVID
- (tags:women Pandemic )
- 2. We've found a biomarker for Sudden Infant Death Syndrome
- (tags:babies death )
- 3. Chinese Authorities Shut Down Film Festival in New York (By harrassing filmmakers and their families)
- (tags:china censorship movies usa OhForFucksSake )
- 4. The modern homes hidden inside ancient ruins
- (tags:architecture history )
- 5. What do voters think would count as Labour breaking their promises on tax?
- (tags:tax labour polls politics uk )
- 6. A Gene Editing Therapy Cut Cholesterol Levels by Half (trial only lasted 60 days)
- (tags:genetics health )
- 7. Interactive Time-Lapse Map Shows How the U.S. Took More Than 1.5 Billion Acres From Native Americans
- (tags:history USA maps visualisation )
- 8. Why didn't Democrats codify Roe v. Wade when Obama had a fillibuster proof majority in 2009?
- (tags:abortion politics USA )