skysight-inc/HackerNews huggingface dataset:
Isn’t it better to just level with people and pay them off properly if they now have too much headcount?

It reminds me of someone who wants to split up with a partner but hasn’t got the cojones to do it. Instead, they just start behaving terribly in the hope that they get dumped first.

It’s messy, disrespectful, takes longer than just being up front, and ends up at the same point anyway.
Why are such LinkedIn style BS messages being upvoted to HN first page. Can we please stick to the motto of posting things that have some interesting phenomena
I imagine WeatherKit can then have leverage to do system-level caching of same data being requested by multiple apps?

Also not having to deal with web requests (client, retry logic, polling, etc)
There is a whole ecosystem of apps that exist only to justify permissions. Weather and emergency alert/extreme weather notification apps are the most common ones to harvest location data from users in the background.
Turns out privacy is important.
I think Meta engineers would be in demand enough to not worry about their careers.
i’ve been trying really hard to write good docs lately[1]. it’s kind of terrifying to describe something as easy and fun knowing that it could be hard and rage inducing, but we have to try!

yes, build a better terraform. build a better puppet. building again and better is the only solution, always has been.

1. https://github.com/nathants/libaws
Happy to help and wishing you the best!
Song from the Future: Donna Summer and Giorgio Moroder’s “I Feel Love” (2017)
A very classic way of doing would be to prevent deleting a role that are resource tightly associated to it by default. If someone really wants to delete the role anyway, you can provide a feature to do that and delete associated ressources in cascade.
> I was questioning why WeatherKit needs a "platform-specific Swift API" at all

So you can use it without having to deal with the low level detail of HTTP connections.
> I believe the worst part is redux ..

And hooks. Sorry but React started to go crazy when hooks IMHO.
My hunch, but I'm not sure about this, is that there might be some centralized caching going on on with the native SDK, so that if multiple apps use the WeatherKit API, they can share the cache.
Munich is the most expensive city in Germany, i believe Berlin is 3rd or 4th.

EDIT: according to this Berlin has the 4th highest rents in Germany https://de.statista.com/statistik/daten/studie/1885/umfrage/... (€ per square meter, for 2-3BR - which Germans call "3-4 rooms" - you can for ease of calculation assume 100 mˆ2)
For GPS, we use the government's recommendation of pi = 3.1415926535898 to compute satellite orbits...2 digits less than NASA's. Other constellations (Beidou, Galileo, etc.) follow GPS.
For me, my grandma was an inspiration. She and my grandpa met just before he was to be sent off to war (WW2). They had known each other two weeks.

After many years and cultural changes to relationships, young me came along, totally confused about how that kind of setup was the strongest example of love and marriage I had witnessed. My grandma told me there was no mystery at all. Two people can make it happen if they both have the desire and commitment to do it. Like anything else worth doing, marriage is hard work, but also very rewarding.

I think in the world of online dating we all secretly feel deep down that it’s a cheap substitute for the real thing. Fairy tales may exist for some, but rewarding marriage still begins with commitment.

I don’t necessarily have any solutions for you, because meeting people is still hard. Maybe take some time to analyze yourself and make sure you’re not burned out. Recognize that the people you are meeting might also be.

I think the best way to have a successful meeting is to get to a place of empathy — one where you can look beyond your own needs to those of the person you’re meeting. If they can let down their guard and do the same for you, then there’s hope it can work.

After all, that’s the essence of the “hard work” that goes into a rewarding marriage relationship — at least that’s what worked for my grandparents.

If only I had fully appreciated her advice when I was younger, then maybe I could have avoided years of frustrated online dating. But I feel fortunate to have met my wife at a time when I was mature enough to reflect on it.
> Software engineers have been tricked into thinking they are part of the in club because they are paid well enough to have the lifestyle that the middle class had between ww2 and the 80s

This, and additionally we've been tricked into feeling guilty about it as well.
If space can be curved, non-flat, then can't pi take on a wide variety of values, like near the high curvature of space near a black hole? As I suspected...

