skysight-inc/HackerNews huggingface dataset:
That particular quote isn't questioning Lean, but "convert[ing] the proof into inputs for Lean." GIGO
I remember a certain version of AIM crashed if you sent “&#770;”
Labor shortages and costs are a red herring here: an NYPD officer makes more than the average New Yorker on their first day[1][2], and there are around 36,000 of them, most of whom are expected to be doing things like responding to noise complaints already.

Besides: it's not like we're talking about autonomous drones here, and it's not like a drone can write a noise ticket. I doubt the city is saving any time or personnel by using drones here; if anything, there's likely some sweet overtime (in the form of "drone training") available for cops who pilot these things rather than making door calls.

[1]: https://www.nyc.gov/site/nypd/careers/police-officers/po-ben...

[2]: https://www.ziprecruiter.com/Salaries/--in-New-York
> I would guess that this must be a gas giant core that had its outer envelope blown away

Well yeah? From what I read, this is a larger star than average, as well as a really close orbit.

I am failing to understand why this is surprising to the experts because the description sounds to me like the sort of exoplanet that there is/was a heavy bias towards from the beginning.
4/20 noob, picked all As.
No hot springs without atmosphere, and we'd see vapor vents if there were something similar exposed to the surface, I think.
Lol, this is exactly where I'm at. I push others to do wsl2 + podman but I'm doing Hyper-v myself just because fighting cgroup and systemd stuff was quite annoying. Further, you get some really nice space saving with the btrfs driver.
It's a little off to think that a mainframe was "chosen". Software and the companies that write it and support it "chose" the hardware for you.
And in both cases those surfaces would turn water into vapor, so no surface water.
I was around back then and played with transputers as well, I really hoped they'd be the future because it seemed a lot more interesting than the alternatives. Well, here we are :)

It's interesting how you now have the equivalent of a supercomputer from back then in your pocket. Talk about wasted potential...

I read the Parsytec page, I never knew about them, but very interesting machines.
Acceptance of the bottleneck is based on the lack of variation in human DNA.

Statistics rather than intuition.
I'm applying this to Mandarin (link in profile), and while there might not be much publicity/hype, there's definitely been an avalanche of people doing the same thing.

Current problems to solve:

- even the "best" LLM (GPT-4) frequently generates explanations/grammar that are plain wrong. Even its "correct" output isn't quite native (not as bad as round-tripping a sentence through Google Translate, but it's just slightly off).

- LLMs from Chinese companies (Qwen/Baichuan/etc) are immensely better at producing natural Mandarin (but fall short in other respects, which is unsurprising because they're smaller). I haven't tried fine-tuning LLaMa-2 yet, but I've had good success fine-tuning Qwen.

- in my opinion, 90% of the market doesn't need open-ended conversation about random topics. They need structured content with a gradual progression and regular review. You can use LLMs to generate this (which is what I'm doing), but it's not like a random newbie student is going to be able to design this themselves.

Not saying any of these problems aren't solvable, just pointing out the work that still needs to be done.

For me, the most exciting prospect is automated grammar correction during spoken conversation. I've made things harder for myself because I wanted to keep everything on-device so users could be assured that if they purchase something, they'll have access to it forever[0]. The downside is that I can't (yet) practically deploy any of these cutting-edge LLMs at the edge so I'm kind of handicapped in what I can do.

[0] subject to iOS/Android forced upgrades, which I have no control over. It's all cross-platform though, so I'll make a macOS/Linux/Windows version available at some point.
The most important articles will get cross-posted everywhere organically and people looking for "discovery" (self-promotion) will learn to cross-post as well.

But I'm skeptical about replies getting cross-posted between communities, which seems like a great way to keep silly arguments going when it would be better if they died out? It reminds me of accidental reply-all on email lists.

So it seems like automatic cross-posting only links and questions might be enough?
Mounting a guest fs or syncing it to the host is rife with security footguns.

