smj-edison

21 ms·

421.
by smj-edison 2y ago
Ah, I see: by the time you've written a formal specification, the visualization becomes redundant.
422.
by smj-edison 2y ago
I just realized my previous comment left out what I was trying to say—my bad! I think what I was trying to ask was: would it be possible to generate a formal specification from a graphical representation, and then use that specification to
423.
by smj-edison 2y ago
From what I've seen when code is generated from formal specs it ends up being inflexible. However, do you think it would be valuable to be able to verify an implementation based on a formal spec?
424.
by smj-edison 2y ago
I have mixed feelings on cpal: on the one hand, it's been really wonderful to have a library that just works on different platforms. On the other hand, it's an absolute pain in the butt for doing anything simple. I really wish it
425.
by smj-edison 2y ago
Yeah, I guess it is pretty mainstream :) Though another view I keep hearing is that LLMs are going to replace all jobs in 5 years, which quite frankly is disconnected from reality. Even assuming that we could create a ML model that could re
426.
by smj-edison 2y ago
This seems like a great blend of LLM and classic analysis. I've recently started thinking that LLMs (or other ML models) would be fantastic at being the interface between humans and computers. LLMs get human nuance/satire/idi
427.
by smj-edison 2y ago
Thanks for the suggestions!
428.
by smj-edison 2y ago
Stupid question: could you literally just put a grid of coolant tubes through a cube processor? Think like the shape of control rods for a nuclear reactor. Power supply is also tricky with a cube chip, but could you electrify the coolant fl
429.
by smj-edison 2y ago
You mentioned you're passionate about good tooling, would you mind if I asked you what your thoughts are on Glamorous Toolkit[1] and how it compares to other tooling you've seen? [1] https://gtoolkit.com/
430.
by smj-edison 2y ago
If you haven't already heard of it, you might like marginalia. It's a search engine/website finder/experiments. I've found it really useful for finding small blogs and interesting perspectives!
431.
by smj-edison 2y ago
It seems he certainly hit a nerve here, regardless of people's position on the subject...
432.
by smj-edison 2y ago
Doesn't Elixir (and Erlang for that matter) specifically require a module to not be in a specific place in order to have hot reloading of modules? Though I suppose you could still have hot reloading and require a module to be in a spec
433.
by smj-edison 2y ago
To be honest, as I've read more of the Bel document, I have to say streams and characters feel rather "bolted on", especially since streams only work with binary. It feels like it's trying to straddle both the practical
434.
by smj-edison 2y ago
> I want to be clear about what Bel is and isn't. Although it has a lot more features than McCarthy's 1960 Lisp, it's still only the product of the formal phase. This is not a language you can use to program computers, ju
435.
by smj-edison 2y ago
Mathematics is perhaps a subset of logic? I'm not very familiar with this space, but I think it's pretty cool that so much of math can be represented with very simple rules building up, especially with things like the Lean proof l
436.
by smj-edison 2y ago
I believe at least Google is starting to do edge inference—take a look at the pixel 8 line-up they just announced. It doesn't seem to be emphasized as much, but the tensor G3 chip certainly has builtin inference.
437.
by smj-edison 2y ago
Dang, I appreciate how smooth the scrolling is! I feel like so often when a webpage has scroll-based animations they stutter and lag. I didn't realize how nice the effect could be when it actually ran at my monitor refresh rate.
438.
by smj-edison 3y ago
Heh, as long as you're not talking about UX...
439.
I've heard of Quantum Computing, now what's Probabilistic Computing?(purdue.edu)
2 points by smj-edison 3y ago|0 comments
440.
by smj-edison 3y ago
Just a thought: I think patents do tend to favor the little guys. Coco cola has never had to patent their recipe, as it's a trade secret. I believe ASML and TSMC don't patent some of their technology, since it's a trade secre
441.
by smj-edison 3y ago
I've always wondered why people removed parts of the page when they were scrolled out. Like, don't you think the browser would already optimize for that? And even if it's not stored in the DOM, it's still being stored in
442.
by smj-edison 3y ago
I ran into this exact issue when I was working on a piece of typescript that interoperates with a rust server, here's how I was able to do exhaustiveness checking (the errors aren't the prettiest, but it works): https:/&#x2F