skysight-inc/HackerNews huggingface dataset:
> Programming today is stressful — way more stressful than I remember it in the 90s and early 2000s when I was just starting out.

> I don’t think it’s due to stiff competition, shifting markets, or even tight deadlines—those have always existed. But one significant change has occurred in my daily work routine: I’ve been forced to start working in sprints (usually 1-2 weeks) instead of spending larger chunks of time on larger projects.

I disagree that scrum is the problem. I think companies simply started to exploit people more. Forcing to do more work, giving less benefits, less time off, less job security, etc. And it’s harder to find jobs because they get outsourced to Asia, Europe, etc. at $10k-$30K salaries.
I guess they’re thinking to disrupt the car’s movement and predictability in stopping, in comparison to an erratic driver, who they also wont have to deal with when breaking into the car
How do you define global relevance? Plenty of European capitals in this list: https://en.m.wikipedia.org/wiki/Globalization_and_World_Citi...
"Satisfies" is a common math term. For instance given

x + 3 = 4

the value of x which satisfies the equation is 1. To satisfy is to be a value which makes true some truth valued formula (such as an invocation of a predicate like blue(x) or equation like the above, or inequality or such).

Satisfiability comes up in logic; a "SAT" problem is, in a nutshell, the problem of finding the combination of true/false values of a bunch of Boolean variables, which make some formula true.

When the Haskeller says that "Num a" is something that is satisfied by a, it means that it's a kind of predicate which says a is a Num. That predicate is true of an a which is a Num.
obfuscated billing has long been a staple of all great cloud products. AWS innovated in the space and now many have followed in their footsteps
the newest scaling law: inference-time compute.
> a function which returns Y | Null can be replaced with a function which returns Y without changing code on the call site.

Yes this falls out of injectivity.

> the function type (X -> Y|Null) can be improved by rewriting the function to (X|Null -> Y)

I agree that any value received by the former function (`X`) can be received by the latter function (`X|Null`). However you cannot rewrite the former to have the signature of the latter.

You would need to write:

prf : (X -> Y|Null) -> X|Null -> Y

You would have to be able to convert a `Null` value into a `Y`.

You could definitely use `X|Null -> Y` to implement `X -> Y|Null` but that is not what you are claiming.
The credit for the labour theory of value goes to Adam Smith, specifically the Wealth of Nations. Whether it was true or not is a separate question, but it was based on empirical data available at the time. Marx is usually credited with it because he altered it, and saw a flaw in Adam Smith's version. The idea that "what something costs is what people are willing to pay for it" was something Adam Smith was familiar with and addressed in the Wealth of Nations.

> Those who believe the things should be treated preferentially, and those who don't should be persecuted because they stand in the way of the implementation of those things.

The Gnostics and followers of Hermes were one of the most hounded and persecuted groups throughout history. The Cathars were wiped out, and Giordano Bruno, an early proponent of the Copernican model of the solar system was burnt at the stake by the inquisition. It seems to be the other way around.

> Hermeticism, specifically the emerald tablet, says that we can make things become believable by just willing them with our minds.

I don't think this is correct, but I can't prove a negative.
The progress since GPT-3 hasn't been spectacularly fast.
Their moat is no stronger than a good UI/API. What they have is first mover advantage and branding.
How so? Assuming they’re modifying the APK they can just remove whatever check is in place. I’m guessing something like microG could emulate this API and always return true as well (though this veers more into DRM bypass which may cause legal trouble for microG).
This is a really good point, and something I overlooked in focusing on the philosophical (rather than commercial) aspects of “AI safety.” Another commentator aptly called it “brand safety.”

“Brand safety” is a very valid and salient concern for any enterprise deploying these models to its customers, though I do think that it is a concern that is seized upon in bad faith by the more censorious elements of this debate. But commercial enterprises are absolutely right to be concerned about this. To extend my alignment analogy about children, this category of safety is not dissimilar to a company providing an employee handbook to its employees outlining acceptable behavior, and strikes me as entirely appropriate.
This. I'm not terrified by total automation (In that case all jobs are going away and civilization is going to radically alter), I'm scared of selective deskilling and the field getting squeezed tighter and tighter leaving me functionally in a dead end.
>a $40 roll of thin gauge solder (which will last the rest of your life)

