sitkack

22 ms·

451.
by sitkack 1y ago
> MicroPython's inline assembler now supports 32-bit RISC-V assembly code via the newly implemented @micropython.asm_rv32 decorator. This allows writing small snippets of RISC-V machine code that can be called directly from Python c
452.
by sitkack 1y ago
You are just doubling down on protecting your argument. I operate LLMs in many conversational modes where it does ask clarifying questions, probing questions, baseline determining questions. It takes at most one sentence in the prompt to
453.
by sitkack 1y ago
Lucky kids, as much as Scratch has replaced Logo, Logo fosters deeper thinking.
454.
by sitkack 1y ago
Excellent work. Very exited to test this out. What are the limits or gotchas we should be aware of, or how do you want it pushed? What other papers did you get inspiration from?
455.
by sitkack 1y ago
Very much so!
456.
by sitkack 1y ago
> I was trying to craft a CUDA-based lambda calculus interpreter This is awesome! I assume you have seen https://github.com/HigherOrderCO/Bend https://github.com/higherorderco/hvm Previous dis
457.
by sitkack 1y ago
Having clean SV will enable Spade to be used incrementally inside of a SV codebase. Var names should make it through, comments, asserts, etc. Treat it like a CASE tool. https://en.wikipedia.org/wiki/Computer-aided_softw
458.
by sitkack 1y ago
It needs dependent types to encode when signals are valid. I have looked at TL-Verilog, I love the language, I am on the fence with the syntax, which arguably, is nearly an inconsequential nit given how far languages and tools need to progr
459.
by sitkack 1y ago
Great question. I have and I should. This would make concrete and bring coherence to the grab bag of skills and experience I have. Though I think it would be 10x as much in a small group setting. It is like trying to recover the source code
460.
by sitkack 1y ago
https://news.ycombinator.com/from?site=gilesthomas.com
461.
by sitkack 1y ago
That is why the hardware should be more capable/intelligent. Drivers are the problem so drivers can’t be the solution. You can’t turn chicken soup back into a chicken.
462.
by sitkack 1y ago
Thanks for putting up the good fight, but parent is not arguing from a place of logic.
463.
by sitkack 1y ago
That is true of all of capitalism, that is true of 2 billion people on this wonderful planet that live on scraps. They didn't decide to be born in their condition any more than we ours. One of the most detestable parts of Google are al
464.
by sitkack 1y ago
Sycophant much? Incredible, Brilliant… Please.
465.
by sitkack 1y ago
I think their post was libertarian satire.
466.
by sitkack 1y ago
How about unicode or emojis? These don't have the full fidelity as hn scrubs emojis add = (a, b) -> a + b a, b ⟹ a + b λ add(a, b): ↪ a + b
467.
by sitkack 1y ago
I'll never tire of any analysis you do. But if you are taking requests, I'd love two chips. The AMD 29000 series, a RISC chip with many architectural advances that eventually morphed into the K5. And the Inmos Transputer, a Forth
468.
by sitkack 1y ago
Many of these course websites are still around and/or recycled to later courses.
469.
by sitkack 1y ago
Hey, at least they didn't use yaml-rpc.
470.
by sitkack 1y ago
At what number of layers is it difficult to reverse engineer a processor from die photos? I would think at some point, functionality would be too obscured to able to understand the internal operation. Do they ever put a solid metal top laye
471.
by sitkack 1y ago
def could be for lots of things, fn is for functions. I don't think it matters much as long as you have one. C would have been so much easier to parse. Just copy Zig or Rust.
472.
by sitkack 1y ago
Way back when, I used to vendor all the libraries for a project (Java/Cpp/Python) into a mono repo and integrate building everything into the projects build files so anyone could rebuild the entire app stack with whatever compiler
473.
by sitkack 1y ago
Rust really made some unfortunate choices with async, it pollutes everything but isn't generic enough so now you are married to the runtime, this bifurcates the whole ecosystem. It is nearly phobos/demios problem from Dlang, but i
474.
by sitkack 1y ago
Three fallacies and you are OUT!
475.
by sitkack 1y ago
It only works for fixed workloads, like accelerators, with no dynamic sharing.
476.
by sitkack 1y ago
What makes you think there will be another democratic president to blame?
477.
by sitkack 1y ago
I can't think of a better org to support with dollars.
478.
by sitkack 1y ago
Itanium worked as intended.
479.
by sitkack 1y ago
They go out their way to segment their markets, ECC, AVX, Optane support (only specific server class skus). I hate it, I hate as a home pc user, I hate it as an enterprise customer, I hate as a shareholder.
480.
by sitkack 1y ago
That is what Intel does, they build up a market (Optane) and then do a rug pull (Depth Cameras). They continue to do this thing where they do a huge push into a new technology, then don't see the uptake and let it die. Instead of buil

More ›