skysight-inc/HackerNews huggingface dataset:
Are all of these specialized models available for use? Like, does it have an API?

I wonder because on one hand they seem very impressive and groundbreaking, on the other it’s hard to imagine why more than a handful of researchers would use them
Sometimes I wonder if in 100 years, it's going to be surprising to people that computers had a use before AI...
The meteorological dates for "summer" correspond to June 1 to August 31. That straddles 2 quarters and both halves of the year. What are you going to do if a product launch is in July (+- 1 month)? You can't really use Q3 or H2 because neither of them fully captures that 3 month period.
In the UK minimum wage is up 75% since 2014, but median wage is up 50%

Given that minimum wage is a leave school asap, don't bother learning anything, then just push a broom round a shop.

You used to get 50% more of that by working hard at school, spending years on you career, and getting a median income.

Now you get 30% more.

Increasing minimum wage just means you're reducing the relative wage of those who set their goals a little higher.
Related New Zealand "deeply shocked" after Canada drone-spied on its Olympic practices (34 points, 19 hours ago) https://news.ycombinator.com/item?id=41062774
> technical people tend to want to produce an argument with all the information etc

Yes, I was thinking after my comment I should bring this up too, you’ve said it possibly better than I would have.
I had some extended family do homesteading starting in the late 80s. At the time it was called hobby farming, which I think is a much more apt name.

My only comment about it, only do it if you are already financially secure. Farms like this are money sinks unless you are selling some bespoke product at a huge mark up.

Despite all the romanticism about living off the land, it really sealed this family and their descendants in deep poverty. 20 chickens and a few pet cows are not going to support you. You are still going to need to buy food and supplies. So you will need a part time job. Now you are trapped in a rural area, in a menial labor job, supporting not just yourself but a bunch of animals. All while having to do multiple rounds of chores everyday.
This is true, but in other cases they added keywords in ways that could work with type stripping. For example, the `as` keyword for casts has existed for a long time, and type stripping could strip everything after the `as` keyword with a minimal grammar.

When TypeScript added const declarations, they added it as `as const` so a type stripping could have still worked depending on how loosely it is implemented.

I think there is a world where type stripping exists (which the TS team has been in favor of) and the TS team might consider how it affects type stripping in future language design. For example, the `satisfies` keyword could have also been added by piggy-backing on the `as` keyword, like:

const foo = { bar: 1 } as subtype of Foo

(I think not using `as` is a better fit semantically but this could be a trade-off to make for better type stripping backwards compatibility)
Exploring the Power of Negative Space Programming
Tolerance is not a moral precept (2017)
Add https://msgdrop.io to that list :)

An API driven approach like Msgdrop is more flexible, as many apps can’t configure a fake SMTP server, especially if you use tools like Mailgun or SendGrid.
Non-Google search engines blocked from showing recent Reddit results
The training loop was also applied during the contest, reinforcing proofs of self-generated variations of the contest problems until a full solution could be found.

So they had three days to keep training the model, on synthetic variations of each IMO problem.
This gets to a fairly stark difference in how people model things. It is very common to model things in ways that are close to what is physically being described. Is why circuit simulators often let you show where and how the circuits are connected. Knowing what all can run at the same time is now very clear and knowing what can and cannot be reduced to each other is the same. If they are separate things in the model, then they remain separate.

Contrast this with symbolic code. Especially with the advent of optimizing compilers, you get very little to no reliable intuition on the order things operate. Or, even, how they operate.

Now, this is even crazier when you consider how people used to model things mathematically. It really drives home why people used to be far more interested in polynomials and such. Those were the bread and butter of mathematical modelling for a long time. Nowadays, we have moved far more strongly into a different form of metaphor for our modeling.
If you’re right, they did a stellar job of hiding it from the engineers working on the devices!

Or maybe I’m one of the deep state cutouts. One never knows for sure.
Hahaha Very Very funny

Our company has already paid a lawyer to get our lost money back
> Does the state try to incentivize the young to have children by offering state care for the new children?

From what I have read/listened-to, efforts by governments to incentive increased birthrates have little effect. This comes from data across different countries like Denmark/Norway & the USA.

Bronze Age collapse seems a little bit much ;D.

My bet is that the culture changes to adapt to the higher proportion of non-working age people. So more younger and older generations will move back in with each other in order to save on the biggest household expense (the house itself) and more welfare is directed towards caring for old people in tandem with the market responding by supplying more private care.

Europeans made it through ~1/3 of the population dying from The Plague, we'll make it through this _much_ less catastrophic demographic change.
And they have always been garbage that the community should resist.
Discussions

(21 points, 6 hours ago, 11 comments) https://news.ycombinator.com/item?id=41067431

