Simon @spoltier@qoto.org

check this out

thanks to VS Code, YoWASP Toolchain Extension, and WebUSB, you can now program FPGAs with nothing but your cellphone o:3

spear phishing is how you feed when all you have is a data lake

@spoltier @froztbyte I have basically never had it because it was either due to phone failure or the SIM no longer being accessible

so I just don't trust Signal with anything that's actually important for me, because _I need that to remain accessible_

@froztbyte historically the big problem was that i moved countries a lot due to reasons such as war, which comes with changing phone numbers a lot. i think i went through close to 8 or 10 phone numbers in my life already

signal is written with the assumption that you have one (1) phone number that never changes and that everyone knows

I love how strange new cactus paddles look when they first get started #plantas #cactus

White flag iris with green iridescent beetle at centre.
#Bloomscrolling #beetle

This comes at a price though: since our library dependencies are now dlopen() based they do not show up in the ELF metadata of our binaries anymore. And package managers such as dpkg/rpm generally look at that, and automatically translate those ELF dependencies into packaging dependencies.

Hence: at first glance, this means that we regress on this front: previously automatically determined dependencies have to be encoded manually again.

With v256 we are doing something about this.

ChatGPT in 4o mode is not running the new features yet

(In case you were confused as why the voice input/output isn't as good as it was in Monday's demos)
https://simonwillison.net/2024/May/15/chatgpt-in-4o-mode/

Pleased to announce a new #Jepsen report on Datomic Pro 1.0.7075. Datomic is an unusual system in many ways. Temporal! Immutable! Datalog! Strong Session Serializable*! We found that Datomic appears to offer Strong Session Serializable inter-transaction semantics, up to Strong Serializable when using sync or update transactions. However, *within* a transaction, updates appear as if executed concurrently, rather than sequentially. We hope you enjoy the report. 😃

https://jepsen.io/analyses/datomic-pro-1.0.7075

Random but: just before I got really ill I did a cool research project with my consultancy Catharsis about mid career women in tech using sudden pandemic WFH (along and despite its adversities) to advocate for being seen differently or to get chances that were denied when they were in person. Qualitative interviews with really cool stories about strategy in these moments. Then obviously I got crushed by illness so the data is just sitting on my shelf.

I should find the time to write it up 🥰

@mcc sorry for replying to every single one of these but you are literally triggering repressed memories.

Please strongly recommend to the laptop's owner that when they have this miserable day in the future, the thing they want is to NOT use Homebrew python, per https://justinmayer.com/posts/homebrew-python-is-not-for-you/

Personally I have a strong preference for upstream builds https://blog.glyph.im/2023/08/get-your-mac-python-from-python-dot-org.html but *anything* is better than Homebrew. It will self-generate the nightmare "everything broken" situation every 14 months or so.

I just thought of a use of LLM/chatgpt:
q: What is " PM" a mojibake of?

GPT-4 O: "ΓÇ»PM" is likely a mojibake (garbled text resulting from text encoding issues) of "—PM". This typically happens when text encoded in UTF-8 is misinterpreted as Windows-1252 or a similar encoding. In UTF-8, the em dash (—) is represented by the byte sequence `E2 80 94`. If these bytes are incorrectly interpreted as Windows-1252, they are displayed as "ΓÇ»". Therefore, "ΓÇ»PM" should correctly be "—PM".

Any mathematicians looking for CS partners for the NSF proposal on AI for Math? We are thinking of doing something related to discovering relations as well as automatically formalizing proofs from both natural language and diagrams drawn by hand. We have a few other ideas too.

I’ve focused on security for at-risk civil society groups for over a decade now (🙀), including human rights defenders, lawyers, and journalists. I've got some availability these next few months, please get in touch for collaboration, consulting, training, presenting, etc!

@whitequark I'm surprised there isn't one in there already.

i should put a wasm runtime into the Windows kernel

"to foster positive work attitudes and behaviors in their direct reports managers have a dual fairness challenge: (1) to treat their direct reports fairly, and (2) to create conditions in which their direct reports treat one another fairly.

Indeed, the findings of Bendersky and Brockner suggest that the failure of managers to do the latter may counteract the success they achieved by doing the former." (Brockner & Sherman, 2019)