> "Now, some fun facts: for a circle of radius 1000 miles, the value of "π" would be around 3.10867! For a 50 mile radius, "π" would be 3.14151. And even the engineers who built the Large Hadron Collider should have worried about the value of "π", since for a circular structure 2.7 miles in radius (which is the case for the LHC) "π" would be 3.141592415! So, we strongly encourage all high energy physicists and their sympathizers to celebrate Pi Day two minutes earlier than the rest of the world to honor our non-Euclidean geometry! As for the community of general relativity... we encourage them to redo all the calculations in a non-minkowskian metric for a non-massless Earth to know exactly when they should celebrate Pi Day. Also, advocates of the Indiana Pi Bill who root for legally making π equal to 3.2 should probably reconsider and change it to a value smaller than 3.1415926, since no circle on Earth would give them their desired result! Though if the surface of our planet was a saddle, that would be a completely different matter..."

https://physics.illinois.edu/news/34508
If your organisation is full of average performers, shouldn’t that be a problem at any time and not just in a recession?

If people aren’t working with a sense of urgency as BAU that a management failure?

The market and the economy changed, rather than the people, so to turn on your people and try to encourage them out the door is cynical.
Their weather app is also pretty good. It comes with an English language option.
Cracking the Cryptic, e.g.: https://youtu.be/ecytVCusIeY

It's mostly a variant sudoku channel but Mark Goodliffe is an insanely good cryptic crossword solver, and both Simon and Mark are good teachers.

Beyond the intro the key skills are: parsing the clues into definition and wordplay, knowing signifiers for different types of wordplay, recognising common abbreviations (there are lists a web search away), recalling short synonyms, and anagramming.

If you want to get your mind blown I highly recommend spending the $2 for Cracking the Cryptic's Patreon to watch Mark solve the Monthly Club Special using almost pure wordplay and whatever string manipulation coprocessor he has in his head (which also seems to work for sudoku too).
Border guards discover valuable find: 100 GB of data on Russian occupiers
Google suggests https://paceap.com/ i.e. DRM.
Exactly ... I call that the frAgile methodology and managers seem to love that.
I don’t get sick that frequently? I’ve had a cold like once in the last decade.
I suspect it's more the individuals would be warned and re-trained if they didn't keep their costs under control (usually it's done at the team level) rather then having actual financial responsibility.
Trouble is that management seems to be a P != NP type problem. Really easy to tell when done wrong but really difficult to get right - for variety of reasons.
For sure, ChessProgramming.org is one of the best resources out there.

Wrote this just trying to be a bit more of a straightforward guide to how to really get started - hard to sort through how many strategies there are out there when building an engine :)
Google for too small for the internet around the time if their first penguin + panda updates..
They killed off a lot of good sites in the war against SEO.

They have also reduced the image search, torrents, and many other things have been removed via the censoring if the index and YouTube..

Pushing corporate type sites up and other things into the nether , Google has become the new yellow pages along with being an arbiter or higher ranked health info and links to old answers for programmers.

Basic things like recipes are so bad even non Oliver jokes about reading a dozen paragraphs before finding a recipe via Google.

So many things fun / entertainment/ sexy and more have no room for the high brow expectations of the big G.

Hence TikTok being more popular than Google now.

Some of the things they have removed have come from govs and industries with a lot of sway.. but much of what they downrank post panda penguin is a vieled attempt at being more politically correct and less blue collar.

Imo.

So indeed there is now room for other 'searxh/find' portals for things Google does t want to showcase on their front pages..

But for at least some while into the future they will likely be the best yellow pages since customers do most of that work for them.
I, for one, really liked G+.

The linux community was very active. So was mostly all kinds of specific DIY discussion forums. Hobbyist & hacking forums too.
For me the visually appealing part was the historical timeline visualization (posts on both L/R around a stem). Some things were done nice.

