skysight-inc/HackerNews huggingface dataset:
> The 1st Amendment rights of the corporate-personed platforms were prioritized above the 1st Amendment rights of the people posting on the platforms - implying that as the conveyor of the speech of the individual speakers, the platform's rights subsume the rights of the speakers. In other words, people are free to speak to the platform, and the platform is free to communicate that speech as it wishes.

The last phrase is correct, but the first part doesn't really track. You (an individual or a company) still have all your First Amendment rights. You never had the right to post here or anywhere else you didn't own.
Location: Baltimore, MD Remote: remote/hybrid Willing to relocate: no
Technologies: DevOps, DevSecOps, DevEx, AWS, serverless, kubernetes, Python (10+ years), RESTful APIs, SPAs, Flask, Javascript/Typescript (React, Next.js, Astro, and more), Golang, Langchain/LlamaIndex, MLOps, data pipelines (Airflow, Dagster, etc.), solutions engineering of cloud agnostic/native products and services, cost optimization

Email: david.gidwani@atomweight.io
Charge Robotics | Senior Software Engineer (Full-Stack) | Full-time | Onsite / Hybrid | SF Bay Area

Hi HN! We’re a YC-backed startup building robots that build large-scale solar farms. We just got back from the first commercial deployment of our system on a real-world solar construction site.

Check out a video of our system here! https://youtu.be/ZZ2fP1Y5Z2E

It turns out that construction companies literally can't build solar fast enough, so what we're doing is a crucial part of switching the grid over to renewable generation. We're looking to bring another talented full-stack software engineer onto our small team.

You’ll be a key contributor, helping bring our next generation of mobile solar factories to life. Your work will involve architecting, developing, and maintaining high-quality code and documentation for a web application that controls our fleet of fully-automated factories

Come work with us if you love:

* Greenfield web application development

* Making a positive climate impact through your work

* Hacking on massive construction equipment!

Apply here: https://www.workatastartup.com/jobs/67459
President's can still be impeached as a result of their official acts. It seems that is intended to be the outlet for prosecuting the Executive Branch.

Am I wrong there?
Maybe, maybe not.

What does the judge who reviews the case think?

That's literally the only thing preventing that scenario from playing out.
Passionate QA engineer with 8 years of experience working for various tech and faang companies.

Location: Roanoke, Virginia, US (Working in multiple Time-Zone-US and EUR)

Remote: Yes

Roles : SDET, DevOps & SRE

Work Authorization not required

- Technologies: Web and Mobile automation technologies.

Availability: Immediate

Email- vnk4@njit.edu
The problem is that official vs unofficial designation does not exist. The Supreme Court just invented it out of thin air. Further https://www.thenation.com/article/society/trump-immunity-sup...

> the court has left nearly no sphere in which the president can be said to be acting “unofficially.” And more importantly, the court has left virtually no vector of evidence that can be deployed against a president to prove that their acts were “unofficial.” If trying to overthrow the government is “official,” then what isn’t? And if we can’t use the evidence of what the president says or does, because communications with their advisers, other government officials, and the public is “official,” then how can we ever show that an act was taken “unofficially?”
> Now, unification is Turing-complete pattern matching

No. First-order syntactic unification is not Turing complete. The combination of unification and resolution is Turing complete.

> For instance, in Prolog, you can unify a variable with an entire Prolog program and call the program at runtime, etc.

Lots of languages allow you to do this. Lisp had "eval" ten years before Prolog existed. Unification is not necessary for this.

Prolog is great, unification is great. Some other things are great too.
I remember being taught that Bernoulli's principle causes lift. I was skeptical—how does the air on top know to reach the other end at the same time as the air at the bottom? I think I did ask, and I was just told this is how it works, and that's the correct answer for the exam. This was before the internet, and I couldn't just look up the correct explanation.

