skysight-inc/HackerNews huggingface dataset:
I don't see anything wrong or nefarious with deciding a borderline call based on ability to pay.

Better preventative medicine and proactive treatment is one of the perks of having good insurance, so I would expect a recommendation from a good dentist to take it into account.

Ideally there is some discussion, but at the same time, the idea that someone with great insurance would want to use it seems a reasonable assumption.
Hey well if you insist, I did find something weird: numpad number entry doesn't work.
A brief interview with nomnoml creator Daniel Kallin
Legal PDF Tech Court Cases
For a meta-analysis, you might want to try the "extend" feature. It sends the agent to gather more papers (we only analyze 100 carefully initially), so if your report might say "only 55% discovered", could be useful.

(Also, if you want, you can share your report URL here, others will be able to take a look.)
How does determine which comments are valuable ("trusted") without access to the vote count of comments?
Works for me on FF dev edition. I bet WebGPU support is required (mainline FF does not support this).
>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

Having run both at scale, I can confirm and assure you they are not as secure as VMs and did not produce sane devops workflows. Not that Docker is much better, but it is better from the devops workflow perspective, and IMHO that's why Docker "won" and took over the industry.
Those conditions would fall well outside my definition of "good shelters".

I wouldn't expect a city or state to have shelters on the level of a Ritz, but I wouldn't consider anything with fewer basics than a state penitentiary to count either.

If you can't keep belongings there, that doesn't meet the bar of "better than a prison". Having to follow the rules seems reasonable, but the rules similarly should meet the bar of not being worse rules than we force on inmates.
Thanks, I added my URL
I don't think this holds to scrutiny. This breaks down as soon as you get out of the idea phase.

Everyone has visions, and most great achievements today are the results of an amalgamation of them. The really big achievements are almost always the result of groups, not individuals.

People that idolize others have to turn a blind eye to everything surrounding that individual's achievement. It's simply easier to simplify big achievements as "this person was great". In reality though, it's a culmination of everything that came before that individual, the support around them, some of their decisions and much more.

In other words: monuments are a bad argument to evaluate if something is good or not. Especially in today's individualistic society.

It's a shallow Instagram motivational phrase.
This is why I took that part out. You're going off on this wild tangent based on a ridiculous misreading of something I took out because people were misreading it. I could have rewritten it better, but I took it out instead because it was off-topic and would still be off-topic if I made it more clear.

HN has a great guideline here:

>> "Please respond to the strongest plausible interpretation of what someone says, not a weaker one that's easier to criticize. Assume good faith."

So you didn't mean you would murder someone for defending their property, because you didn't understand that's what I meant, and didn't know about the guideline. Okay. I accept that. I should have followed it too.

The thing about the guideline is there are two ways to go: your interpretation is correct and going off on a tangent is just going to be fruitless as we've seen here (because clearly I'm an unhinged freak who goes around hitting people over a glance), or you're wrong and making a mess of things over nothing (because I'm a rational human being who only uses violence as last resort).

It's about assuming the person you're talking to is the latter because there's no point talking to them if you're right and it's the former.

Let's move back to the actual topic.
Ok, we've s/currency/coinage/'d the title above. Thanks!

Edit: oops, from https://news.ycombinator.com/item?id=41020808 I think maybe we'd better just excise that whole bit.
This site make want to install winamp again. And try skins. Even if I dont listen music from local files anymore.
Liked the 'high potential energy' analogy but I think it misses a point. As far as I know, your Nix knowledge and home-manager configurations are transferrable to MacOS and other Linux distros as well.

> I'd rather beat my head against a wall for a day figuring out how to configure something than get locked into an OS-specific configuration that I can't move elsewhere.

Many people use Nix and home-manager on their MacOS or non-NixOS Linux setups. You can use Nix package manager without committing yourself to the constraints of NixOS.

> You are telling me I have to do things the "NixOS way" but also your documentation is bad / inferior? Absolutely no thanks.

