smaddox

20 ms·

211.
by smaddox 5y ago
Good question! I've managed to pick it all up through various Wikipedia pages and journal articles on programming language theory and type theory. There's probably some good books and/or review articles that could take you th
212.
by smaddox 5y ago
Author here. Ask me anything :-)
213.
Foundations of Dawn: The Untyped Multistack Concatenative Calculus(dawn-lang.org)
17 points by smaddox 5y ago|9 comments
214.
by smaddox 5y ago
Well said. If and when I can try it out before ordering, then I'll seriously consider it. I'm skeptical that a non-retinal display will ever been good enough for this kind of application.
215.
by smaddox 5y ago
> No lawyer, accountant, doctor, engineer, scientist or other professional stands up each day to report to their peers on their progress. This just isn't true. Semiconductor process engineers and manufacturing technicians have sta
216.
by smaddox 5y ago
Why should a memoir about Mathematica talk about other products?
217.
by smaddox 5y ago
To clarify: Kind is able to type lambda-encoded recursive data types with Self Types. This is something that is not possible in Haskell.
218.
by smaddox 5y ago
Totally agree about the Blub Paradox, but there's definitely value in Self Types. See, for example, [Kind]( https://github.com/Kindelia/Kind ), which is able to type recursive data types by using Self Types.
219.
by smaddox 5y ago
I don't know if anyone has used ripples in a liquid, but LCD's without polarizers are used in tomography to dynamically configure a diffraction or phase-shift pattern. https://en.m.wikipedia.org/wiki/Spatial_l
220.
by smaddox 5y ago
I would just call it polarization. Or if you wanted to be more specific, angle of reflection dependent polarization.
221.
by smaddox 5y ago
Preprints. It happens quite often in deep learning papers, these days.
222.
by smaddox 5y ago
> I was shocked to learn that the binary search program that Bentley proved correct and subsequently tested in Chapter 5 of Programming Pearls contains a bug. I haven't seen the mentioned proof, but if said proof is not formal and m
223.
by smaddox 5y ago
Isolated carbon nanotubes, probably not. But certain arrangements of a large number of carbon nanotubes, almost certainly. Vantablack should almost certainly be described as a metameterial.
224.
by smaddox 5y ago
A usefull word for defining metameterials, at least in the field of electromagnetic metamaterials is "mesoscopic". Perhaps we need a generalization of this term to arbitrary length scales. Electromagnetic metameterials are compose
225.
by smaddox 5y ago
There's plenty of people making a living off of single player video games.
226.
by smaddox 5y ago
The R&D fab(s) definitely have a high number of PhDs. I don't know about the production fabs. PhDs will definitely visit when starting up a new fab or process or when issues need to be addressed.
227.
by smaddox 5y ago
How civilized.
228.
by smaddox 5y ago
What are the units? Are these runtimes? The readme does not say.
229.
by smaddox 5y ago
I actually think such vacuum transistors are the future of digital electronics. I remember first seeing the research on them when I was in grad school back in ~2014 or ~2015. The big challenges I see are making a complementary version, to g
230.
by smaddox 5y ago
Okay, sounds like some people trying this at home have had seriously bad side effects. So will definitely have to do some reading before giving this a shot.
231.
by smaddox 5y ago
Very interesting. And there are tDCS home kits for $149, e.g. https://apexdevice.net/shop/apex-type-a-4ma-std/ . This is low cost enough that I'm willing to give it a shot. Worst case, I end up with a decent D
232.
by smaddox 5y ago
If the build time is being included in the binary by default, I guess that means builds are not reproducible by default? Is there any easy way to exclude or strip the build time to get a reproducible binary?
233.
by smaddox 5y ago
Wow... This is incredible... How is everyone not talking about this?
234.
by smaddox 5y ago
I had not, but that's a wonderful quote. Thanks for sharing
235.
by smaddox 5y ago
Sooo, still only "useful" for digital "asset" speculation, then?
236.
by smaddox 5y ago
I just started listening to Life 3.0, upon recommendation from an acquaintance, and I was so blown away by the prelude, which is a short story about the rise of super-human AI, that I felt compelled to share it with as many people as possib
237.
The Tale of the Omega Team [pdf](marketingfirst.co.nz)
2 points by smaddox 5y ago|1 comments
238.
by smaddox 5y ago
Inanimate cows of all forms at least lean the direction you nudge them, even if they might roll a different direction given a firm push.
239.
by smaddox 5y ago
We can't predict what will happen when tipping points are tripped, but while we're near the current (dynamic) equilibrium, we can use perturbative methods to predict what will happen with relative small forces, such as doubling or
240.
by smaddox 5y ago
Sure, but we know it's near equilibrium, at least on human time scales, or the climate would not be stable enough for humans to evolve. So it's not chaotic like weather is chaotic.

More ›