pheras

pheras, 2 days ago to random Spanish

"The purpose of this primer is to publicly expose Microsoft’s complicity in Israeli apartheid and genocide against the people of Palestine, and to connect technology workers to the No Azure for Apartheid campaign."

https://medium.com/@notechforapartheid/a-marriage-made-in-hell-an-introduction-to-microsofts-complicity-in-apartheid-and-genocide-d7dfad65a196

pheras, 2 days ago to random Spanish

Jamming in Ukraine war
https://www.washingtonpost.com/world/2024/05/24/russia-jamming-us-weapons-ukraine/

pheras, 3 days ago to random

Is Stack Overflow Obsolete? An Empirical Study of the
Characteristics of ChatGPT Answers to Stack Overflow Questions

PDF: https://dl.acm.org/doi/pdf/10.1145/3613904.3642596

via @garymarcus

pheras, 3 days ago to random

About pointers, Rust differentiation between mutable and aliased state, history before Rust, formal methods, LLMs:

https://news.ycombinator.com/item?id=40375341#40379428

pheras, 3 days ago to random

FizzBee is a formal specification language and model checker to specify distributed systems.

https://fizzbee.io/

https://thenewstack.io/introducing-fizzbee-simplifying-formal-methods-for-all/

pheras, 4 days ago to random

America vs Everybody: Will The US Win The Chip Race?

Interview with Philip Wong, professor in the School of Engineering, at Stanford University, former Vice President of Corporate Research at TSMC (2018—2020) and current Chief Scientist of TSMC in a consulting and advisory role.

https://www.youtube.com/watch?v=Gz_buAN5-Bo

via @arnaudbertrand

pheras, 5 days ago to random Spanish

"The use of probabilistic techniques to determine who is worthy of death – wherever they’re used – is, to me, the most chilling example of the serious dangers of the current centralized AI industry ecosystem, and of the very material risks of believing the bombastic claims of intelligence and accuracy that are used to market these inaccurate systems."

Read the whole piece by @Mer__edith

https://www.helmut-schmidt.de/aktuelles/detail/die-rede-der-zukunftspreistraegerin

pheras, 5 days ago to random

OpenAI Just Gave Away the Entire Game

The Scarlett Johansson debacle is a microcosm of AI’s raw deal: It’s happening, and you can’t stop it.

By Charlie Warzel in The Atlantic

https://www.theatlantic.com/technology/archive/2024/05/openai-scarlett-johansson-sky/678446/?gift=bQgJMMVzeo8RHHcE1_KM0cAsfiV3ILA-iN9lz8rJRZw&utm_source=copy-link&utm_medium=social&utm_campaign=share

pheras, 6 days ago to random Spanish

Cover Agent: Automatic generation of unit tests

https://github.com/Codium-ai/cover-agent

pheras, 6 days ago to random Spanish

AI TAIms

ProgrAImming LAInguages and CompAIlers

https://githubnext.com/projects/speclang/

OperAIting SystAIms for Personal ComputAIrs

https://www.msn.com/en-us/money/technologyinvesting/microsoft-previews-new-copilot-pc-initiative-in-new-bid-to-revitalize-windows-with-ai/ar-BB1mJfsN

pheras, 7 days ago to random

Tres españoles con tres visiones sobre China:

Martín @ma_wukong

https://youtube.com/watch?v=i5hhmFHFAl4

Íñigo González Inchaurraga
https://youtube.com/watch?v=b0R_Nw-wDv0 (primeros minutos)

Josep Baqués
https://youtube.com/watch?t=1399&v=b0R_Nw-wDv0&feature=youtu.be (minuto 23'19")

pheras, 7 days ago to random

"Most Software Engineers Know Nothing About Hardware
On the other hand, most hardware engineers know nothing about software."

https://analyticsindiamag.com/most-software-engineers-know-nothing-about-hardware/

pheras, 8 days ago to random Spanish

China's "SMIC Has Successfully Developed The 5nm Process Without EUV Machinery"

https://wccftech.com/smic-successfully-develops-5nm-process-without-euv-claims-report/

History:
1/ https://www.eetimes.com/smic-well-on-its-way-to-5-nm-breakthrough-observers-say/

2/
https://www.eetimes.com/leaker-of-tsmc-secrets-joins-smic-as-co-ceo/

pheras, 9 days ago to random Spanish

Paco de Lucía

Zyryab 3 guitars
https://youtu.be/xY0gQaL_kcg

Zyryab https://youtu.be/V7Z1cSDIs6I

pheras, 9 days ago to random

Rust books

https://github.com/sger/RustBooks?tab=readme-ov-file

pheras, 19 days ago to random

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

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

pheras, 23 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, 28 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, 1 month 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, 1 month 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, 1 month 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, 1 month 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, 1 month 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, 1 month ago to random

Refactoring code with AI
Podcast with @mfowler and colleagues

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