Don't know about others but I don't tell you that for sure. I think poor documentation is among the most understandable reasons to NOT use Nix.

In the end, I am just trying out things to see whether they benefit me or not. Not here to sell you anything.
There's no reason why this is beneficial. Money and stocks are fungible you can freely exchange one for the other as much as your heart desires. There's no difference between which one you receive.
I can tell you that as someone who could have gotten bronze (i was too weak for the team) and is now a math phd--I would not have scored as well as alphaproof in three days most likely. In most problems either you find an idea soon or it can be much much longer. It's just not a matter of working and constant progress.
No, what has made the problem worse is the failure to supply housing. The policies directed at homelessness aren't what is exacerbating the problem, the absence of homes is. State authorities know this, and have taken some actions directed at it, but they either too small or have too long of a time window to have actually had any substantial positive effect yet. This new effort is to cover up the problem (even though it will substantively make the situation of the homeless worse, but that's considered an acceptable cost for making the problem less immediately visible and uncomfortable for the kind off people who vote reliably.)
My big struggle with docker/containers vs VMs is the storage layer (on containers).
I’m sure it’s mostly lack of experience / knowledge on my end, but I never have a doubt or concern that my storage is persistent and clearly defined when using a VM based workload.
I cannot say the same for my docker/container based workloads, I’m always a tad concerned about the persistence of storage, (or the resource management in regards to storage).
This becomes even more true as you deal with networked storage on both platforms
> We don't have a way to verify formalizations the same way.

While there is no perfect method, it is possible to use the agent to determine if the statement is false, has contradictory hypotheses, or a suspiciously short proof.
AI Didn't Take My Job
Thank you! That's an excellent point.
Firefox on Ubuntu works on my machine, but only using your link, and it displays "[App.AppleMaps.Title]" as the tabs title. The POIs seem to be correct in Switzerland.
So Andrew saved us not only once, but twice!

It goes to show that yes, you need someone to score, but you also need someone to make that critical pass of the ball.
yeah but that's not going to happen to me though
This only works if you assume we are in a free market. We are not, and no such market has ever existed.

Setting up a coop versus setting up a company aren't on equal ground. One has clear legal roads, and the other is perceived as communism by 50% of Americans. Sorry, it just doesn't work that way.

It's a similar argument I hear against unions - "well go work somewhere else!"
The problem is that it's just not equal. Companies have infinitely more power and leverage than laborers. The labor market is EXTREMELY skewed in favor of companies.

If we want the labor market to not be skewed like this, we will need to allow (and even force) laborers to unionize. That's just not gonna happen. In practice union busting is not only allowed, its perceived as a good thing.
I never thought of reversing as something you pick up a book for. Everything I learned was through application from a young age.

1. Learning how to use Cheat Engine to scan video game process memory and modify games.

2. Learned how to read/replay packets in an MMO to try an cheat.

3. Learned how to craft DLLs, hooks and inject them in processes.

4. Learned how create patches for executables to solve some crackme challenges.

5. Mess with real world software that requires a license key, to suddenly not require a license key (or accept any key).

6. Mess with binary formats to try an reverse how game saves worked to.. you guessed it, cheat.

7. Get a real job and make money with the skills and knowledge I acquired.
Agreed. But historically, Apple pushed users really hard towards their native apps. I’d be personally happy using a better web version of for example Apple Notes when I’m forced to use Windows.
Your assigned seat won’t be worth squat when a parent with two screaming, seat kicking, kids sit behind you. The flexibility of Southwest’s seating model allowed the 20% of us who favor it to “game” the system on their perpetually 100% loaded flights (don’t sit by kids, select two open seats with slender person in third seat, etc.). I’ve been dreading this. To me, they just gave up their competitive advantage.
just as a meta idea, i'm mystified that systems folks find it impossible to create protected mode operating systems that are protected, and then we all engage in wasteful kluges like VMs.

