skysight-inc/HackerNews huggingface dataset:
I routinely back out of websites with ads that degrade the user experience. Not all ad-supported sites are bad. I do not use an ad blocker. That does not constructively help the situation.

If I disagreed with the customer experience of a physical store, the solution would not be to go into the store anyway and just steal the merchandise so I didn't have to communicate with customer service. I would go somewhere else. If enough people did that, the store may decide it is worth their while to change.
Migrate...
This, please! Even better: a web form that fills a job ad with a standard, machine parsable format.
Never underestimate the ability of humans to throw something really hard ;)

I actually think if the object was on the right trajectory and we had enough time, that you could pretty much park an impactor in its path. You could probably do a lot of science based on the spectra of the resulting cloud.

I agree that gently landing and return a sample with that much delta V is out of our reach at this point. Maybe with enough shielding, you could park a second sample return vehicle in the path of debris.
LinkedIn says "No longer accepting applications".
He droned and killed a US citizen without due process. Literal murder.
This is remarkably similar to Calca.app, which I still use occasionally. http://calca.io/

I love that yours is web based! Can see it being much more reusable in a number of use-cases.

Calca was originally MacOS/iOS, but has since been ported to Windows.

I think that the notation in Calca to use a `=>` to display results maybe adds a bit more clarity to the math expressions, but your display style seems to work pretty well too.

The only advantage Calca seems to have is they’ve had almost a decade to add things like extra functions (compound interest, trig, …), constants, operators, etc.

I’ve always thought that style of simple but highly visible calculation is a far superior alternative to spreadsheets. Jupyter, LiveBook, Mathematica, etc… have shown that it works, but the world is still enamored with Excel, despite its propensity to hide mistakes.
I've previously been in touch with Abe (I email the developers of every independent software I use), but nothing back from that email for over a year. The forum was overrun with spam over a year or more ago. Perhaps someone reading this knows.
> Unless you'd like to put a price on human life that is.

If you have some magical formula that would avoid doing I'm sure that NICE would love to hear from you.

https://www.nice.org.uk/
Did you use DNS over HTTPS (DoH)? I love how easy it is to perform DNS lookups in web apps too through this.

curl -H "accept: application/dns-json" "https://cloudflare-dns.com/dns-query?name=ycombinator.com&type=A"
Because it's not the age of antitrust, and nothing has been broken up? Lina Khan trying her best does not an age of antitrust make.

It's an age of unprecedented concentration of ownership with attendant open and unashamed market manipulation, which of course makes people talk about antitrust more, while also having absolutely no mechanism to do anything about it, which makes them talk about it with a tone of frustration and anger.

But frustration and anger does not break up companies. Functioning governments do.
> The court opinion literally says pressuring the vice president to try to not certify the election was an official act related to talking about the limits of his roles and responsibilities.

This isn't how Supreme Court cases usually work. Most of the time, as in this case, they clarify some things and send it back to the lower courts.

The Court here ruled that the President is entitled to immunity for official acts and sent the case back to the lower court to determine if Trump was acting in his official capacity as President or in his capacity as a political candidate.
The problem is that 50% of the people are in a camp that advocates for the overthrow of the US government, while consolidating power and ensuring that it is as difficult as possible for people who oppose them to vote.

The Senate allowed legislation that made public lynching a crime to fester in committee without a vote for years. The Supreme Court’s abandonment of any reasonable check on executive power or governmental integrity is absurd. You literally have a justice on the payroll of a billionaire who has paid him millions of dollars who helped redefine bribery to make it a crime impossible to prosecute:
An important point here is that there are both legal and illegal orders. Military personnel are instructed obey every legal order, and disobey every illegal order (at least I was).