(10 points, 2 hours ago, 13 comments) https://news.ycombinator.com/item?id=41069908
Yes, if the 350 employees kept working the same as usual, and the only thing that changed was something the CEO did, not anything he ordered the employees to do.
The Grimy Residue of the AI Bubble
https://www.noahpinion.blog/p/everything-you-think-you-know-... has some great data about homelessness.

It's mostly correlated with high housing costs. West Virginia has a huge opioid problem for instance, but lower rates of homelessness because it has low housing costs.

The author is also a good speaker. He visited our city recently and I went to check it out and thought he did a good job presenting the data https://www.youtube.com/watch?v=W4rBe1fGPZU
Nominal wages have been increasing slower than inflation for quite some time. 2022 just made it obvious to everybody what's been going on for some time since the inflation was higher.
> AV software is not a crutch, it's an extra level of defense.

The issue is that it's the only "level of defense" which introduces arbitrary non-deterministic behavior. An executable which correctly follows all the APIs as documented and implemented, and which does nothing malicious, might arbitrarily be denied or even erased, and this behavior changes daily or even hourly due to factors outside the control of the computer's user. Even ASLR, which uses non-determinism in its implementation, doesn't cause non-deterministic behavior when an executable correctly follows the API.

And it's also a "level of defense" which famously causes frequent performance issues, to the point that "tell the AV to ignore that folder" is a common recommendation. I wonder how many gigawatts of electricity are wasted daily due to AV software slowing things down.

Finally, it's been reported several times that this "level of defense" is often poorly implemented, to the point that it can act as a backdoor to bypass other levels of defense. If you can compromise a parser running as SYSTEM, or even within the kernel, you don't have to worry about all the normal rules which prevents you from running code as SYSTEM or within the kernel.

People's dislike of AV software does not come only from some abstract purity ideal; it also come from plenty of negative experiences with it.
But formalization is the easy part for humans. I'm sure every mathematician would be be happy if the only thing required to prove a result was to formalize it in Lean and feed it to the AI to find the proof.
>two university students to a level superior to the chimpanzee

yea, and university students? would have been fair comparison if they tried to train members from some tribe who haven't been exposed to schooling,.
If you really mean that you hope California cities can become safe again it might feel encouraging that I live in SF and 99% of my experience here is clean and safe. There are dicey bits for sure but it feels similar to when I lived in other cities like Dallas in frequency and locality.