i'm not anti-VM, they're great technology, i just don't think it should be the only way to get protection. VMs are incredibly inefficient... what's that you say, they're not? ok, then why aren't they integrated into protected mode OSes so that they will actually be protected?
The modern developer yearns for Java
What do you mean? The credit is settled either in barter or coinage, isn't it?
This is kind of an ideal use-case for AI, because we can say with absolute certainty whether their solution is correct, completely eliminating the problem of hallucination.
For sure. I feel like mathematicians are not paying attention (maybe deliberately) we have a real shot of solving some incredibly hard open problem in the next few years.
that sucks that you're the only one in the world that it doesn't work for. sorry to hear that
They didn't "release" anything, it's a paper.
Patatap: Interactive Web App Combines Sound and Visuals with Keyboard Input
Me too, but I still find 4,6,8 a lot easier to read than 四,六,八
You're not wrong and in general the conclusion is that AI emits less CO2 than a human performing the same task. Whether that's true for this specific task is worth asking, as is the question of how efficient such a process can be made.
That's largely been my observance as well. My SO has done a lot of feed the homeless work, and my best friend runs a medic/first-aid program to treat homeless. I haven't gone much, because it frankly breaks my heart to see. It's tough to even write about.

I don't think shipping people all over the country is a good solution... I do think that building a lot of cheap housing (the projected costs someone mentioned, like $1.4m per dwelling seems insane). Modular construction designs should be possible to deliver 1br or studio homes with a 3/4 bath and kitchenette for under $150k each relatively easily, including transport and final assembly.

It is really hard for me to understand that level of addiction or dissociation, but I've definitely seen it.
The Lydian coinage was made of electrum - an alloy of gold and silver. The headline suggests they made both gold and silver coins, which they didn't.
> Individual companies being owned by their employees isn't socialism.

Actually, yes, this is the literal definition of socialism. It's workers owning the means of production.
An undergrad highlight for me was hearing the bitkeeper/git story from Tridge one afternoon that he happened to be in the faculty lunch room :)
Did you actually need to find the true median of billions of values? Or would finding a value between 49.9% and 50.1% suffice? Because the latter is much easier: sample 10,000 elements uniformly at random and take their median.