I've developed almost exclusively in VMs for over a decade. One reason I use VMs is to isolate the execution context from development and deployment. I used to passthrough from the host but poor performance and the lack of inotify are DX barriers. Passing through the FS to the host is a no-go because of subtle executable things like git-hooks that could enable sandbox escape.

The simplest and best approach I've found is to use a git remote on the host to push branches to/from the guest sandbox. I can commit on the sandbox fs and treat the host as an upstream remote. On the host I pull from the sandbox and push up to GitHub/etc. It's a bit more process but becomes second nature quickly and requires no extra tools. This also works well for remote servers.

Another approach I've used is lsyncd to sync files from the host to the guest (Mutagen is another cool syncing tool). In practice, though, I've found syncing to be a footgun too. It's too easy to edit a file on the host and blow away a change inside the guest with no undo. This is one reason I've found explicit git push / pull to be cleaner.
Lidl recalls popular Paw Patrol snacks over inappropriate message
Yes. I think they’re not dying. They’re turning into zombies, soulless husks that eat the brains of anyone who gets too close.
What if what you believe is true, but that driverless cars are still safer?
An alias of the 555 fictitious exchange prefix, also sometimes KLamath 5 or KLondike 5:

<https://en.wikipedia.org/wiki/555_(telephone_number)>
It really depends on what you expect as a threat. Ask a Casino owner if they fully trust an RNG system and you will get laughed at. Randomness is not encryption and can be broken with enough knowledge of the system.
Fortunately, there will probably exist, in the somewhat near future, another solution providing simplistic load balancing: HTTPS and SVCB records in the DNS: <https://datatracker.ietf.org/doc/draft-ietf-dnsop-svcb-https...>
Generic reply to siblings here… I get the intelligence argument.

My _main_ point is that there’s a non-trivial question to answer here.

I’m not qualified to answer (though I’ve offered up my non-expert opinion). It certainly seems to quickly veer in to philosophy!
> as there are still humans driving I believe they are not capable of managing perplexing states that humans have no problems dealing with

I don't understand how you can believe that if you watch a few videos of self-driving cars navigating complex situations. Here's a good one: https://twitter.com/kvogt/status/1641123102858919953

They can't do this everywhere or under all conditions, and they still make plenty of mistakes. Still, if a Cruise car can navigate through a crowd of drunks who walking in the street, they're certainly capable of managing complex situations.
Tramps works well for simple use cases, like quick config edit or view some files etc. For full blown project development, I found numerous issues with tramp. Many plugins that work well with local files might not work well with remote files. This is not a fault of tramp though, just that not every plugin authors have time to support tramp well etc. At the end, I went with mosh + emacs setup which just works once you spend some time to setup[1] your terminal.

1: https://ananthakumaran.in/2021/07/31/emacs-remote.html
you don't need to be a kreskin to predict bsd's future
> This culminated in the perpetrators carrying out a physical theft, by using stolen credentials to enter "a secure building" at Microsoft's Redmond headquarters and exiting with publicly unreleased prototypes of the Xbox One codenamed "Durango". Group members say they were driven by a strong curiosity about Microsoft's then-unreleased Xbox One console and associated software.

I don’t know, this seems a lot more than ‘hacking’.

18 to 24 months seems about right for that IMO. Typically I am horrified at US sentencing but this doesn’t seem terrible.
I'm not even sure if it's an oversimplification or misconception. I think it might just be a plain old error, and the author meant to write "takes a Docker image".
Relighting Neural Radiance Fields with Shadow and Highlight Hints
Hmm. A given UTC time, plus "in London" does do the trick..
because of data analytics, which is a shame because both data analytics and python are rubbish
Very convenient.

