skysight-inc/HackerNews huggingface dataset:
The FBI are cops, are we supposed to be surprised cops abused their power?

Also, if they are doing this to a senator, surely they are doing it to many, many Americans.

Hopefully this will cause the senator to push for less power for the FBI.
This is strange to me. Many universities, including mine, avoid interviewing applicants with a PhD or postdoc from the same institution to which they are applying.
World's biggest permafrost crater in Russia’s Far East thaws as planet warms
I'm a bit perplexed by the notion that it's somehow a problem when the founder hires his friends and former colleagues when starting a company with just 6 employees.
Sometimes speed can be a nuisance.

https://greatscottgadgets.com/throwingstar/
I have no idea how validity works for the systems these keys are used in, but I do know that in general there are two ways that key or certificate based verification handles an expired key or certificate. Anyone know which of these is the way whatever Microsoft was using these things for works?

In one of them, which is the way TSL verification works, it goes something like this when checking certificate Cn that is signed by Cn-1 which is signed by ... is signed by C0.

1 time_check = now()
2 for cert in Cn to C0
3 if time_check < cert.valid_from || time_check > cert.valid_to
4 return EXPIRED
5 return NOT_EXPIRED

Each certificate's expiration is checked against the current time.

The other, which is used for code signing, goes something like this:

1 time_check = now()
2 for cert in Cn to C0
3 if time_check < cert.valid_from || time_check > cert.valid_to
4 return EXPIRED
5 time_check = cert.issue_time
6 return NOT_EXPIRED

Cn is checked against the current time. The rest of them are checked against the time at which they signed the next downstream certificate.

I understand why code signing works like that. It's essentially digital notarization, and you don't want your notarized documents to become no longer notarized just because the notary public you used has since stopped being a notary public and let their license expire.
Most people have at least some gaps in their knowledge. A lot of people come to computer programming by way of other degree programs, such as EE, physics, math, even astronomy.
No, it's what the leading 2 or 3 AI companies want. Do people like the enshittification of the internet? Most likely not, but that's what the platforms want so that's what happens.

It's not what the people want, it's whoever runs the AI wants... This is why they should be regulated so they can't have a negatively distorting effect on society with bias and censoring ideas which they don't like.
Full speed ahead on A.I. Our economy needs it
>Did the serfs get free housing under feudalism? Otherwise you can't really compare how much the serfs were taxed compared to how much people today spent on rent.

Yours is the same misunderstanding that leads people to mistakenly think $40k shipping container houses are an answer to the housing crisis. It was always about land - its intrinsic scarcity and who gets to hoard it. Probably 10% of my rent is actually paying for the building.

Mayfair is hoarded by one man and his "right" to its rents stems entirely from violence - his ancestor helping William the Conqueror conquer England. In this sense feudalism was kept around the whole time - like herpes.

Control and ownership of land dictates the flow of parasitically extracted wealth - it's much the same whether I'm paying 2900 per month to a landlord in Maida Vale who doesn't have to work thanks to me (but somehow still can't be bothered to call out a plumber) or if I'm paying 1/3 of my income as a peasant to my lord.

>All of that funds social services

Social services have been severely eroded in the UK while the % spent on rent and taxes has sharply increased. The NHS is a wreck compared to what it used to be in the early 2000s and the social housing list is DECADES long.

These already eroded institutions are a hangover from the decades when unions has real power in the UK and in the next 10 years they will be eroded still further.
> What I want to understand is why people have such a low opinion of the intelligence of the people around them. I can't imagine a person so stupid that they would be aware that they can make a 1-click deepfake, but also be totally convinced by every photo they see.

Honestly, because there are a lot of people out there like you. No matter how much evidence there is out there to the contrary, they'll still keep believing what they want to believe.

In a world we're we've gone through blatant political spoken lies having enormous consequences due to people believing them, books of fake text people believing, entirely absurd doctored images people believing some people some people are unable to believe that people will fall for faked videos.

