j-pb

89 ms·

961.
by j-pb 7y ago
Companies should contribute their fair share by supporting open sources projects monetarily, definitely! But that is a different issue, from the behavioral standards we as a community uphold implicitly, and which are broken by pulling a &qu
962.
by j-pb 7y ago
In open source you give and take. The actix author almost certainly (unless they deploy their own kernel) has profited immensely from other peoples work. This is because as a community we have realized that we don't sell libraries, we
963.
by j-pb 7y ago
In open source you give and take. The actix author almost certainly (unless they deploy their own kernel) has profited immensely from other peoples work. This is because as a community we have realized that we don't sell libraries, we
964.
by j-pb 7y ago
I don't have any sympathy left for Sonos. It used to be about a remote controllable midrange hifi that didn't stop playing when your phones battery died or your laptop turned off, a system "that just worked". Right now I
965.
by j-pb 7y ago
What you describe isn't a bitemporal database though, it's a temporal one. Bitemporality afaik means that you get two views on your data, one that describes state relative to individual writers (what you saw at write time in a dis
966.
by j-pb 7y ago
Because a.) almost no Latex document is published as Pdf+Tex, it's either PDF or die, and b.) latex has a bazillion Turing-complete extensions, that don't make sense semantically until you render them.
967.
by j-pb 7y ago
I know that it's parody, but I think the whole sysadmin culture is incredibly toxic and glorifies toxicity. I've never met more socially inept yet condescending people in computer science. The whole "loser", "not my
968.
by j-pb 7y ago
Not true, I've seen the most abhorrent pdfs generated by latex in academia. When I was working in the digitization department of a public university library we realized that we need to handle pdf just like every other scanned page, ras
969.
by j-pb 7y ago
Isn't datomic 'just' a temporal DB? Through their transactor design there's always a total order on events which removes the need for the whole "what did you see when you created this" vs. "what would you
970.
by j-pb 7y ago
Except for the hundreds of thousands of europeans who travel exclusively by bike and train (100% renewables here), are vegan, eat local all year round, own a fairphone, and invest their money into renewables. But sure project your unwilling
971.
by j-pb 7y ago
Out of the examples I would take a look at the LogicBlox Stuff, they gave join algorithm research a big push with their Leapfrog-Triejoin. The following papers ascend in difficulty, and are based on each other, but offer a fascinating glimp
972.
by j-pb 7y ago
Sure Datalog is a query language, but Prolog isn't. I object to datalog being viewed as a subset of prolog, other than for historical reasons. It's just not useful as both languages differ significantly in philosophy, properties a
973.
by j-pb 7y ago
> easily processable > formal reasoning based on well known logical rules Oof, I do not know any serious researcher of logic who would support that claim. Prolog is, due to its age and heritage, inherently side/effectful and unde
974.
by j-pb 7y ago
> notations which are no longer a subset of ISO Prolog and therefore also not Datalog. This is false. Datalog is not (or no longer) about prolog like syntax, Datalog as used nowadays in research, describes the semantics for a logic which
975.
by j-pb 7y ago
It's all about the data manipulation capabilities that our current programming languages and libraries provide. Datalog and GraphQL are both graph query languages, but they differ significantly in the datastructures they return. GraphQ
976.
by j-pb 7y ago
Yeah exactly, but for this particular usecase the "token based login" seems to be the best tradeoff between complexity and requirements. They seem to have put the effort elsewhere, e.g. keeping their system devoid of billing and c
977.
by j-pb 7y ago
Is it tho? Show me the attack vector that makes this model dangerous. Not inconvenient because somebody else messed with your highscore or marked some of their tutorial videos as watched. But "oof I have to call my bank", "I
978.
by j-pb 7y ago
So you put the accounts up for sale, and then what? Who would buy access to somebody elses infosec homework. Because that's what this site is. They're essentially playing a low stakes game with low effort. And I give them big KUDO
979.
by j-pb 7y ago
Yeah, that matches my experiences here. It's such a programmer fallacy. We need renewables yesterday, but instead of slowly pushing what we have now and what works, the lure of the shiny highly technical and complicated solution that p
980.
by j-pb 7y ago
And it's not even that all the developers are just resistant to change and refusing to come to the blessed iPad Pro land. I'd GLADLY write all my software on an iPad Pro. But it's just impossible. Apple is like "this iPa
981.
by j-pb 7y ago
Why the hell is this well argued and reference providing comment down voted?!
982.
by j-pb 7y ago
invents new incremental computational paradigm that is hyped everywhere "I'm casually involved," Humble understatement of the year! Thank you for your work!
983.
by j-pb 7y ago
Apple is worse now, Cook is not even a marketing guy. He's financials. He will milk apple customers for every last drop without caring for products and innovation anymore, and will do so until Apple and it's brand have been so hol
984.
by j-pb 7y ago
I wouldn't trust a "news source" with headlines like "Climate-Fearing Millennial Snowflake Self-Triggers During Hunger Strike" further than I could throw them. Their clearly biased against EVs because "libtards
985.
by j-pb 7y ago
Its not a specification though, because your implementation can never conform to it. You can't say "I have a html 5.x" compliant browser anymore because there is no fixed specification for it. You can only have something that
986.
by j-pb 7y ago
Its not a specification though, its a "living standard" a.k.a. we document the stuff we build as we go.
987.
by j-pb 7y ago
Just use the SQLite implementation and documentation everywhere. SQLite is arguably the most well tested piece of software on the planet. It would have been the only piece of every browser that 'just works'. But hey having a &quot
988.
by j-pb 7y ago
Never forget that mozilla puts meta bulls * before solving problems. Their "spec hackers" decided to kill WebSQL, because of they feared that the available implementation was so HIGH quality that there wouldn't be any implem
989.
by j-pb 7y ago
Of course you could train a NN to do arithmetic, but this is much more impressive. Training a NN network to solve problems with available tools means more abstraction, and is closer to AGI than just essentially learning a LUT.
990.
by j-pb 7y ago
From the Blog post: > We looked at this issue earlier. Fundamentally the tension here is that copy-on-write semantics don’t fit with the emerging zone interface semantics. While the paper writes: > It is not surprising that attempts t

More ›