letmeinhere

8 ms·

31.
by letmeinhere 2y ago
Yes, deterrence does require both sufficient certainty and severity of punishment. But, those can pull against each other and it seems quite likely that universities and individual academics would stonewall if cooperation could lead to a co
32.
by letmeinhere 2y ago
This is a remarkable fraudster/whistleblower pair: > Their influential paper in BMC Medicine, and subsequent work based on Newmaster’s approach, found that many supplements lacked ingredients listed on their labels and that toxic co
33.
by letmeinhere 2y ago
How are some of the jgs9 glyphs perfectly smooth? e.g the infinity symbol
34.
by letmeinhere 2y ago
also https://github.com/ex3ndr/llama-coder
35.
by letmeinhere 2y ago
Obviously wildly optimistic, but 20% improvement in this annual release alone is plenty to celebrate.
36.
by letmeinhere 2y ago
My understanding is that the key feature of SPARK is design-by-contract aka run-time enforced pre- and post-conditions plus invariants for loops. Whereas F* lets you define dependendent types, a subset of which are compile-time constraint
37.
by letmeinhere 2y ago
These are people in said society operating on another part of the whole. They are not idly "blaming", they are attempting to directly increase the cost function to reduce the extraction. Obviously you disagree with them taking act
38.
by letmeinhere 2y ago
You ever try cloud-init? You can specify your config in user-data when launching pretty generic AMIs. https://cloudinit.readthedocs.io/en/latest/index.html
39.
by letmeinhere 2y ago
I think of ansible as a declarative-imperative lasagna, where each playbook is a desired state, achieved by an imperative sequence of plays, which themselves are desired states, achieved by a sequence of roles, which have the same propertie
40.
by letmeinhere 2y ago
> Cities in general also don't sufficiently support mass transit and biking Yes, and he's pointing to a very big reason why: electeds defer to small business owners, who tend to be irrationally hostile to those alternatives. Zo
41.
by letmeinhere 2y ago
I thought you must be misrepresenting the article, but no, its almost as bad as you said: > He praised the teams working on Gemini, the company’s main group of AI models. He said they’ve stepped up from working 100 hours a week to 120 ho
42.
by letmeinhere 2y ago
Android, or at least Pixel, similarly has a "Lockdown" mode, reached by long-pressing power. Unfortunately I think you do need to enable it in advance.
43.
by letmeinhere 2y ago
Yeah, it's shame they didn't spruce it up a bit. e.g. some winter theming on the exterior, allowing for some commemorative swag at conferences like they had for the warehouse robots or the delivery drones (also largely gimmicks).
44.
by letmeinhere 2y ago
Have any subreddit mods been exposed as paid corporate shills? I'm a bit surprised that I haven't noticed signs of that for subreddits with an obvious commercial angle. Maybe moderating is such a thankless slog that brands can&#x2
45.
by letmeinhere 2y ago
They may also be insolvent due to FTX bankruptcy clawing back grants.
46.
by letmeinhere 2y ago
But in this case it seems to be referring to the database itself, and the ability to scale to and from zero resources on demand.
47.
by letmeinhere 2y ago
I think it usually means that it's fully queryable by serverless functions, usually via atomic HTTP API calls, and often without network restrictions.
48.
by letmeinhere 3y ago
And for those of you that are already on asdf-vm, it is compatible with most of those plugins. I have not yet made the jump but I'm tempted.
49.
by letmeinhere 3y ago
My favorite of the new `du`s is dua-cli, an ncdu clone (an interactive TUI). I went hunting because the latter didn't have a light-mode.
50.
by letmeinhere 3y ago
Here's a bubble chart plotting this phenomenon: https://ourworldindata.org/grapher/annual-working-hours-vs-g... Germany is close to the pareto frontier, whereas Ireland and Norway are on it. Would be nice to see t
51.
by letmeinhere 3y ago
Yes, actual rents of all units under management, specifics about what properties are vacant, when properties are available to go up for lease renewal or open market, and I imagine also detail on deferred maintenance, to aid in deciding when
52.
by letmeinhere 3y ago
The propublica article linked at the beginning of this thread is how I learned about these parasites. Definitely recommend. https://www.propublica.org/article/yieldstar-rent-increase-r...
53.
by letmeinhere 3y ago
The algorithm is not operating on public info, it is soliciting proprietary pricing and vacancy data that is not available to renters or regulators. That secretive information sharing is the basis of the whole scheme. And the collusion do
54.
by letmeinhere 3y ago
Anyone know how this compares to Vimari?
55.
by letmeinhere 3y ago
> deploy and host the server somewhere where it’s always available This is such an underappreciated aspect; a naive webhook consumer service will just completely miss events in any outage. It means that if the information contained is im
56.
by letmeinhere 3y ago
There are (unfortunately) a lot of git repositories with multiple long-lived branches, often to track what's released in different environments. Unfortunate because it leads to a _ton_ of merge conflicts and uncertainty about what code
57.
by letmeinhere 3y ago
Speaking of Nickel, they've got a great document detailing the reasons for their design (for example why they chose not embed in a general-purpose language like Pulumi) and how Nickel compares to other config languages like Dhall and C
58.
by letmeinhere 3y ago
huh, something (maybe similarity to VisiCalc name) had me dismissing it as commercial software
59.
by letmeinhere 3y ago
This was a vote on a resolution in the general assembly, where there are no vetoes. It was approved.
60.
by letmeinhere 3y ago
I wish them well, but the success indicators I've seen from them have been similar; funding rounds and users. They are certainly better positioned, since running hot nodejs servers is a higher revenue proposition than white-labeling bl

More ›