I parked it in my brain as something I didn't really understand and forgot about it. This was until not so many years ago when I found a satisfactory answer on YouTube. It was criminal to have been raised in an era without the internet.
I believe qualified immunity only protects from direct civil litigation but not criminal.
Yeah it is super weird. What a disaster.
For objections, WASM fingerprinting techniques come to mind. Not that one can escape it nowadays.
It's all documented here: https://www.xyte.ch/mods/t25-frankenpad/

Aside from sourcing the parts, the screen part was actually harder: this combination of screen, lid, and webcam is not officially supported, so the drilling and hacking I had to do for that was not documented. Unfortunately the foam tape I used to brace the screen in the correct left-right position seems to have slipped, as the screen is no longer properly centered... oh well!
When you multiply by 64 you also get 64 times more tokens per second!! Your math is wrong.
A novelty ICE car can be used as an occasional fair weather driver or prepared for long term storage to be sold a few decades later. A novelty EV has little hope of being returned to operating condition 10+ years later.
Infrastructure and DevOps Engineer | Full-time | India

CredCore is a well-funded startup building solutions for the US debt sector. Our product suite uses AI to make sense of financial data (such as Credit Agreements), and aggregate the information into reports and dashboards.

We're looking for people who can help us in the following areas:

- Augment our Security Team. We deal with sensitive data, and take security seriously. The potential candidate needs to be a highly-qualified, proven expert on Web/Cloud Application Security.

- DevOps Engineering (Azure, AWS, GitOps etc)

- Azure / Windows IT Pros who can set up best practices for Windows (and Microsoft Apps) on the Cloud.

If you have one or more of these skills, please reach out to me at jeswin@credcore.com
The President is the Commander in Chief; issuing orders to the military is very much an official act.

"But not for this! This would be clearly corrupt!" you may say, but the decision addresses that as well; the President's motive for the "official act" cannot be introduced as evidence!

> In dividing official from unofficial conduct, courts may not inquire into the President’s motives.
Ideology of some Democrats, certainly not all...

https://www.salon.com/2024/05/02/jewish-groups-decry-passage...
Citizens, sure. That's a much weaker claim than what the parent said, which is "The President should not be able to conduct drone strikes without an act of Congress".

Drone striking (or otherwise killing) citizens without due process seems unconstitutional. Drone striking foreign targets does not have those constitutional protections.
Correct there's been several attempts to revoke or limit the 2001 AUMF and Congress has decided not to each time. It's pretty clear what is being done under the auspices of it too so failing to address the interpretation becomes a tacit endorsement at least at the institutional level. Personally I think it's been stretched to breaking but the fix is pretty simple and up to Congress.
Really does a number on the ‘unlawful order’ doctrine for military accountability. Has SCOTUS made ‘just following orders’ a valid legal defense?

They’ve also made much of the fact that the presidential authority to pardon is constitutionally unreviewable, so even if the president orders someone to commit a crime, he can pardon them preemptively. His appointment power is similarly in the constitution, so he can also fire and replace them until he finds someone willing to do it.

Are we really left with ‘if the president were to issue illegal orders to his staff, Congress would definitely impeach him’?
Under the same line of thought, soldiers in the military will always follow what their commander say, least order to comes to remove a soldier and their loved ones.
Well, airplanes do exist now, so that did definitely scale.
This has been my experience too having been a long time in the SRE niche, and I think it's a factor of a couple of things: the market being over-saturated both from the huge numbers of layoffs happening in the recent past and the hangers-on/bootcamp attendees expecting outsized comp with little experience so postings get absolutely flooded with applicants. I spoke with a hiring manager just within the last few weeks and they said for a senior-ish position, they received almost 1000 CVs. Were they all qualified? Who knows, it seems like it would be almost impossible to find the true gems in a pile of shit like that.

A lot of these companies also seem to be reaching beyond their grasp as well. I don't think a lot of them necessarily have the vision, nor the wisdom on their staff to recognize a well-rounded background, especially if there isn't the blaring siren of a FAANG on someone's resume. They're simply not equipped to dig in. It's probably also a matter of raw number of years, they're afraid that if you join, you'll get bored then they'll be back to square one (been there).
I'm unclear why ordering the death of one of his nation's worst foes, whose network was still at war with the US, could ever be illegal?
Great read!