If they had made it optional, and focussed efforts on the good stuff - circles/forums discovery, features like easier Drive integration/video Meetup like instant chat within circles - and probably sent a social message it was for the cool/nerd/l33t folks, it could have made a splash. Instead Vic Gundotra was shoving it down everyone's throat & their Google activity - and given the confusing nature of private/public viewable information on G+, you weren't sure whether some racy stuff you might be watching in your downtime might show up in activity feed. (It did for Google buzz). Many folks were signing out of Google before they did other stuff, because you didn't want your video watch history or similar, show up in your feed.

Poor conceptualization killed an otherwise good prospect.
And if such posts were allowed/encouraged it won't be long before dozens of other people appear asking us to embrace Allah and his prophet, or whether we have accepted Jesus as our Lord and savior, … it helps nobody.
And the cycle of wealth extraction continues.
iOS: https://apps.apple.com/jo/app/yr-no/id490989206
Android: https://play.google.com/store/apps/details?id=no.nrk.yr&hl=n...
I'm also building an AI engine for games, where you can try different algorithms (heuristics, Monte Carlo tree search, expectimax, deep ML).

For starter I made it for 2048. You can check it out here: https://ai-simulator.com/
It’s more about the definition of “sick”. I’ve seen people take a week off because they had a bit of a throat/head ache. And others that worked from home when they had a flu.
>Right as boomers finally start to give up the reigns

English major?

1946 + 65 = 2011.

The boomer vanguard is going to be in their 80s soon.

And the millennials are starting to turn 40.

"...then one day you find ten years have got behind you"
Kalaripayattu: India's martial art and the world’s oldest [video]
I know it feels very self-righteous to dunk on college students but this reasoning is kind of like traveling back to the middle ages and telling a knight "if you have a better system than feudalism, we're all ears".

Just like a King is going to do anything in their vast amount of power to uphold the monarchy; so does capitalism. In both cases, the current powers that be will always seem entrenched
I would look it more like what freelancers have to do. Keep marketing yourself. The process of
job hunting can clue you into trends and keep you current. I worked with someone who modernized our tech stack due to things he learned on a job search where he never left due to that search!
What are you talking about? They have exactly the same education as an “enterprise Java dev”. It’s someone who ties their professional career to one language and one use-case.
I just want a nice GPS app with weather radar mixed in
Laws have created an environment that makes it facially difficult to lay blame. Technology has made it easier and faster and safer to conspire. Police were created to catch slaves and they’re culturally incapable of doing any more than that. Imagine Joe average local cop trying to go undercover at McKinsey. Done laughing? What about the fbi you ask? They’re just as bad as local police but think and act like they’re better. Other regulatory agencies either have been entirely corrupted and co-opted or they’ve been neutered or will be soon by this law making body we formerly called the Supreme Court.

People crave Justice. Vigilantes do not create Justice. Thus harming people harming society without due process is unjust. The founding fathers and other visionaries like Malcolm X and MlK have written more on this topic but personally I find it a too boring to have read into. Look at the Arab spring for a recent successful reactionary rights movement that was not started by a massacre and look to China for the leading edge of suppressing dissent. The champions of advancing human rights are largely not cold blooded killers whereas those suppressing such movements must regress to these tactics to maintain their hard and soft power.
Most crypto is fairly centralised, ironically.
Eh, no, this is strictly a Windows problem. On Windows every DLL can be statically linked each with its very private copy of the MSVCRT, which means -for example- that you'd better never ever pass one DLL's malloc()'ed memory pointers to another DLL's free().

On Unix systems (and Linux) this sort of thing can only ever happen if you have a statically-linked application that is linked with libdl and then it dlopen()s some ELF -- then you need the application's C library to be truly heroic. (Solaris stopped supporting that insanity in Solaris 10, though glibc apparently still supports it, I think?)
That seems like the sort of thing chargebacks are intended to solve. Your credit shouldn't be taking a hit for that.
According to Wikipedia LIGO is detecting gravitation waves was small as 10^-22 metres.
If what you're doing is a "project," then by definition it can't be agile. Agile is for products.
And certainly not before they submit their accounts to be vetted by a firearm licensing department.
I've attempting gaming with a Trackpoint, which I found to be the fastest path to RSI ever encountered.
Monthly car payments have crossed a record $700
"9 WOMEN CAN'T DELIVER A BABY IN A MONTH"
I've set up an iPad in my hallway to show their SVG weather charts. Super simple to integrate into a simple home made dashboard website.