Small suggestion — include a link to the name in each repository.
Because the cat is out of the bag so to speak, any attempt to force ai companies to generate their own content to train on means we are signing up for a future where only multi billion dollar companies are in control.
Personally, I believe generative AI should be lobotomized as you said. After pouring over all sorts of possibilities, I think no good will come of it.
“Hey guys, we need to train a large language model to understand all of science. All we have is a stack of old papers from the dawn of time and we need to convert them into LaTeX…”
I rode a Felt Brougham daily for years, a steel frame single speed bike that just didn’t have any fancy parts. Do the normal maintenance you would do on any bike and it was solid. If you require anything like rack, fender, or water bottle mounts, then not the bike for you, but solid for commuting in the city.
You can clock the 8088 to 10MHz, and the NEC V20 drop-in replacement ran up to 16MHz. I'd be curious to see one of those run this.
Yes, someone using a model can’t know if the generated text/image/sound is a nearly identical copy of the original material they don’t recognize. If use of the output of these systems comes at significant legal risk then then such systems become nearly useless.
>Nowhere is this belief stated in the text. It's simply not what the words mean.

Why does one ask "why"? There's two primary reason: curiosity and accusation. And generally you're not too curious on what any single worker in day to day work is doing. You may not process it as an accusation, but it can come off that way.

-----

We seem to not being seeing eye to eye so no point continuing this conversation. Instead of pushing all the blame on me, consider other lenses and experiences and understand why they feel that way. I am very pragmatic and would like to simply assume a question is a question, but that's just not how 90% of questions work when a manager is DM'ing you in chat, or some lead pops into a code review to ask why you made this PR in their module.

Heck, consider this conversation. I give my experiences and you dismiss me and try to prove my experiences wrong with algorithms. Are you really surprised I act defensively when your first instinct is to say my experienced are wrong? Can you see why this may come off as insensitive and foster a hostile environment, an environment where no one cares about your opinions and pushes all blame on you?

Good thing I don't need to tolerate comments like this at work.
That's apt :)
It's interesting how this went from "they're banning people for being Republicans!" to "no one can be banned for anything if they're Republicans."

Sounds like you want special treatment for Republicans, yet are paranoid that others might do the same thing.
I wonder if there is space for a pure IP company which simply created bike specs that manufacturers can create bikes compatible with, and then advertise themselves as “BikeDesignA” compatible.

Something like an ARM of the bike world.
I think one of your major mistakes is taking Russias and Putins word at face value and not accounting for the fact that they rarely keep any promises / agreements they have if it doesn’t serve them.

Just see the Budapest memorandum as a great example, the Budapest memorandum was a victory for the world and it requires Russia to do was to not invade Ukraine

But they couldn’t stick to it.

Another good example is the likely deal between Yevgeny Prigozhin and Putin after the failed coup attempt, he then a handful of months later dies in a plane crash.
It’s high stakes in the sense that leveraged trading is high stakes. One person can provide value to a million customers, but it’s unrealistic to expect that person to be able to cover one million people’s worth of edge cases.

So what’s better, keeping the ability for one person to have an outsized impact in improving others lives along with some caveat emptor, or bolting down the industry to the point that one line of code costs several hundred dollars?
actually most deaths are in city intersections not highways..

reason being you can’t really get t-boned on the driver side on a highway
Okay but does that include the seed? The sum of the input model datasets? I think a better scenario is no copyright for any part of this process. Give humanity what they’re going to take anyway- open access to this tech.
That explains why cheetahs never prosper
I would call it “first” and “last” and, therefore, put “first” first.

(I’m very serious, I thought a lot about this because as a non-native speaker I often get confused with expressions like “given”, “surname”, etc. don’t make me think please)
The NYC government, at the very least, is ultimately accountable for the acts of its police department. My NYS comment was a more wide-ranging shot at what happens to individual rights when one political party (red or blue) gets to call the shots.

But if the NYPD is really "unaccountable" to the NYC government, well, that seems like a ripe situation for the Feds to step in because the local government has lost control. A PD which isn't accountable to its elected government isn't a PD; it's an armed gang.
I had an emergency appendectomy at Erlanger in Chattanooga, and whoever sutured me back up accidentally punctured my intestine, didn’t realize it, and sent me home. Ended up in serious condition. I attempted to at least have the hospital cover the bill, but they wouldn’t. So I (and mostly my insurance company) paid thousands for their mistake. Laws heavily protect physicians in this respect, and it makes sense to a degree, but this seemed like an elementary error.

