6,946 karma · joined May 5, 2018
VAX 9000, OS/2 2.0, OS/2 Warp 3, OpenDoc, Kaleida, Apple Newton, Pippin, 3DO, Philips CD-i, Sega 32X, Sega Saturn, Atari Jaguar, Amiga CD32…
You can just start your own group in this case. That's what I did with Lisp Ireland.
“It is NOT portable (uses 386 task switching etc), and it probably never will support anything other than AT-harddisks, as that's all I have :-(.”
EDIT: I might be wrong about the first part, see my comment below.
Man, I miss Siemens phones, they were great at the time. I wonder what they would be like today if Siemens didn't quit the market.
MJ has a pretty good reputation inside the company.
Pat didn't do that, I guess.
Location: Dublin, Ireland
Remote: Depends on the commute
Willing to relocate: Yes
Technologies: C, C++, Python, Assembly (x86, RISC-V), CUDA, MPI, L2/L3 Network Programming, Linux, Git, Jenkins, Common Lisp, Unreal Engine
Résumé/CV: https://drive.google.com/file/d/1TDDdW3QEB1U3U2xfMik7zko0kKpzmo9p/view
Email: mepian.hn@outlook.com
A software engineer with 10 years of experience in systems programming and game development. Recently I have been working in high-performance computing, dealing with GPU-enabled clusters.EDIT: The comments I was referring to got sneakily edited. Another thing that is not nice to do.
It is being used for formal verification in the semiconductor industry by companies like AMD, Arm, Intel, and IBM: https://www.cs.utexas.edu/~moore/acl2/