pheras

pheras, 5 days ago to random

A List of companies that use formal verification methods in software engineering

https://github.com/ligurio/practical-fm

pheras, 9 days ago to random Spanish

Robots para matar

1/ https://www.lamarea.com/2024/04/24/la-batalla-contra-los-robots-asesinos-1/

2/
https://www.lamarea.com/2024/04/25/inteligencia-artificial-al-servicio-de-la-muerte-robots-asesinos-2/

3/
https://www.lamarea.com/2024/04/26/de-los-perros-robots-amigos-a-los-robots-armados-3/

pheras, 14 days ago to random

AI bubble

https://www.wsj.com/tech/ai/investors-are-showering-ai-startups-with-cash-one-problem-they-dont-have-much-of-a-business-94534fc9

pheras, 15 days ago to random Spanish

Refactoring code with AI

https://codescene.com/hubfs/whitepapers/Refactoring-vs-Refuctoring-Advancing-the-state-of-AI-automated-code-improvements.pdf

pheras, 15 days ago to random

Readouts from the Columbia Convening on Openness and AI

https://blog.mozilla.org/en/mozilla/ai/readouts-columbia-convening/

cc @jgbarah

pheras, 20 days ago to random Spanish

The western manufacturers ain't anymore

From industrial engineering to financial engineering

The case of Boeing

"The past 30 years may well be remembered as a dark age of U.S. manufacturing. Boeing’s decline illustrates everything that went wrong to bring us here."

https://www.theatlantic.com/ideas/archive/2024/04/boeing-corporate-america-manufacturing/678137/

cc @bert_hubert

pheras, 21 days ago to random

It does not matter if you are paying or not for a service offered by a cloud platform. It does not matter if in fact the platform is your client

What should worry you is if you have the freedom to leave that platform

And you can only gain that freedom by fighting with the law the companies that want to retain you in their platforms, either as a client or as a provider

https://pluralistic.net/2024/04/22/kargo-kult-kaptialism/#dont-buy-it

By @pluralistic

pheras, 21 days ago to random Spanish

Forge: A Tool and Language for Teaching Formal Methods

Forge is a lightweight formal-methods tool, similar to Alloy 6, built with teaching in mind.

https://forge-fm.org/

pheras, 24 days ago to random

Refactoring code with AI
Podcast with @mfowler and colleagues

https://www.thoughtworks.com/insights/podcasts/technology-podcasts/refactoring-with-ai

pheras, 24 days ago to random

Slides and videos of TLA+ Conference 2024

https://conf.tlapl.us/2024/

pheras, 25 days ago to random

Formal Methods: Just Good Engineering Practice? by @marcbrooker

https://brooker.co.za/blog/2024/04/17/formal.html

pheras, 26 days ago to random Spanish

Vulnerabilities in screcy of WinSCP, Putty, Tortois Git, Filezilla
https://www.openwall.com/lists/oss-security/2024/04/15/6?ref=news.risky.biz

pheras, 26 days ago to random Spanish

https://www.forbes.com/sites/sylvainduranton/2024/04/15/are-coders-jobs-at-risk-ais-impact-on-the-future-of-programming/?sh=1ee0230a73e5

pheras, 27 days ago to random

Whole issue of First Monday dedicated to Ideologies of AI and the consolidation of power

Volume 29, Number 4 - 1 April 2024

Edited by Jenna Burrell and Jacob Metcalf

https://firstmonday.org/ojs/index.php/fm/index

via @Mer__edith

pheras, 29 days ago to random Spanish

"How Silicon Valley billionaires intentionally muddle public conversations around human extinction."
https://www.truthdig.com/articles/team-human-vs-team-posthuman-which-side-are-you-on/

pheras, 1 month ago to random Spanish

Debunking the "First AI SW Engineer"

https://youtu.be/tNmgmwEtoWE?feature=shared

pheras, 1 month ago to random

https://softwarecrisis.dev/letters/llmentalist/

pheras, 1 month ago to random

Exclusive: Google Workers Revolt Over $1.2 Billion Contract With Israel

https://time.com/6964364/exclusive-no-tech-for-apartheid-google-workers-protest-project-nimbus-1-2-billion-contract-with-israel/

pheras, 1 month ago to random

Apple Vision Pro and Meta Quest Non-Destructive Teardown

https://www.lumafield.com/article/apple-vision-pro-meta-quest-pro-3-non-destructive-teardown

pheras, 1 month ago to random Spanish

https://www.globaltimes.cn/page/202404/1310065.shtml

pheras, 1 month ago to random

The role of Google technology in the AI-directed killing of civilians in Palestine.

https://theintercept.com/2024/04/05/google-photos-israel-gaza-facial-recognition/?utm_campaign=theintercept&utm_medium=social&utm_source=twitter

pheras, 1 month ago to random

‘Lavender’: The AI machine directing Israel’s bombing spree in Gaza

"The Israeli army has marked tens of thousands of Gazans as suspects for assassination, using an AI targeting system with little human oversight and a permissive policy for casualties"

https://www.972mag.com/lavender-ai-israeli-army-gaza/