Mastodon Feed: Posts

Reblogged by nadim@symbolic.software ("Nadim Kobeissi"):

malb@ioc.exchange ("Martin Albrecht") wrote:

Kenny Paterson and I have written a retrospective on “Crypto in the Wild”. This is about some of our work over the last 20 years or so, in which we look “out there” into the wild to see how cryptography is used in deployed systems. Link: https://eprint.iacr.org/2024/532

Stealing Kenny's Twitter thread:

It’s a short piece, intended to be at least a bit provocative. As well as the nuts and bolts of how we do this work, we reflect on our disclosure experiences, dealing with vendors, how we perceive the scientific community thinks about this kind of work, and public comms.

We also talk about the responsibilities of researchers - as we see them: to whom we owe them, and what they are. (Sneak preview: we don’t think our responsibilities are mainly towards vendors.)

And we address the question: Is this science? We think the answer is a hard “yes”, if science is about gaining a deeper understanding of the world around us.

Maybe this part of the article will be a useful reference point for people when writing their next rebuttal about a “Crypto in the Wild” paper. We certainly want to encourage researchers to keep going in this direction.

Reblogged by keul@fosstodon.org ("Luca Fabbri"):

fatsam@mstdn.social ("Daniel Keys Moran") wrote:

I love those videos where a guy cooks a big meal -- bread, steak, veggies, tea -- in the wilderness, with nothing but a knife, tea kettle, and a big flat rock.

... And the $50,000 vehicle that brought him to the wilderness, and ten grand of video editing equipment, and an entire global trade system that brought him his spices and oils and meats and veggies...

People watching that thing thinking, I'll be ok when civilization fails, I know where there's a flat rock.

nadim@symbolic.software ("Nadim Kobeissi") wrote:

This board game is awesome!! (Turing Machine)

Attachments:

• 837fb4fdf10ef872.jpeg (remote)

Reblogged by keul@fosstodon.org ("Luca Fabbri"):

nixCraft ("nixCraft 🐧") wrote:

this is what you get. lol. progress :P comic Credit: https://twitter.com/delibburiedcmx

Attachments:

• The comic starts with a person saying goodbye to their old TV and cable, and announcing their switch to VHS. The panels progress through time, showing the person upgrade from VHS to DVD, then to Blu-ray, and finally to streaming services. The last panel shows the person frustrated because the movie they want to watch isn’t available on any streaming service. There is a text at the bottom that says “This movie is not available on any streaming service” and “Back” which is likely a reference button on a remote control. Credit: https://twitter.com/delibburiedcmx

Reblogged by fromjason ("fromjason.xyz 🖤"):

shawngoldwater@mstdn.ca ("Shawn in Montreal") wrote:

Meta Cancels Little Green Footballs

https://littlegreenfootballs.com/article/53549_WTF_Meta_Cancels_LGF/comments/

#Meta #Threads #censorship #tech

Reblogged by collinsworth@hachyderm.io ("Josh Collinsworth"):

ben@werd.social ("Ben Werdmuller") wrote:

"On Thursday I reported that Meta had blocked all links to the Kansas Reflector from approximately 8am to 4pm, citing cybersecurity concerns after the nonprofit published a column critical of Facebook’s climate change ad policy. By late afternoon, all links were once again able to be posted on Facebook, Threads and Instagram–except for the critical column." Here it is. #Media https://www.thehandbasket.co/p/kansas-reflector-meta-facebook-column-censored?utm_source=werd.io&utm_campaign=mastodon&utm_channel=mastodon

Reblogged by collinsworth@hachyderm.io ("Josh Collinsworth"):

jwcph@norrebro.space ("JW prince of CPH") wrote:

Yup, about sums it up...

#AI #tech #business

Attachments:

• Social media post screenshot: Al company: we trained this dog to talk. It doesn’t actually understand language, but it kinda sounds like it's having a conversation by mimicking the sound of human speech. CEO: awesome, I've fired my entire staff, how quickly can it start diagnosing medical disorders (remote)

Reblogged by slightlyoff@toot.cafe ("Alex Russell"):

kevinrns@mstdn.social ("Kevin Russell") wrote:

Canada's early climate collapse alarm has gone off
30 billion trees burned in one "fire season" and it has not gone out
30 billion trees is more than the entire history of logging in Canada
30 billion trees, an area larger than Ireland, lost, twice

Twice