As in regardless of what the evidence is, and how obviously it may point to a conclusion, some people will believe what they want to believe to maintain their world view - even if it's entirely counter-factual.

And whether their belief is "xyz people are lizard people", "aliens are real", or "people will never believe faked forms of media" they will continue to believe it no matter what is shown to them throughout their lifetime.
Was the one who got tenure the one who brought in bigger grants? Unfortunately in the R1 Universities these days that is probably the most important thing, even more than your academic family tree https://academictree.org/
Different perspective, that got a lot easier for me once I started taking ADHD meds (methylphenidate/ritalin in particular for me).
wow, what a blast from the past! we used it at my first job over 10 years ago.
still no Windows
Which, like the "only income tax" would enrich the hereditary wealth dynasties at the expense of the sort of people that actually have to spend most of their income.
Thanks for the heads up! It's fixed now.
Renting an apartment today provides you with access to the land, and an actual apartment. Serfs back in the day had to build the living space themselves.
Show HN: Tech Job Alerts – Get emails with the latest jobs in tech for free
> Because I know for a fact, that no one on the ground was losing sleep over desertification.

Why does that matter? What people lose sleep over or not can be due to totally trivial reasons or for reasons that are far removed from the actual biggest threat facing them.
Just to be clear, donations help getting into a specific institution to study. Which does give a leg up to get a position later (most often in a different institution), but that’s a second-order effect. It does not directly help getting hired.
Ask HN: Everyone wants my idea but no one is dying without it
I have an Idea which definitely saves effort, I would buy it for sure. But the responses I am getting are like "I could use that".

But not like, "Take my money right now".

Here's the idea for reference: https://cheatsheet.framer.ai/

What should I do in this case?

I tried niching down, but that didn't work too well.

I have 21 people in my waitlist currently.
Well, they usually have a great exhibition of rare books — and their reading room is inexhaustible — but my favorite thing is the cafe. It’s a place in Amsterdam where you can just sit and strike up amazing conversations with people.

Now I’m deeply involved in their community and I love it.
It is easy to write a regexp with backreferences that cannot be represented by any DFA. So I'd say the correctness of your implementation is doubtful.

For example, the language defined by the regexp /([ab]*)\1/ is neither regular nor context-free.
I thought Nix used as Guix Guile under the hoos, but looked up now, and they seem to use custom language, in which case is it even worse. I should have looked up that before the hand, my bad there, I appologize.

Op complained about that make requires a bunch of extra tools to get running, and suggests another bunch of extra tools, as well as of make DSL which is more or less shell on steroids, but suggests a mix of two different languages instead, and does not even seem to be aware he can use Guile Scheme to extend Make.
A --small flag would provide approximately the same amount of information - you'd still need to read the description to figure out what it does.

And thanks for the UWU.md idea, love it!
Yes, exactly the principle as SwiftSearch - bypassing the slow fs and getting instant results (but ntfs only), and checking fs logs directly to keep track of all the updates
creatio ex nihilo

“At first there was nothing, then out of nothing the Big Bang happened and the universe began” is a popular misconception of the Big Bang theory. It’s completely wrong.

The Big Bang theory does not attempt to explain what things were like “before” the Big Bang. It’s not a theory of creation at all! It only offers a model starting with the inflationary epoch, when the universe was already expanding rapidly.

Prior to that, our existing theories break down and we need a different physical theory (commonly called the Grand Unified Theory or GUT). We don’t have it so we can go no further back.

The point is: back in the inflationary epoch the universe was all there, it was just much smaller. The point of the theory is to try to explain the extreme uniformity (isotropy) in the distribution of galaxies, gas, dust, and light we observe in the universe today (among other things, such as dark matter). It’s a much better model in terms of its simplicity and predictive power than any steady-state model of the universe that has been proposed.