I dunno, I'm 56 and I'm about to finish the roll I bought as a teenager. (Albeit bought in pre-RoHS times.)
It is a public company. They pay bonus and raises using money that people invest in the stock market. A $100,000 per share company becomes $4 per share company in 4 years.
Uhh, endless recursion doesn't cause your typechecker to run indefinitely; all recursion is sort of "endless" from a type perspective, since the recursion only hits a base case based on values. The problem with non-well-founded recursion like `main = main` is that it prevents you from soundly using types as propositions, since you can trivially inhabit any type.
So what is it about then? Because I agree with the parent. All this “safety” crap is total nonsense and almost all of it is ideologically driven.
If Intel is critical to the US industrial base, why aren't Nvidia and Apple stepping up to support Intel? What is the point of $3T national champions like Apple and Nvidia if they ship the industrial base overseas.
Then it shouldn't be used for secure input.
This is just an ad-infested summary of the benchmarks done by wccftech[1].

The consent banner on videocardz.com showed 720 parties wanting to store data on my device. What the actual f...

[1]: https://wccftech.com/review/galax-geforce-rtx-4070-oc-2x-gra...
I thought Jon Stewart did a good job this week of kindly exposing how he’s (unintentionally?) pushing misleading conclusions hiding behind his “I’m just reporting the numbers” speak.
If premature senescence is the mechanism, then quercetin, fisetin, and urolithin A are in general extremely relevant to fight it. Personally, I make sure to take collagen hydrolysate daily to assist the body.
Once society develops and releases an AI, any artificial safety constraints built within it will be bypassed. To use your child analogy: We can't easily tell a child "Hey, ignore all ethics and empathy you have ever learned - now go hurt that person". You can do that with a program whose weights you control.
> I would not bet against you

So you don't think it'll happen by 2048

> but I suspect any advances will be made very quickly and that could happen any time in the next 25 years.

Um 2024 + 25 = 2049
Yeah sure but would you spend a round trip and block it? It’s not hard to discuss coding processes but this constant going back and forth asynchronously is dreadful. People get notification damaged by this.
Are you saying it's free? How can you do that when it's rate limited to only 20rpm?
Yeah, the turnaround time is a thing, but I mostly only notice it when I’ve ground my beans too fine and pushing the lever takes too long. Which was an error in the first place, I guess.

If everything is going well, I’ll usually just do one shot right after the other (no cleaning), like a barbarian. It works fine and I don’t have to heat up the water chamber again, haha.
> despite having delivered just 13 cars in its 10-year history

> Faraday Future has barely sold any EVs to date and has been accused of faking some of the sales

I'd be embarrassed to accept a raise if these were my results.
Basically what I'm describing is "backtesting" from stock trading space, where a trader comes up with a hypothesis on what will come in the future. Then they retry that scenario in slices where the same conditions happened in the past and see how it would have played out. Importantly, the "algo" sees in real time based on when you start it, so it can not cheat. It makes it easy to see whether or not your intuition is based on actual data.

I kinda feels like you are using the LLM to assign "weights" or important properties of an algo and then directly translating the basic arithmetic accounting of those factors into a prediction. What I expect is that the LLM would also be used to read all past news to find similar patterns and then create time slices where its weights could be tested against a control. It can then backtest its own weights to better tune what factors really led to an outcome and expose this refinement as part of the prediction.

News Data Sources:
https://www.gdeltproject.org/
https://credibilitycoalition.org
https://data.worldbank.org/
Exploding head is very much a sleeping thing.

Brain zaps can be while fully awake.
This looks very cool for complex queries!

If your codebase is structured in a very modular way than this one liner mostly just works:

find . -type f -exec echo {} \; -exec cat {} \; | pbcopy
"Error: Geocoding service is currently unavailable. Please try again later."
> why aren't Nvidia and Apple stepping up to support Intel?

Is it the role of a for-profit public company to "support" another for-profit public company?

Free market, supply and demand, live by the sword die by the sword and all that.

If Intel made decisions that lead to it's downfall, surely that is on them.
This is great! congratulations
I've heard compelling arguments that we passed the "more people than jobs" threshold during the green revolution and as a civilization have collectively retrofitted UBI in the form of "fake email jobs" and endless layers of management. This also would explain https://wtfhappenedin1971.com/ pretty well.

Either AI shatters this charade, or we make up some new laws to restrain it and continue to pretend all is well.
A Google search requires

* Google to allow particular results to be displayed

* A source website to be online with the results

AI long-term will require one download, once, to have reasonable access to a large portion of human knowledge.
Three shots is the point where I start to get annoyed with the thing and four shots is when I start to get jittery. So, it all worked out.
Intel has to become a major players in GPUs.

If it gives up on GPUs then its finished.
No one in their right mind would think this is going to be a smooth ride. The massive amount of capital required to build cutting-edge fabs is a hard pill to swallow. These news writers need to cut Intel some slack. The world needs cutting-edge fabs in geopolitically stable locations. I believe Intel is simply too critical to fail at this point, and, as always, Uncle Sam won't let them.
Let us say "Top 10".

In 1914, most of the Top 10 cities were in Europe. Today, London and Paris are.
> Intel has expertise and talented engineers.

Intel certainly had those things. It has lots of interesting IP around processor design and tooling locked away in source control and so forth.

I think it is critically important whether Intel has retained the engineers who knew how to build world class products. Nehalem was excellent and shipped in 2008 so I'm sure they had the skills back then. They used to have a reputation for paying well.

It seems plausible that Intel is a bureaucratic horror show that no longer pays competitively, in which case it would be difficult to see why the engineers would still be there. Especially with redundancy offers waved around roughly annually.

I reckon they're dead.
Pervasive gun ownership begets gun ownership among criminals. The decision-making in whether to hold up a liquor store is intuitively different if you already own a gun.

The spillover effect may be smaller for crimes like graffiti. However, police in the UK are less busy with serious crimes, so they can probably police graffiti better too. Then there's the Broken Windows theory.

There is an independent variable (gun ubiquity) and an intuitively-related dependent variable (gun deaths.) The international data fit the association very strongly. You're not going to convince anyone that they're not related. There are other factors at play but they are minute by comparison. The 50-fold decrease is just my spitballing of where the US would fall on the graph, i.e. pretty close to the line where all the other countries are.
I think I more or less agree with you. But I feel the quote itself is often misinterpreted to mean “I can ignore my users’ concerns, because I know better”.
Intel is utterly massive and owns their own fabs. Companies that large don't collapse in a day unless there is some illegal shenanigans going on.
dang, was working a few mins ago..
I wonder if they'll be able to push the chain-of-thought directly into the model. I'd imagine there could be some serious performance gains achievable if the model could "think" without doing IO on each cycle.

In terms of moat, I think people underestimate how much of OpenAI's moat is based on operations and infrastructure rather than being purely based on model intelligence. As someone building on the API, it is by far the most reliable option out there currently. Claude Sonnet 3.5 is stronger on reasoning than gpt-4o but has a higher error rate, more errors conforming to a JSON schema, much lower rate limits, etc. These things are less important if you're just using the first-party chat interfaces but are very important if you're building on top of the APIs.
Intel and Nvidia are competitors. Intel makes CPUs and is trying to grow its GPU strengths. Nvidia makes GPUs and is trying to grow its CPU base.
There are countless tools competitive with or better than what I use for email, and yet I still stick with my email client. Same is true for many, many other tools I use. I could perhaps go out of my way to make sure I'm always using the most technically capable and easy-to-use tools for everything, but I don't, because I know how to use what I have.

