Show newer
Martin Ruskov boosted
Max Willsey

A bit late for this, but might as well:

**I am recruiting PhD students this year**

I am looking for students with strengths in some subset of compilers, databases, e-graphs, SMT solvers, theorem proving, and logic programming. You definitely don't have to have mastery of all those things (I don't!), but there's a lot of fun work to do in the intersection.

1+
Martin Ruskov boosted
⚫️🐦‍⬛ 🇬🇪🇺🇦🇪🇺

Day 354 of #GeorgiaProtests ✊🏻🇬🇪🇪🇺 🎥 Mo Se

0
Martin Ruskov boosted
mapto

A commentary from @kissane@mas.to:

Two years ago, I wrote at very great length about how this played out in Myanmar. It is so upsetting to see how many of the same dynamics are at work here now.

erinkissane.com/meta-in-myanmar-full-series

(ref)

They’re intended to get engagement and make money. Exclusively. Whatever else they do is an externality to the creators.

(ref)

0
Martin Ruskov boosted
Prof. Stefan Rahmstorf

Never forget: At breakneck speed we are leaving the stable Holocene climate in which human society developed and thrived. Weather extremes are outside historical experience. Sea-level rise is accelerating. Dangerous tipping points are ahead.
Graph: ed-hawkins.github.io/climate-v

1+
Martin Ruskov boosted
Erin Kissane

@mpjgregoire They're intended to get engagement and make money. Exclusively. Whatever else they do is an externality to the creators.

1+
Martin Ruskov boosted
Erin Kissane

This thing that 404 is writing about in the US—the dehumanizing fake content created purely because Facebook pays people to make it?

404media.co/ai-generated-video

It has a direct precedent in the Myanmar genocide and has been widely reported on for years. Karen Hao's work on this is outstanding:

technologyreview.com/2021/11/2

1+
*
Martin Ruskov

"But catastrophes also tend to reveal deficits in society, and the patterns of destruction and abandonment that followed the fire—which have roots in America’s past and its present—tell us something about the country’s future, too."
theatlantic.com/magazine/2025/

0
Martin Ruskov boosted
*
Italian Linux Society

Il prossimo evento tecnico internazionale Wikimedia Hackathon si terrà per la prima volta in Italia! a Milano! 👀

mediawiki.org/wiki/Wikimedia_H

Grazie @wikimediafoundation e @wikimediaitalia - condividi! @opensource

#wmhack #Milano

1
Martin Ruskov

@SmartmanApps @remixtures well, this one might explain why listeners and followers are different things qoto.org/@mapto/11552479563559

0
Martin Ruskov boosted
ScienceAlert : The Best in Science News And Amazing Breakthroughs

Poor health in one part of the body often leads to problems elsewhere. A new...

0
Martin Ruskov

Simply not compatible with their optimisation function

This loop explains well why commercial algorithms are incompatible with creativity.

"According to this employee, Spotify leadership didn’t see themselves as a music company, but as a time filler. The employee explained that, “the vast majority of music listeners, they’re not really interested in listening to music per se. They just need a soundtrack to a moment in their day.”

Simply providing a soundtrack to your day might seem innocent enough, but it informs how Spotify’s algorithm works. Its goal isn’t to help you discover new music, its goal is simply to keep you listening for as long as possible. It serves up the safest songs possible to keep you from pressing stop.

The company even went so far as to partner with music library services and production companies under a program called Perfect Fit Content, or PFC. This saw the creation of fake or “ghost” artists that flooded Spotify with songs that were specifically designed to be pleasant and ignorable. It’s music as content, not art."
theverge.com/column/815744/mus
@genai@lemmy.graphics

0
Martin Ruskov boosted
mapto

От една страна, рисковете, свързани с различните видове транспорт, са несъизмерими. Кола, която преминава на червено, може да причини сериозни или дори фатални наранявания. От друга страна, велосипедистът е малко вероятно да причини същата степен на щети.

От 1982 г. велосипедистите в Айдахо могат да третират знака „СТОП“ като знак „п“, а червения светофар – като знак „СТОП“. Няколко американски щата (като Арканзас, Колорадо и Орегон) и страни, като Франция и Белгия, са приели подобни правила.

Важно е да се отбележи, че целта на правилото за спиране в Айдахо не е да легализира хаоса по пътищата. Велосипедистите все още трябва да отстъпват път на автомобилите пред тях на знаците за спиране, както и на пешеходците по всяко време, и могат да влизат в кръстовището само когато е свободно.

Правилото за спиране на Айдахо има три основни предимства.

Първо, правилото признава, че динамиката на колоезденето е фундаментално различна от тази на шофирането и следователно не може да се третира по същия начин.

Второ, правилото на Айдахо освобождава съдилищата и полицията от тежестта да налагат глоби.

Трето, ефективността на колоезденето зависи от поддържането на инерцията. Постоянното спиране напълно обезкуражава колоезденето, въпреки многобройните му ползи за здравето, околната среда и трафика.

Няколко емпирични проучвания показват, че въвеждането на правилото за спиране в Айдахо не води до увеличаване на пътнотранспортните произшествия.

Някои проучвания дори сочат леко намаляване на произшествията с въвеждането на правилото за спиране в Айдахо. Това се дължи на факта, че велосипедистите преминават по-бързо през кръстовищата, което намалява риска от сблъсък с автомобили. Освен това, шофьорите стават по-внимателни към движенията на велосипедистите.

