skysight-inc/HackerNews huggingface dataset:
This looks neat. I'm the author of a similar project in typescript we use at Cotera called Era [0]. Y'all might be implement something similar to our caching layer [1] which we think is super useful. Once you have a decent cross warehouse representation it's pretty easy to "split" queries across the real warehouse and something like duckdb. The other thing that we find useful in Era that y'all might like are "Invariants"[2]. Invariants work by compiling lazily evaluated invalid casts into the query that only trigger under failing conditions. We use "invariants" to fail a query at _runtime_, which eliminates TOUTOC problems that come from a DBT tests style solution.

[0] https://newera.dev/
[1] https://cotera.co/blog/how-era-brings-last-mile-analytics-to-any-data-warehouse-via-duckdb
[2] https://newera.dev/docs/invariants
New Software: Natural Language Development Platform
These fears seem to portray a kind of caricature of a US city that you might get from the media, rather than an accurate lived experience. There are neighborhoods in the US where you'd be concerned about some of those things, but the urban areas I've lived in are nothing like that.

Most Americans do not live in a constant state of mute terror, waiting for the day that some gangster cuts them down.

Of your examples, the only one that remotely resonated was "have you ever crossed the road because you weren't comfortable walking past someone standing on the corner". Yeah, I'll occasionally avoid a crazy person ranting on the corner. Also, I wouldn't walk by a bunch of teenagers while holding eye contact with them, but that's because I'm not a crazy old man. No need to scare some kids minding their own business.
What's the need to compiler code ASAP? I understand it that you mean the initial effort, as running whatever command you normally use to build will have just the same amount of effort regardless of its length... But, even if for some reason you are typing it out every time: the difference will amount to just a few characters...

I mean, how long of a delay are we talking about?

----

As an aside, for me, a newcomer, GPRBuild is hard to deal with. I've dealt with at least a dozen of build systems, and GPRBuild isn't something I'm excited about. It belongs in the same category as Maven / Gradle / MSBuild / Bazel etc.: very bad at debugging, very limited documentation, impossible to tell what things are possible...

The way for me to deal with GPRBuild is to create a project file using Alire, and when something breaks -- use Web search to find what needs to be changed. GNAT's errors are in general very, very bad, but when it comes to GPRBuild, it's almost like MS: the only use for the error message is that it's hopefully unique enough that there's a KB article somewhere that references it by id.
Everybody switched to cannabis. My jurisdiction doesn't allow cannabis ads, yet has higher rates of cannabis use than jurisdictions that allow them.
My biggest problem with CPS is that a quarter of the highschoolers in the district opted out for charter schools, the vast majority of them poor. This happened because parents realized that many schools in CPS are incapable of proving their kid with a decent learning environment. Tbh I don t really think theres much CPS can do about that since I mostly blame parenting, but I think its a huge problem that a quarter of families here just noped the fuck out of the public school system.

The high schools are definitely where CPS has major issues I agree that the elementary schools are on the right track.
Yes, but there are other positions that do fit the comparison, like a couple of advanced passed pawns that can still be defended against with surgical precision, but most times are lethal.
I was under the impression that workers earning less than $151,164 annually usually don't have noncompetes anyway? Sounds like a lot of people will get bucketed into "senior executives" group. At least new noncompetes can't be created.
That seems like a feature; mounting SMB is done on a local system on the basis of password, and it's horrible. (I assume you could, in principle, use some other GSSAPI mechanism.)
People still upvote hairball graphs every time. Fortunately there is a cure:

https://cambridge-intelligence.com/how-to-fix-hairballs/
We are using JLC for PCB + PCBA and usually the boards are ready and assembled between 5-6 days and then takes 3-4 days to get them shipped to europe.
I don't think this is an appropriate post for a Show HN (something you've made that others can tinker with) but I do agree that it's an impressive demonstration of apparent understanding. Have you tried this role play using any of the other popular LLMs?