From the conversations I had at the time with my surgeon, his lack of communication about first-hand knowledge of what went wrong had me wondering if he did the surgery at all. Reading this article, it sounds quite possible that for such a routine surgery, he may have handed it off. Or at least left a resident to sew things back up. Based on the quotes in this article, it sounds like residents can be pretty shit at their jobs.
I don't quite get the need to perfectly reproducible builds.

At least in my org, that ends up being more of a detriment than a boon. The problem? Devs hate updating libraries, which is a crucial part of security with docker.

Call me crazy, but I prefer the fact that `apt install foo` gets the latest foo and not what was pinned. We test our images before sending them to prod so if something breaks it's pretty easy to catch it.
P = (v^2)/R. It's R that stays constant, not P.
Awesome project.

Seems to be a bit like WINE, but focusing on Mac Classic apps. Seems many old games and apps are in a runnable state already.
I hit the same problem as gp, on mobile, tho I did open in a new tab (hold+open in new tab). The back button is usually a quick swipe from right to get me back to what I was reading.
getting it from linux package manager
Well done to the Kagi team for opting into LN integration; I cannot say for sure what will come of it terms of overall volume (I don't use MAC as daily driver) but just taking the middleman out of payments underscores the mission's core principal: security, privacy and autonomy.

People here roll their eyes at such things, but honestly if more want to move away from the panopticon based Surveillance Capitalist model of the current internet, then one has to be open to the fact these payment rails are vital.
And if -by chance- you have the power of change immigration forms, I will forever be grateful.
Practically speaking how was that implemented? I would guess maybe an environment variable per app? I'm just starting out with this kind of setup on a personal project
Knowing what a monad is -as in, really knowing - is not a requirement to properly use them. It would be pure noise in a job description.
"like" is doing some work here. nushell supports:

* 16 formats to convert from https://www.nushell.sh/commands/docs/from.html#subcommands

* 10 formats to convert to https://www.nushell.sh/commands/docs/to.html#subcommands

by default. I believe that via its plugin system, anyone can write a plugin to support whatever additional formats they want, but I haven't needed to investigate that deeply.

And that's if you want to support a format specifically. You can do something similar to like, how you'd manipulate plaintext output on UNIX with other commands. For example, see this example for parsing the output of git log: https://www.nushell.sh/cookbook/parsing_git_log.html

the 'lines' command will take any text and produce a nu table, where each row is a line. At that point the data has been converted, no specific "git log" format needed.
caniuse says it's Chrome-only for now, making the claim that it's "sweeping the web development world" a bit suspect. Maybe it'll be ubiquitous by 2025?
I could write an article, but I could not write an article where my relationship to De Brujin was so casually dropped
>Bismuth, lead, mercury

It appears (I didn't previously know this) that iron, while less than 8 g/cm3 at our "normal" environment conditions, is thought to be closer to 13 g/cm3 (or more) at Earth's core.

So while 9.6 g/cm3 is dense, it's probably not dense enough that it implies a significant percentage of elements heavier than iron.

And I think that it's elements heavier than iron that would be truly shocking because I was taught that stellar fusion stops at iron, apart from supernovas.

"For iron, and for all of the heavier elements, nuclear fusion consumes energy"

https://en.wikipedia.org/wiki/Iron_peak
To anyone who has been affected by DediPath going out of business:
I will price match invoices from DediPath that you can provide for the last 2 months. We are a cloud provider that has recently made the move off of Dedipath due to issues with uptime. Their lack of ability to follow an SLA was causing issues with our customers. We are now in colocations that are SOC 2 Type 2 verified and follow strict procedures to achieve the advertised uptime.

We can GUARANTEE an uptime of 99.9%. However, uptime will most likely be more. If you have any questions, please reach out to sales@technolify.com.

Our website is https://technolify.cloud
Llama and Stable Diffusion have proliferated already. Many countries view this as an arms race. Propose a plausible way to put the AI toothpaste back in the tube, because this stance seems profoundly impractical.
Object code is a derivative work I think.

So no. Compilers do not count.
A triple (Lat/Lon/UTC Date) <-> TimeZone at the very least.

Time zones are political | * social* especially in the twilight zone between two otherwise well defined zones.

If a country is mostly in TimeZone X then often an extrusion that goes well into TimeZone Y will remain with clocks aligned to TZ-X unless some local political change is made (to be more or less sensible).

See (current TimeZone Map):

https://www.timeanddate.com/time/map/

and note that cities have changed time zones (not daylight savings changes, actual changes to core time zone) in the past and will almostly certainly do so again in the future.
US Gov geoengineering research plan for reducing solar radiation [pdf]
Have you checked CS50?
Depends who you think holds the copyright on the SHA256 hash of an image.

Model weights are even less specific then that number, since they don't represent any specific source input at all.
Then tax the rich properly, and they'll bear the lion's share of anything public funded.

Ruining public schooling by under funding and having expensive private education for those that can afford it is just the neoliberal agenda. If there were no private schools, if they were illegal, along with home schooling -- not saying they should be, but if they were -- the wealthy would pump funds into the public schooling system before you can say "fuck you got mine". (Kinda like no private bunkers would mean a sudden interest in mitigating climate change globally and for everyone, hah)
All industries are suffering labor shortages. Sure, let’s just raise wages for everyone, but there are still a limited number of people overall. Across the board, in every industry, the only real solution is to raise productivity (from grocery stores using automated checkouts to police using drones), there simply isn’t any other reasonable solution (and nicely, with increased productivity should come higher salaries without causing bidding wars on a limited supply of labor).
much like comment elsewhere in this thread about Adobe's products, I bet one would get pretty far just using the initialisms for the service and then no one has to spend their precious braincells trying to map someone's fever dream icons for Iot-Blockchain-Whatever down to some triangles

______
| IAM |
-------
______
| EKS |
-------
much of accepted hidtory is not a provable fact. We have just people's word, written or not
Yeh I recall the leaked version quickly gained a poor reputation. I had zero interest in downloading or playing it. Not surprised that sales of the final release were unaffected.
What are dreams for?
If that's true then maybe we could graft whole cheetahs together to form Cheetah Voltron.
Drones require labor to operate, but it’s not one to one. More like one operator for a bunch of drones.
You'll find your answer in the second half of the sentence you quoted.

Not to be rude.
At that point, put a lance on the drone and go jousting in honorable combat.
This kind of works - I've had problems getting compose to shutdown properly when run like this.

That said, it does work great - it even works with user namespaces, which makes it very powerful!
I slightly disagree, in that I think the person using the tool should bear the burden of copyright. I.e. if the model outputs something under copywrite it merely can't be republished. In this same way, i can use Photoshop on proprietary data but I can't necessarily sell the results.
I thought that the most recent consensus on cholesterol was that dietary cholesterol plays a minuscule role compared to what our own livers produce and that the additional nutritional value of eggs outweigh the cholesterol concerns.
If they were truly forced to do this, even they would find it difficult.
The issue I have is I don’t really get the value of solving (5) at the shell level: anything doable with richer datatypes is doable with a version of coreutils and peripheral utilities with better serialization formats. And, I’d rather the shell’s piping be less intelligent in favor of offloading more intelligence where it’s easier for users to extend: external binaries on $PATH
And then they use it to mostly play GameCube games since in that form factor you don't have a wiimote haha.
Why the hell was this post flagged, for starters? It seems like a perfectly legimate request for advice from people on the HN site.

Secondly, my two cents: May not work for stripe, but an excellent post shared somewhere on HN about what one Paypal user who also happened to be a lawyer did to make that trashfire company respond very quickly to his request for an unfreeze might help your case too. It's possible that the same legal procedures apply. Stripe and Paypal are both payment handlers after all.

trying to find it.... And here!
https://jessesingal.substack.com/p/i-fought-the-paypal-and-i...