Here is Oslo: https://www.yr.no/en/content/1-72837/meteogram.svg
I believe Lean handles proofs about cardinality and infinities just fine. I'm not sure what kind of computation you want to do with infinities that current computers can't? Can you elaborate? Like sure I can't represent any arbitrary real but like that's never a problem in practice. And Mathematica like software can get pretty close to representing any computable real.
> In your contrived example, you only know the right answer after considering all four possible combinations.

This is basically correct.

> That is a combinatorial explosion when there are only two choices to make.

But this isn't; you're being misled by the fact that 2×2 is equal to 2+2. The described algorithm is doing rows + columns amount of work, not rows × columns. If you had 14 guesses across and 3 guesses down, you'd know which ones to prune (according to this algorithm) after looking at 17 things. This is not a combinatorial explosion.
It's a rare employee who doesn't think he can do a better job than the manager. If he does start his own company, he'll discover his employees are sure they can do better than him.

It's an immutable fact of life.
I also think green/yellow should be restricted to the sub-word. Also some prompts are hard due to proper nouns (like “Pop” toys or “Mordor” when I expected “vinyl toy” or “volcano”)
They do. This is precisely the number of accurate digits you get when you use a double (i.e. 64 bit floating point). https://float.exposed/0x400921fb54442d18
"Cascading deletes"
Not meant as a criticism, but if this is the way you build websites, you are doing it wrong. If you are building a website in a way where you can not anticipate beforehand what will be needed a few steps later because you skip the one most essential step — the planning phase — you are gonna have a bad time.

Of course customers change their mind constantly, which is why you anticipate this in you choice of architecture to leave some wiggle room. The scenario you described tho: I never even remotely had a situation where it bit me in the arse that I wrote HTML with JS sprinkled in. For more complex stuff I have flask, django, websockets, htmx, custom REST-APIs I can built in any other language interacting with custom JS on that webpage (most of the software I write is server side). Or I could just take something like Grav CMS and write a custom Theme and some plugins for it. What is a good starting point depends on the kind of website.

There is so many ways to skin the cat it is not even funny. And if you don't know what cat it is beforehand it is your fault for not asking.
I'm glad I left last year on my terms. A key problem with meta is their inability to open new business lines to grow leaders and diverse revenue lines. Having more businesses is the only antidote for prices's law.

I'm contrasting to Amazon which values leadership and has more businesses than one can even imagine.

If the financial markets collapse entirely, then my retirement will end and I'd rather have to fall back to Amazon.
Exactly, public transit doesn't need to be profitable.
IIRC there are studies showing that unprofitable public transport is positive for economy and profitable if you'd look at it as whole economy in general.
I got the first 3 correct in one try! Super fun. It's like pictionary.
Jerry Coyne wrote a few blog posts with critique of this article:

https://whyevolutionistrue.com/2022/06/29/once-again-a-misgu...

https://whyevolutionistrue.com/2022/06/30/pinker-the-evoluti...

https://whyevolutionistrue.com/2022/07/02/our-rejected-lette...
At least one more. What else would dang track?
I browse HN almost daily but have never seen that story. It was wonderful - thanks for sharing.
Pace Interlock is the virulent DRM that DxO chose to bundle with all their software – even the trial versions. It's been so long I don't remember the details, but it's far more intrusive than Adobe's license management stuff. Especially in the context of open source software suggesting DxO anything is in poor taste unless they've ditched Pace.

Here's a little list of the problems Pace can cause:

http://web.archive.org/web/20071009193327/http://www.paceap....
> HK citizens are spoiled drama queens

