mepian

AMD/GF spin-off was backed by Saudi money, who is going to pay this time?

I recommend starting with this free book which covers Common Lisp: https://gigamonkeys.com/book/

They can't afford to tank their margins like that, investors would be rather unhappy.

Quoting the article: "The evidence that Toxoplasma can infiltrate male reproductive organs in animals is compelling, but whether this produces health issues in people remains unclear. […] Studies to date that show defects in the sperm of infected men are too small to draw firm conclusions at this time."

Leaking the source code is not forcibly-open-sourcing it, as multiple Windows leaks show.

From this blog's About page: "In 2010, our team cofounded the Thiel Fellowship with Peter Thiel..."

Make of that what you will.

It is really desperation, the low-hanging fruit of computing paradigm shifts to fuel the "tech" industry's growth was completely plucked more than a decade ago.

  >Maybe it's time to breakup Apple - separate the computer and phone divisions.

Who gets the Apple brand?

At the same time an EU country is deporting Russian scientists and banning them from the Schengen zone: https://meduza.io/en/feature/2025/04/14/sweden-s-security-se...

The previous CEO was saying the same thing, and he was an engineer too.

RISC-V is at least a decade away from threatening x86 or high-end Arm.

Yeah, the component was called "Personal Web Server", I poked it recently in 86Box.

Would you actually use this program for real-world applications of theorem proving, e.g. validating an integrated circuit design before spending millions on its manufacturing?

Web 3.0 was already claimed by the Semantic Web in 2006 or even earlier, come up with your own buzzwords.

I'm using the udm14 extension in Firefox to hide those.

Theorem proving.

Yes, I'm still using Google as I haven't found LLMs useful as a search engine replacement.

At this point Microsoft owns too many IPs waiting to be revived, I suspect anything from Sierra is far from the top of the list.

What does Tetris simulate? It's one of the most successful games ever.

How was the Alpha a bad bet? x86-64 didn't exist yet, and the architecture was pretty solid technologically. It died because DEC died, not the other way around.

If it bombs, it will. The Nintendo 3DS set a precedent for this.

90 EUR in Europe. This completely deflated my interest in the Switch 2, I'd rather finish my combined Switch 1 and Steam backlog than support this price creep, considering that Nintendo games practically never get discounted.

The actual paper is paywalled, of course.

Yet another notable SPAC flameout?

The MIT Lisp machine system: https://tumbleweed.nu/lm-3/

Mezzano, a much more recent OS written in Common Lisp that runs on Arm rather than special hardware: https://github.com/froggey/Mezzano

"The statements are also a bit of a reversal for Krishna, who said in 2023 that IBM planned to pause hiring on back-office functions that the company anticipated it could replace with AI tech."

I suspect his enthusiasm for AI is going to keep cooling down.

Does that effect exist outside of press releases and stock price manipulation?

Ah yes, a chat bot that is consistently failing to do such advanced tasks as counting letters in words is definitely life-changing, right next to the metaverse and NFTs.

Tan is much taller apparently.

My favorite spot is the final area of Water Hazard: https://www.youtube.com/watch?v=JJpGHDZSSt4