letmeinhere

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 colleague being imprisoned for years.

A more fitting punishment is firing and blacklisting from future research posts.

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 contaminants tainted others. Some stores pulled products from their shelves, and several major supplement companies embraced Newmaster’s work, paying large sums for quality testing by companies Newmaster established just prior to the publication of the paper.

Damn, this guy didn't just defraud for the citations or clout or speaking or even consulting fees; he used it to kickstart his own business empire.

> Thompson, now a postdoctoral fellow at Stanford University, sparked the initial inquiry. As an undergraduate, he and Newmaster co-authored a 2014 paper on forest plant diversity, published in Biodiversity and Conservation. Years later, while completing his Ph.D. at the University of British Columbia (UBC), Thompson began to suspect that Newmaster had repurposed data from a different study by another student. He asked that the paper be retracted, and the journal did so in 2021.

And the guy who exposed him wasn't a spectator or a spurned rival, but an untenured academic who opted to torch one of his own early and well-cited papers on principle.

How are some of the jgs9 glyphs perfectly smooth? e.g the infinity symbol

also https://github.com/ex3ndr/llama-coder

Obviously wildly optimistic, but 20% improvement in this annual release alone is plenty to celebrate.

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 constraints similar to those SPARK contracts. Is that a fair contrast?

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 action ("the average American" has to spontaneously demand 3x prices for resistance to be legitimate), but that has nothing to do with a lack of critical thinking ability in your political foes.

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

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 properties, and then tasks too below that, finally resolving to plain old imperative Python.

It's all pretty messy but useful.

> 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.

Zoning reform is all well and good (pretty sure Owens agrees with you there), but road use reform is much cheaper and faster path to greater safety. And it too will lead to greater density.

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 hours to correct Google’s image recognition tool in a timely manner. That helped the team fix roughly 80% of the issues in just 10 days, he said.

psychotic

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.

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).

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't pay people to do it ;)

They may also be insolvent due to FTX bankruptcy clawing back grants.

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.

I think it usually means that it's fully queryable by serverless functions, usually via atomic HTTP API calls, and often without network restrictions.

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.

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.

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 the same for median income, since of course much of the productivity of workers is captured by others.

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 to renovate which units. Would not be surprised if they take demographic data too. The more you share with RealPage, the better the recommendations you receive, and the higher your unearned income.

And no, these are not routinely shared publicly. Landlords are allowed to open their books, but for-profit businesses generally do not do so without specific incentive, because it is more profitable to keep trade secrets. Even if they wanted to, how would they do so? I'm not aware of a nonprofit data hub for them to dump all of this for public consumption (and if I don't know, I'm confident random slumlords in Cincinnati also don't). Maybe RealPage can make a free and open one if they are so committed to just making good honest tools for well-informed market participants.

The publicly scrapable data is: advertisements to prospective new tenants for the buildings who have tenants that recently announced their intent to move (or were evicted). They frequently won't even have specific unit numbers attached to them. They only have to be accurate enough to solicit inquiries and not get the landlord sued, an extremely low bar, especially in a hot market (where RealPage reaps its profits). The data availability is night and day.

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...

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 doesn't stop with this information hoarding; the pricing recommendations are as profitable as they are precisely because many property owners in a market are enacting them with the knowledge that a known quantity of their peers have no intent to undercut. Sure, someone can renege on that, but collusion doesn't require that you have an airtight legal contract to bind all parties; after all, such contracts are inherently illegal!

Anyone know how this compares to Vimari?

> 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 important, you need a fallback approach to gathering it, usually by periodically polling the source system. And, it turns out that a lot of times that polling mechanism is good enough on its own; engineering to get the instant push, but only most of the time is of questionable business value.

Incidentally I think that consuming webhooks and converting them to messages on a queue are one of the true killer AWS Lambda and Lambda-like use-cases. Very spiky traffic, shouldn't matter if it's warm, availability is paramount. And if you stay disciplined about it--just routing the message to the queue, nothing else--you sidestep many of the function-as-a-service developer lifecycle frustrations.

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 is live in what env.

One of the most popular of these flows was popularized under the brand "Gitflow". Atlassian has a detailed, and critical, writeup of that here: https://www.atlassian.com/git/tutorials/comparing-workflows/...

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 CUE: https://github.com/tweag/nickel/blob/master/RATIONALE.md

huh, something (maybe similarity to VisiCalc name) had me dismissing it as commercial software

This was a vote on a resolution in the general assembly, where there are no vetoes. It was approved.

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 blob storage. Question is, does control of the Next.js project constitute a big enough of a moat to keep profitable customers from shifting their hosting to big clouds. The decline of Heroku, for example, does not make me confident.