In the military, we have the UCMJ that allows us to prosecute those military personnel that issue illegal orders. The President is the Commander-in-Chief, but he is a civilian, so the UCMJ doesn't apply. I always thought he would be charged under criminal law in that case, but it seems that this ruling precludes that.
How about their qualifications for the posting? I'm not sure I'd want to appoint anyone to a judgeship who already knows how they'd pass judgement on a case that's not before them. Otherwise what's the point of a hearing or a trial?
Congrats. SCOTU have just promoted president to dictator. Now wait for Putin to come.
>The issue is that presidents can be prosecuted even if they likely didn't break the law. It would be possible to just keep throwing bullshit charges at a former president either until one sticks or until their resources to fight off an unending string of legal battles is exhausted.

I have no problem choosing between the chance there will be a President who abuses immense power over everyone in the nation with no real accountability, and the chance a slew of people (prosecutors, investigators, judges) will act maliciously and repeatedly to persecute a single person. Does SCOTUS really fear that federal Judges like them can't recognize malicious and baseless indictments?
Athena Intelligence | Multiple Engineering Roles | New York City | ONSITE | Full-time

Athena Intelligence is engineering the future of work. We're at the forefront of integrating artificial intelligence into enterprise operations, reshaping how humans and machines collaborate. Our flagship products include Olympus, an AI-native analytics platform, and Athena, an artificial employee designed to operate Olympus alongside enterprise teams.

We're looking for talented engineers to join our team:

- Platform Engineer: Build and maintain the core infrastructure and services that power Olympus and Athena. Design scalable systems that enable seamless AI integration.

- Product Engineer: Develop user and agent-facing applications within Olympus, including Reports, Sheets, Browse, Query, Notebooks, Spaces, and Flows. Create intuitive, AI-native interfaces.

- Forward Deployed Engineer: Work directly with clients to implement Olympus and Athena, engineering solutions at the edge to address real-world challenges.

Our tech stack includes:
Backend: FastAPI, Yjs, Jupyter Server
Frontend: TypeScript, React, Next.js, Yjs

More details on the roles: https://www.athenaintelligence.ai/company

We offer competitive salaries, equity, and comprehensive benefits. Our team previously deployed software at Palantir, IBM, Scale AI, and Yandex.

Athena Intelligence is fully in-person, working 5 days a week in our NYC office. We believe in the power of face-to-face collaboration and maintaining a strong team culture.

To apply, please email your resume and a link to your Github to team@athenaintelligence.ai. Include the role you're applying for in the subject line.

Join us in shaping the future of work!
In the majority opinion, this part would disagree with Sotomayor's example: "The President enjoys no immunity for his unofficial acts, and not everything the President does is official. The President is not above the law. But under our system of separated powers, the President may not be prosecuted for exercising his core constitutional powers, and he is entitled to at least presumptive immunity from prosecution for his official acts."

The language isn't as electrifying as Sotomayor's example, but you can still imagine unofficial acts that would not warrant immunity.
There’s a difference between an American citizen combatant aiding the enemy abroad, and say an uncooperative Vice President refusing to participate in a coup.
What do you think is the goal of the commenter's behavior on hackernews? Is the platform big enough to be target of low-effort karma farming, and does karma matter enough here to be sold?
Absolutely, the best thing to do is preserve it as best as possible and put in storage. In many years it will be worth something as a rare kit rebuild
I aspire to as well-organized as you! Tell me, do you also color code your collection?
They say remote, but there's a hard list of supported countries at the bottom of job application form that should be at the top.
Japan wants to build a cargo conveyor belt because it’s running out of drivers
We can all think of something one president or the other has done that we each believe should have led to their removal from office, yet it hasn't once happened through impeachment.
Which seems... odd... to me.

I've often been able to speak for 15 minutes, up to 2 hours, on topics without repeating information. It was usually in a teaching or on-boarding context. The people were engaged, nodding, laughing, taking notes...

I simply knew the subject and its adjacencies inside out and backward.

Ten minutes, for a subject you care about, seems trivial.
Enlighten him, and us then.
> I think a big problem here is that all existing laws and the system concerning presidents rests on one very important assumption. That the commander in chief is a decent, rational human being that carefully considers his actions and holds the interest of the United States and the Citizens in high regards.

