skysight-inc/HackerNews huggingface dataset:
I encourage you to read the linked decision I referenced which references this exact case:

https://ecf.dcd.uscourts.gov/cgi-bin/show_public_doc?2012cv1...

The judge ruled there was no violation of their constitutional rights, explicitly because Congress was involved in authorizing military action against the wider threat and specifically in this case Congress was in the approval process for authorizing individual targets.

There was no violation of checks and balances here. That is not to say other uses of the so-called "disposition matrix" might be challenged in the future, but at least in the cases of these individuals, the courts have ruled that no rights were violated.
No, they didn't. I work in a government funded institute and personally know people serving in government agencies.

I would prefer they use Linux and OSS but they don't. The inertia and energy required to get anything to change is immense. Many are still working on digitalizing processes though COVID has provided a bit of a push there.

They are for the most part on Windows with the MS Suite. There are some exceptions but in >90% of offices you will find a Windows PC with the MS Office suite. Most of them have migrated to Windows 10 but I have encountered multiple Windows 7 machines in active use recently.
I haven't touched C++ since undergrad. Neither have I written any Qt code. But from memory, doesn't Qt's moc implement some of this stuff because it wasn't available in C++? Could this replace moc?
> To apply for the engineering role, please email kyle@snoutplans.com.

What of the other roles? There's no careers or other similar pages on your site.
As much as I am a fan of this point of view, it’s important to remember that correlation is not causation. Flipping causation from the article makes sense too: Most of the shared bits of infrastructure code is C so, if there is a bug in shared infrastructure code, it’s more likely to be in C.
Available, but not exactly cheap. At $15/month, allowing 60 seconds of video generation per month — and 4 second videos — I don't know how I'd practically speaking be able to learn how to use it, let alone make anything interesting.

Not sure what the target audience here. It took hundreds if not thousands of generations before I was able to get good results from Stable Diffusion, and I've yet to get anything interesting from Gen-2. Gen-3 is, of course, not something I can play with without payment. Which, again...
>If that were true then defendants would waive their right to a jury trial. They don't.

They do, overwhelmingly. Plea bargaining accounts for almost 98 percent of federal convictions and 95 percent of state convictions in the United States.
Actually I am in the same boat. Infact I swung twice. First I went from vanilla server side template rendering (in Go) -- all the way to going full in on NextJS and beginning to hate all the complexity and then now back. But this time with Go+Htmx (not even alpine - that is on the todolist). I have realized for the "fancy" use cases - just use client side JS as and when needed - did not need any fancy react stuff. ie instead of building a front-end only app and then adding server side capabilities, I started server side rendering first and then adding JS only when needed.
I've read the source material; and it's why I believe the ruling was wrong, and what congress vested in itself inappropriate powers.
Waving hello from a fellow Jaffa, though not as experienced
Yes, but keep in mind that "as if you were the owner" in at least some jurisdictions means that you were maintaining and improving the property and paying the property taxes. And we're talking about many years, not just squatting on a vacant property for a few months.
Location: Little Rock, AR

Remote: Preferred

Willing to Relocate: Not preferred

Technologies: 13 years software engineer, mostly PHP, Laravel, Vue, Tailwind but also Typescript and C# / .NET. Plenty of experience with managing Linux servers and working with containers.

Resume: Available on request.

Email: In profile.

Thanks!
They control SCOTUS, they can just undo it when the president does something they don't like.
I don't disagree with you, but the last part of your comment gave me a huge grin.

Ah yes nothing more relaxing than your employer demanding that you learn to relax on command, or else!
For software engineering? It depends on how metaphorically you take "scientific method."

I mean, a program is....a big binary number. It is a mathematical object. It seems strange to be talking about investigating mathematical objects with the scientific method.

Sure, debugging is finding out something new about a mathematical object--but when we found out that the length of a diagonal to a square was irrational, that too was finding out something new about a mathematical object we already knew about.

Did we find out that sqrt(2) was irrational using the scientific method?