Всъщност, по-голямата част от участниците в движението, както шофьори, така и велосипедисти, често не спазват стриктно знаците за спиране. Според проучване, проведено от Société de l’assurance automobile du Québec (SAAQ), само 35 % от шофьорите спират правилно. Също според SAAQ, само 27 % от велосипедистите заявяват, че спират напълно на задължителните знаци за спиране.

Накратко, приемането на правилото за спиране в Айдахо няма да доведе до хаос, а ще регулира вече съществуваща практика, без да застрашава обществената безопасност, противно на някои опасения. Велосипедистите, които рядко спират напълно, когато няма трафик, обикновено забавят преди да пресекат, защото са наясно с уязвимостта си.

От десетилетия нашите закони и пътна инфраструктура са проектирани предимно за автомобили. Много шофьори все още считат велосипедистите за опасни и се държат безразсъдно.

Важно е обаче да помним, че автомобилите са основната структурна опасност по пътищата ни и че велосипедистите всъщност са уязвими. Тази структурна опасност се е увеличила с разпространението на спортните автомобили (SUV) и пикапите, което повишава риска за пешеходците и велосипедистите.

0
Martin Ruskov boosted
BrianKrebs

They had me at the headline: AI isn’t replacing jobs. AI spending is

"From Amazon to General Motors to Booz Allen Hamilton, layoffs are being announced and blamed on AI. Amazon said it would cut 14,000 corporate jobs. United Parcel Service (UPS) said it had reduced its management workforce by about 14,000 positions over the past 22 months. And Target said it would cut 1,800 corporate roles. Some academic economists have also chimed in: The St. Louis Federal Reserve found a (weak) correlation between theoretical AI exposure and actual AI adoption in 12 occupational categories."

"Yet we remain skeptical of the claim that AI is responsible for these layoffs. A recent MIT Media Lab study found that 95% of generative AI pilot business projects were failing. Another survey by Atlassian concluded that 96% of businesses “have not seen dramatic improvements in organizational efficiency, innovation, or work quality.” Still another study found that 40% of the business people surveyed have received “AI slop” at work in the last month and that it takes nearly two hours, on average, to fix each instance of slop. In addition, they “no longer trust their AI-enabled peers, find them less creative, and find them less intelligent or capable.”

fastcompany.com/91435192/chatg

1+
Martin Ruskov boosted
Spazcosoft

How it started

How it’s going

1+
Martin Ruskov boosted
Electronic Frontier Foundation

There's a more secure alternative to texting via your phone's native messaging app. Signal is a free app that employs end-to-end encryption and we have a step-by-step guide to help you learn how to use it. ssd.eff.org/module/how-to-use-

1+
Martin Ruskov boosted
Matt Potter

When your British TV interviewee says, "I'm a kid from a council estate" but the transcription AI you're using is USA-coded, things can get apocalyptic pretty fucking quickly.

#AI #Artificialintelligence #BritishEnglish #AmericanEnglish #journalism #journalists #interview #thatescalatedquickly

0
Martin Ruskov boosted
David Ho

This piece is as good as people say it is. Read it to appreciate that writing isn't just about content, but style. AI can't do this.

lithub.com/maybe-dont-talk-to-

1+
Martin Ruskov

@tedunderwood.com, it is a very difficult conversation right now, swung by market hypes and tribalism. This is why we organised d-sail.itd.cnr.it for education last year, but it's not that it took us somewhere. Anyway, it's a discourse that needs to be nurtured

0
Martin Ruskov boosted
The Japan Times

Prime Minister Sanae Takaichi plans to revise the public servant remuneration law to cut the salaries of Cabinet members including herself during the ongoing extraordinary parliament session. japantimes.co.jp/news/2025/11/ #japan #politics #sanaetakaichi #ldp #nipponishinnokai #wages

0
Martin Ruskov

"So far, only Brazil and Indonesia have announced investments in the scheme. The World Bank has agreed to host the facility. Several countries have murmured positively, but not yet committed any money. The UK has made clear it will not contribute at this stage. There will need to be greater momentum at Cop30 if the plan is to get off the ground."

"Brazilian finance ministry officials, who have spent the past 18 months working on this project, say the TFFF would be a step-change. “There is no way I would get that amount of money if I asked Oslo or Berlin,” said João Paulo de Resende, the undersecretary for fiscal and economic affairs, who has been working on this project for 18 months. He said the payments would also be less vulnerable to political mood swings. The former US president Joe Biden for example, promised $500m for the Amazon Fund in 2023, but only sought a 10th of that amount from the US Congress, which then gave him nothing."

"Unlike the Amazon Fund, the money would pay for standing forests. In a radical departure, it would also earmark 20% of disbursements as direct payments for Indigenous and other traditional forest communities.

The UN secretary-general, António Guterres, told the Guardian this was a positive development because Indigenous communities have been shown to preserve biodiversity and protect carbon sinks. “It is absolutely fundamental,” he said, “to invest in those who are the best guardians of nature. And the best guardians of nature are precisely the Indigenous communities.”"

theguardian.com/environment/20

0
Show older
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.

Resources

Developers

What is Mastodon?

qoto.org

More…

v3.5.19-qoto · Privacy policy