No, that's not what the existing laws or system rests on.

The system rests on the fact that the Commander in Chief is an elected representative, and therefore their actions represent the will of the people. Washington Post might not think he is rational. A random Judge might not think he is rational. You might not personally think he is rational. What is "rational" is determined at the ballot box, or via the impeachment process in the legislature.
I can't believe you are arguing about the precise gradations of informal descriptions of exactly how famous he was.

There are many current legal cases about major national issues, where the lawyers aren't famous.
Lithos Carbon | Full-Stack Engineer, Data Scientist, and Applied Statistician | Hybrid (SF Bay Area, Seattle) | Full-time

Hey everyone — we're a startup that's scaling a form of durable carbon dioxide removal called enhanced rock weathering. In addition to the critical efforts around decarbonization and emissions mitigations, you might have heard of efforts to scale carbon removal to mop up the remainder. Even so, we need to create an entirely new industry capable of removing tens of billions of tons of CO2 within the next decade.

Our bet at Lithos is that the best chance of success is by leveraging three industries already capable of this scale: agriculture, mining, and transportation. Rock weathering is a key part of the Earth's geologic carbon cycle, and has acted as a crucial "global thermostat" to keep Earth habitable — but it normally takes millennia. By enhancing this process, we can speed up the reaction to have meaningful effects within human timescales.

On a day-to-day basis, this involves planning, coordinating, tracking, and optimizing a distributed physical supply chain. We're looking for full-stack engineers, data scientists, and applied statisticians to build the next iteration of our platform under 10x operational growth, and design what will become the "operating system" for enhanced weathering at scale. There's a diverse set of challenges spanning interactive geospatial tooling, map and document digitization, laboratory sample management, logistical routing and optimization, and scientific modeling.

We are hiring for Senior-level roles in:

- Full-Stack Engineering

- Data Science

- Applied Statistics

If you have experience of any kind in farming, commercial agriculture, geospatial data / GIS, farm management software, building tools for semi-technical power users (think Excel/Airtable/Google Earth), or working on offline applications, please mention this in your email - we'd love to hear about it!

You can reach out to us directly via hn [at] lithoscarbon.com
It seems the author does not see the difference between a monopoly on a service as opposed to a monopoly on a product. These changing stations can be replaced without any difficulty, by another brand, if the need arises. For services or whole ecosystems, such as Google and Apple (iCloud, Apple Pay, etc) there is a huge vendor lock-in, even for consumers. Monopolies in the latter are unwanted most of the time. But being the major manufacturer and distributor of some non-consumer-bought public bathroom equipment doesn't really do much harm, since a competitor can arise relatively easily if need be.
If Trump wins he will be term limited by constitution irrespective of any election that comes after.
Great read!

I’m sure I’m not the first to point out that Junio (the appointed git “shepherd”) works at Google where mercurial is the “recommend local vcs” internally instead of git.
SEEKING WORK, Ecuador, Remote OK
Technologies: Rails(6 yoe), Javascript, Web, Mobile, Angular, Elixir, Flutter(2.5 yoe), SQL, RabbitMQ, CICD, Docker, Figma, GraphQL, Firebase
Resume: https://speerj.gitlab.io/cv/ (update coming soon.)

Hi, my name is Johann. I'm a full-stack developer with 11+ years of professional experience delivering software. I'm a US citizen living in Ecuador and willing to relocate temporarily if necessary.

I'd love to help you develop something cool from scratch or help with an existing project.

A selection of accomplishments:

- Created an emulator for a Bluetooth device to allow devs to develop from anywhere.

- Transitioned an app to null-safety.

- Incorporated TDD, Int-Testing, CI-CD, Branch-based development into teams.

- Have led code bases from nothing to completion in C# and Rails.

- Added AWS S3 support to a infrastructure automation tool of a major company

Some random code snippets:

- Added images support to the Elixir openAI lib https://github.com/mgallo/openai.ex/pull/5