Debugging is like theorem proving--you are trying to prove the problems lies in certain part of the code, and then you are trying to prove your fix works.

Debugging is like a conversation between you and the original author of the code. You are trying to figure out what he said, and why it doesn't mean what he thought it meant.

Debugging is like a police invesgtigation at a crime scene.

etc etc. There are all sorts of metaphors we can use to describe debugging, but debugging is an utterly new thing. It was "discovered" by Maurice Wilkes, who said, " the realization came over me with full force that a good part of the remainder of my life was going to be spent in finding errors in my own programs."
As Heinlein intended.

https://en.wikipedia.org/wiki/The_Roads_Must_Roll
> a well-founded relation ⊏ is a well-ordering if and only if it relates every distinct pair of elements, i.e. x1≠x2 implies either x1⊏x2 or x2⊏x1.

The author here explains well-founded relation prior to this. I want to add an example here. Consider the set of positive real numbers. If we use the natural ordering < then we have a total order. But that's not a well-ordering. If x were to be the least element you could always divide it by 2 to get a lesser element. So there's no least element in the set of positive reals using the conventional < ordering. However, the amazing thing is that assuming axiom of choice, such a well ordering exists.
Very much. I already pay for my self hosted software, I pay for cloud storage, I also pay for various services around the web. I used to pay for medium (when it was good), if my workflow was dependent on a piece of software and I needed to pay to have access to a good support forum, I'd do that too.

I'm grateful for the fact that so many people are open to share their knowledge for free. But even in this case, I'm paying for the internet to visit their websites. And for the amount of information I get from HN, I'd pay for a membership subscription.

One is entitled to add ads to one's webpages. But the computer is mine and I'm totally free to not display them. The same way I'm free to mute my TV and switch channels when the ads start. Or skip forward on the podcast. It's my personal computing/entertainment space, I decide what I'm exposed to.
The best is when you join in the middle of a modernization initiative and find out that the only thing accomplished after 5 years was the frontend was rewritten in react but missing 90% of the previous features, every team is using k8s for applications that barely get 20k users a month, and they fired all the QA staff because they are “dev ops” now.
C++ has both return type polymorphism and inheritance. What it doesn't have is the kind of type inference that Haskell has. Its type inference is very limited.
The Roads Must Roll

https://en.wikipedia.org/wiki/The_Roads_Must_Roll
The one I see on Reddit is "Texas guy buys $300,000 house for $16" (the registration fee), but he was evicted less than a year later. I'd love to see the case where someone succeeded in holding the house! I did go looking, but it's just yard fence after yard fence in the court cases.
“Conflicts of interest” are often in the eye of the beholder. And my impression is a lot of people’s concern about this is very slanted by their pre-existing ideological commitments.

You will hear the same people arguing that Justice Alito should l recuse himself due to his wife’s taste in flags, but Judge Merchan shouldn’t recuse himself from Trump’s trial and sentencing after having been revealed to have made (trivial) donations to anti-Trump political campaigns. It sure looks to me like people prioritising maximising the odds of their desired outcome over consistent principle.
Do you mean iOS the iphone operating system, or cisco IOS the router operating system?
I think that just changes the question to "Why belts instead of some cargo trains" then. Scheduling would no doubt be an issue, but is probably tractable.
The gate electronics has sensors on board to detect actuators status, along with presence between the gates, but they're not exposed to the remotes to minimize costs. The signals however could be available on the gate controller board, although it would then need something bigger than that ZigBee switch to report them back. In this case a small SBC with the necessary gpio lines could be interfaced with said signals and drive an external ZigBee (or wiFi) dongle.
Ghidra is very popular now.
Location: Burlington, VT Remote: Open to remote, hybrid preferred
Willing to relocate: Yes
Technologies: DataDog, Docker, FastAPI, git, GraphQL, gRPC, HTML, HTTP, Javascript, Node, Postgres, Python, React, SQL
Resume: https://drive.google.com/file/d/13FC9V37QZi0rLm8eTALdK_G1nQ4...
Email: https://veilmail.io/kirk

