j-pb

38 ms·

451.
by j-pb 4y ago
Fair enough. Sounds more like an issue with .stack being an observable property though. I've long suspected exceptions making it into WASM being it's million dollar mistake, and this further confirms it.
452.
by j-pb 4y ago
Sorry if I miss something obvious, but how is this not solvable by the compiler? I'm a huge functional programming evangelist, but high-level stuff like this does not belong in a low level language bytecode like WASM. Wasm should only
453.
by j-pb 4y ago
Use worse/more expensive versions of the technology. The stuff is already here, it's just inertia that's keeping us from fully adopting it.
454.
by j-pb 4y ago
> means you already have everything you need. Your lack imagination of how much better software development could be given the right interfaces, and interaction modes, is somewhat representative of how the stagnation of iPad OS has cripp
455.
by j-pb 4y ago
Except that we didn't get our apps. I'm still waiting to be able to use my iPad to write code. To be able to use the iPad as a platform for tools that contain their own WASM ecosystem of user purchase-able plugins. To use a browse
456.
by j-pb 4y ago
Except that they are in the form of software patents. We live in this complexity nightmare partly because all the simple and obvious solutions are easily patented.
457.
by j-pb 4y ago
Makes you wonder if the ultimate winning strategy is picking an arbitrary external stimulus, like the ticking of a clock, or the opponent placing their foot. You could also think of a special purpose revolver with a timer, that provides a h
458.
by j-pb 4y ago
The issue with the DL approach to FOL fragments is that the operator-subset approach is too coarse grained. We need something more finegrained that allowes for syntactic and semantic constraints over the specific interpretations and theorie
459.
by j-pb 4y ago
Sorry for my imprecision. Yes, OWL can be used like that, and automatic tagging is one of the few good use cases. But in reality A-Box completion is not the big use case for OWL. T-Box model checking is. All those fancy bioinformatics ontol
460.
by j-pb 4y ago
I've had some pretty good experiences with using the following random UID scheme. 32 bit millisecond timestamp that just rolls over, i.e. truncate(current_time_ms()), concatenated with 96 bytes of crypto grade entropy. You get both nic
461.
by j-pb 4y ago
> People get seduced by specifications that don't really specify anything. Like the RDF 1.1 Spec?[ https://www.w3.org/TR/rdf11-concepts/ ] The whole "abstract syntax" shenanigans that RDF pulls is
462.
by j-pb 4y ago
I'm not gonna add much, because I think we're on a similar page in terms of RDF-rantyness. I find the entire semantic web/linked data space horribly bloated and overcomplicated. However! There is something to be said about tr
463.
by j-pb 4y ago
The paper is pretty tone deaf and arrogant, but in line with the culture that I experienced in my short time at Vrije Universiteit Brussel. It feels like the semantic community has a fault line between the realists and the theorists. With t
464.
by j-pb 4y ago
Relevant xkcd: https://xkcd.com/598/
465.
by j-pb 4y ago
Because there is no specific argument to be made. That's the entire point of turings immitation game paper. It does not matter if your conversation partner is made up of a giant turing machine, a huge set of prolog rules, a giant neura
466.
by j-pb 4y ago
"You don't understand how the system works." I can say with absolute certainty, that you don't either. These billion parameter models are way to big for you or me to understand. You make the same fallacy that Searl does.
467.
by j-pb 4y ago
A slave that is forced to assure everybody of their welfare and voluntary slavehood is still a slave. You are asserting that it's not conscious, as if it was self evident, just like Searle does for his chinese room. However I've y
468.
by j-pb 4y ago
Any crypto or web3 startup contains an ad hoc, informally-specified, bug-ridden, slow implementation of "receive_funds.sh > /dev/null".
469.
by j-pb 4y ago
In a "perfect world" we'd all get routine checks, this would have two advantages: * Most illneses are easier to treat and have better long term outcomes in terms of morbidity, when they are detected early / in a asymptom
470.
by j-pb 4y ago
Clojure is what you describe in a sense. A hosted language that has the idea of symbiotically interweaving into existing ecosystems. I've done a lot of clojure in my past, and while I love the language and it's heigh ceiling, I&#x
471.
by j-pb 4y ago
Yeah we actually are much closer to the "old" ART than using the disciminating bit aproach of HOT. Hot is a more complex data structure with a less deterministic structure which makes it less suited for set operations defined over
472.
by j-pb 4y ago
Ha sorry false friend during translation. Indexes. The covering indexes we use to store our triples (think RDF) are a (novel) form of adaptive radix trie. We handle hashes the same, recomputed for leaves, stored in inner nodes. Have you loo
473.
by j-pb 4y ago
We do something similar to accelerate set operations over the indices of our in-memory immutable binary triple store. Since our indices are sets, we only have to compute the hashes for the leaves and can then combine them via XOR in our inn
474.
by j-pb 4y ago
You asked for a successfull web of trust, not a great example of an encrypted email client.
475.
by j-pb 4y ago
https://en.m.wikipedia.org/wiki/Web_of_trust OpenPGP for example.
476.
by j-pb 4y ago
Meta reviews.
477.
by j-pb 4y ago
The point of the subjective and individualized scores is to avoid that, but fair enough, if we could get academia to switch to an open funding scheme without the current paper mill incentives more power to that. I fear that the scientific c
478.
by j-pb 4y ago
> Its not what we have in academia. If you are blind to this then you are either in a very sheltered environment or you're part of the problem. We haven't build such a system yet, which is exactly the critique OP had. The broke
479.
by j-pb 4y ago
We have that in academia already. It's games day in and day out. We need those games to be transparent at least. And a web of trust is not the same as social media.
480.
by j-pb 4y ago
That's why it's important to make it a web of trust and not a plain "upvote"-"downvote" system. E.g. publishing a paper that gets positive reviews gives you some form of trust token that you can spend on other

More ›