- A little experiment in Python to see if the garage door was left open https://github.com/SpeerJ/Did-I-leave-the-garage-door-open-

- An old script in F# to generate some address parsing code in C# https://github.com/SpeerJ/PostalAddressingStandardsXmlParser

You can email me at Johann . Speer at proton . me
> this elides the detail that the right just won a generational battle for the Supreme Court

Sure. Until recently, they were losing. De-politicising the courts could be electorally advantageous for both sides.

> the minimum viable reform to enact term limits after this lot dies off is dead on arrival

Because that’s obviously partisan. There are more Republican-appointed judges. Term limiting them obviously favours one side in a way drawing from appellate judges by lot does not. (The Fifth and Ninth are regarded as crazy by half the country.)
The subject of textual vs graphical programming comes up so often that I attempted to write a summary of the pros and cons of each.

https://successfulsoftware.net/2024/01/16/visual-vs-text-bas...
A) Last year's FEIE was 120k. When I was looking at teaching English as a second language abroad, US income tax wasn't a factor, but I could see it being one doing tech work. The annoying part is the paperwork and presence requirements. I did meet a couple ESL teachers who did have to worry about it in UAE.

B) A smaller piece. I pay no more than 15% on my capital gains, I think they're capped at 20%, and I get to write off losses. It's wild to me that this is taxed at a lower rate than employment.
> I'm sure I will get downvoted for this but have you seen Lisp?

How much time have you spent writing in lisps?

I'm definitely an OOP person, but I spent a couple of years writing Clojure. After a few hours of working in it, the syntax just... disappears. I installed two tools in vim to help: one colored parentheses to match corresponding pairs, and the other inferred parentheses from indentation. After a week, I removed the first because I realized I literally never looked at them. Ever.

The reason I didn't fall in love with lisps is because it's just hard for me to work in them. Yes, I'm _very_ productive once I get into flow state - but it took about a half hour each session before I got there. There were many days where I never got into that state for more than a few minutes here and there. It was a terrible experience as a result.

With Python - and other OO languages - I can look at some code and almost immediately know what it does. It's just not like that for me in lisp.
> Sqlite is a battle tested sql database used on millions of devices.

Billions, perhaps hundreds of billions.
This is the best reform idea I’ve heard. Has it been mentioned elsewhere?

There is a reference in the Constitution in the impeachment clause to the “Chief Justice” - which maybe implies justices with some sort of tenure, but I suppose that could be filled randomly as well, much like a jury foreman.
How about "N remaining"? Anything that isn't zero means it's still in progress or stalled. Only abbreviate (via thousands indicators like K, M, G, etc.) when it actually shortens the text meaningfully, so there will be no truncation or rounding toward the end.
https://cacm.acm.org/news/nist-post-quantum-cryptography-can...

"Belgian researchers have cracked the SIKE cryptographic algorithm, a fourth and final-round candidate that the U.S. National Institute of Standards and Technology (NIST) was evaluating for its Post-Quantum Cryptography (PQC) standard."

SIKE was a finalist, it entered final round.
Except doesn't the "can't enter things into evidence" clause of the ruling mean that bringing the prosecution against Nixon would never have had a snowball's hell in chance of being argued and won?
So now the process is to wait years to see if something a president does is technically an 'official act' or not. Seems like there should have been a better way to solve this.
My post refers to the job postings themselves (in whatever form they come in). Many listed or linked here do not have salary ranges.
Yeah, we should definitely fix the fact that the President can order hits on US citizens. That's a pretty obvious problem regardless of whether they can technically be prosecuted for it, and doesn't really change the merits of the question at hand.

All this case says is we shouldn't leave a President's legal culpability for any given action up to prosecutorial discretion. If they're using their official powers they're not culpable, if they're acting outside the bounds of their powers they should be prosecuted.

