Gregory's Server
wishing a very happy
"is it safe to use __SECRET_INTERNALS_DO_NOT_USE_OR_YOU_WILL_BE_FIRED?"
day to everyone who celebrates
|
6 posts total
Show previous comments
  @mjk For those unfamiliar, there are myriad networking protocols that operate over Ethernet that are not IP. That includes DECnet of course, and MOP traffic including periodic MOP SYSIDs, and DEC thoughtfully reserved Ethernet type 0x6006 for their customers, so who knows what that type contains. Random Ethernet type thought: does VSI or HPE “own” 0x6006 now? Over the past few months, I went down the rabbit hole (hah) of @neauoire 's Uxn + Varvara computer, and have re-emerged with an emulator! It's especially fast, written in safe Rust, and runs both natively and in the browser: Here's the full writeup:
Show previous comments
   @mjk Wow, that's amazing. I've been away from the internet for a few days, I'm so glad to see this, once I have a bit more bandwidth I'd love to try and build it, I've only tested the js frontend and it runs everything well. I think the only port missing is the expansion port? Trying to run the most complicated rom(oquonie), I get this: panicked at raven-uxn/src/lib.rs:495:26: Y'all want to see a cool shader? https://www.shadertoy.com/view/dls3Wr This is mashing up two ideas: - @iquilezles@twitter.com's closed-form "signed distance to a quadratic Bézier curve" solver Putting these two ideas together, we can render a Bézier font from its raw control points, as a single (huge) closed-form math expression! @raph successfully nerd-sniped me into writing a translator from Sudoku grids → Z3 programs. Doing it in Scheme was a fun exercise: quasiquoting makes it easy to generate SMT-LIB syntax inline, and the whole program is only 27 lines! Here's the code: https://github.com/mkeeter/sudoku-z3 #introduction 👋 My name is Matt, and I'm a hardware & software engineer in Cambridge, MA. I've done everything from PCB design to computer graphics research, and currently work at @oxidecomputer Niche interests include rendering & meshing implicit surfaces, writing embedded software in Rust, personal-scale manufacturing, weird linear algebra tricks, and more!   @mjk @oxidecomputer oh! youre the person who made pont! i studied it a bit (and plan to study more later) when i was trying to figure out how to do interactive webdev in rust. thanks so much for making, documenting, and publishing it. |
@mjk
It's CLOSED...
(Did Eliav2, get fired?)
@mjk ah yes. This code base belongs to my employer and we have a meeting room named the same, and it’s always free because ppl are afraid to book it
@mjk Tbh I'm tempted to learn js AND React just to use that property.