Not Ireland's forests. Ireland's forests would have burned before the fire season started. ALL OF Ireland, from shore to coast was burned into the roots every inch, twice.

Thats the alarm. Carbon fuel is a murderous serial killer

#climate

Reblogged by collinsworth@hachyderm.io ("Josh Collinsworth"):

jameskerr ("James Kerr") wrote:

@collinsworth we’ve got to remember what the product is. The product is the app, not the perfect type safety, or the perfect design file, or the perfect test coverage, or the perfect jira board.

Reblogged by kornel ("Kornel"):

breadandcircuses@climatejustice.social ("Bread and Circuses (BACK SOON)") wrote:

Why are climate scientists like Peter Kalmus so alarmed that they are calling for civil disobedience? (See https://climatejustice.social/@breadandcircuses/111205122323472108)

This is why.

#Science #Environment #Climate #ClimateChange #ClimateCrisis #ClimateEmergency

Attachments:

• Line graph shows "Global surface air temperature anomalies" -- comparing monthly temperatures in 2023 with the 1991 to 2020 baseline. The red line for 2023 is soaring way above previous records. (remote)

collinsworth@hachyderm.io ("Josh Collinsworth") wrote:

Not saying we'll ever stop typing things; the benefit is clearly there.

Just saying we'll stop trying to make everything perfectly TypeScript all the time at any cost in situations where it doesn't really have the benefit, like we're often doing now.

collinsworth@hachyderm.io ("Josh Collinsworth") wrote:

Adding a little more on this thought:

I theorize maybe were over-TypeScript-ing because typing is relatively new to the JS ecosystem. We're going a little crazy right now trying to achieve platonic ideal perfection at any cost right now, and eventually the pendulum will swing back to a more reasonable place where we can evaluate tradeoffs a little more objectively.

I like TypeScript. It's here to stay. But I think our fervor over it will probably mature a bit.

jsonstein@masto.deoan.org ("Jeff Sonstein") wrote:

why did it take me this long to see the pattern, DMARC Reports and all?

#HeadDesk

jsonstein@masto.deoan.org ("Jeff Sonstein") wrote:

finally noticed the pattern: all my transient email relay issues with daGoogleplex seem to be when the machine is trying to send via IPv6

#HeadDesk

Reblogged by jsonstein@masto.deoan.org ("Jeff Sonstein"):

randahl ("Randahl Fink") wrote:

Instead of saying all Palestinians are Hamas, or all Israelis are Likud, listen to the people on both sides who want peace.

These days, the streets of Tel Aviv are filled with protests calling for Benjamin Netanyahu's resignation.

I applaud them.

https://www.youtube.com/watch?v=GCZAQovM89U

Attachments:

• 1196cd025c157ecb.png

collinsworth@hachyderm.io ("Josh Collinsworth") wrote:

A different (maybe better?) angle on this:

You know Goodhart's Law? "When a measure becomes a target, it ceases to be a good measure"?

I think that applies here.

I think the moment type perfection becomes your goal, it stops being meaningfully worthwhile.

collinsworth@hachyderm.io ("Josh Collinsworth") wrote:

Disclaimer: I like TypeScript. But I hate useless pedantry, and I feel like TypeScript has the side effect of encouraging people to go all in on obsessing over minutia to a counterproductive degree.

collinsworth@hachyderm.io ("Josh Collinsworth") wrote:

Sometimes I think TypeScript is a brain worm that has made developers so consumingly obsessed with technical, quantifiable (yet often meaningless) perfection that they've completely lost the ability to actually think about what matters and why.

collinsworth@hachyderm.io ("Josh Collinsworth") wrote:

It is infuriating how often things that I pay for and that are web-based just don't work on Android because it's from Apple and they're incentivized to make it painful enough that I want to buy their hardware.

(Today's case in point: Apple Music Replay. It's just an infinite login loop on Android/Firefox, and there's no way to use it not in a browser. Apple clearly doesn't give a shit, because this kind of thing happens all the time. "Thanks for your monthly fee, now fuck off.")

Reblogged by kornel ("Kornel"):

seindal ("René Seindal") wrote:

@zwol M4 always was horrible, and I say that as the original author of GNU M4.

The original Unix M4 was weird, and there weren't really any good explanations for why it was the way it was. Apparently someone at Bell labs needed a preprocessor and wrote M4, sometimes in the '70, for no other greater purpose than to scratch a personally itch.

GNU M4 only exists because RMS wanted GNU to have what Unix had, and while I wanted to do something different and better, RMS convinced me to do M4 first.

pzmyers@octodon.social ("pzmyers 🦑") wrote:

I know that truck well.

https://freethoughtblogs.com/pharyngula/2024/04/06/this-week-were-talking-about-the-truck/

Attachments:

• You never see it coming: the old age truck. (remote)

nadim@symbolic.software ("Nadim Kobeissi") wrote:

It was very odd to see that the local petting zoo today actually had a theoretical cryptographer using unnecessarily overcomplicated math to sell their paper’s contributions!

Attachments:

• a5c4638dadfa70f9.jpeg (remote)
• 40c34065cdde8e5d.jpeg (remote)

Reblogged by collinsworth@hachyderm.io ("Josh Collinsworth"):

shadeed9@front-end.social ("Ahmad Shadeed") wrote:

container queries + style queries + :has() = 🤩🤩

A demo of a timeline that changes its design based on the container width and the number of items.

Learn more about container queries in this interactive guide: https://ishadeed.com/article/css-container-query-guide

Attachments:

• A video depicting the resizing of a browser window. It features a timeline component that adjusts responsively according to the container size and the quantity of items it accommodates. (remote)

pzmyers@octodon.social ("pzmyers 🦑") wrote:

Dawkins has again announced that he's a "cultural Christian," but it's only as a justification for his blatant bigotry. Yeesh, but he's a terrible representative for freethinking atheism.

https://freethoughtblogs.com/pharyngula/2024/04/06/banality-and-bigotry/

https://www.youtube.com/watch?v=COHgEFUFWyg

pzmyers@octodon.social ("pzmyers 🦑") wrote:

I guess we're going to have to criminalize all EMF, if the Republicans have their way in Minnesota.

https://freethoughtblogs.com/pharyngula/2024/04/06/turn-off-all-your-appliances-devices-and-lights/

Attachments:

• Typical magnetic field levels in the home (remote)

nadim@symbolic.software ("Nadim Kobeissi") wrote:

A useful thing about people not speaking up about the genocide in Gaza at this point is that it makes it clear who’s so terrified of even the distant possibility of that harming their career relations that they’d rather shut up while hundreds of innocent civilians are mowed down.

Reblogged by collinsworth@hachyderm.io ("Josh Collinsworth"):

trashcaster@open-source-eschaton.net ("The Halls Careen") wrote:

@currentbias Bored is a quiet dysfunction, more approachable at times. I'm on speaking terms with bored. Anxious is a violent one that stays in all ways demanding. It has no respect for what one can cope with. It feeds itself on the energy it misappropriates and holds tyrannical court over the faculties, all the while making itself your exhausted responsibility to overthrow.

Sometimes all of this when you're too tired to even feel that it's been riding on your shoulders.

isagalaev ("Ivan Sagalaev :flag_wbw:") wrote:

Sabine Hossenfelder getting frank and personal https://www.youtube.com/watch?v=LKiBlGDfRU8

Reblogged by isagalaev ("Ivan Sagalaev :flag_wbw:"):

davidgerard@circumstances.run ("David Gerard") wrote:

so Facebook is still trying REALLY HARD to suppress this story about Facebook

https://kansasreflector.com/2024/04/04/when-facebook-fails-local-media-matters-even-more-for-our-planets-future/

and even this story about the story!

https://www.thehandbasket.co/p/facebook-kansas-reflector-links-banned

my links to the story and to the second story both got auto-deleted

Reblogged by nadim@symbolic.software ("Nadim Kobeissi"):

fj ("Frederic Jacobs") wrote:

Nice analysis by Bruno Blanchet that proves that HPKE with ML-KEM (or any other IND-CCA2 KEM) does provide IND-CCA2 security.

“Bruno models the base mode of HPKE, single shot API in CryptoVerif, and showed that if the KEM is IND-CCA2, then so is HPKE.
Since CryptoVerif is PQ-sound, that proves the security of the HPKE base mode, with the single shot API when the KEM is a post-quantum IND-CCA2 KEM.” via Karthikeyan Bhargavan on the CFRG mailing list

https://gitlab.inria.fr/bblanche/CryptoVerif/-/blob/crypto-library-pq-version/examples/hpke/hpke.base.indcca2.ocv?ref_type=heads

#Cryptography