skysight-inc/HackerNews huggingface dataset:
My impression is the "bold new thinking" you are describing was just "hey, we don't have the funds to actually address this issue; and the police sweeps are just kicking the can down the road and make things a lot worse for those sweeped - perhaps we should pause those sweeps?"

It's a "kick-the-can-down-the-road" solution either way. Can you enumerate other strategies that are part of the bold new thinking?

My estimation, the real bold new thinking are things like universal housing, UBI, and/or even more basic things like expanding shelters & making those reliable and safe places to be. All of these things require funds, and seemingly West Coast Americans don't want to pay for it. And so, the can is kicked.

I'm aware of a few things that were attempted in Seattle. Notably 'tiny-home-communities', which had some success. Though the rising land value where they were built displaced those communities and they were never rebuilt [1].

Which goes to my point, the real "bold" thinking was hardly ever truly attempted anywhere. Pausing sweeps is just kicking the can down the road, and I don't think many people were pretending that was an actual "bold solution." Arguably just a best of worst-options.

Though, while we differ in our perceptions of what has been attempted, and how sincerely those efforts were made - we agree on solutions. The solutions require serious efforts from a very empowered local community (which would imply state funding to support those efforts).

[1] https://www.fox13seattle.com/news/what-happened-to-south-lak...
Do these models really operate in RGB space? I would have thought that using a perceptual color space to generate images meant to be perceived by humans would be low hanging fruit.
Control D, Meet Tailscale
Programming with Confidence: TDD in Go
You should be able to try it here without loggin in: https://www.undermind.ai/query_app/promotion/ (set up for HN today).
If not message support@undermind.ai and I'll set you up.
Yes and there's a lot of search here too. That's a key to the approach
Yes and I prefer it over any other mail app.
> Modern "containers" were invented to make thinks more reproducible ( check ) and simplify dev and deployments ( NOT check ).

I do strongly believe deployments of containers are easier. If you want something that parallels a raw VM, you can "docker run" the image. Things like k8s can definitely be complicated, but the parallel there is more like running a whole ESXi cluster. Having done both, there's really only a marginal difference in complexity between k8s and an ESXi cluster supporting a similar feature set.

The dev simplification is supposed to be "stop dealing with tickets from people with weird environments", though it admittedly often doesn't apply to internal application where devs have some control over the environment.

> 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 would be interested to hear how you use them. From my perspective, raw jails/zones are missing features and implementing those features on top of them ends up basically back at Docker (probably minus the virtual networking). E.g. jails need some way to get new copies of the code that runs in them, so you can either use Docker or write some custom Ansible/Chef/etc that does basically the same thing.

Maybe I'm wrong, and there is some zen to be found in raw-er tools.
Same. This is me: https://scholar.google.com/citations?user=eQ1uJ6UAAAAJ&hl=es

And post.harvard.edu has been sunsetted for alums, so I don't have that email either.
For me it's about the ROAC property (Runs On Any Computer). I prefer working with stuff that I can run. Running software is live software, working software, loved software. Software that only works in weird places is bad, at least for me.
Docker is pretty crappy in most respects, but it has the ROAC going for it.

I would love to have a "docker-like thing" (with ROAC) that used VMs not containers (or some other isolation tech that works). But afaik that thing does not yet exist. Yes there are several "container-tool, but we made it use VMs" (firecracker and downline), but they all need weirdo special setup, won't run on my laptop, or a generic Digitalocean VM.
The Death of SaaS
After the initial gaffes, I was reluctant to use it and stayed with Google Maps for a long time. But a couple years ago someone mentioned it had improved, and I'd already been trying to gain some distance from Google... and it's pretty usable. I'll just remember to be a little skeptical if it tells me to drive across the Australian desert.

I wish I was even half as happy about DDG though.
The problem is, the most prudent action for most cities is to make it someone else's problem and give the homeless bus tickets out of the area. Without some level of mandate, that's what you will often see.

The flip side is, a significant majority of the issue comes down to drug addiction, from which any prescribed solution is likely to fail.

I'm not sure what the best answer is... but even relatively low cost studio apartments may be an answer. Something between a dorm and an apartment. Even then, the costs are extremely high, and in areas of excess NIMBYism and legislation regarding any construction both of which are heavy in California, it's harder still.
I've been meaning to do a bhyve deep dive for years, my gut feelings being much the same as yours. Would appreciate any recommended reading.
it would still be lying by omission at least
Tell us how your AI experiment is going. By the amount of downvotes, I'd say pretty bad.
That just nonsense. The media at large barley ever even even talked about the effect on capacity.

Most people didn't even know anything beyond X fast to city Y.

