animaomnium
Joined 3 years ago
Karma
155
Submissions
33
Member since
Dec 4
Recent submissions
Comment · 2 years ago
Comment · 2 years ago
Surprisingly clear and straightforward explanations of staking, liquidity pools, etc. in a legal document.
In other news, is it really a surprise that everything is securities fraud?
Comment · 2 years ago
It is a waste of time to continue to try to develop a power one does not have.
Manipulating (e.g. "people who down vote [sic] refuse to believe"), spreading fear (e.g. "[mind manipulation occurs on] an 'industrial' scale"), and inflating one's own ego (e.g. "I am a renegade of thought control") contribute little to the discussion of this article.
That is all.
Comment · 2 years ago
Very interesting paper! Proposes (with lower bound of 1.3% chance) that the solar system may have passed through a local interstellar cloud, which would have caused the heliosphere to shrink to smaller than the orbit of the earth (0.22 au) some 2-3 mya. This may have affected the Earth's atmosphere and climate. Scroll down for some cool illustrations of a simulation showing how the heliosphere would have been tiny with an elongated tail in a denser interstellar medium. There's also a map showing the interstellar cloud relative to the trajectory of the solar system.
Comment · 2 years ago
3tubs × 40gal/tub × $3.50/gal = $420.
Wow, you're spending $420 on shipping? How far away are they keeping those slaves?
Comment · 2 years ago
If you're looking for the same sort of walled-garden corporate-degen vibe, try reddit? They even have nested conversations, like on Hacker News! /s
But seriously, Discourse is good forum software. You can self-host it or pay for a hosted instance. An example instance is IRLO, https://internals.rust-lang.org
Comment · 2 years ago
There's a big number of things you can search for, but it's a finite number. There are certainly people interested in curating resources for their specific niche in exchange for curated resources in other niches, across the entire internet. Perhaps through a social web of trust. We need a new search engine resistant to sybil attacks. One that takes the social aspect of searching—connecting you with the relevant experts—into account.
Comment · 2 years ago
"on NixOS" is the new "arch btw"
Comment · 2 years ago
Oh that's cool! Interested to see where your research leads. Could you drop me a link to where the interaction net → cuda compiler resides? I skimmed through the HVM2 repo and just read the .cu runtime file.
Edit: nvm, I read through the rest of the codebase. I see that HVM compiles the inet to a large static term and then links against the runtime.
https://github.com/HigherOrderCO/HVM/blob/5de3e7ed8f1fcee6f2...
Will have to play around with this and look at the generated assembly, see how much of the runtime a modern c/cu compiler can inline.
Btw, nice code, very compact and clean, well-organized easy to read. Rooting for you!
Comment · 2 years ago
Fala Taelin, nice work! Does HVM2 compile interaction nets to e.g. spirv, or is this an interpreter (like the original HVM) that happens to run on the GPU?
I ask because a while back I was messing around with compiling interaction nets to C after reducing as much of the program as possible (without reducing the inputs), as a form of whole program optimization. Wouldn't be too much harder to target a shader language.
Edit: Oh I see...
> This repository provides a low-level IR language for specifying the HVM2 nets, and a compiler from that language to C and CUDA HVM
Will have to look at the code then!
https://github.com/HigherOrderCO/HVM
Edit: Wait nvm, it looks like the HVM2 cuda runtime is an interpreter, that traverses an in-memory graph and applies reductions.
https://github.com/HigherOrderCO/HVM/blob/5de3e7ed8f1fcee6f2...
I was talking about traversing an interaction net to recover a lambda-calculus-like term, which can be lowered to C a la lisp in small pieces with minimal runtime overhead.
Honestly the motivation is, you are unlikely to outperform a hand-written GPU kernel for like ML workloads using Bend. In theory, HVM could act as glue, stitching together and parallelizing the dispatch order of compute kernels, but you need a good FFI to do that. Interaction nets are hard to translate across FFI boundaries. But, if you compile nets to C, keeping track of FFI compute kernel nodes embedded in the interaction network, you can recover a sensible FFI with no translation overhead.
The other option is implementing HVM in hardware, which I've been messing around with on a spare FPGA.
Comment · 2 years ago
Nice! Should be called a "kanvolution", my 2¢.
Comment · 2 years ago
Good points, thanks. I will note that non-subscription friendships generally exist on the basis of donated space and goodwill, though.
Comment · 2 years ago
Only 15 bucks a month for unlimited hangouts with your friends!
Satire, in any other universe.
Comment · 2 years ago
Clearly that isn't the case, surely Mike Pall would have heard of it, when he brought back LuaJIT from the future, that is.
Comment · 2 years ago
Grug Brained Linux.
Hope this clarifies. Not to miss the forest for the trees, to reiterate, the main takeaway is that it may be better to define and use a specific tag to pinpoint a sequence of events in a given period (e.g. settecento) instead of gesturing with something as arbitrary and wide as a century (18th century art).