The city is small and there are concentrations of dangerous/dirty that need to change, no question. We also have an organized crime problem with tons of car break ins. There is plenty that needs serious work (but that has been true everywhere I've lived as well).

I don't live downtown or in the tenderloin so I have a very different experience from someone living/visiting there but, anecdotally, I consider my experience living in this city both safe and clean.
> Is there a middle ground balance where we respect that ownership of property is an important, attainable kind of wealth building for middle-class people while also accepting that a city must also develop in ways that benefit people that aren't homeowners, or aren't homeowners yet?

No. I like finding middle grounds where possible, but you're asking for something which is inherently contradictory: for something to be a good source of "wealth-building", it to increase in value (i.e. price to the next buyer) forever, or at least most of the time. When that happens to housing, it fucks over the next generation.

There is no fix here that doesn't involve terminating housing as an investment opportunity. It will be a painful transition, but the end state is actually fine. Plenty of countries (e.g. Japan) don't treat housing as a middle-class investment and they function fine.
Many options were less attractive, but the government also had very close ties with Russia at the time so there was an impetus to find an excuse to hand them over.
My 2 cents from an immigrant:

Most people that claim they cannot pay the bills make more than enough to pay the bills and save but get stuck into a loop of overspending and buying things without thinking. This seems to be a very specific American issue.

I grew up in a country where the average monthly income is half of here in the US even though groceries and rent is probably about the same. What you see is people go out of their way to buy cheap groceries, and think hard before buying stuff they don't need. What I see here in the US is that even the poorest people seem to be on a spending spree, or have a hard time to lower their standards to something sustainable. There seems to be a bigger shame in the US to try to be frugal and not spend a lot of money. We need to teach people how to live with 3000$ per month, that is still a lot of money.
I had exactly the same feeling when reading this blog. Sure, the techniques used to find the solutions are really interesting. But the claim more than they achieve. The problem statements are not available in Lean, and the time limit is 2 x 4.5 hours. Not 3 days.

The article claims they have another model that can work without formal languages, and that it looks very promising. But they don't mention how well that model performed. Would that model also perform at silver medal level?

Also note, that if the problems are provided in a formal language, you can always find the solution in finite amount of time (provided the solution exists). You can brute-force over all possible solutions until you find the solution that proofs the statement. This may take a very long time, but it will find the solutions eventually. You will always solve all the problems and win the IMO at gold medal level. Alphaproof seems to do something similar, but takes smarter decisions which possible solutions to try and which once to skip. What would be the reason they don't achieve gold?
Show HN: Nudge, a Pushover CLI, v0.7.0
I already added label and value to the components! (Not unit yet, but you can type latex in value field to add Latin unit)
Welcome to try it and feel free to give me feedback! Thanks!
I think the kind of teams that always stay on top of the latest TypeScript version and use the latest language features are also more likely to always stay on top of the latest Node versions. In my experience TypeScript upgrades actually more often need migrations/fixes for new errors than Node upgrades.
Teams that don't care about latest V8 and Node features and always stay on LTS probably also care less about the latest and greatest TypeScript features.
I think search-based AI is on a different level than imitation models like GPT. This is not a hallucinating model, and it could potentially discover things that are not written in any books.

Search is amazing. Protein folding searches for the lowest energy configuration. Evolution searches for ecological fit. Culture searches for progress, and science for understanding. Even placing a foot on the ground searches for dynamic equilibrium. Training a ML model searches for best parateters to fit a dataset. Search is universal. Supervised learning is just imitative, search is extrapolative.
If you use LLM stupidly, sure. You can get from the LLM pseudo-probabilities of next symbol and use e.g Bayes rule to combine the information of how well it matches the page. You can also report the total uncertainty at the end.

Done properly, this should strictly improve the results.
The median-of-median comes at a cost for execution time. Chances are, sorting each five-element chunk is a lot slower than even running a sophisticated random number generator.
It is a one-word opener for an addressal, so adding an exclamation mark indeed sounds like something a human would do. Of course, that means an AI is likely to do it too. If they weren't good at sounding like humans, we wouldn't be talking about this.
As someone who had their first stock based savings account gutted by the 2008 economy we really shouldn't rely on stocks. I was in college and my college fund vanished very quickly. It was a fund set up for me as a kid, managed by my petrodollar worshipping uncle. We're all just a collapse away from nothing while being desperate for line goes up behavior to save us. But this is just my point of view from someone on the poorer side of things.
Discussions

(452 points, 1 day ago, 334 comments) https://news.ycombinator.com/item?id=41057033

(54 points, 15 hours ago, 17 comments) https://news.ycombinator.com/item?id=41064229
I’m more concerned about them from a security perspective. Most EVs are network connected computers on wheels. Driving a car like that made by a geopolitical adversary is not appealing at all.
Tangentially: I found it fascinating to follow along the solution to Problem 6: https://youtu.be/7h3gJfWnDoc (aquaesulian is a node to ancient name of Bath). There’s no advanced math and each step is quite simple, I’d guess on a medium 8th grader level.

Note that the 6th question is generally the hardest (“final boss”) and many top performers couldn’t solve it.

I don’t know what Lean is or how see AI’s proofs but an AI system that can explain such a question on par with the YouTuber above would be fantastic!
A significant part of the problem is that a majority of people are unaware of just how simple what they consider "intelligence" really is. You don't need actual intelligence to replace the public-facing social role of a politician, or a talking head, or a reactive-only middle manager. You just need words strung together that fit a problem.
It sounds like it would be a common desire, like when you see the futuristic computer interface in Minority Report. It seems cool on the surface but falls apart the minute you imagine the reality of using it in practice. Your arms would get tired very quickly trying to control an interface in 3D space.

The idea that we'd someday have no more shared experience around media is harrowing and thankfully the public isn't actually calling for it.
No, more like: when the cloud is all down, yeah, you don't have availability, but so what, that's like all servers being down -- that's always a potential problem, but it's less likely on a cloud.
Natural selection they said.
Crazy, who would've thought that a country being fully embargoed for 50+ years by the world's biggest economy might have difficulty obtaining goods?
> 1) It can’t be enough to desirably live on. It must essentially be “survival level” so that there is still an incentive to contribute to society with your work

I used to think like that, but it too is fundamentally unfair. It is a recognition that there must exist an underclass of people that will be coerced into work else they will be kept at "survival level".
It does, and Silicon Valley is built on that, but for startups it’s more of a lottery ticket, and for a tech giant, what you do as a worker doesn’t make much of a difference for financial results. And even in between, how the investment does is pretty risky and partly determined by unpredictable outside events, so you’ll want to hedge.

And then for shared ownership, governance is often messy.

Individual ownership of a stable asset that you can improve by making your own decisions (deciding what fixes to pay for, at least), is a different thing.
How do you suggest we handle the rental market?
Singleton Design Pattern – When Not to Use It
Got into a similar argument the other day... The lead Architect wanted to create temporary ids so that a foreign system could pull a request only once, after they'd been notified so as to prevent "overload" of requesting every account every hour as a counter example... "so like 40k requests an hour?" BFD.