Spent 2+ years working at SunPower building their Virtual Power Plant system, mostly backend services utilizing gRPC, FastAPI, Postgres. Would like to continue working on the backend in the energy sector if possible but open to the right opportunities.
There is no W11 IoT LTSC or Windows 11 LTSC in general, so I'm curious what you installed (likely a leaked preview / insiders build of some kind?)
Perfect demonstration of the psychopathic technocratic delusion. You really need to think through what you're actually suggesting.
Having worked with both Python and matlab in both academic and professional settings, I don't think there's any project where I would pick matlab first unless my hand is forced
I think it was necroed by a Japanese Twitter addict(@tsutsuii) to display Twitter user icons without X on NetBSD/luna68k, then others started doing all sorts of unholy things with it from w3m with images to terminal-based RDP client.

There aren't a lot of "legitimate" use cases for now, I believe, but it's neat, and IMO an image mode extension for tty kind of makes it whole.
Do you realize all of this can be done without a single drop of Microsoft software?

You've rattled off a list of features - mostly related to mailboxes - that do not require Microsoft software to accomplish.

Alas, to some people, every problem appears like a Microsoft solution.
usually the issue with that image is not its byte size (it's 4 megs) but its ram usage (about 100 megapixels)

my best thought on how to handle proportional fonts is a slight variant on nick gravgaard's 'elastic tabstops'; i think we should use tabs to separate columns and \v and \f as delimiters to nest tables, so that we can do pre-css-style html nested table layout in plain ascii text files
I like to run from my problems too.
The title is a reference to the Onion's mass shootings articles: https://en.wikipedia.org/wiki/%27No_Way_to_Prevent_This%2C%2...
Cambridge Neuropsychological Test Automated Battery
Related:

Losing the World Record in Hatetris (2023) - https://news.ycombinator.com/item?id=36558013 - July 2023 (1 comment)

Getting the World Record in Hatetris - https://news.ycombinator.com/item?id=32495842 - Aug 2022 (1 comment)

Hatetris – Tetris which always gives you the worst piece - https://news.ycombinator.com/item?id=27063894 - May 2021 (245 comments)

Hatetris - https://news.ycombinator.com/item?id=4846607 - Nov 2012 (2 comments)

Hatetris: Tetris That Hates You - https://news.ycombinator.com/item?id=1253492 - April 2010 (19 comments)
You'd think that Japan, of all places, would prefer bots over belts.
I think the landing page looks fine and is functional, EXCEPT for the "bullet point" animated GIFs on the bottom. It should maybe come with a seizure warning?
Well, no. That's a different situation.

My point still stands. For cases that go to trial, if they jury is just a pawn for prosecution, the defendants would choose a bench trial. They do not, so this argument does not hold water.
I mean, and - quoting:

"Project 100,000, also known as McNamara's 100,000, McNamara's Folly, McNamara's Morons, and McNamara's Misfits,[1][2] was a controversial 1960s program by the United States Department of Defense (DoD) [...]"

... this was an actual thing ...
> Out of context this is quite reasonable and level headed. In context of the hyper partisan landscape US politics are today, doesn’t seem likely without a supermajority opposition to be able to bring charges against a president,

In context though, it's quite terrifying given how much the US has fallen into tribalism. Half the population wouldn't convict a certain candidate no matter what they did.
They’re betting that the Democrats won’t have the guts to test the limits of this ruling.
There was an article about vitamin d supplement might not improve anything, popped recently on HN. Sorry I can't find a link right now.

The idea is that the vitamin d improves, but it's not capturing the actual benefits of sun exposure
Show HN: I created two interactive web experiences to learn ML
Two React powered interactive playgrounds to learn linear algebra and its application to embeddings
Redo (https://getredo.com) | Software Engineer (full stack + mobile) and UX Designer | Salt Lake City, onsite

Series A, 60 employees, 100% in-office.

Ecommerce returns management. Rapid growth, strong economics, raised $15m+, profitable three of the last six months.

TypeScript, React, Node.js, MongoDB+PostgreSQL, AWS
GitLab is definitely the most obvious success at $600M+ in revenue, but a couple new ones are Cal.com and PostHog.

Cal.com is open-source Calendly, has raised $32M, and shares their stats publicly: https://cal.com/open

PostHog is open-source Mixpanel/Amplitude, has raised $39M, and appears to be widely recommended these days.
Why are you here on HN? Open a ticket with stripe and deal with them.

Here everyone will first and foremost assume what you're doing is a fraud or engaging in money laundering. It doesn't help your account is new on HN.
Every giant business I've been around also has a huge number of Macs floating around. I'm not saying that they'd be willing to turn of their PCs in favor of Macs. I am saying that they also already know how to manage Macs, and if Microsoft went further off the deep end, a fair number of CTOs might say huh, you know, this is starting to become more of a hassle than it's worth.
That may be, but the author of that blog is well-known for being a huge rust supporter and aggressive advocate, including being quite involved in a lot of the recent NixOS drama, so it's not surprising they chose a rather controversial headline.
I appreciate you mentioning this The word "exploit" makes me think about how vulnerable our consciousness can be in those moments before we sleep. Hence a good reason to advocate for not absorbing media while your in a semi-conscious state.
Patrick's point about off-record transactions feels important here. Each on-record transaction leads to an opportunity for off-record transactions to be discovered! On-record ones are likely clean in some sense, whereas 10 years of no real estate on-record transations means nobody has looked.

But to your point... the more people involved, the more moving parts involved.
I loved this class, I graduated one year before and placed in the top 3. Everyone in the top has figured out that the test cases did a bunch of malloc(1) to screw up our memory layout but never tested it, so anything requesting a single byte we all had our code ignore it and return a bogus address immediately. Had they fixed this in the following year?
Tokyo and Osaka are both on the ocean (although, a bit roundabout path between them). You would think it would be easier to just do more cargo ships point to point.
>it was how closely related

When the first colonists settled in the Smoky Mountains of western Carolina, they were few and far between but turned it into hillbilly country, and they remained fairly isolated for generations. Reproducing at a rate in excess of additional settlers arriving, and raising children faster than educational materials could be mustered up the mountain to maintain literacy.

There were so few options for most people a courting, and such slimmer odds of marrying someone completely unrelated, after a while many people didn't really care that much how closely related they were or bother to ask about it.
Does using something like APE by jart work? It's a single executable that's also a zipfile. (I assume a replaceable .dll inside the archive is LGPL compliant) I know it's a bit of a tangent, but on platforms like macos the "apps" are all directories with the .app extension, and that doesn't seem to cause issues.
Even with lattice stuff, the parameters keep having to be changed to ensure security. It may not be explosive breaks, but the cryptanalysis is advancing at stunning speeds. This stuff is no where near prime time ready.
For those running Debian Bookworm and potentially others - judging by the result message this seems to use the banner version to decide whether or not you're vulnerable. For me it says "OpenSSH_9.2p1 is potentially vulnerable to regreSSHion (CVE-2024-6387)", but the vulnerability has been patched by Debian themselves without incrementing the version visible in the banner. The patched package version is "1:9.2p1-2+deb12u3".
Nope. Science is a specific tool of thought with a definition that starts with observation. Science might help feed ideas for technological or other sorts of advancement that allows us to observer more than before, but just because it helps science doesn't make it science.
Since both are port cities, I very much wonder why they're not stopping them by boat?
Canals would also require drivers for the boats (modulo some AI powered boats or something).

I suspect the real answer here is that the report was just some exploratory thinking, and unlikely to really happen.
Ironic, because MS are now saying that anything on the Internet can be used to train AI, and their ISO's are available.
Perhaps using AI in the process of making these patches will make it OK ;-)
thats a problem.

try support@yeet.cx
Asking for early adopters to use your platform while simultaneously posting about stripe is a big red flag here.
The submitted title was "Show HN: I created an API to make sales team operations more efficient".

There have been at least half a dozen of these posts created by new accounts. Since it's clearly an organized ring and that is not allowed here, so I've banned the accounts.
Japan is very mountainous, so any flat land is really valuable. The proposal seems to suggest to put the conveyor belt in highway medians or tunnels below roads. Using highway medians sounds like it should bring a lot of issues, but it's free real estate on grades a conveyor can easily handle. Running train tracks there probably wouldn't work as trains are more demanding than cars when it comes to acceptable grades and curves. If they go with tunnels the rationale of the boring company applies: the smaller the tunnel the cheaper it is to dig.
3M iOS and macOS apps were exposed to potent supply-chain attacks
That "smooth life" video was amazing! Really has an actual life feel to it.
YAAAAAS ember is so good
Thats about the worst example one can give, given that it has broadly been considered to allow [personal firearms] since the start of the country. The grammar isn't even confusing.

[edit] removed the word militia to avoid confusion between historic and modern definition.
SCOTUS said there was an extra procedural step, namely impeachment and conviction by the Senate. Ultimately the Senate would decide factually, whether that hypothetical action was an appropriate basis for further criminal prosecution.

Prosecuting a president fundamentally is a political act, and why would we think a random DC bureaucrat better qualified to make a consequential political act than the Senate itself?
They seem to be talking about 18 USC (a)(2) in that quote you're reacting to, which reads:

> (2) corruptly gives, offers, or agrees to give anything of value to any person, with intent to influence or reward an agent of an organization or of a State, local or Indian tribal government, or any agency thereof, in connection with any business, transaction, or series of transactions of such organization, government, or agency involving anything of value of $5,000 or more;

https://www.law.cornell.edu/uscode/text/18/666

The problem here is that the $5,000 here is NOT the value of the bribe!

It's the value of the funds received from a federal program you're bribing someone that's a part of. So if the garbage collectors, schools, etc. receive more than $5k in funds subject to this statute, it doesn't matter what the bribe is.

That's why they call it "Theft or bribery concerning programs receiving Federal funds" after all. You can read the holding in Sabri to see them spell that out a bit more clearly than the statute does:

> For criminal liability to lie, the statute requires that "the organization, government, or agency receiv[e], in any one year period, benefits in excess of $10,000 under a Federal program involving a grant, contract, subsidy, loan, guarantee, insurance, or other form of Federal assistance." § 666(b). In 2001, the City Council of Minneapolis administered about $29 million in federal funds paid to the city, and in the same period, the MCDA received some $23 million of federal money.

[...]

> The Court does a not-wholly-unconvincing job of tying the broad scope of § 666(a)(2) to a federal interest in federal funds and programs. See ante, at 605-606. But simply noting that "[m]oney is fungible," ante, at 606, for instance, does not explain how there could be any federal interest in "prosecut[ing] a bribe paid to a city's meat inspector in connection with a substantial transaction just because the city's parks department had received a federal grant of $10,000," United States v. Santopietro, 166 F. 3d 88, 93 (CA2 1999).

https://www.law.cornell.edu/supremecourt/text/541/600

Incidentally, those examples they used seem to have come from hypothetical scenarios raised during oral argument. You can read a bit more here in the transcript of the oral arguments:

https://www.supremecourt.gov/oral_arguments/argument_transcr...
This is cool but definitely can see where you're running into some of the same AI tendencies that I've run into in my own (much less fun) projects.

There's some variety in here but AI in general really struggles to vary in tone within a single output. I'll be interested to see if the project can overcome that tendency.

The scoring - AI HATES to give things low scores. It's too nice. In my experience it does better if you have named outcomes e.g. negative, neutral, positive and then convert those to numbers. A more interesting solution might involve logprobs where you ask "do you like this person yes/no" and then use the logprobs value on yes/no to measure the AI's "uncertainty" about the match.
Static test became a dynamic test. Bad look for sure, flight was most definitely not terminated intentionally and the rocket, still full of fuel, crashed back down to earth after multiple engine failures and exploded. This happened in a relatively populated area and there the resulting overpressure definitely at least broke some windows in a relatively dense metro.