HNHacker News
TopNewBestAskShowJobs

lakecresva

299 karma · joined September 20, 2020

submissionscomments
lakecresva··on Terence Tao: At the Erdos problem website, AI assistance now becoming routine
It seems pretty obviously machine generated, and the appearance of the word "metaphysics" in the output suggests the prompt author didn't know what they were talking about to begin with.
lakecresva··on You Don't Need Anubis
If it were just the imagery I don't think this would be such a huge flashpoint relative to something like tux or octocat (the github mascot).
lakecresva··on US Supreme Court leaves protections for internet companies unscathed
Thanks, this doesn't address what I said at all. What I said is that Dobbs refutes the idea that the Supreme Court's authority is limited to "interpreting situations where federal law does not already exist". There's no question that prior to Dobbs, Roe existed, was not ambiguous, and was the legally operative interpretation of the constitution.
lakecresva··on US Supreme Court leaves protections for internet companies unscathed
> Despite AWFUL national and international reporting on the Supreme court, their powers are actually quite limited. Their authority is restricted to interpretation of situations where written federal laws do not already exist.

This is pretty directly refuted by Dobbs. Roe v. Wade was not ambiguous and was a settled matter of constitutional law until the new court decided they didn't like it.

lakecresva··on Microsoft Freezes Salaries for 2023
> isn't salary dependent on job competition in the market

Salary is dependent on the contents of the employment contract.

lakecresva··on Microsoft Freezes Salaries for 2023
What if I told you that the time and effort required to develop and deploy accurate tracking metrics for every employee's individual productivity and the negative externalities that would fall out of openly stratifying worker pay based on these minutiae (worker dissatisfaction, turnover, degraded performance, poor reputation among potential new hires) would outweigh the benefit your marginal increase in motivation and job satisfaction brings to your employer?
lakecresva··on Johnson and Johnson reaches deal for $8.9B talc settlement
Who are you even responding to? No one's arguing the science, they're talking about the size of the settlement relative to the corporation's financials.
lakecresva··on System76 Teases Their “Virgo” In-House Manufactured Laptop
Does anyone actually think the trackpoint is superior to a modern trackpad like what apple is using? This seems like a fetish object with a vocal following.
lakecresva··on Apple halted M2 chip production in January amid 'plummeting' Mac sales
Sure, and their options include literally everything else on the market, including older macbooks. You're missing the point by a mile.
lakecresva··on Apple halted M2 chip production in January amid 'plummeting' Mac sales
Yes, the way consumers perceive your pricing matters. If you lose a key, you need to call a locksmith; it's rare that someone needs to buy a new apple laptop.
lakecresva··on Louis Rossmann could sue John Deere for GPL violation [video]
Whoever/whatever owns the copyright to the underlying work(s) would need to sue to get the ball rolling. Current statutory law doesn't directly address copyright ownership with respect to the kinds of collaboration we see in open source, but if there's a "main author" for the code base you would just need them in most cases.
lakecresva··on Louis Rossmann could sue John Deere for GPL violation [video]
For what it's worth, the Federal Circuit, the Eleventh Circuit, and the Seventh Circuit have heard cases dealing with the GPL or some other open source license, and they all understood the big picture and were fine with it. (the cases are Planetary Motion v. Techsplosion, Wallace v. IBM, and Jacobsen v. Katzer).
lakecresva··on Louis Rossmann could sue John Deere for GPL violation [video]
> whereby the defendant is forced to share code against their will.

This remedy of compelling a party to do something they agreed to do is called 'specific performance', and US courts only even consider doing this when real property (land) is involved.

For copyright infringement, generally what's available is injunctive relief preventing further infringement, disgorgement of profits, and statutory damages and attorneys fees as permitted by title 17. The injunction and disgorgement are the killers here that actually scare would-be infringers, and they mean that in most cases what you actually end up with is a settlement.