I had at least won that one... the id's will be date driven, natural keys per account and return a 404 if it doesn't exist yet. They'll still get a notification (web-hook) when the event for creation happens, but still far less complex then temporary id's that only work once, and require manual intervention if something breaks and needs to repeat.

I absolutely hate unnecessary complexity and tend to fight it at nearly every step.

If I didn't need the income, I'd be working on an email/calendar platform to replace Outlook+Exchange/O365. It's a space begging for disruption and not enough focus on some of the more critical needs that they provide that competitors tend to miss. Google comes the closest IMO.
>but it never does

Depends on a producer, I guess. Where I'm from, same amount of decaffeinated coffee by the same producer is around 42% more expensive.
Why would we be any more likely to implement it, relative to the solutions that humans have already figured out for climate change?
As a permanent "out of style" curmudgeon in the last ~15 years, I like that people are discovering that maybe VMs are in fact the best approach for a lot of workloads and the LXC cottage industry and Docker industrial complex that developed around solving problems created by themselves or solved decades ago might need to take a hike.

Modern "containers" were invented to make things more reproducible ( check ) and simplify dev and deployments ( NOT check ).

Personally FreeBSD Jails / Solaris Zones are the thing I like to dream are pretty much as secure as a VM and a perfect fit for a sane dev and ops workflow, I didn't dig too deep into this is practice, maybe I'm afraid to learn the contrary, but I hope not.

Either way Docker is "fine" but WAY overused and overrated IMO.
AFAIK the API doesn’t even let you log in as your Google user account.
The main aider leaderboard includes gemini models. I benchmarked gemma-2-27b-it, but it did so badly that it wasn't worth adding to the leaderboard.

https://aider.chat/docs/leaderboards/
According to the linked support page, nothing except Apple OSes and Windows is supported; not even desktop Linux! That's quite an accomplishment in 2024. They really went above and beyond in not supporting any modern browser.
> You still have to decide what happens to the nodes on the wrong side of the partition

You don't because their clients won't also be isolated from the other servers. That's TFA's point, that in a cloud environment network partitions that affect clients generally deny them access to all servers (something you can't do anything about), and network partitions between servers only isolate some servers and none of the clients.
It doesn’t help that RGB is very badly tuned for many skin tones.
> Being genuine is exceptionally boring and unprofitable.

Well, "boring" is subjective. I personally find hype boring and actual authenticity (or at least an accurate enough simulation of it that I can't tell) to be very interesting. Perhaps because it's so rare.

> Do not idolize streamers

Do not idolize anybody, actually. Every human is too imperfect to be idolized.
Hope that's true.
Really mucks up the world a bit if not.
My favorite Winamp shortcut is Ctrl+Shift+R to randomize the playlist. I wish every application with a playlist could do this.
The answer is Yes

Without anything done about rents, it will get nothing but worse. Look at the slums surrounding various third world countries. The US is heading straight for that on a bullet train.
As is often the case, creating a well formed problem statement often takes as much knowledge (if not work) as finding the solution.

But seriously, if you can't ask the LLM to solve the right question, you can't really expect it to give you the right answer unless you're really lucky. "I'm sorry, but I think you meant to ask a different question. You might want to check the homework set again to be sure, but here's what I think you really want."
Show HN: DepsHub – Dependency updates made easy
Hi HN! I'm Andriy, a software engineer and the founder of DepsHub.

Every single team that I worked with always used tens (if not hundreds) of dependencies. There are usually two popular options: either you ignore the dependencies problem until it's too late and hard to migrate everything to newer versions (say hi to vulnerability issues), or you're constantly trying to find the balance between working on a product and doing its maintenance.

I decided to create DepsHub to solve these particular problems:

- Update noise. There is no need to update EVERY single library all the time. Your project should be relatively up to date with all the major packages updated and no security issues.

- Automatic major updates. Breaking changes occur all the time, and LLM are quite good at this point to take the changelog changes and apply them to the codebase automatically.

- Observability. I want to know what's the current status of all of my repositories, how outdated they are, and what I need to do to make it better. This is quite a new niche that not a lot of products are focusing on.

DepsHub is processing thousands release notes and changelogs, converting your codebase to embeddings and applies LLMs to fix any breaking changes that occur. It also uses some additional analysis to understand if the library is actually needed to be updated (some libs are having new versions every week!).

Let me know if you have any questions or suggestions. Any feedback is more than welcome!

Website: https://depshub.com/
> The number of people making federal minimum wage is tiny, around 0.1% of all workers:

This is largely meaningless. My first job in high school paid $6.51/hr. The minimum wage at the time was $6.50/hr. I would not be part of the 0.1% earning minimum wage - but in practice I wouldn't be any better off than them either.

I suspect a lot of employers play this game so they can claim "pays above minimum wage" in their job posting (that's what my employer did).
Very reminiscent of agadmator and his chess videos, but without the app