The actual problem is that the President has too much power, not that the next administration should have the right to prosecute them for exercising it.
Run Chromium on Vercel without external services
Is there any reason why so many of those tools are written in Go? Is it because of a stdlib or just accidental?
Probably the dev needs to use a different method to save (effectively download), much as Adobe Photoshop does when it exports files on Firefox. Not hard to do at all. Likely the same for reading files, if this tool needs that.

OPFS provides high-speed read and write for temporary files and non-exported files; again this is what Photoshop uses. There is a 10GB limit per domain currently. I'm not sure this particular app actually needs that, though
This is the same loophole applied to qualified immunity in general. On the surface, it appears like there's criteria to consider, but such criteria cannot possibly exist.

It's like saying, "Bribery is only illegal if it is called bribery during the commission of the crime. But also, The State cannot investigate what was discussed during such events without evidence that a crime was committed." They are basically establishing legal paradoxes.
> you don't have any rotation in the game, as illustrated here

The arrows literally moved down!

> it really is the pressure alone

NASA, pilots and aerospace engineers would disagree with you. But yes, you can construct a working model of flight with just pressure. Same way you can make a Copernican model match our observations of how the stars and planets move.
The first point I feel like reinforces my point more than disproves it. Both sides clearly see the issues but won't actually reform while they benefit.

Ranked choice also has only been implemented in a few cases and generally by a ballot initiative (getting around the party structures somewhat).

To be fair systems do change but in general they use their power to resist it tooth and nail until change is inevitable and they collapse.
People mistake the Constitution as the fabric that holds our Republic together. Sure the articles stipulations set a framework, but it's built primarily around a common set of mores and walls beyond which is the pale. When a sizable proportion of Representatives, voters, etc, conduct themselves in a way that always maximizes short-term wins and power and and aimed at disempowering the opposition, that framework that is the Constitution is powerless to keep the Republic together. Is only the will of the people to stay together they'll keep them together.

In all our legislative executive and judicial war, there seems to be less and less reason for restraint, for avoiding constitutional crisis, and to grab power by whatever means so that the other side does not. This ruling by the Supreme Court, as many people are commenting on social media, creating Powers Biden too, and there seems little reason not for Biden to pack the court, for the Senate to go to majority rule and rid themselves of the filibuster.

If we keep pushing the boundaries we will fall, or we will reconfigure.
There’s literally no basis for that explanation.
Yeah, so far this behavior is inherited from Heynote.

I've been thinking about making math an option within markdown.

The type of the block is shown at the bottom, in the status bar.
Are you willing to see Biden go to jail because an activist DA in TX used an obscure law that no one had ever been prosecuted under, in a 90+% "red" venue, with a complicit judge and jury?

This ruling is meant to protect the office from precisely these types of politically motivated attacks.
Mildly twitching while reading "build-in" on the meme images.
Sure, that's one way to look at it. But I set my credit card to pay off the entire balance every month so I don't worry about any of those concerns. But, I also get the benefits that most cards offer (automatic extended warranties, purchase protection, price protection, etc).
Fractional Brownian Motion (2019)
> Unfortunately GCC/Clang have prioritised getting higher numbers on benchmarks.

Because that's what people actually want. There's no untapped market for a C compiler that doesn't aggressively optimize. The closest you'll get is projects selectively disabling certain optimizations, like how the Linux kernel builds with `-fno-strict-aliasing`.
> RISC-V Vector isn't SIMD

Isn't SIMD a subset of vector processors?

To that matter, can anybody here provide a proper and useful distinction between the two, that is SIMD and vector ISAs?

You imply it's because it's vector length agnostic, but you could take e.g. the SSE encoding, and apart from a few instructions, make it operate on SIMD registers of any length. Wouldn't that also be vector length agnostic, as long as software can query the vector length? I think most people wouldn't call this a vector ISA, and how is this substantially different from dispatching to different implementations for SSE AVX and AVX512?

I've also seen people say it's about the predication, which would make AVX512 a vector isa.

I've seen others say it's about resource usage and vector chaining, but that is just an implementation detail and can be used or not used on traditional SIMD ISAs to the same extend as on vector ISAs.