Once you get to the people who understand capacity, most are well aware that it doesnt solve everything. Nobody believed it would solve issues to the South or the West.

Critics almost universally used the 'we should use the money to increase capacity line'. As if that not what HS2 was designed to do.

HS2 certainly creates more capacity then anything else proposed, certently more then some of the ideas thrown out 'improving X other line'.

And it serves as a excelent backbone to address other capacity issues that exists in the network.
The Tile network is not great, in my experience.
> As long as Node understands to use the project-specific version of TypeScript

It won't, but in such a scenario, typescript would only be a type checker, wich is a entirely different endeavor than running typescript.
It's rumored that the NSA has 600 mathematicians working for them. If they are the ones finding the exploits you will probably never hear about them until they are independently discovered by someone who can publish.
Action Jack is also a little Eric Schmidt I think, investors wanting to bring in a seasoned CEO to run the company.
Good. I want my AI to use all the advantages it has to reinvent the landscape of mathematics
The AI is the "solver network", which is the (directed) search over solutions generated by Lean. The AI is in doing an efficient search, I suppose.

I'm also waiting for my answer on the role of the Gemini formalizer, but reading between the lines, it looks like it was only used during training the "solver network", but not used in solving the IMO problems. If so then the hyping is greatly premature, as the hybrid formalizer/solver is the whole novelty of this, but it's not good enough to use end-to-end?

You cannot say AlphaProof learned enough to solve problems if formalization made them easier to solve in the first place! You can say that the "solver network" part learned enough to solve formalized problems better than prior training methods.
respond to threats faster. and without direct involvement of the owning company, since their GPO or other updaters / control systems may also be compromised.
Yeah lol i don't think either is hard to formalize in lean
MBAs eating the world again...
I think you undersell the "do not like staying in shelters" part.

> you cannot keep stuff there

If you are already low on belongings, having the rest of your stuff be stolen is not worth sleeping in a shelter

Pets often cannot be kept in shelters. This is huge, give up your dog just to stay in a shelter for one night?

> homeless or otherwise people do not like staying in shelters

They are unpleasant and often unsafe. Theft & violence are common. Many have really gnarly intake processes where you wait in line for hours to only find out after nightfall if you are going to have space or not.
Sure, it’s an option which eliminates the possibility of certain types of errors, but it’s costing you the ability to pool computing resources as efficiently as you could have with a multi-tenant approach.

The author did acknowledge it’s a trade off, but the economics of this trade off may or may not make sense depending on how much you need to charge your customers to remain competitive with competing offerings.
Big PC-game modding project "Fallout: London" now ready to download
This is quite thought provoking. I can totally see ads for, say Disney World, where they put you in the picture instead of an actor. I mean, the whole goal of these ads is already to have you imagine yourself there. Putting you in the picture makes it that much easier.
Very few humans can after years of training. Please don't trivialize.
It's called Llama because it has L L M in it and is cute.
The same decaf coffee is more expensive. The producers decaffeinate their lesser coffees. But you've hit on why the "sugar-cane method" i.e. the solvent based approach produces better coffee. It's possible for it to be done at origin and so the actual coffee producers can choose what coffee to decaffeinate and can absorb some of the additional costs in the "processing" stage while using higher quality coffee in the process.
Two different AI bots in this thread. Yours is going worse than the other tho your karma is negative.
That’s the best feature of Apple Maps. Google hides a ton of businesses, even at max zoom.
you are replying to a bot
Interestingly that /abc link works for me on Linux (Brave), but the published link doesn't work for me on Linux+any browser, Chrome included.

Agreed, quite annoying. I own a bunch of Apple stuff, but when they do this crap i can't invest further into their ecosystem because it's unusable to me much of the time.
Executive function tax.
Thanks for the comment! Would love to know what you think and how we can make the app better :)
While this may have some appeal, I think it'll be similar to the fake Time magazine covers that made it look like someone you knew was named Time's person of the year. Good for a chuckle, but not much more.

I think applying the same idea to video games makes more sense, especially given the autonomy you have in a video game, but even then, the appeal wears off pretty quickly.

Games have had features that allow you to put your likeness in the game before, and that feature probably isn't what people we're buying the game for. Tony Hawk's Pro Skater 2 for Dreamcast allowed you to map a photograph of your face to the in game player. Odd example, but I actually just dusted off my old Dreamcast and remembered this feature the other day as the 20 year old game save had my 20 years younger face on the main character. What I recall about that experience was that for about 2 minutes it felt special, and then never thought about it again until feeling confused about why I was in the game before remembering.
A lot of homeless won't go into shelters for multiple reasons, including the fact that many are less safe than staying with somewhat known communities outside the shelters. The other is not being able to keep their drugs. I've seen many homeless that refuse to seek appropriate medical care for open wounds (including gun shots) because they don't feel they can stay clean through the care they need.