But it’s got nothing to do with creation!
Are you talking about the idea that taxes are theft, (which I didn't disagree with more) or the idea that wage labor is theft because your employer sells the products for more than they pay you to produce them (which is absolutely theft, imo)?
Ernest Marples
That has not been my experience, working in the embedded space. Certain concepts are important, but you don’t have to fully understand operating systems.
A ‘ChatGPT’ for satellite photos already exists
Given that the Ike hasn't been minted in 45 years, I think it is safe to say it is not that. The Sacky and Tony are exactly the same width, 26.5 mm. The Canadian dollar is also 26.5 mm (as are the Prezzies and the Innos, and why are we Infantilizing coins anyway). The Australian dollar is a touch smaller, 25 mm. So I think the answer to your question is "all of them", 1.5 mm is likely larger than the variation between blueberries.

Converting that to Library of Congresses or National Library of Austrailias is left as an exercise to the reader.
It’s expensive to self-host, and centralized if using Matrix.org. It has its uses, but XMPP MUCs have a lot of overlapping features & Prosody/ejabbard can run on a potato by comparison.
> You still need the time to do it.

You put the beans in a crockpot to soak overnight while you sleep, then turn it on when you go to work. There's no "time" involved.

Maybe five minutes.
CS is going through the abundance phase of its cyclical mismatch between jobs-available and candidates seeking jobs. This is driven by a decade of healthy industry hiring, which has seen a lot of candidates (plus existing faculty) depart academia for greener pastures. (NB: if you happen to be in ML, then nothing you’re experiencing now should be viewed as normal — this an unusual hiring spree due to “hot field” FOMO.) Eventually the economy will cool down the way it did in the early 2000s and after the 2007/2008 cycle: then you’ll see what musical chairs looks like when the music stops.
Ask HN: First Steps as a new grad SWE in Europe?
Hey HN people,

Long-time lurker here, just about to finish my Software Engineering degree and get started on an internship. I've picked up a ton from the threads and comments here over the years – all the tech wisdom and life lessons. Now, on the edge of launching my professional life, it got me thinking: What nuggets of advice would you have given your fresh-out-of-college self?

Also, a lot of the career tips here are pretty US and Bay Area-focused, which totally makes sense. But for those who've made their mark in Europe (thinking France, Germany, UK), what's your take? I'm super curious about the less-talked-about paths: working in medium-sized companies, German Mittelstands, EU multinationals or those niche specialist firms that aren't household names but play big roles behind the scenes.

What were some of your surprise challenges, and how did you tackle them? Any heads-ups for a newbie like me to prepare for these potential hurdles?

Can't wait to hear your stories and insights. Huge thanks in advance for sharing!
Dems couldn’t do anything. They didn’t have control of house so they couldn’t impeach. It also unprecedented to fire an FBI director. More cognitive dissonance trying to say the Dems controlled a Republican controlled institution.
I, too, long for Halcyon days.
A series on how to use Ansible productively, as I feel that many guides are to sanitized for real world usage or require a RedHat subscription for Ansible Tower.
The kids are just as tired as many of the adults of watching super hero x version y movies with a smattering of Tom Cruise action version z. I am hopeful that Oppenheimer will be interesting …

The feigned move toward AI generated content would likely make things worse, providing bizarre fake Tom Cruise scripts generated from old real Tom Cruise scripts.
I am shocked to see the design did not change a bit.
Redmine is great. Serves us without issues since 2007. I honestly don't understand companies using products like Jira when Redmine is available.
Exactly, it's so simple and transparent when done correctly.
Indeed, same as how Deno plans to make money.
I'm relatively new in this and recently I've been reading and hearing a lot about how distributed systems are overused and usually a monolith can do a better job etc. I'm working at a company serving millions of customers and distributed systems are utilized, most of my experience as a software engineer was built around this to the point that I was never around a codebase that is 10/20k+ lines of code. I feel like I lack some skills in modular monolith coding skills.
My question is what kind of sources can I read to improve my understanding of monolith vs microservices, when to use each, and the tradeoff of preferring one over the other?
Why should it change? It serves its purpose well.
> “…the controversy over the effectiveness of HM can be traced back to the narrow terms in which HM was initially studied, at a time before social-ecological frameworks were developed. Studying a different agricultural paradigm was inhibited because—within an industrial farming paradigm—the only credible way to establish the value of an agricultural practice was to frame it in narrow, positivistic terms that removed the rancher as a thinking, adaptive agent, instead focusing solely on generic treatment efficacy for increasing forage, reducing desertification, and fixing carbon. […] A more holistic approach to co-producing scientific knowledge about HM, grounded in enhancing the capacity and agency of ranchers, should be seen as part of the system change that HM is attempting to leverage within agriculture.”

https://www.researchgate.net/publication/338777621_A_half_ce...

"Monbiot’s approach falls squarely into the “narrow industrial paradigm” Dr. Gosnell warns about. In his opening remarks, Monbiot insisted that carbon sequestration is simply not adequate, and to address climate change livestock advocates must demonstrate permanent carbon capture in the soil. This demand, however, is the perfect example of applying reductionist thinking to complex living systems."

https://savory.global/statement-on-the-allan-savory-george-m...
Both Hitler and Stalin believed a separate peace was possible - and if Halifax or Chamberlain led the government, rather then Churchill, and if Churchill had actually been open to the communication with the Nazis that met his famous quote that if he thought he could get out of it by only giving up Gibraltar he would, the story might be different. Hitler was gobstocked.

Your claim Sean as a Nazi apologist to discredit him literally are repeat soviet propaganda lines. In fact Putin recently made all of these arguments again to justify his invasion of Ukraine - I trust you see the irony.

War is hell - and atomic war is hell. War isn’t justifiable, and yet war is part of human nature. This is something that Historians have studied since there were historians. Ignore that research at your peril. The WW2 and modern conflict historians have done just that.
Neither Google nor Bing is a search engine; neither one makes any money from search. They are both advertising sales and placement engines. Google is winning because it started with a larger audience, and is thus more attractive to advertisers.
Rather, "meritocracy" is a theatre that provides perfect alibi for nepotism.

Referring to someone's CV is not in principle different from referral by a person. It's just another document that has been curated by people, for the same purpose.
I wish we saw more comments like this. People in the US, particularly the Valley or those working at FAANG, don't seem to realise the extent to how good your salaries are in comparison to the rest of the Western World. If you want an English speaking country with income closest to US, you're better off looking at Australia. Total size of the economy is far smaller because the population is far smaller, but GDP per capita is far higher and the wealth is spread more evenly than the UK. To such an extent that the NHS is now worried because increasing amounts of medical staff are leaving the UK for Australia to get 2, 3 or even 4x salaries.
It may be possible (though there are practical impediments as well, such as the poor IPv6 support), but the expectations and culture in the AWS world are so ingrained that you'll be looked at funny and constantly have to defend the "unorthodox" choices.
> Not jumping to one political extreme or the other is a mind-blowing proposition for you I'm sure.

I'm not the one advocating beating people with sticks.
The explanation that made the most sense to me is that, for people who for whatever reason, don't tend to invest budget surplus, buying a home leads to better outcomes on average. It keeps the lifestyle creep at bay with minimal mental load.
It’s way worse on the humanities side, from my experience. Not that it’s easy in STEM, but there are more positions and also better funding from both industry and government.
From the article it looks like there were 5 different executives overseeing the project during an approximately 4-year time frame. This sounds like a management failure to me rather than some failure of the American workforce or ingenuity.

Interestingly, the main executive involved got in some trouble with the SEC: https://www.sec.gov/news/press-release/2023-111

"Ansell received undisclosed compensation that consisted, in part, of $280,000 in personal expenses he charged to the company."

So there may be more going on than just poor oversight...
In part, it is about framing it. The oracle approach is not the set of all rational intervals containing a real number, but rather it a rule that acts on a given rational number. You cannot literally hand over a set of all rational intervals that contain the square root of 2. But you can specify the rule that tells you whether the rational interval contains it, namely, if a<b is the rational interval to test, then the rule sees if a^2<2<b^2.

Dedekind cuts can similarly by recast as a function that gives -1,0, or 1 if a number is below, the same, or above the real number. This would be a great improvement over the usual presentation.

But beyond that difference, consider the solution to f(x) = 0 in terms of the intermediate value theorem for an increasing function. The Dedekind cut solution is A = {x | f(x) < 0}. That is the answer. From the perspective of Dedekind cuts, there is nothing further to compute and it has provided nothing to compute with.

The oracle answer would be the rule that says yes to a<b if f(a)*f(b) <=0. This gives a direct mechanism for testing intervals and the idea of narrowing intervals by picking a point inside a Yes interval is very natural from this perspective. I do not see that suggestion popping out of the Dedekind cut approach.

The rational interval approach specifically is targeting narrowing solutions to the answer with error bounds built into it. If I tell you that 3 is in the set A, you have no intrinsic sense of how good of an approximation that is. But if I tell you that the target is in the interval 3 to 3.1, then you have a sense of the precision. Oracles promote having accuracy as foundational.
> The labor theory of value is simply incorrect. Profit isn't stolen from workers.

Why?

I mean you don't provide a justification that's more defended than me saying the opposite is true.
Still waiting on Rust. I have attempted to use it beyond toy programs, and it wasn't clicking for me.

I am using SPARK2014[0], a big subset of Ada, that has a 25-year track record in high-integrity, safety-critical applications in civil and military applications in many fields. It's also very easy to pick up with integrated tooling and a package manager called Alire.

I used to despise verbose syntax, and when I first tried learning Ada over 12 years ago, I now see SPARK2014's syntax and methods as much easier and to work with especially with the surrounding and supportive ecosystem.

I worked through the book, "Building High Integrity Applications with Spark"[1] that is a very nice summary and intro to SPARK based on its use in the CubeSAT program.

Here's a cute little article on how SPARK2014 was used to replace some low-level stabilization routine in a bigger C program for a specific consumer drone:

https://blog.adacore.com/how-to-prevent-drone-crashes-using-...

[0] https://www.adacore.com/about-spark

[1] https://a.co/d/fgtRXxt
A list of massacres is not a root cause; those are symptoms of something.
Dokieli – Editor for Decentralised Article Publishing
Show HN: Offline-First Note Taking and Pet Project Management
California has a larger economy than Germany and is only beaten by US, China, and Japan. It just has vastly more money than most countries.
Just wait till you see this: grafting tomatoes and eggplant on tree Solanaceae (tomato relatives) in Italy:

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

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

You get the benefits of the tree's deep roots and ease of harvest. Even if you don't know Italian the videos are amazing.
What you're looking for is essentially posix_spawn, if you set the file_actions and attributes parameters to NULL. Then it becomes a function where you specify the executable, arguments, and environment for the new process, with a single error to process.
I had to work with a brandlabeled Redmine solution (plan.io) which was a terrible experience. Roughly ten years ago.

I remember it breaking every two weeks in different ways and support always told us it's the underlying original Redmine stuff. Never figured out if this was even true or not, but I avoided it since then just to be sure. Maybe other comments will have some success stories and change my mind.
Galaxy is impractically huge. 3-dimensions is infinitely bigger than 2
> The economy takes a big dive as a result, as half the world loses email access regularly, bills don't get paid, etc.

Now you have me excited for this possibility. Doubly so if people stock up on ingredients for high explosives first. Take what you can while the taking is good: no room for repo men. Year 0 now.

> feels like the 90s again

I can't wait.

> amazon, apple, microsoft, and cloudflare are the biggest winners in the fallout

Sadly, that's true. Google's remains can only be cannibalized by companies that are already Google-sized.