skysight-inc/HackerNews huggingface dataset:
Google behaving this way is profit-maximizing, I figure, or they wouldn't do it. It's unfortunate, and not entirely uncommon, when your business plan involves knowingly screwing over a percentage of your legitimate customer base.

1976: "We don't care. We don't have to. We're the phone company."

https://vimeo.com/355556831
This is a good point.

I think the way my mind works, is it's always thinking about this kinda stuff, it's always being introspective. All I need to do is not be super busy or have something taking up my attention and i'm doing it automatically anyway.

Cooking, cleaning, showing, even while I browse online, i'm constantly looking for things and data to match what i'm introspecting about.
Ok, I read her article but didn’t follow the links. The emoji kitchen is a google gBoard project, Jennifer works on the gBoard team and is part of the emoji kitchen team. All the other sites are just documenting (in fun ways) the work that the emoji kitchen team is doing. And apparently regular non-google people can submit combined emojis to the emoji kitchen to be added.

I guess it’s a question of who owns the copyright.
Android is the world wide market leader of smartphone operating systems, why do you claim Google lost smartphones?
And Google aren't the only offenders here. On Tumblr (now owned by Automattic) the only support case type where you're guaranteed to NOT receive answers is for the reason "account termination".
The Crime Dossiers of Dennis Wheatley and J.G. Links
You can use the Dell Trusted Agent to to do just that:

https://www.dell.com/support/kbdoc/en-us/000126098/what-is-d...
What does running it on Mac have to do with avoiding non-memory-safety bugs?
Read cooking blogs or watch cooking shows and you probably get the impression that cooking is way more time consuming and requires way more ingredients than are really required to put food on the table. But there are whole cookbooks of recipes that use just a few ingredients plus a handful of standard pantry staples.

As you cook you also learn a lot of shortcuts you can really get off with most of the time. Using lemon juice from a jar is really fine. You don't need to have that sprig of parsely. You can probably get away with using dried herbs rather than fresh for many purposes.
Pretty common for small and medium businesses to pay ~3% of credit card revenues to the bank.
You say "tours of service", I say "perma-temp", because that's what companies would do to make this a thing. Add a mandatory six month unpaid vacation (to keep up the legal fiction of them not being employees) and you have the dream of companies everywhere to underpay and deny benefits to their "temps" while never having to deal with formal layoffs because nobody was ever really "employed".

Most people want stability. Do layoffs if you need to, but cut once, cut deep, and as Shopify did here, do well by the folks you're letting go. (And then evaluate if you should change your hiring targets to prevent this in the future.)
I use both the web and the desktop version depending on what I'm doing and I'd say they are identical except for a few features that obviously cannot work on the web (eg global keybinds for push-to-talk).
> For physical objects, scarcity is an unescapable fact.

I disagree. It is pretty possible now to create a replica of a painting that would be indistinguishable to the human eye from a distance of, say, 2 feet.

Yes, the object could still be distinguished by other means, but presumably the only reason we enjoy art like paintings is for their visual effect - there is literally no other reason to appreciate it.

So my point is that the scarcity for the reason we value it in the first place is actually not an inescapable fact for something like a painting.
Of course, bible stories would be inappropriate because superstition and religion have no place in schools. We're supposed to educate students about reality.

But there's nothing wrong with teaching students how they can use math to understand social problems and complex real-world issues. Math is a great tool for thinking about things like income inequality, climate change and economics.
> It was not immediately clear who will operate the Russian side of the station once Moscow pulls out.

Didn't they want to disconnect their segment? At least I remember reading something to that effect, a while ago.

Also the station was purposely designed with the idea that neither could function without the other.
Germany had good reasons for their actions in last century. Just remember the aggressions from likes of France... Historically thinking Ukraine is just continuation of constant wars in Europe.
I don't think this is entirely accurate. For example, the Translation Validation section on this Wikipedia page mentions (https://en.wikipedia.org/wiki/Compiler_correctness)

> Translation validation can be used even with a compiler that sometimes generates incorrect code, as long as this incorrect does not manifest itself for a given program. Depending on the input program the translation validation can fail (because the generated code is wrong or the translation validation technique is too weak to show correctness). However, if translation validation succeeds, then the compiled program is guaranteed to be correct for all inputs.

I don't remember where I read this, but I think there are some examples in practice where instead of proving the correctness of some optimizations of existing C compilers (which is a codebase that keeps evolving), there have been situations where the correctness was ensured using program equivalence checking. So you'd "freeze" the reference compiler and the equivalence checker (which would be qualified), and pair that with an upstream compiler with sophisticated optimizations. So long as the equivalence checker keeps passing, you're golden.
Picking one entry at random: ordinary differential equations. https://www.lesswrong.com/posts/xg3hXCYQPJkwHyik2/the-best-t...