lakecresva··on FTC has proposed banning non-compete agreements
The entirety of IP law. I don't have to think of non-competes as patents or a way of protecting trade secrets, because patents and trade secrets have their own separate (and quite potent) legal protections.
lakecresva··on CA's Prohibition on Workplace Arbitration Agreements Overturned by 9th Circuit
The punitives in that case were capped; the law of the land is that punitive damages exceeding ten times compensatory damages are presumptively unconstitutional, and the judge in that case slashed the suggested punitives by like 90% to put them below said cap. I can assure you Tesla's legal team knew this and did not make personnel decisions under the assumption that they faced "unbounded risk".
lakecresva··on After SBF is accused of VPN use, court is asked to restrict his internet access [pdf]
Those on the receiving end of SBF's generosity wouldn't want to send a message to future benefactors that their money won't actually get them what they want when the chips are down.
lakecresva··on CA's Prohibition on Workplace Arbitration Agreements Overturned by 9th Circuit
> Prove that competitive pressures reduce margins and unbound risk reduces investment?

Prove that any of the mechanisms you're describing are in play, in the way you claim they are. I'm sure every question you read becomes very easy when you begin from the assumption that "this is how the world works".

Show me the law that permits juries to award arbitrary damages for employment disputes creating "unbounded risk", and show me that a jury has actually done it.

> What's more fair is, obviously, working out a settlement deal where the alternative is arbitration, instead of a jury.

Ah yes, the gold standard of due process, fairness, and impartiality, enshrined in our constitution, the arbitrator. You know it's fair because of how badly the employer wants it and the fact that states are trying to make these contractual provisions illegal.

lakecresva··on CA's Prohibition on Workplace Arbitration Agreements Overturned by 9th Circuit
> It is better because arbitration agreements in a competitive employment market makes wages to be pushed higher or consumer prices to be pushed lower.

Prove it.

A very small fraction of civil cases are resolved by jury verdict. If the plaintiff's case has merit, the point is to get the other side to settle. You sound like a big markets guy. What could be more fair than the parties working out a settlement deal between themselves? No middleman or arbitrator needed.

lakecresva··on Replacing Pandas with Polars
I'm still a datalog guy, but imo PRQL is indeed the nicest of the SQL family. Thanks for the hard work, and best of luck.
lakecresva··on Japan was the future but it's stuck in the past
> I understand many people do not "like" this kind of solution...

Which in and of itself should be disqualifying. This would be so deeply unpopular and destabilizing that it's not even worth considering.

lakecresva··on Proofs about Programs
This is definitely not true.
lakecresva··on The Casino-Chip Society
> All laws make you less free

I offer the 13th amendment (US) as a counterexample.

lakecresva··on How to easily type scientific notes with TeXmacs [video]
If op is affiliated with texmacs, your website (texmacs.org) is down.
lakecresva··on FTX’s SBF had a secret 'back door' to transfer billions off the books
Hell yeah. If we can't detect all fraud all the time, we shouldn't bother trying to detect any new forms of fraud that emerge.
lakecresva··on A brief interview with Common Lisp co-creator Dr. Scott Fahlman
The syntax is consistent, I don't know about the semantics. The trade-off is that it becomes more difficult to glance at a piece of code and visually distinguish what's what.
lakecresva··on Differential Datalog: a programming language for incremental computation
Datafrog doesn't use differential dataflow. Datafrog also requires you to do index management and joins manually, but it's very performant. Some of the join strategies are super optimized, but they don't allow for certain things that may be desirable, like negation/anti-join with a dynamic relation.
lakecresva··on Uber’s Still Not Profitable
> perhaps it wasn't the money or the articles

Lol yeah, "perhaps" it wasn't. "Perhaps" proponents just spent that $200 million on the campaign for no reason.

lakecresva··on Marc Andreessen slams new multi-family affordable housing
> does anyone really want it?

It's probably safe to assume the people who need affordable housing want it.

lakecresva··on Former SpaceX Engineers Launching Startup Where Robots Make Pizzas in 45 Seconds
I guess we'll find out whether Zume's problem was not having enough former SpaceX engineers.
lakecresva··on Advice for the next dozen Rust GUIs
> but even seven(!) years later it still feels like a pre-alpha language.

Can you give any concrete examples of things that give you this impression?

Page 1 of 4Next →