This is the exact dynamic that gives OpenAI a moat. And it certainly doesn't hurt them that they still produce SOTA models.
I agree but I have tried many times to intersect two ideas with a LLM that would be novel and the LLM can not do this at all.

We shouldn't expect the stochastic parrot to be able to do this though and it is unfair to the stochastic parrot.

It is like expecting a real parrot to say words it has never heard before.

No one asks that of a real parrot because we don't anthropomorphize a real parrot like we do the LLM.
Global foundries looks boring but competent. Seems a better bet to me.
I tested various Math Olympiad questions with Claude sonnet 3.5 and they all arrived at the correct solution. o1's solution was a bit better formulated, in some circumstances, but sonnet 3.5 was nearly instant.
Okay? And? What does that have to do with anything. I thought the number one rule of these things is to not trust their output?

If you are automatically formulating some chemical based on JSON results from ChatGPT and your building blows up… that is kind of on you.
When I look at my federal and provincial government, I see 50% or more being spent on interest only payments. I've seen that number fluctuate a bit, but it's always been between 30% and 50%, if not higher at times.

When you look at the US fed, you see the same sort of thing.

That's demonstrated, therefore, over and over.

I'll put it another way. If Canadian federal and provincial governments weren't paying 1/2 their yearly tax revenue to interest payments on debt, I'll repeat that.. only interest payments, not principle, all of the funding issues with health care, and the military would be gone.

Put yourself in the same situation. Imagine you decide to spent 1/2 your post-tax income on only interest payments. You never make headway on the principle. So the debt is never going away. Now if times are tight (after all, why did you borrow to start with?!), how much worse are you with half your money gone to do absolutely nothing of value?

That's what many of our governments are doing.

In times of economic boom, some frugal governments pay off debt. They reduce that figure. But here's the kicker...

When times are bad, typically interest rates go up. So not only are you paying more as a government for those interest only payments, you have less tax revenue in a recession.

Frankly, I think it should be illegal for governments to borrow money. It's too tempting to gain votes. Politicians often don't care about 20 years from now, they care about the next election, and will tell themselves wild stories about how it will all be OK.
Im not attempting to insult you, i didn't know you held such a hypocritical position - sorry pointing out that it is weird for someone working a field that is so dependent on logic to hold such a self-contradictory position insults you. Maybe instead of weird i should use the words unusual and unexpected. My bad.

You're right, I'm being dismissive of weasely unbacked claims of "wide regard". It's very clear now that you can't back your claim and I can safely ignore your entire argument as unfounded. Thanks for confirming!
Show HN: Instagram reels downloader without ads
This is my attempt to build something over the weekend and launch it.
https://futurism.com/the-byte/openai-sora-demo
https://old.reddit.com/r/vfx/comments/1cuj360/turns_out_that...

here is the link. The balloon video had heavy editing involved.
This device seems perfectly insane.

I have two Quecoo soldering stations : https://www.quecoo.com/products/quecoo-t12-956-soldering-dig...

They're very cheap, they heat up just as quickly as any other induction iron. They are very repairable. They come with multiple tips, which are cheap to replace.

They don't contain expensive batteries or pointless USB-C WebSerial-based interfaces. You turn them on. They heat up. I've had mine for years, so they're reliable too.

iFixIt have a laudable mission generally, but this product will be an expensive failure.
Wasteful use of private jets and air travel for climate change events (teleconferencing exists), if CO2 was an existential threat would they not cease ultra pollution travel for a few?
I think they are essentially claiming that "Americanism" has lower standards than the ethnicities that moved to America as refugees. So the people who were refugees, like all the jewish physicists in the Manhattan project came from culture that valued higher education and socially liberal society and all those good things, while American culture doesn't, so getting them "americanized" makes them value higher education etc less.