The corresponding reddit search:
https://old.reddit.com/search?q=ordinary+differential+equati...

Draw your own conclusions. From any source, that's what you'll have to do in the end. In this sample, it happens I've skimmed the lesswrong thread's recommended book and thought it looked much more interesting than the text I learned from years before (Boyce & diPrima). The reddit thread seems pretty barren in glancing through the results summary.
That may have been sarcasm.
Freedom fries went back to french fries. I wouldn't worry too much about Russian culture disappearing in the long run.
I meannnnnn if you know you know :)
SHOP has $8B cash on hand. is a profitable business. how is that anywhere close to the definition of a failed business??
Some quick googling says tesla is ~70% [1] of the EV market and there is someone who claims to track every telsa fire [2] which has counts 97 fires since 2013. Compare that to 45k ICE vehicles fires every year and it appears that EVs are significantly less likely to catch fire.

I think if you live in one of the top 50 metro areas of the US and listen to local traffic news between June-August you'll probably hear about a traffic problem related to a car fire every few days or weeks. ICE vehicles fires are just so common we accept it and it's not reported unless especially gruesome.

1: https://electrek.co/2022/04/26/tesla-tsla-owns-75-percent-us...

2: https://www.tesla-fire.com/
> EAC is the worst piece of anti cheat software I’ve been subjected to.

I don't understand how this could be the case, TFA says it's industry-leading

/s
I think you have some good understanding of parts of the problem but the ease with which you generalise is dangerous.

Getting from "I have too many bad experiences with highly intelligent, but myopic and immature software developers" to "I just think it's a really bad idea to try to hire 'extra smart' people (..) because it won't work" is pretty poor logic.

I think much better and productive statement would be "Hiring intelligent people is not enough to solve the problem."

It is much more productive because from there you can go to actually discussing what else is needed to make good use of highly intelligent people.
Regarding the alegation that sems to be chinese actor: isn't kaspersky gone from the western world after russia x ukraine?

And so... this could be undetected just because kaspersy isn't being used anymore?
Not American, but I hear things like this often from Americans.

Like the phrase "make pancakes from scratch". Yeah… what else do you make it from? Oh, you have your own chickens and… oh… oh no don't tell me it's normally ready made batter from the store.

Even pancakes. Takes no time at all to make, even for a kitchenly challenged person such as myself.
Propagation of mistakes in papers
This is pervasive in games with simulated markets and economies as well - both the built-in somewhat regressive assumptions as well the tendency to treat them as examples of understanding the real world.
Yeah, well the much hated Home Office has always been dysfunctional.
Facial recognition cameras in UK retail chain challenged by privacy group
Would you please save a copy of this to archive.is so the rest of us may read it?
Is anyone aware of classifiers that work well on {content text} + {tag collection} + {search history} and generate categories? Specifically something that would be usable on personal notes.

Categories seem incredibly useful at exploration-time, but impossible to write at creation-time.

Tags seem incredibly easy to write at creation-time, but aren't useful at exploration-time.

Why not both, with a fuzzy link between them?
The Frank-Wolfe algorithm for optimization. Christian Bauckhage has a couple of papers, where he uses it to connect optimization problems to the fix states of a certain type of recurrent neutral networks (echo state networks).

The Marchenko-Pastur distribution derives from random matrix theory a nice theoretical border to estimate if a principal component is more noise then data.

Also I am a huge fan of all sorts of embedding/projection/matrix factorization algorithms and I use them quite regularly.
No-one said slow. I was thinking FTTP. However a public sector initiative would come with limits. It has to come with limits because people demand low taxes. Let's say the public sector does the math and says 500Mbit is what they can guarantee for equitable distribution to all addresses. That should be plenty for most people. But there will always be one person who demands their god given right to 10 gigabit. In which case you direct them to the private sector and tell them to pay for it on their own.
I still don't think it's close to enough.

At 170km long, 200m wide, 500m tall, the volume is 17,000,000,000 m^3. They're planning on spending just $29.41 per m^3.

Just trying to get a point of reference, the Burj Rafal is 308m tall with a 20,000 m^2 plot and cost $320M. Running the numbers they spent $520/m^3 on that, and it's shorter (I presume added height increases costs and complexity). Infrastructure was also likely already provided by the city, and not counted in that budget.

Honestly, I think even material costs are at least an order of magnitude higher than they want. The scope of this boggles the mind. They need 170M m^2 of mirrored glass just to cover the outside of this.