> One of my goals of writing these articles is to learn so feedback is more than welcome!

When I went into the Rust playground to see the assembly output for the Cumulative Sum example, I could only get it to show the compiler warnings, not the actual assembly. I'm probably doing something wrong, but for me this was a barrier that detracted from the article. I'd suggest incorporating the assembly directly into the article, although keeping the playground link for people who are more dedicated / competent than I am.
And if the last nine years have proven anything, most of the system will say "well, that wasn't technically a line, just something we've always done a certain way that was up for change at any moment's notice should one person decide to do so."
ShinyHunters hackers allegedly pilfered Ticketmaster data from Snowflake
Extremely common in error correction and signal processing.

https://www.youtube.com/watch?v=CcZf_7Fb4Us

https://en.wikipedia.org/wiki/Reed%E2%80%93Solomon_error_cor... is one example.
The interesting question for me is whether Rust makes it easier for the compiler to extract SIMD parallelism automatically given the restrictions imposed by its type system.
> apply to an IT job where the employer is not a "tech company."

Seriously. Yes. This.

Being an IT guy for Med/Auto/Pharma/Law/etc, I wasn't fodder for management. Even in more techy industries (GeoThermal, web retailer) everyone was nice to the IT guy.
> It's kind of wild to see aarch64, armv7, powerpc64, x86_64_windows.. but not something like this.

Yeah, sorry, mostly my fault. I'd been producing these regularly and haven't done as well lately. I'll get one uploaded for 18 soon. :(
Unruly Open VC Fund
Location: San Francisco, CA but looking to relocate to New York City, NY

Remote: Yes

Willing to relocate: Yes

Technologies: SolidWorks, Figma, Onshape, Adobe Suite, Java, Python, Fusion 360, R, Miro, KiCad, Procreate, UI/UX, Rapid Prototyping, Sketching, Ideation, Innovation Design Thinking, User Research, Usability Assessment, User Testing, Problem Framing

Résumé/CV: https://drive.google.com/file/d/1kRRy6-6ismcGjYDwRR-UHg3LNVJ...

Email: braedenw02 [at] gmail.com

LinkedIn: www.linkedin.com/in/braeden-wong

Portfolio: https://www.braedenwong.com

I'm a recent graduate having studied Human Factors Engineering and Studio Art. I'm interested in usability product design and design engineering, especially when it comes to engineering hardware and physical products. I love combining the creativity of art making with the technical praxis of engineering to create meaningful, user-centered products. I implement my backgrounds in engineering, machine design, and sculpture to inform the innovation design thinking process. I have previous experience with product management, innovation design thinking, wearables design, user research, user and usability testing, ergonomic design, UI/UX design, rapid prototyping, and robotics. I'm actively looking for positions, so I would love to hear from you!
If there's no downside you just do your worst.

Look at it from the perspective of the president near the end of their term.
Your end point I think is exactly right.

I think your first one is getting downvoted hard because your first sentence is not at all how any of this works.

Sucking down personal data isn't JUST a bad idea for privacy, it's actually also bad for "making the best products," I think you're overstating the extent to which all that data that is stolen and sold to the highest bidder actually helps the company buying it?
Location: Mexico (operating on Pacific Time / UTC-7)

Remote: Yes

Willing to relocate: No (but willing to consider it for the right team)

Technologies: AWS (10+ years), Kubernetes, Rust, Ruby, Go, Python, Serverless, Apache Kafka, IaC (Terraform, CDK), Docker, CI/CD (Jenkins, GitLab), Big Data, PostgreSQL, MongoDB, DynamoDB, Java, TypeScript, Rails

Résumé/CV: https://www.linkedin.com/in/cicloid/ (detailed resume available upon request)

Email: hackernews@42fu.com

Senior Systems Engineer with 15+ years of experience at major tech companies. Specializing in large-scale distributed systems and cloud architecture.

Key experiences:

- Managed petabyte-scale systems with a small, efficient team

- Led enterprise-wide migrations to Kubernetes and serverless architectures