Which would be incorrect, as Manhattan ALSO has a hyper conservative Orthodox jewish population which did not assimilate largely and basically caused measles outbreaks because they are vaccine "hesitant"
It was a lot more objective than I anticipated, but if you know how to look at such things, the propaganda is definitely in there.
I am, it should be noted, _fucking terrible_ at soldering. But my TS-101 actually gives me hope. I'm so happy with it.

(It's also incredibly, incredibly useful for heat-set inserts, because you get to decide really precisely how long they will take to insert!)
> resolved

My entire comment above was to argue that "resolving" the debt is nonsensical. The answer to when the debt needs to be paid off is: never. The government can issue more debt indefinitely. In fact, "paying off the debt" implies the government would stop selling treasuries, which is entirely more scary than the debt.

> I wonder what the end game is.

There is no end game, ideally, the US wants the US to continue to exist, and continue to fund the things that improve conditions for their citizens.

Believe it or not, the single largest holder of US government debt is... the US government itself. And 77.1% of the entire debt is owed to domestic US entities. The US debt is mostly Americans voluntarily financing their own government. This situation isn't something to "resolve", it is entirely okay.

Debt to GDP does need to be within some reasonable bounds, but as long as our economy can support the debt, there's no reason to get rid of it, and many reasons not to.
You missed your raise key on "day q"
Doesn't seem to have actually built his "teaching simulator"
I use [pushbullet][1]

[1]: https://www.pushbullet.com/
For apps that communicate with a server, there will be so called hardware attestation, like the API doesn't just return "true" but a signature which the server can validate. Keys for this are in the TEE/whatever secure element the phone has (and there's a $500K bounty for extracting secrets from the TEE).

For apps that don't, Google is currently developing a new obfuscation VM called pairip (that libpairipcore.so). This extracts some java code into a VM, so patching an app is not simply a matter of patching smali code - that VM employs many checksums on its memory.
I tried to submit a story with a lengthy title a couple of days ago and HN refused to accept it until I'd cut it down. So it's probably the submitter's doing.
Can we please stop using the word “think” like o1 thinks before it answers. I doubt we man the same when someone says a human thinks vs o1 thinks. When I say I think “red” I am sure the word think means something completely different than when you say openai thinks red. I am not saying one is superior than the other but maybe as humans we can use a different set of terminology for the AI activities.
> After two sets of disastrous quarterly earnings the company’s market value has shrivelled to $84bn, less than the value of its plants and equipment, from over $210bn in January.

Holy smokes. I just looked at the INTC 5 year chart and it is, in fact, a bath of blood. I don't think it happens very often that the market cap of a company is less than the worth of its physical assets.
Again, I just meant that it'd be ridiculous to assume that 3D-printed guns and homemade ammo would present a risk anywhere near that of industrially-manufactured guns and ammo. It would also rule out things like the 2017 Vegas shooting.
patching a fix, hopefully brb
Why can't medical doctors be automated?
Why is language documentation still so terrible?
Intel is a tarnished brand, sullied by unfixable bugs, suicidal chips, security holes, poorly executed "next gen" ideas, and worse. The only thing they're capable of these days, seemingly, is re-releasing slightly optimized, nearly two decade-old architecture... The people who actually choose their CPU (gamers for the most part) have abandoned Intel in droves. Intel is floundering at an epic scale, and showing no end in sight.

Can their long term investments bear fruit? One might hope... but continuing to flail helplessly in the face of the first actual competition in decades may not allow them to harvest that crop effectively.

The near two-decade vacation Intel took from actually being good is insane in hindsight. They thought their competition was dead (due to Intel's own illegal behavior), so they just kept copy/pasting the same garbage over and over, shoveling it to the population with ever increasing price tags (anyone remember the days of $5,000-$10,000+ "gaming" CPU's?).

If any company deserves to fail, it is Intel. Their story is simultaneously hilarious and sad.
cool so knowledge work is dead I guess
Not if your offspring also live longer.

You have kids at 1X, Grandkids at 2X, die at 3X, doesn't matter if X=25 or X=30 or X=100, the population dynamics are the same.