mepian

35 ms·

541.
by mepian 4y ago
I recommend looking into ACL2, an industrial-strength theorem prover that's used for software and hardware verification by companies like Arm, AMD, and Intel: https://www.cs.utexas.edu/users/moore/acl2/
542.
In 1981, Intel released the iAPX 432(oldbytes.space)
175 points by mepian 4y ago|102 comments
543.
MIT AI Lab: Why I Hate Computers (and what we might do about it) (2003)(slideplayer.com)
3 points by mepian 4y ago|0 comments
544.
by mepian 4y ago
I can't find the actual repository, does anyone have a link?
545.
by mepian 4y ago
I think with HyperCard and the Macintosh II that spirit of early Apple was preserved, well until the later releases of Mac OS X when open standards like OpenGL were de-emphasized and Code Signing became enforced by default.
546.
by mepian 4y ago
Bill Atkinson, one of the key people in both the Lisa and the Macintosh, starred in this video so it's valuable despite covering such a well-trodden topic.
547.
by mepian 4y ago
As far as I remember, JSLinux is mostly written from scratch and only uses some pieces of QEMU. It has no JIT, unlike this project.
548.
by mepian 4y ago
The demo, based on an older version: https://atrosinenko.github.io/qemujs-demo/ Two articles about the project in Russian (Google Translate is helpful): https://habr.com/en/articles/315770&#x2
549.
Qemu.js – a proof-of-concept port of QEMU to web browser using WASM JIT (2019)(github.com)
138 points by mepian 4y ago|28 comments
550.
by mepian 4y ago
Sorry, this quote made me lose my cool for a moment. I admit that it wasn't a constructive comment.
551.
Kremlin Twitter accounts get a boost thanks to Elon Musk(weaponizedspaces.substack.com)
10 points by mepian 4y ago|0 comments
552.
Elon Musk plans artificial intelligence startup to rival OpenAI(ft.com)
11 points by mepian 4y ago|11 comments
553.
by mepian 4y ago
That was just one part of their involvement.
554.
by mepian 4y ago
Jobs wasn't too bad at tech, he passed Al Alcorn's job interview at Atari after all.
555.
by mepian 4y ago
>We also got stuck with stopgap SIMD measures like SSE/AltiVec instead of a truly scalable multicore/multiprocessor MIMD architecture. We did have the Xeon Phi until recently: https://en.wikipedia.org/wiki/
556.
by mepian 4y ago
I can't edit the parent comment anymore so just for the context, my original title was "Intel and Arm Announce Multigeneration Collaboration on Leading-Edge SoC Design" and someone changed it to the current title.
557.
by mepian 4y ago
In my view, GPGPU is much closer to contemporary Connection Machines, which used Lisp machines for their front-ends. Now the front-end is x86-64 machines running Python instead of Lisp. Guy Steele wrote the first edition of Common Lisp the
558.
by mepian 4y ago
>Of course part of that is cellular chips / licensing. But there’s also other CPUs that were competing with Qualcomm. Maybe that’s why Intel didn’t bother to compete (Qualcomm SoC is CPU+cellular if I recall correctly). Intel had a
559.
by mepian 4y ago
The original title says "Intel Foundry" but I had to make it fit into HN's character limit.
560.
Intel Foundry Services and Arm announce collaboration on SoC design(intel.com)
438 points by mepian 4y ago|189 comments
561.
by mepian 4y ago
This one: https://vmssoftware.com/community/community-license/agreemen... "Subject to the terms and conditions of this Agreement and the payment of any applicable license fee, VSI grants You a non-exclusive,
562.
TAG: Tagged Architecture Guide (2022)(dl.acm.org)
3 points by mepian 4y ago|0 comments
563.
by mepian 4y ago
Is this even legal?
564.
by mepian 4y ago
Is it very difficult to ship two versions of it, one "stable" in the OS for embedding, and another in an app?
565.
by mepian 4y ago
They did that very late when the backlash from gamers was at its peak, and they released this thing at the same time: https://www.nvidia.com/en-us/cmp/
566.
by mepian 4y ago
Hilarious, I don't remember them saying this BEFORE their crypto profits evaporated.
567.
Gordon Moore has died(moore.org)
2594 points by mepian 4y ago|234 comments
568.
Intel and UCSD Join DARPA Program to Prevent Exploitation of Computing Systems(intel.com)
2 points by mepian 4y ago|0 comments
569.
by mepian 4y ago
This is already being discussed in the relevant post: https://news.ycombinator.com/item?id=35252056
570.
by mepian 4y ago
There's the Nintendo Switch which does get ports.

More ›