I also wonder how ChatGPT would react if the roles were reversed, so that it becomes the buyer in this scenario, depending on if the seller was using anchoring bias or not.
Yeah. But what do you expect when the boss comes from McKinsey? Not only does the place teach a particular skillset, it also selects for very peculiar employees. It would be downright weird if an ex-McKinsey employee were anything like a decent engineer.
Related reading, from the font designer's side: “Oh, oh, zero!” by Charles Bigelow (of Bigelow and Holmes, makers of typefaces like Lucida and Wingdings), published in TUGboat the journal of the TeX users group: https://tug.org/TUGboat/tb34-2/tb107bigelow-zero.pdf

(There's also a “footnote” by Donald Knuth: https://www.tug.org/TUGboat/tb35-3/tb111knut-zero.pdf, and follow-up by Bigelow: https://tug.org/TUGboat/tb36-3/tb114bigelow.pdf)
It means that GP was paid their salary for the non-compete time. In finance it is common for total compensation to be the salary plus a "bonus" of 100% of salary in normal years + any performance bonus. This means that if you had a non-compete in the finance industry and you left your employer for a competitor, then your previous employer could pay you your salary (meaning 50% of your usual compensation) to not work for that competitor for a year.

(These numbers are typical of finance industry compensation and non-compete terms.)
Right-to-die activist first in Peru to legally end life via euthanasia
What about Packer? Vagrant? Consul?
> Strongly considering moving to Shenzen to build the prototype.

That seems like a profoundly personal decision that would have more ramifications than you expect.

Breadboarding should be possible, same with soldering together prototype PCBs as long as you're not concerned with wearing the prototype yourself. There's also (albeit expensive) circuit modelling/validation software you could try to use. I don't think many circuit designers have a workflow where they perpetually buy finished prototypes to check if they're working or not, though.
For me, things started going downhill when he called a diver a "pedo guy" during the cave rescue story. I get it was determined by the court to not fall under defamation, but it just left a sour taste.

He loves to overpromise and underdeliver. As someone who bought FSD on his 2018 M3, it's still not in a state where I feel it can be safely used outside of a highway. I guess it's an issue of credibility here.

Q-Anon promotions:
https://www.wired.com/story/elon-musk-qanon-2024-election/

Great replacement theory:
https://www.rollingstone.com/culture/culture-news/elon-musk-...

I don't agree with his thoughts on Ukraine / Crimea:

https://twitter.com/elonmusk/status/1576969255031296000

I'm sure I can conjure more examples where we disagree ideologically or from my POV he's just an asshole, but it's a waste of my time to find even more specific examples and get into a potential flame war over why to hate or not hate him.

The time required to find examples that don't seem like it's from a highly "biased" source is far greater than the person asking simply the question and will most likely not respond in kind.

This will be my only response to the topic and I will not respond any further.

Hope that helps.
I suspect that "policy-making positions" is a term of art that is more narrowly defined than it looks and that it'll actually be difficult or impossible to abuse it enough to made it apply to SWEs. Most likely big 4 accounting firms have a definition of what that means and it is part of accounting and auditing standards. At any rate they'd need to first abuse it to apply to managers who are below VP levels.
Internet Archive in Court: There's More to Copyright Than Financial Incentives
Awesome. I will spend many hours looking at it today. Thanks a lot.
I’m not saying don’t use a tree structure. I’m saying only create vertical tree cuts at functional junctions were the type of work is different between boss and subordinate. Do not ever make vertical boss where your subordinates are just supposed to be shittier extensions of yourself. Only one person should be in charge of tactics. Only one person should be in charge of strategy.

Not every decision should roll up to the CEO. Not in terms of decision making (obviously) but honestly not even on the org chart.

If your job is assembling little PowerPoints to pitch decisions to your boss then you’re an impediment to getting things done. You should have the authority to do what you want without your boss’ approval.

This is the natural, shitty outcome when you made X and then made Y, and don’t have time to do both, so you think you should be promoted to manage a manager for X and Y each. No. Bad. That’s selfish prioritization and the cost of the org. You should pick one and do it well and accept that you do not have capacity to reap the rewards of both. When everybody plays the game, everyone loses. Prisoners dilemma of org design incentives.

> Are you just assuming that it's not a problem and therefore doesn't need to be addressed?

Fucking hell dude. Fuck off with this unnecessary passive aggressive bullshit
https://archive.ph/Bux0D
most of the rest of the world where tipping isn't the norm isn't revolting at real prices
Or fetchAda or grabAda, english is filled with synonyms.
I think you're not alone. You're not just buying a car, you're buying into a brand. You'll be seen in it often, in public, it's not like some guilty pleasure you can indulge in the privacy of your home late at night.

Musk's behavior excites some, but much like Trump, who he approximates, he turns off a lot more, and arguably a proportionally greater percentage of his target market.

Musk could do himself (and his shareholders) a lot of favors right now by handing over running of Tesla to someone else, but it's unlikely his ego will allow him to do that.
The demo doesn't work on mobile Chrome. Worse, the blog post crashes the embedded browser in the HN app. May I suggest just linking to the demo instead?
You haven't given us enough information to make a recommendation.
Although I agree with noncompetes going away or being limited, I don’t feel good about agencies making broad changes that feel like they should be the outcome of a legislative process. I wonder if this will be challenged.

Also - what happens in situation where someone is leaving one company to work for a direct competitor? How do noncompetes function there to prevent sharing of confidential information or trade secrets that will help the competitor?
Turns out putting "config" in .gitignore isn't a very good idea. Or, at least, there's a problem with what setting go into "config". In particular, compiler options, end up ignored... I had to undo it in the project I'm working on because I got tired of having to restore these options every time I change something else in dependencies / other project configuration.
I have studied IUT since 2012, and it is indeed, totally baroque. However, Motizuki Theory, is totally rebased and admits results of much interest. I will write more on this matter if my claim is of mutual interest.

IRT, the topic and digression here, LLM and LEAN4 are of not much use for IUT.

IUT Theory is much easier understood by a hacker than by a math guy, eventually tho, monitors and tv's did kinda become the same thing but there are, some minor differences.
We'll have to see what the finance industry does. My guess is that they will only make sizeable counter-offers to key employees, and the employees will not be forced to accept them and typically won't. In the long run there might not even be sizeable counter-offers to key employees.

EDIT: Er, the FTC explicitly does not comment on garden leave:

> With respect to garden leave agreements, as noted previously, commenters used the term “garden leave” to refer to a wide variety of agreements. The Commission declines to opine on how the definition of non-compete clause in § 910.1 would apply in every potential factual scenario. However, the Commission notes that an agreement whereby the worker is still employed and receiving the same total annual compensation and benefits on a pro rata basis would not be a non-compete clause under the definition,350 because such an agreement is not a post-employment restriction. Instead, the worker continues to be employed, even though the worker’s job duties or access to colleagues or the workplace may be significantly or entirely
curtailed. Furthermore, where a worker does not meet a condition to earn a particular aspect of their expected compensation, like a prerequisite for a bonus, the Commission would still consider the arrangement “garden leave” that is not a non-compete clause under this final rule even if the employer did not pay the bonus or other expected compensation. Similarly, a severance agreement that imposes no restrictions on where the worker may work following the employment associated with the severance agreement is not a non-compete clause under § 910.1, because it does not impose a post-employment restriction.

My guess is that garden leave will be offered, but in right-to-work states there will be no way to enforce that the employee remains employed.
> This supreme court is very much on track to eliminate any authority federal agencies have that aren't explicitly written into law. Effectively destroying federal agencies ability to make rules.

Very dramatic. Really, it's a reaction to Federal Agencies — unelected governmental representatives — unilaterally making their own rules out of the gray areas.
That's my bad. Is there a list of rules somewhere? I didn't see anything mentioned about the year here: https://news.ycombinator.com/newsfaq.html

I appreciate you calling it out!
Countdown to when Google releases a Kagi competitor "Premium Search" that bundles ad-free, configurable Search with their SOTA Gemini model...
Sorry about that, I'm dealing with a troll on another thread so I'm on a bit of a hair trigger.

I think we have a fundamental disconnect somewhere, so let's try to diagnose it. Where do you start to disagree in the following series of claims:

1. People can have kinematic skills, like throwing and catching balls, without having math or physics skills, like solving kinematic equations.

2. In order to have kinematic skills, something in your brain must be doing something that can be equated by some mapping to solving kinematic equations, because the actions that your muscles perform when performing kinematic skills are the solutions to kinematic equations, so your brain must be producing those (things that map to) solutions somehow.

3. As far as we can tell, brains don't operate symbolically at the neurobiological level. Individual neurons operate according to laws having to do with electrical impulses, synapse firings, neurotransmitters, etc. none of which have anything to do with kinematics.

4. People with kinematic skills generally have only limited insight into how they do what they do when they apply those skills. Being able to catch a ball doesn't by itself give you enough insight to be able to describe to someone how to build a machine that would catch a ball. But someone with math and physics and engineering skills but no kinematic skills (your streotypical geek) could plausibly build a machine that could catch a ball much better than they themselves could. But the workings of a machine built using knowledge of math would almost certainly operate in a very different manner than the brain of a human with kinematic skills.

I think I'll stop there and ask if there is anything you disagree with so far.
Speaking more broadly, try taking the test with someone who knows you well.

When I was tested for autism, my interviewer requested my wife be there specifically to help answer some things which I did not understand fully and didn't have good context for. It was helpful both for the diagnosis and to open the door for my wife and I to have better conversations about my needs.

... The irony of autistic folk having needs but having considerably more trouble communicating those needs, especially while burnt-out and needing more, is it's own, considerably large, domain.
Stock is up 8% after hours:

https://finance.yahoo.com/quote/TSLA

Probably because of this bit from Slide 10:

> These new vehicles, including more affordable models, will utilize aspects of the next generation platform as well as aspects of our current platforms, and will be able to be produced on the same manufacturing lines as our current vehicle line-up.

> This update may result in achieving less cost reduction than previously expected but enables us to prudently grow our vehicle volumes in a more capex efficient manner during uncertain times. This would help us fully utilize our current expected maximum capacity of close to three million vehicles, enabling more than 50% growth over 2023 production before investing in new manufacturing lines.

> Our purpose-built robotaxi product will continue to pursue a revolutionary “unboxed” manufacturing strategy.
> That is a very big assumption -that brains have conscious and subconscious levels that are good and bad at different things- that needs to be itself proved, before it can be used to support any other line of inquiry.

Does this assumption itself need to be proven?

Besides, it's not true: you can simply define it as an assumption within a thought experiment and proceed merrily along, or you can just not bother to consider whether one's premises are true in the first place, and proceed merrily along.

The second option tends to be more popular in my experience, perhaps because it is so much easier, and perhaps for some other reasons also.
Yes, I agree with you but it goes both ways.

I had the unfortunate experience of running a startup with a couple of guys from a name brand fintech. They absolutely demolished the company before we got our first sale.

I couldn’t quite work out if these guys learned their mendacious trade from $bigcorp or if $bigcorps simply attract these kind of people.

My sense is that it’s a bit from both columns - I think that huge, profit driven megacorps, in general, are bad for society, in part because corporate culture itself is rapacious, and in part because they deliver enormous power into the hands of incredibly selfish people.
Is this rule a partisan issue?
Except there's a fatal flaw in the response, in that the $15 anchor was immediately implausible (in that it was way higher than the normally accepted price). In order for anchors work, they need to fall somewhere within the range of what might be plausible to the counterparty -- otherwise they fail.

For same reason that if for example you're in a salary negotiation, you might get somewhere by starting off asking for a 50 percent higher salary than what's being offered -- but if you start off asking for 2x, you'll be flagged as a primadonna and immediately shut down.

So if anything, this example (while certainly interesting) further showcases the fact that at the end of the day, LLMs have at best a very limited understanding of what's going on. And are in most cases are basically "satisficing" -- cranking out a stream of tokens which looks like a satisfying answer, but you when you break it down, you find it isn't, really.
You're conflating two different things.

The reason those geographical clauses are in those contracts is because many states have ruled that non-competes are illegal unless they are limited in some ways to be "reasonable", and one common way states courts measure this is by ensuring that they are limited to something that might be a reasonable 'business area' that the company competes in. Corporate lawyers typically write in the exact radius that state courts have historically enforced into their non-competes to avoid them being disqualified for being too broad.

"Interstate commerce" on the other hand, just means any sort of business activity that crosses state lines. Basically every business engages in interstate commerce, just because commerce requires many interstate activities, like using the internet, or accepting electronic payments, or ordering supplies made in a different state.
You can have training repayment and non-disclosure clauses in contracts, leaving cost recovery and legal remedies for employers.

Takee your investment industry example - a non-compete could prevent you from taking a lucrative position in a competitor of your current employer, doing completely unrelated work like writing software for their settlement system. I would rather have the freedom to choose where I work.
UnlockSwitch flashcart prototypes are already in the hands of some reviewers
> it is should not be within the purview of a company to make such moral judgements.

Who should, if not the company who makes the product? Nobody? Courts after harm has occurred?

We have these exact controls in place for military hardware. If your company builds missiles, you better believe it's your responsibility not to sell to enemies of the state.

(Edit: I'd like to avoid the parent's particular example, as it's still an extremely polarizing issue. I hope we can still discuss cooperate responsibility in general.)
Could just be inefficient spilling caused by ABI requirements due to the inability to inline.

In general if you're manipulating values that fit into registers and work on a platform with a shitty ABI,you need to be very careful of what your function call boundaries look like.

The most obvious example is SIMD programming on Windows x86 32-bit.
Stuff like this is why I think anti-China propaganda is so incredibly effective and strong.

It’s so weird. Tesla uses Chinese batteries because they’re simply better. Batteries are the most important part of a EV. China’s EV industry was already huge by the time Gigafactory Shanghai opened. Tesla China isn’t even a joint venture. It’s fully owned by Tesla.

But here, a user boldly and confidently claims that the CCP stole Tesla tech which allowed Chinese companies to dominate the EV industry. As if Tesla has some kind of secret tech that China stole in 2020 and within 1-2 years, Chinese EVs are now much better because of that secret.

People here seem to think so little of Chinese people. I wonder if they’ve ever stepped inside a Silicon Valley company before and find that most of them have a huge number of both Chinese Americans and Chinese foreigners in R&D. But I suppose people think that the Chinese in America are only smart because they’re under the supervision of Americans. Chinese in China must be dumb.
Alire is kind of a bummer on musl systems...

I don't know if this tool solves the problem, but on musl systems (eg. Apline) you have to build Alire from source... i.e. bootstrapping, dependencies... it's not pretty.
> everyone just refuses to see it.

You are not the only person to ever think that life might be super rare in the universe. This is not a unique or even a rare opinion. People can speculate on other reasons for its rarity while still knowing it's likely to just be a naturally rare event. And there's no way you (you personally, and I guess humanity as a whole) can know it's as rare as 1 in 10^1000000 universes either, so your hypothesis is as evidence free as other hypotheses.
How is that common in Chinese writing? I haven't seen anything similar to gikun in Chinese. Outside of graded readers, I've not seen the pronunciation written above a character and in the case of graded readers, it would always be the expected pronunciation not a different pronunciation that carries a different sense. That's something I agree with the writer as being unique.