- Optimized legacy systems, significantly improving performance and reducing costs

- Successfully managed globally distributed teams across multiple time zones

Passionate problem-solver and team mentor. Fluent in English and Spanish. Seeking roles in cloud infrastructure, DevOps, or distributed systems, but always eager to explore new technologies. Quick learner with diverse interests. Ask me about my latest hobby!
"official acts" have yet to be defined.
As gets pointed out semi-regularly, it was "Reduce, Reuse, Recycle, in that order." I suppose it makes sense to consider "Reduce, Reuse, Recycle, Use less impactful materials and processes, probably in that order"?
> Why would pressure (Bernoulli out of Euler) propagate supersonically while momentum (Newton) does so subsonically?

I'm sorry, I didn't understand the question.

But in supersonic flight, with a flat plate, you don't have any rotation in the game, as illustrated here [0]. And yet you will be producing a lot of lift.

[0] https://image.slideserve.com/251762/supersonic-flow-over-fla...

> But the very wrong answer is pressure alone.

No, it really is the pressure alone. And viscous drag, if you want to be pedantic. Those are the only forces at play, the rest is only a side effect of those forces.
> If you have much experience with cows and chickens, I think the difference in capacity for suffering is pretty clear.

I’m not saying there is no difference - they are different species so we wouldn’t expect them to have an identical experience of pain and deprivation - but rather that the difference is not easily quantifiable. We are not able to access the interior lives of these animals. And in practice, I suspect many people would be as reluctant to rip the wing off a live chicken as the ear from a cow, while showing few misgivings about squashing an ant. That is to say, in practice most people are likely to behave as if the moral stances toward cows and chickens are roughly equivalent.

In terms of being forced into decisions to value one human life over another, that doesn’t change the fact that morally and ethically we value human lives equally. We don’t extrapolate from emergencies to posit that one mom = three children. In any case, what bearing does this have on the problem at hand? If one cow’s life is morally equivalent to a non-singular number of chickens, how many chickens are we choosing, and why?
Kind of. Making stuff is great; having an AI make it for you is not so great. It's kind of great. The art is soulless; the code is wonky. It enables people to do more, but, if anything, I think what we've learned is that taking shortcuts to do more stuff is bad. Hey, let's allow people to download modules right into their codebase of code other people wrote so it's easier for them to do more stuff! Enter left-pad. Enter a flood of crapware. Enter dependency build issues. Enter more bloated software than you've ever seen before. Enter needing more RAM than ever to compile AUR packages during hour long updates (assuming no dependency errors happen).

I am a luddite. I didn't used to be, and I don't want to be, and it's positioning myself on the wrong side of history, consigning me to a diverging function of increasing bitterness, but I feel forced into it by the direction tech is going. I think we've bitten the apple in our greed, and now we have to worry about our car spying on us because it's equipped with an autonomous and intelligent agent of oppression where, just a few years ago, that wasn't possible. "Progress", huh?

Anyway, I had to say that before saying I totally agree with you about your open source philosophy. I hate Microsoft, but, before, Microsoft employees could read my code, take inspiration, and write stuff with it. Hell, they could even paste snippets of it in. I have no way of knowing. Now, I'm uploading my code directly to Microsoft (okay: this fucks with me), and a Microsoft virtual mind is reading my code, taking inspiration, and/or pasting snippets of it in. It's a petty difference. The idea of free software is that anyone, man or machine, can see it and learn from it.

If you truly believe in the idea of free software, you should de facto be okay with AIs, Nazis, terrorists, $MEGACORP_YOU_DESPISE, ANYONE using your code.

The biggest differences are the increased probability that someone else will now be using your code and that you won't be accredited or your GPL license will be violated, but I consider those pretty ethereal issues.
CAT's factories are barely 2 hours away from John Deere's and they haven't had a similar layoff in almost a decade.

John Deere's leadership is just uniquely incompetent in the agtech industry.
> “Because of Apple's first-party advantage, they can explicitly block competitors from ever shipping a viable business…”

