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, 3 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, 6 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, 7 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, 9 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, 10 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