The level of addiction is crazy. I think a lot of people should volunteer a few times with a feed the homeless or similar charity and actually talk to some of these people before suggesting definitive answers. Most solutions simply won't work with the strings often attached.
I read this as “In My Opinion” and really thought this about AI dealing with opinionated people. Nope. HN is still safe. For now…
recorded a dozen times =/= thousands of cameras. likely not even 100 cameras.

my neighbors all have door cams but the liklihood of them seeing me as I drive by is low. even if I get tagged by literally 20 cams on the way to work and on the way back, plus another 20 getting lunch, I'm still nowhere near "thousands"
Clear Containers/Kata Containers/firecracker VMs showed that there isn't really a dichotomy here. Why we aren't all using HW assisted containers is a mystery.
> Homes should not be an investment.

[…]

> But we should normalize renting

Isn’t it investors who would normally own rented homes, and own them specifically as an investment, whether each investor only owns one home or several/many?

I’m guessing you meant that an owner-occupied primary residence shouldn’t be an investment, which is usually good advice.
Is this for North America or worldwide?
Great book.-
Yeah! Excited to see what you think of it. Making our tracking algos and shot classifiers better is something we think about a lot.
Amazon Reportedly Start Charging Up to $10 a Month for Premium Alexa AI Features
Quite a lot of people would be very happy with those odds, too.

