@pheras@fosstodon.org avatar

pheras

@pheras@fosstodon.org

Distributed systems, computer networks, formal methods, ethical CS, free/libre software, world history.

https://fosstodon.org/@pheras in Twitter

This profile is from a federated server and may be incomplete. Browse more on the original instance.

pheras, to random Spanish
@pheras@fosstodon.org avatar

"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, to random Spanish
@pheras@fosstodon.org avatar
pheras, to random
@pheras@fosstodon.org avatar

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, to random
@pheras@fosstodon.org avatar

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

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

pheras, to random
@pheras@fosstodon.org avatar

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, to random
@pheras@fosstodon.org avatar

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, to random Spanish
@pheras@fosstodon.org avatar

"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, to random
@pheras@fosstodon.org avatar

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, to random Spanish
@pheras@fosstodon.org avatar

Cover Agent: Automatic generation of unit tests

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

pheras, to random Spanish
@pheras@fosstodon.org avatar
  • All
  • Subscribed
  • Moderated
  • Favorites
  • JUstTest
  • thenastyranch
  • magazineikmin
  • InstantRegret
  • everett
  • osvaldo12
  • Youngstown
  • mdbf
  • slotface
  • rosin
  • kavyap
  • Durango
  • ngwrru68w68
  • GTA5RPClips
  • megavids
  • DreamBathrooms
  • khanakhh
  • Leos
  • cisconetworking
  • ethstaker
  • modclub
  • tester
  • cubers
  • tacticalgear
  • provamag3
  • normalnudes
  • anitta
  • lostlight
  • All magazines