That's not even touching the foundation and reinforcement it takes to support a 170km long, 500m tall wall that's going to bear all the force of wind coming off the ocean. Wind speeds seem to peak at about 16m/s, so the force on a 1m section of the wall would be ~78 kN. That's roughly the force of 3 Tesla Model S' at full acceleration (but spread vertically). The force across the entire wall would be equal to ~381 Saturn V rockets at lift-off, or about 23 times the force that sunlight exerts on the entire Earth.
If Google Ads was a separate company, then the rest of Google wouldn't have an income source. Google is one breadwinner (Ads) + N loss leaders for it.

(They're trying to grow a second revenue generator — GCP — but it's not been the success they've hoped; especially compared to Azure. Microsoft had the B2B relationships already in place, while Google has mostly been a B2C company, so they've been struggling to win clients.)
From what I've read, some of the online drug markets only take Monero. So it would seem people who realize they need anonymity are indeed embracing it.
https://quillbot.com/grammar-check is an alternative for English. Not open source, but very little of the grammar checker is paywalled if the other options seem expensive.

(Disclaimer I’m a founder)
>Just ban/kick if the client tries to do something it isn't supposed to do.

Of course couple this with a deep understanding of what your client actually can do. Oh, and keep track of updates you'll have a lot of banned users.
Do you, by chance, write cheap adventure stories for a living?

Cause this sounds like something I read a few months ago. A pretty silly plan.
I agree! I think this is an exciting opportunity to reinvigorate the safety-critical programming landscape. Adding a popular and modern language with a great development experience could make safety-critical programming much less of a slog.
Seemingly another case of crypto inventing a thing that already existed, collateral agreements.

The test here is did they write the agreements, if any written agreements even exist, using the knowledge from millennia of traditional finance, or did they reimagine it for the globalised decentralised fantasy world.

> Overcollateralised loans with automatic liquidation are neat.

You have just described the margin facility that your broker and others have offered for 100's of years.
Yeah, no tv and no music for me. Too distracting. I’m a musician, too, which just makes it worse.
A New Gene Editing Tool Could Rival CRISPR, and Makes Millions of Edits at Once
Proper double fan gluing means shuffling the papers together to get a nice edge, standing them on edge so the spine is upward and somehow clamping or bracing it (ideally, it's between two boards in a laying press, but there's a lot of ways to make it work) and then pushing the spine to one side, fanning out the spine edges so a bit of the side is exposing. Spread glue, then push the spine to the other side the same amount, exposing the other slight side of the page and reapply glue. Then straighten the spine.

This will leave between the pages for, ideally, less than 1/32nd of an inch or a quarter millimeter, which will vastly improve the strength of the glue's attachment to the pages without significantly impairing one's ability to open the pages mostly flat.
> Its absurdly easy to make a ton of money very fast in crypto.

Not at all. It's easy for one person to make a lot of money _at the expense of another_. It's a less than zero sum game, though, so each net transaction _cost_ people money todal.

> Self-sovreignity, privacy, ownership - these are ideas worth pursuing.

The ability to evade government regulations and scrutiny is crime.

The underlying idea is that you don't like the laws on financial disclosure, so you want to "get around" them.

As an honest citizen, I see the desire to evade the securities laws as literally criminal intent, which it legally is.
values of NFT is derived on the eagerness for the buyer to signal virtue. It's the same reason a gamer would spend $20,000 in purchases in game items/loot boxes.
Commenting just for informational purposes, but Grammarly also allows for this.

This isn't an endorsement. Just saying this isn't something that sets LT apart.
> Are there any computer or table top war games that deal in a somewhat realistic way with logistics?

