Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

2.8K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#servo

0 posts0 participants0 posts today
Public
Budsofstone

Seems like all the push for #AI / #LLM use in #servo is coming from a guy named Gregory Terzian. Who is a medium article writer and seems too really love Leslie Lamport and TLA+ and believes "how to future proof your career? Learn TLA+."
You can go read his articles and post on reddit under the handle polyglot_factotum

MediumGregory Terzian – MediumRead writing from Gregory Terzian on Medium. I write in .js, .py, .rs, .tla, and English. Always for people to read. Every day, Gregory Terzian and thousands of other voices read, write, and share important stories on Medium.
Continued thread
Public
plague-of-grackles 😷🍉🐈‍⬛

This #Servo-#LLM thing is baffling. Take a look at the discussion. Is there any other way this could have gone?

github.com/servo/servo/discuss

I've been rooting for Servo from the day I heard about it. At this point, even if they step back from this vileness, I'd be leery of trusting them again.

Servo’s Technical Steering Committee is looking for feedback regarding our policy for contributions made with generative AI. The current policy, adopted in June 2024, is documented in the Servo boo...
GitHubAI Policy Update Proposal · servo servo · Discussion #36379Servo’s Technical Steering Committee is looking for feedback regarding our policy for contributions made with generative AI. The current policy, adopted in June 2024, is documented in the Servo boo...
Replied in thread
Public
flashfox

@servo I guess, as an experiment, I will cancel my donations and stop recommending #servo do anyone as a possible alternative. After a year, I might revisit that decision, but let's be honest, unless the current TSC resigns, thing will likely not change either way.

Replied in thread
Public
Goffi

@servo wow such a shitstorm, so much agressivity, insults, threatening when they ask openly and transparently the opinion of the community. You could just say "no" with reasoning in a respectful way. Imagine the person taking that in the face. That's really sad.

Are we, even here, in a world of violence where sane debate is not possible anymore?

#fediverse#debate#servo
SearchLive feeds
About