What does that mean ‘shipping a viable business’?
I see a lot of people here in the comments claiming that this is still knee-jerk, or silly, or obviously that would not be an "official act".

To the contrary -- this is an explicit example that came up during oral arguments, where a Trump lawyer specifically claimed that indeed, Trump could not be convicted criminally of this (unless he had first been impeached and convicted).

Nowhere in the majority opinion does it try to draw some kind of line against this. And indeed, the President is constitutionally "commander in chief of the Army and Navy of the United States", and the opinion states this authority is "conclusive and preclusive".

Quite simply, according to this decision, anything the president commands the Navy to do, including a Navy Seal, is an official act because it a power explicitly granted by the constitution, and thus immune from prosecution.

To repeat: this specific scenario was brought up during oral arguments, indeed as one of the main arguments that was also widely reported. This is not a far-flung wacko example Sotomayor came up with herself -- it's the very heart of the case. The fact that the opinion does not even attempt to explain why this would still be considered criminal, and the fact the Sotomayor is confirming why it would be allowed, is not a misreading or a mistake. It is clearly intentional and genuinely scary.
A friend of mine spent $10k on a sleep number bed a couple years ago. I'm not sure I could ever get a restful night sleep again on a $10k bed, thinking about the cost! ;)

I got a fancy new one a bit later with an adjustable frame and remote control and all that... $2200, and even that felt crazy expensive!
Acts that are unconstitutional probably aren't official, by definition they are outside the scope of official duties, throw every living president into prison?

Charge every act of violence ordered in places war is undeclared as war crimes?

If not, the things they have on Trump seem like really small potatoes to zero in on.
Well, to be fair, the first two examples she uses are very likely official acts and the third requires an official act to be bribery in the first place.
In Content Moderation Cases, Supreme Court Says 'Try Again'
Maybe we can stop acting like the Founding Fathers were political geniuses. They created a system where the only real recourse against a president is political, and a political system where political recourse is essentially impossible. A two party system is the logical conclusion of a first past the post voting system, which they have created. It is a bug, and fixing it is also effectively impossible.
oh hi! delighted to hear from you! i hope it's clear i'm not here to attack uxn either

let's see about uxn11... initial signs are good, 175711 instructions to start up and shutdown rather than hundreds of millions. but after using it to go through the whole left editing session, it's 175645 instructions; that suggests the real work is being done in a child process

yeah, strace confirms there's a child process being spawned off. i'll have to see if i can disable that to get more accurate measurements with valgrind, later today

i'm interested to hear your thoughts about how left and other uxn apps might be made usable under the constraints of the zorzpad display hardware: two 400×240 screens, each 35×58mm, with only black and white (no greyscale). left itself seems like it might be relatively easy to run usably on one of them?
There are dozens of options for this: Jekyll, Hugo, Quartz, Astro, Eleventy, etc.
commanding seal team 6 to assassinate a sitting head of state is a act of war, and only congress can declare war.
He very likely should have at least been tried (and probably acquitted). I don't understand this modern take so many people have that "Freedom to act" somehow means "act without consequences".
Being killed by the government without due process of law (ie: death penalty for convicted criminals) is a clear violation of your constitutional rights though, and violating someone's constitutional rights (read: going against the constitution) can't be an official act by definition.
It would have to be "REMOTE (US EXCEPT CA, CO, CT, MD, NV, NY, RI, WA)" unless there is something different about the WA transparency law that I don't know.
Explanation based on Bernoulli effect requires longer path of air taking on top than on the bottom of the airfoil to create speed/pressure difference. With symmetrical airfoil both paths are the same regardless of the angle of attack. So when you mention AoA you implicitly lead to the explanation that lift, in majority, is not based on the Bernoulli effect.

I've read excellent article debunking the Bernoulli effect and lift many years ago, I'm not sure I can find it again...
> it should be straight forward for the president to say that spying on his enemies, that are also the enemies of the state/government, is an official act

This would be challenged in court by the victims of the President's spying, and the court would ultimately decide whether or not the spying constituted an "official act".