@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.

jtk, (edited ) to random

David Mills, a true Internet pioneer, passed away on January 17, 2024. Probably best known for having led the development and maintenance of for decades, he was also involved in a great deal of early Internet protocol development.

https://elists.isoc.org/pipermail/internet-history/2024-January/009265.html

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

J'ai lu Après la démocratie il a beaucoup d'années. Maintenant je lis ce nouveau livre.

Pour moi il n'importe pas beacoup combien Poutinolâtre il est. Connaître des points de vue que d'habitude ne s'écoutent pas dans les moyens occidentaux est très important pour moi, même si ceux qui les exposent ont des opinions pas pareilles aux miennes.

@flomaraninchi @rnaudbertrand

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

On programming with LLMs
http://antirez.com/news/140
via @michael_nielsen

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

Really good review of what Niklaus Wirth contributed to IT https://www.theregister.com/2024/01/04/niklaus_wirth_obituary

pheras,
@pheras@fosstodon.org avatar

Niklaus Wirth or the Importance of Being Simple

By Bertrand Meyer

https://m-cacm.acm.org/blogs/blog-cacm/279178-niklaus-wirth-or-the-importance-of-being-simple/fulltext

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

New book by Leslie Lamport:

A Science of Concurrent Programs

http://lamport.azurewebsites.net/tla/science.pdf?back-link=learning.html#science

pheras, to random
@pheras@fosstodon.org avatar

4-wheeled robots are being alpha tested on the lab-streets of US, EU and South America (https://www.carsthatdrivethemselves.com/self-driving-car-test-cities/)

Doubts abound about its claimed superior safety:

https://www.nbcnews.com/business/business-news/can-driverless-cars-get-tickets-california-law-rcna131538

image/png

pheras, to random
@pheras@fosstodon.org avatar

Prof. Rodney Brooks: "This is my sixth annual update on how my dated predictions from January 1st, 2018 concerning (1) self driving cars, (2) robotics, AI , and machine learning, and (3) human space travel, have held up."

https://rodneybrooks.com/blog/

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

US Pushed Dutch Maker of Chip Equipment to Block Chinese Sales Before Deadline

https://www.bloomberg.com/news/articles/2024-01-01/us-pushed-asml-to-block-chinese-sales-before-january-deadline

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

"China's imports of critical chip-making lithography systems from the Netherlands surged 1,050 per cent by value in November, in a sign that domestic semiconductor firms are not yet cut off from receiving orders on certain advanced equipment in the wake of tightened US export rules."
https://finance.yahoo.com/news/chinas-imports-dutch-chip-making-093000836.html

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

From ChatGPT to Getty v. Stability AI: A Running List of Key AI-Lawsuits

https://www.thefashionlaw.com/from-chatgpt-to-deepfake-creating-apps-a-running-list-of-key-ai-lawsuits/

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

Tesla 4-wheeled robots are unsafe, dangerous, defective.

Special Report by Reuters:
"Wheels falling off cars at speed. Suspensions collapsing on brand-new vehicles. Axles breaking under acceleration. Tens of thousands of customers told Tesla about a host of part failures on low-mileage cars. The automaker sought to blame drivers for vehicle ‘abuse,’ but Tesla documents show it had tracked the chronic ‘flaws’ and ‘failures’ for years."
https://www.reuters.com/investigates/special-report/tesla-musk-steering-suspension/

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

LLMs make Professor Rodney Brooks rethink his old statements about what computers can/can not understand:

"There are three things that the existence of LLMs, such as ChatGPT-3.5 and ChatGPT-4 make us have to rethink. At different times and amongst different communities they have all had lots of AI researchers talking about them, often with much passion."

https://rodneybrooks.com/blog/

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

IEEE Spectrum: Quantum Computing's Hard, Cold Reality Check. Hype is everywhere, skeptics say, and practical applications are still far away.

https://spectrum.ieee.org/quantum-computing-skeptics

pheras, to random
@pheras@fosstodon.org avatar

"Quint is a modern specification language that is a particularly good fit for distributed systems, such as blockchain protocols, distributed databases, and p2p protocols. Quint combines the robust theoretical basis of the Temporal Logic of Actions (TLA) with state-of-the-art type checking and development tooling."

https://github.com/informalsystems/quint

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

Polish Hackers Repaired Trains the Manufacturer Artificially Bricked. Now The Train Company Is Threatening Them

https://www.404media.co/polish-hackers-repaired-trains-the-manufacturer-artificially-bricked-now-the-train-company-is-threatening-them/

  • All
  • Subscribed
  • Moderated
  • Favorites
  • megavids
  • kavyap
  • DreamBathrooms
  • tacticalgear
  • magazineikmin
  • khanakhh
  • everett
  • Youngstown
  • mdbf
  • slotface
  • rosin
  • ethstaker
  • InstantRegret
  • thenastyranch
  • JUstTest
  • ngwrru68w68
  • cisconetworking
  • cubers
  • osvaldo12
  • modclub
  • GTA5RPClips
  • tester
  • Durango
  • provamag3
  • anitta
  • Leos
  • normalnudes
  • lostlight
  • All magazines