ISTR that the big strategic/operational tabletop games of the 1980s often had semi realistic depictions of at least the importance of logistic (at least supply); things like WWII European (or Pacific) Theater of Operations from SPI, Avalon Hill’s Empires in Arms (which I just learned has a still-actuvely-maintained official computer version), etc.
Quoting from the last time this was posted (https://news.ycombinator.com/item?id=31456007):

I'd proceed with caution. Apparently it doesn't support Wayland, so when you run it under Wayland it offers you a "Fix it!" button that, when clicked, runs sed on some gdm system config files to revert it to X11 (nevermind that gdm is far from the only way to use Wayland): https://github.com/rustdesk/rustdesk/blob/1.1.9/src/platform.... If this is the kind of thing that's considered acceptable by the developer, I'd rather keep their products far away from my machines.
A quick glance at the code also reveals an almost complete lack of comments and copious use of unexplained `unsafe`.
With normal queuing, you get served eventually and can calculate the time it will take to get what you need. I fail to see how removing both of those parts makes it more efficient, and intuitively it seems that it would mostly lead everyone to avoid queuing unless absolutely necessary or to only try to buy things that surely nobody else wants. Mean wait time down, only the least desired products get bought, and even those only when starvation is the alternative.
From a QA standpoint, one could argue that a set of reference unit tests should qualify as a specification, but certainly not the implementation itself.
a pic of a before and after puzzle would answer these questions intuitively as well.
I quit my business to start an open-source dev tool
Hello HN,

This is a story of me quitting my job as a web dev, starting my first SaaS, burning through all of my savings, and finding what I really wanted to do.

Also, this post is my attempt to start sharing my honest experiences, however good or bad, on the internet. Both as a form of journaling for myself and as a case study for the community.

I want these to be more like personal letters and less like self-promotional feel-good traffic-generating positively-thinking marketing posts.

I want to stay vulnerable and honest.

HN has always seemed to me like a perfect mixture of backgrounds and opinions for stories like this one, so I'd love to read what people think here.

https://rogovoy.me/blog/i-quit-my-business-to-start-dev-tool
Absolutely. Tim Berners-Lee was an independent contractor to CERN in his original March 1989 proposal [1]. But CERN paid the bills. I believe the point that citation [0] (above) is making in this regard is that CERN has received significant funding from the US, and that HTML/HTTP was an enabling technology of the original darpanet. CERN has 23 (European), even more Non-Member States (including the USA) and states with Observer status (Japan and USA). The US funding for CERN historically has been from both The US Department of Energy and The National Science Foundation [2]. The US contributed $531 million just for the Large Hadron Collider (LHC) CERN project alone [3].

[1] http://info.cern.ch/Proposal.html

[2] https://united-states.cern/funding

[3] https://physicstoday.scitation.org/do/10.1063/pt.4.0488/full...
No, not suggesting jail, just lamenting I get daily spam through my gmail and other email accounts. Not to mention the recruiter spam that would be basically impossible to stop.

Robocalling seems like a much more tractable problem to solve though.
What would stop someone from setting up a server that listens for connections? Kind of like a reverse VNC (or, by extension, reverse ssh tunneling). It may not be a feature of the program yet, but that doesn't mean it isn't possible. I could compile and distribute my own binary that automatically connects to me.example.com:1234, make sure that server is accessible from the internet, tell the user to bypass non-signed executable restrictions, and we're good to go.
It's neat to see FVWM still getting used. I gave up on it when, after converting my exceedingly customized .fvwmrc to fvwm2, I lost it in a move.
This seems a very interesting approach. I find i have multiple "voices" in my head, all of which are parts of me. I can have conversations between these mini personalities,but I've never tried writing them down. I think I will give it a go. Needs to be super secure journal though! :-)
This does not settle it, it will never be settle because China hid and erased evidence and blocked all access to research the source.
Check these out:

[1] https://www.osram.com/ecat/Professional%20LED%20lamps%20with...
Depends on the details of how you're formalizing your verification and what tools you have at your disposal. It could be immensely useful as a stand-in for a specification since it reduces a large class of verification to "does it do the same thing as the reference compiler."

E.g. it's a huge amount of work to exhaustively formally specify the Rust type system (as opposed to just specify it in English). However, if you already have an assumed correct, but slow, type checker then your verification effort can boil down to just "does my compiler have a type error if [and only if if you care about more than just safety properties] the reference compiler has a type error?" That's still an enormous amount of work to verify, but is comparatively trivial to specify.
They might have had more attention and contributors if they were hosted on GitHub or GitLab (or FreeDesktop's GitLab). Or the SourceHut. Sourceforge is the worst possible choice for development nowadays.
Perhaps the types of crimes the that deal with underaged trafficked girls on planes and/or islands?

This wasn't the manifests of a grand canyon sight seeing plane.
Oracle to hike support fees in line with inflation
Yes.

Even you get into account directly. You see the user using a code redeemed from gift card. And then?

You can't associate the code with anything at all even you also hack into mullvad's server. There is no way to tell that where the code was from even for Mullvad themselves let alone others as long as there is no serial number that also displays on card without scratch open it.
I'm personally pretty excited to see where this goes. It could be the best way for gccrs to version itself. There are some immediate aspects I am pretty interested in relation to the spec:

1. Method resolution

2. Unstable?

In particular is it going to define lang items?

3. DST's

Rust has strange things like:

```

let a:&str = "str";

let b:&str = &"str";

```

Which is valid since str is a DST. Although slices and dyn trait are DST they have more strict rules there.

4. Qualified paths

There are more subtle things like qualified paths such as this testcase which could be argued is valid https://github.com/rust-lang/rust/blob/master/src/test/ui/qu... but there was some discussion on zulip which clarifies it: https://rust-lang.zulipchat.com/#narrow/stream/122651-genera...

5. Never type

TLDR:
Overall I think its important at some point to start isolating what is the language outside of what version of libcore your running.