HK is one of my favourite cities but one thing that I do not like about HK is how its citizens of Chinese descent (not all of course) think that they are superior to people in the Mainland. They try to make the differentiation by identifying themselves as Hongkongers (香港人) and not Chinese.

When they are outside of Hong Kong and have to fill in their ethnicity on application forms etc, no country has 'Hongkonger' as an ethnicity or even nationality.

My friends of Chinese descent born in the UK with parents from HK identify their ethnicity as Chinese. I really don't understand the minds of these Hongkongers sometimes..
I am guessing, for a lot of people, this is their social forum and I see nothing wrong in asking for help/suggestions in an ASK HN topic. After all, that is why ASK HN exists.

[Edited for grammer]
I fart in your general direction
PowerPoint originally was an acquisition by Microsoft and by all accounts it seems to have been a “perfect” acquisition.
Less comfortable, way less. Email chains that become trees are a nightmare to deal with when they happen in practice.
The mathlib discussed in the article does include representations of infinite cardinalities; see e.g. https://leanprover-community.github.io/mathlib_docs/data/rea.... There was also a (now completed) project to prove the independence of the continuum hypothesis from ZFC in Lean; see https://github.com/flypitch/flypitch.
It's great.

Author is still living... https://en.wikipedia.org/wiki/Terry_Bisson

Many times on HN; I'm good with that.

https://hn.algolia.com/?q=Terry+Bisson
Some of that hijacking is done by various front end JS libs, I've seen sites/projects where that kind of thing was happening and none of the devs weren't even aware it was part of some "batteries included" toolkit.
Maybe it's the point, but reading this, I would never even consider submitting a patch or a bugfix after that tantrum. Even though most of his points are true, that "leadership" style screams stay away.
Same here, kind of. I'm reading this thread in Linux framebuffer mode and w3m, a text-mode browser. You can see images with this setup, but only by hovering a particular image link and launching an external viewer.

This has been my main computing setup for about half a year now, and it works surprisingly well (I'm neither a coder nor a web dev, though). Majority of the sites I visit are definitely bearable in text-only mode. It's a flexible setup, too, since I can seee the images if I need to.

For more inspiration, see Ali G Rudi's framebuffer tools [1] and a great site on w3m [2].

1: https://litcave.rudi.ir

2: http://w3m.rocks
crazy that I have more digits of pi memorized than that, to this day (so much wasted time in Middle school, I guess).
I prefer not to think of AI as being separate from humans because for the foreseeable future it will be a collaboration. The divorce is a long ways off.

> theorem-proving programs that understand Lean have begun helping some of the world’s greatest mathematicians verify their work

It's exciting to think of what break throughs will occur as humans develop even more capable tools. AI's today are very advanced calculators.
Can a mathematician not be a computer...
Shot down 90% of 120 men! These aren’t random men; you filtered their profiles. My advice: read about the secretary problem. Marry the next guy that seems better than all previous guys. It’s mathematically the right strategy here.
It's a great benefit for a component to be able to specify what data it needs from remote without worrying about if an ancestor or sibling also needed it. React query will only fetch once the unique queries in the whole tree.

Without this feature, every component needing remote data D must share a parent ancestor fetching D for all of them, even when the children are not conceptually related. Adding another component higher in the tree means you have to hoist the fetcher up to that level, etc. React query is an incredible upgrade to anything else I've used over the years.
Oh can it output SVG?
OpenWeather is better and has 1M calls per month for free.

https://openweathermap.org/price
Oh and he forked the project. Does he still maintain Filmic, or has someone else taken over?
The climate in BC is already perfect IMO and has milder winters than central Europe.
Damn. Never thought about this one. I'm sure they thought about it and have a solution but... No one likes issues with wifi...
You might change your tune after creating a large project like Clojure. The amount of bullshit communications Rich receives must be off the charts. As a group, I don't think programmers are the best at considering the feelings of others.
My favorite film adaptation of https://www.youtube.com/watch?v=7tScAyNaRdQ
Frank Abagnale
Good to see that SamHyde69 has been put on notice.

He can’t keep getting away with it!