(I made the number 10,000 up, but you could do some statistics to figure out how many samples would be needed for a given level of confidence, and I don't think it would be prohibitively large.)
Click the top "result".
Why on earth would I want to go to the movies and watch myself?
Because so did the AI?
> The US has the highest pay gap of any nation.

This doesn't contradict your point, but fwiw the pay gap of quite a few other nations come before the US. In terms of RP, the US ranks about 35th, behind many African and Asian nations.

https://en.wikipedia.org/wiki/List_of_countries_by_income_eq...
oops, sorry, thanks
Someone wasn't ready for HackerNews traffic.
I ran these two example searches we have on our homepage on AnswerThis:
(3D ion shuttling) https://undermind.ai/query_app/display_one_search/b3767fb7b6...
(laser cooling to BEC) https://undermind.ai/query_app/display_one_search/c5f77f862a...

The results from their website aren't sharable, but their lists of references do not seem relevant (ie. they miss the fact that shuttling needs to be in 3D, and the list of experiments for laser cooling to BEC is missing all of the relevant papers).

I think, like other research tools, they're more focused on the summarization/extraction of information, rather than the discovery process (though they are similar to us in the way they say they do multi-stage retrieval and it takes some time).
Even moderately competent routesetters will set better routes than are achievable this way. Perhaps if the setting is extremely dense, you'll have enough hold options to come up with some decent routes, but that's work--work you're already paying for setters to do.
I'd love if all psychoactive compounds could be removed from coffee beans. The stress response and inability to sleep I get from decaf beans is pretty much comparable to that from normal beans (and distinctly different from pure caffeine or green tea)
That option also exists, you can just leave out the `messUpTheArray` lines and you get an error about how `undefined` also doesn't have a `.toLowerCase()` method.

However this problem as stated is slightly different and has to do with a failure of OOP/subtyping to actually intermingle with our expectations of covariance.

So to just use classic "animal metaphor" OOP, if you have an Animal class with Dog and Cat subclasses, and you create an IORef<Cat>, a cell that can contain a cat, you would like to provide that to an IORef<Animal> function because you want to think of the type as covariant: Cat is a subtype of Animal, F<Cat> should be a subtype of F<Animal>. The problem is that this function now has the blessing of the type system to store a Dog in the cell, which can be observed by the parts that still consider this an IORef<Cat>.

Put slightly differently, in OOP, the methods of IORef<Cat> all accept an implicit IORef<Cat> called `this`, if those methods are part of what define an IORef<x> then an IORef<x> is necessarily invariant, not covariant, in <x>. And then you can't assume subtyping. So to be sound a subtype system would presumably have to actually mark contra/covariance around everything, and TypeScript very intentionally documents that they don't do this and are just trying to make a "best effort" pass because JavaScript has 0 types, and crappy types are better than no types, and we can't wait for perfect types to replace the crappy types.
Walking, scootering or taking transit to work became of considerable less interest to me once I became fully remote.

What is interesting to me now is whether my children will able to walk to school and back, since that one is not remote, and I hope it won't be.
Show HN: LaunchFlow – Automate Your GCP / AWS Infrastructure with Python
Hey everyone, we just released a new version of our Infrastructure as Code Python SDK that now runs entirely on your machine - no account required.

LaunchFlow extends OpenTofu to provide features like multi-environment support [1], autoconfigured infrastructure clients [2], and API release management [3]. Our goal is to provide a Python-native infrastructure toolkit that handles everything from automating your infrastructure to using it in your application code.

You can use our library of preconfigured OpenTofu modules to add GCP / AWS infrastructure to your app with just a few lines of Python code. Includes integrations with FastAPI, Flask, and Django.

You can follow the Get Started Guide (https://docs.launchflow.com/docs/get-started) to launch an example FastAPI app to GCP / AWS in minutes.

[1] https://docs.launchflow.com/docs/concepts/environments
[2] https://docs.launchflow.com/docs/concepts/resources
[3] https://docs.launchflow.com/docs/concepts/services
Show HN: Free Google Sheets and Excel Templates
free easy-to-use spreadsheet templates for in Google Sheets and Excel.
They’ve spent tens of billions over the years. If the homeless population of California were a country, it would have a budget larger than some African nations.
Both sides of the process have real skin in the game, but the difference is that employers (and not employees) typically control the structure of the hiring process. So insofar as the hiring process becomes degenerate, that's something companies can do something about, but not something candidates can do much about (except in this case fail to follow their own obvious incentives).

I'm not exactly cheering for LLM-driven spam here, but the way applications work has incentivized candidates to be maximally spammy for a very long time.
"AlphaProof is a system that trains itself to prove mathematical statements in the formal language Lean. It couples a pre-trained language model with the AlphaZero reinforcement learning algorithm, which previously taught itself how to master the games of chess, shogi and Go."
I think it depends how you brew it. Filter, for example, is a lot more forgiving on flavor than espresso. My decaf beans start to go bad for espresso after a few days of buying them, but for filter they will last much longer. One recommendation by coffee aficionados is to freeze your decaf beans as soon as you get them and then grind them frozen. I haven't tried that yet, I just buy in small batches so they are usually rather fresh.

Mixing half decaf with regular beans is a great idea, I've been doing that for years. The mix of flavors is good too, if you are brewing filter. You can get away with a lot more when you do filter.
Having homes be investments is a good thing, in the original sense of "investment": something that you own which you put effort into in the hopes of making it better later. Incentives change dramatically as a homeowner in ways that are generally beneficial to the community: you are incentivized to improve the property, to maintain the property, to put effort into the local community in ways that make the land and location more valuable, and so on.

I think that what you're complaining about is the financialization of investments, where every investment has an associated dollar value and that dollar value must always go up. This affects more than just homes. The need for monotonically-rising corporate earnings makes corporations pull all sorts of accounting shenanigans, it makes them cut costs and push sales until the product quality is the bare minimum people will buy, and it results in all sorts of pain for workers in the resulting reorgs and layoffs. The usage of Bitcoin as a token whose value just goes up has negatively hurt the development of the crypto economy, because people aren't actually using crypto, they're just hodling and hoping $$$ go up.

The elephant in the room here is fiat currency, positive inflation targeting, and negative real interest rates. If you know that the dollar's value is eventually going to zero (which follows mathematically from inflation being an exponential curve), then the sum of the cash flows from any productive asset becomes infinite, and the only check on its value is that investors can't really reason about infinite time horizons. If inflation were targeted at zero (or at least some value that gave positive real interest rates), then that sum converges and you can speak about properly valuing assets and allocating capital efficiently.
No, you can have availability and consistency as long as you have enough replicas. Network partitions that leave you w/o a quorum are like the whole cloud being down. Network partitions don't leave some clients only able to reach non-quorums -- this is the big point of TFA.
nlinarith is a proof automation that attempts to finish a proof using the simplex method to find a linear combination of hypotheses and things that have already been proven, as well as some quadratic terms of them.

Docs: https://leanprover-community.github.io/mathlib4_docs/Mathlib...
Definitely. Once you aren't adding new features, the only thing left to do is fix bugs. New rewrites can make the same old mistakes. But there is the potential to have a lower "bug floor" in a safer language.
You seem to have missed an absolutely critical element of what drives human behavior. We call it "incentive".
I disagree that a decrease in productivity would make society worse as a whole. For example, the change from Serfdom to a more standard 40-hour work week certainly lowered productivity, but it also made society better.

Also productivity is complicated because humans are complicated. You may assume that, say, 50 hours of work is more productive than 40. But I doubt it - from what I've seen, it might be less productive. Even though more time is spent.
>My family could have been a lot wealthier if he had kept a cut of the company.

Unlikely... He probably made just as much or more with the ESOP than he would have selling in a private sale. When a business owner creates an ESOP for their business they sell their shares of to the company to the company itself TAX FREE for a fair independent valuation. It's just another way for a founder to cash out. It absolutely does benefit the employees, but it's not an act of charity, the owner still cashes out and realizes the full valuation of the company they built.

https://www.forbes.com/sites/darrendahl/2016/07/07/if-you-di...
Lightning cable. Gotta mess with it until the iPhone charges. I'm not replacing it until it's tied into a blackwall hitch and still isn't charging.
docker is your userspace program carries all its user space dependencies with it and doesn't depend on the userspace configuration of the underlying system.

What I argued in my paper is that systems like docker (i.e. what I created before it), improve over VMs and (even Zones/ZFS) in their ability to really run ephemeral computation. i.e. if it takes microseconds to setup the container file system, you can run a boatload of heterogeneous containers even if they only needed to run for very shot periods of time). Solaris Zones/ZFS didn't lend itself to heterogeneous environments, but simply cloning as single homogeneous environment, while VMs suffered from that problem, they also (at least at the time, much improved as of late) required a reasonably long bootup time.
So how are new ones minted?
Okay, if that's what you're saying, then I don't understand why it sounds like you're disagreeing with the poster you're responding to.
Mondragon is probably something of interest for this discussion. It's a federation or worker owned enterprises.

https://en.m.wikipedia.org/wiki/Mondragon_Corporation
It turns out a lot of return-to-office mandates were meant to make workers quit
You don't have to use RLS. You can do permissioning in VIEWs and TRIGGERs.
A lot of cities in Los Angeles don’t allow short term Airbnb’s anymore.