mepian

6 ms·

31.
by mepian 1y ago
> higher than Qualcomm That’s a pretty low bar for a software company.
32.
by mepian 1y ago
The laid off employees will move on to a new full-time job, your fork will have to find maintainers somewhere else.
33.
by mepian 1y ago
AMD/GF spin-off was backed by Saudi money, who is going to pay this time?
34.
by mepian 1y ago
I recommend starting with this free book which covers Common Lisp: https://gigamonkeys.com/book/
35.
by mepian 1y ago
They can't afford to tank their margins like that, investors would be rather unhappy.
36.
by mepian 1y ago
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
37.
by mepian 1y ago
Leaking the source code is not forcibly-open-sourcing it, as multiple Windows leaks show.
38.
by mepian 1y ago
From this blog's About page: "In 2010, our team cofounded the Thiel Fellowship with Peter Thiel..." Make of that what you will.
39.
by mepian 1y ago
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.
40.
by mepian 1y ago
>Maybe it's time to breakup Apple - separate the computer and phone divisions. Who gets the Apple brand?
41.
by mepian 1y ago
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...
42.
by mepian 1y ago
The previous CEO was saying the same thing, and he was an engineer too.
43.
Lip-Bu Tan: Our Path Forward(intc.com)
8 points by mepian 1y ago|11 comments
44.
by mepian 1y ago
RISC-V is at least a decade away from threatening x86 or high-end Arm.
45.
Intel reportedly set to announce layoffs – 20% of workforce could be cut(techradar.com)
7 points by mepian 1y ago|0 comments
46.
by mepian 2y ago
Yeah, the component was called "Personal Web Server", I poked it recently in 86Box.
47.
by mepian 2y ago
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?
48.
by mepian 2y ago
Web 3.0 was already claimed by the Semantic Web in 2006 or even earlier, come up with your own buzzwords.
49.
by mepian 2y ago
I'm using the udm14 extension in Firefox to hide those.
50.
by mepian 2y ago
Theorem proving.
51.
by mepian 2y ago
Yes, I'm still using Google as I haven't found LLMs useful as a search engine replacement.
52.
by mepian 2y ago
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.
53.
by mepian 2y ago
What does Tetris simulate? It's one of the most successful games ever.
54.
by mepian 2y ago
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.
55.
by mepian 2y ago
If it bombs, it will. The Nintendo 3DS set a precedent for this.
56.
by mepian 2y ago
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.
57.
by mepian 2y ago
The actual paper is paywalled, of course.
58.
by mepian 2y ago
Yet another notable SPAC flameout?
59.
by mepian 2y ago
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
60.
by mepian 2y ago
"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 g

More ›