lou1306

15 ms·

211.
by lou1306 2y ago
I can't seem to parse this reply. I never said any of it was easy. Quite the opposite, in fact. The community was all too happy to embrace an ecosystem provided by a for-profit company just precisely because it made things easy (and th
212.
by lou1306 2y ago
> Countless other tools and workflows and experiences have been built on that free assumption of availability Cannot help but notice that, had Microsoft offered such a sweet deal, this place would've been ablaze with cries of "
213.
by lou1306 2y ago
It bears repeating that Nvidia is not strictly speaking a SW company. It is a semiconductors company. That 30k employees figure includes all Nvidia employees, not all of which are in software. I am rather skeptical of AI in this context.
214.
by lou1306 2y ago
I'm not one of the "guys" as I am from the EU. There is a narrow way through for the US, but treating the incumbent as Just Another Guy is not that.
215.
by lou1306 2y ago
Of course this is more of a job for responsible universities/libraries/research centres around the world, rather than single individuals. I would be surprised if Harvard didn't already go through their contact list to ensure
216.
by lou1306 2y ago
On the technological side torrents, IPFS, and the like, urging international collaborators to make copies of everything public. On the political side mass protests, strikes, whistleblowing, general unrest that goes beyond mere social media
217.
by lou1306 2y ago
I beg you, please stop applying rule-of-law mindset against might-makes-right adversaries. It creates blind spots giving the illusion that the attack surface is way smaller than it actually is. Muskolites are taking on the SSN system withou
218.
by lou1306 2y ago
Aye, but in this context "full version" usually means "a version with more detailed proofs/results related to the paper's contributions", rather than "a version with additional contributions".
219.
by lou1306 2y ago
Ehh sometimes you have additional results or insightful remarks that simply don't fit into the page limits. You may want to keep those for yourself and use them for a separate publications rather than give them away.
220.
by lou1306 2y ago
Less exceptionalist American: the Maya predicted the Declaration of Independence
221.
by lou1306 2y ago
They're trying to bark up a tree that might happen to be backed by the People's Republic of China. That's not their league, and even Microsoft would think twice before getting into that kind of kerfuffle.
222.
by lou1306 2y ago
The code being hard to read may be partly a consequence of having to bend over backwards to fulfill the absurd requirements. No numerical operations on a fizzbuzz problem? Give me a damn break.
223.
by lou1306 2y ago
I would say that TUOT is absolute essential reading (even more than the -- justifiably -- better-known Library of Babel), since the fact that things disappear unless kept in memory is exactly how the digital world works.
224.
by lou1306 2y ago
> Things became duplicated in Tlön; they also tend to become effaced and lose their details when they are forgotten. A classic example is the doorway which survived so long as it was visited by a beggar and disappeared at his death. At t
225.
by lou1306 2y ago
Can't the client sue for damage though? Especially in a courtroom-happy country like the US, perhaps causing financial trouble to a corporation the size of McDonald's would not exactly lead to a happy, carefree livelihood
226.
by lou1306 2y ago
> The Tube map shouldn't be a copyrighted work Why not? Mind you I'm not saying any tube map, but the official TfL one.
227.
by lou1306 2y ago
The map is a work of design in its own right, it is not a mere geographical representation. Also, while it would be nice if government work were public domain in the UK as it is in the US, that is sadly not the case, and we have to deal wi
228.
by lou1306 2y ago
This is a perfectly legit application of copyright law/brand protection, and I'm no fan of either. The Tube map is copyrighted work that requires a license to be used, even on a free service. The fellow should have stuck to normal
229.
by lou1306 2y ago
But that is the point of the article. Literate programming was built on the premise "what if you could have _one_ document that you could either typeset as an article/report _or_ compile as a program?", but then most implemen
230.
by lou1306 2y ago
It is a great achievement in story-driven games, but there are still glaring ways in which you can get softlocked, and hilarious ways of "winning" it in less than 1 hour. I am pretty sure one could implement a mechanized, exhausti
231.
by lou1306 2y ago
It only gives you the statistically more likely way a conversation would evolve after one party says "Write a hello world in Python." It only happens to be the correct one. If I ask a 5yo "42 * 21 equals...?" and the kid
232.
by lou1306 2y ago
> 1) That person has respect for justice, not law. Willingly accepting the penalty means having respect for the actual law that establishes the penalty.
233.
by lou1306 2y ago
Not to be dismissive, but you reviewed hundreds of abstracts . A top conference in this area receives hundreds to thousands of papers . So there is a non-negligible chance your submission trickles down to some PhD student who is still lea
234.
by lou1306 2y ago
Well in this case (and if it was POPL, but it's a pretty safe bet considering the format and the timing) it looks like reviewers have indeed rejected it. And I completely agree, it is namespace squatting. Sadly every once in a while it
235.
by lou1306 2y ago
> An honest title would be "Compiling a subset of F* to partially Safe Rust, Partially Formalized" Sadly that is the name of the game in conference publishing. Make a big claim in the title and hope the reviewer does not read t
236.
by lou1306 2y ago
The definitions in the floating point standard make much more sense when you look to 0/INF as "something so close to/far from 0 we cannot represent it", rather than the actual concepts of 0 and infinity.
237.
by lou1306 2y ago
But again, that is at best infrastructure documentation, not code. Unless you dilute the term "code" until it loses nearly all utility.
238.
by lou1306 2y ago
Clearly, almost every time we find an ancient artifact, it is fair to assume that the technology it displays was common and established by the time the artifact was created. However, (and adding to the other replies here which also have a p
239.
by lou1306 2y ago
Yeah but the sampling process required to determine what they are good at is not free either. (For starters, it's consuming huge amounts of public research funding and compute, but let's not go down that rabbit-hole)
240.
by lou1306 2y ago
> Why does an LLM have to be better than you to be useful to you? If ((time to craft the prompt) + (time required to fix LLM output)) ~ (time to achieve the task on my own) it's not hard to see that working on my own is a very attra

More ›