Show more

kyivindependent.com/ukraine-pr

#UK and #France have greenlit the use of storm shadows in #Russia. US overruled it

What is the #USA doing?

I don't think it is frightened of #Russian nukes, nor involvement of Belarus/ Baltics/ escalation, etc

My opinion is it is election year games

Keeping things on a low simmer to prevent anything terrible that could swing the election

But this is a price being paid for in #Ukrainian lives

#Europe: please do what you can, our politics sucks

#Ukraine #UkraineWar

I was deleting photos off my phone and found this image from over six years ago. I don’t remember its source, but the sentiment is as true as ever (especially the pronunciation!).

Of course, I called my campaign inspired by back in 2021 , just as this great sourcebook full of actual original content, which I suggest you buy: jacobalso.itch.io/asphalt-and-

#Linux is magic. Here are some tools I recently encountered that work only on Linux due to the aforementioned magic -

Inspect a command's effect before committing it to the filesystem - github.com/binpash/try

Box up misbehaving applications, forcing them to put files into the right place - github.com/queer/boxxy

I am looking for full-time PhD students on topics centered around knowledge graphs spanning from graph data management to neurosymbolic AI and GraphRAG.

Application deadline:
September 12, 2024

Link:
jobs.tuwien.ac.at/Job/236402

Bellingcat is a non-profit and the ability to carry out our work is dependent on the kind support of individual donors. If you would like to support our work, you can do so here bellingcat.com/donate/

Show thread

I can't help but notice how silly many CWs feel to me after 2022. I think they're important mental health tool, so hiding "uspol" under CW is... ....? 😅

System Design and Software Architecture Workshop: Oct 21-23 and Oct 28-30
* early enrollment discount *

Info/enroll: ti.to/bredemeyer/system-design

Preview material: Architecture/Technical Decisions ebook (pdf):
ruthmalan.com/Leadership/20240

System Seeing Journal “starter kit” (daily prompts and related quotes to reflect on) (pdf):
ruthmalan.com/systems/2024Syst

climate anxiety/defeatism rant 

My dudes, Telegram is not an e2e messaging app like Signal or WhatsApp. Telegram is more like Twitter. It is a social media app that is mostly public content that also happens to have DMs, where you can turn on e2e messaging with questionable cryptography that most people never even bother to use.

Insofar as I may be heard by anything, which may or may not
care what I say, I ask, if it matters, that you be forgiven for
anything you may have done or failed to do which requires
forgiveness.

Conversely, if not forgiveness but something else
may be required to insure any possible benefit for which you
may be eligible after the destruction of your body, I ask that this, whatever it may be, be granted or withheld, as the case
may be, in such a manner as to insure your receiving said
benefit.

I ask this in my capacity as your elected intermediary
between yourself and that which may not be yourself, but
which may have an interest in the matter of your receiving as
much as it is possible for you to receive of this thing, and
which may in some way be influenced by this ceremony.
Amen.

-- Roger Zelazny, Creatures of Light and Darkness, 1969

#GHC supports lexically scoped type variables, without which some type signatures are simply impossible to write. For example:
```
f :: forall a. [a] -> [a]
f xs = ys ++ ys
where
ys :: [a]
ys = reverse xs
```
The type signature for f brings the type variable a into scope, because of the explicit forall (Declaration type signatures). The type variables bound by a forall scope over the entire definition of the accompanying value declaration. In this example, the type variable a scopes over the whole definition of f, including over the type signature for ys. In Haskell 98 it is not possible to declare a type for ys; a major benefit of scoped type variables is that it becomes possible to do so.

An equivalent form for that example, avoiding explicit forall uses Pattern type signatures:
```
f :: [a] -> [a]
f (xs :: [aa]) = xs ++ ys
where
ys :: [aa]
ys = reverse xs
```
Unlike the forall form, type variable a from f’s signature is not scoped over f’s equation(s). Type variable aa bound by the pattern signature is scoped over the right-hand side of f’s equation. (Therefore there is no need to use a distinct type variable; using a would be equivalent.)

oh my god! i was walking home (fucken hot out eh) and glanced at the wall and undergrowth to the side, wondering if I’d spot any more lizards to photograph and make @k8 jealous (😂) when i saw a flash of white and stopped in my tracks… a luna moth! no fucking way! that is the absolute coolest thing, i’m thrilled #LunaMoth #moths

New prompt injection data exfiltration attack today, this time against Slack and Slack AI

It's a bit of a subtle one, but the net effect is that if you can get your malicious tokens into a Slack you can get their AI bot to trick users into exfiltrating private data by clicking on links

My notes here: simonwillison.net/2024/Aug/20/

Original report by PromptArmor here: promptarmor.substack.com/p/dat

Show more
Doma Social

Mastodon server of https://doma.dev.