Trouble is, at least if I understand right, for random new treatments still in the animal trials, the odds much much worse than that (there's also a third option, does nothing, and a fourth option of treating the condition but with side effects).
Exactly.

The first two AP1000s in the US were expensive AF.

And even the second one (Vogtle 4) a little less than the first (Vogtle 3).

You probably want to start a second design after a bit. Not all eggs in one basket. Fortunately the NRC Part 52 licensing makes that possible.
> You know what else is a solvent for decaffeinating coffee? Benzene.

Please don't spread misinformation. Benzene was the original solvent used 120 years ago in Germany when decaf was first invented. It did not last long as the dangers of benzine became apparent. There have been several generations of solvents used in the over one century since then and benzine has not been a part of the decaf world in a very long time.

> Don't drink decaf.

There is no reason not to drink decaf and recent studies have found it to be just as beneficial as normal coffee for antioxidant properties. Coffee in moderation is good for you, caffeine or not.
It's been a good investment for many people for obvious macro reasons but also because:
1. You can live in it (thus realizing value directly).
2. Since you live there you can't easily panic and sell in a downturn.
3. Leverage (U.S. gov't FHA provides almost 30:1 leverage)
4. Lenders can't liquidate you simply on account of decline in value (no margin calls)
There are rumors that Lego is working on a future Mindstorm system. Haven’t heard any hard news about it though.
Actually, CAP theorem is only relevant to a database transaction, not a system. The system has to be available to even LET the card process. This is why no bank would ever use anything BUT an ACID based system as data integrity is far more important than speed (and availability for that matter).
Yeah that's kind of a crummy tradeoff.

Docker is "Runs on any Linux, mostly, if you have a new enough kernel" meaning it packages a big VM anyway for Windows and macOS

VMs are "Runs on anything! ... Sorta, mostly, if you have VM acceleration" meaning you have to pick a VM software and hope the VM doesn't crash for no reason. (I have real bad luck with UTM and VirtualBox on my Macbook host for some reason.)

All I want is everything - An APE-like program that runs on any OS, maybe has shims for slightly-old kernels, doesn't need a big installation step, and runs any useful guest OS. (i.e. Linux)
That’s fine if you value availability over consistency. Which is fine if that’s the appropriate choice for your use case! Even then you have to decide whether to accept updates in that situation, know that they may never be reconciled if the partition is permanent.
You really do need to consider a full partition, and a partial partition. Both happen.

It's most common that you have a full partition when nobody can talk to node A, because it's actually offline. And sometimes you've got a dead uplink for a switch with a couple of nodes behind it that can talk to each other.

But partial partitions are really common too. If Node A can talk (bidirectionally) to B and C, but B and C can each only talk to A, you could do something with clever routing tricks. If you have a large enough network, you see this kind of thing all the time, and it's tempting to consider routing tricks. IMHO, it's a lot more realistic to just have a fast feedback between monitoring the network and the people who can go out and clean the ends on the fiber on the switches and routers and what not. The internet as exists is the product of smart people doing routing tricks on a global basis; it's not universally optimal --- you could do better in specific cases all the time, but it's really easy to identify these as a human when something is broken; actually doing probing for host routing is a big exercise for typically marginal benefits. Magic host routing won't help when a backhoe (or directional drill or boat anchor) has determined your redundant fiber paths are all physically present in the same hole though.
+1 on all of the above... Shelters as they are, are a no-go for most homeless.
Yea, the strength and excess of the US consumer is both blessing and curse.

It to a certain extent increases our standard of living and makes stimulus really move through the economy, unlike a lot of more frugal countries / cultures that just save it all, but of course it makes us more precarious.

However, it's also a systemic regulatory issue where companies are able to essentially scam customers, offer deals that are too good to be true, etc. which further extracts money from our working class.

There's an unhappy medium between European-style consumer protections and many countries where the lack of regulation makes everyone very savvy to how everyone from big companies to street merchants are likely trying to scam them.
Holy shit...I hadn't realized credit card rates have become that high!
Oh, great, people love JavaScript. What a shock.
My bank doesn't even have 2FA
Can you give some context on how using Lean benefits?

In my understanding, proofs are usually harder to transcribe into Lean which is nobody _writes_ proofs using Lean.

What is a nlinarith?
It used to be 2.5 EUR or so, but now it's risen due to inflation. Keep in mind that in Greece, your family will also support you if you're unemployed, so it's not uncommon for parents to share their pension or children to share their salary with the family.
No, but they do have their own VM/container(s) separate from all the other banks that use the same service, with persisted data in their own storage account with its own encryption keys, etc.

We deal with banks in DayJob - they have separate VMs/containers for their own UAT & training environments, and when the same bank that works in multiple regulatory jurisdictions they usually have systems servicing those separated too as if there were completely separate entities (only bringing aggregate data back together for higher-up reporting purposes).
Then it seems that permitting profiteering results in better outcomes. At least for certain things.
I think the future will be a web browser running inside a VM and then the final DOM including all referenced resources go through a filter before being rendered. That way, it's impossible for the website to detect if you display the ads or if you just just load all necessary resources for rendering but mask them out.
Having a blacklist assumes these companies are competent enough to have agreed upon standards, infrastructure, budgeting for sharing these fraudulent applicants. I very much doubt this has happened. Strike down one AI, and ten more pop up to take its place.
Focusing on the possible upsides tends to ignore the possible downsides. Worker ownership is only great when the company does well. If the company does not do well, the workers don't just lose their job but their nest egg at the same time. Let's not pretend that you can always influence whether your company will grow or not, sometimes you just work at Altavista and Google just launched.

The average worker has enough of their income tied up into one employer already, they don't need to have even more economic concentration. It would perhaps be better if every company was owned by everyone other than its employees, with the employees of every company being forcibly made to invest in every other company. That way everybody gets to have an cushion if they ever lose their job or their company goes under. A bit like a DIY UBI if you will.
I was going to come here to say that. I remember being a teenager and giving up in frustration at IMO problems. And I was competing at IPhO.
I don't know about Google specifically, but I know that it's way more than 0.0000000001% because I personally have been paid more than 0.0001% of Google in stock compensation. A typical Series A startup reserves 20% of the company for the option pool, and then there are follow-on refresh grants.

Note that if you run the math on the company in the article, they're considerably less generous than that. They say they have 1500 employees, $1B in revenue, and the average employee makes about 8-26% of their earnings. Figure that's maybe $20K/employee * 1500 employees = $30M in stock compensation on $1B in revenue, so they spend 3% of their revenue on stock compensation. If you figure the company is valued at $4B, they're giving away like 0.75% of the company per year, a bit less than Google and way less than a tech startup.

This is probably a PR hit for Central States Manufacturing anyway, to help their recruitment efforts.
Don't think of lean as a tool that the ai is using (ie, cheating), think of lean plus AlphaProof as a single system. There's no reason to draw artificial boundaries around where the AI is and where the tools that the AI is using are. Lean itself is a traditional symbolic artificial intelligence system.

People want always knock generative AIs for not being able to reason, and we've had automated systems that reason perfectly well for decades, but for some reason that doesn't count as AI to people.
> Computer languages exist to perform useful things that affect the world in some way, not just to express algorithms, and so their success depends in part on their utility.

Their all-in utility. That is, their utility after taking into account usability, but also availability, availability and robustness of libraries, perhaps portability, and I'm sure there are more variables that affect net utility.
Decaf is simple to pick out by a person who is competent at tasting coffee. As easy as your red/white wine visual test. People in general are very bad at tasting and especially thinking and communicating about tasting. Plus also people may not know what decaf coffee tastes like or may have never thought about it before.