skysight-inc/HackerNews huggingface dataset:
> Is this meant to be sarcasm

The author, bound as you may know to the choice of the publisher, advocated for readability so that people could be encouraged to arrive at least to the actual first paragraph of text.
These top results are identical to the results I'm getting from metager.org which is just a meta search engine. Both those results came from Bing in the case of metager
Here's a chart showing those prices in USD

https://www.longtermtrends.net/home-price-vs-inflation/
The ‘carbon bombs’ set to trigger catastrophic climate breakdown
My point is not about bitcoin mining. It's about the slippery slope of deciding that X is good and Y is bad. Everyone has a blast until something you want to do gets banned.
Can confirm this. This is also one of the reasons why I moved to librespot-java.
I've been so busy at work I haven't had time to "define" my Q1 goals...it's Q2. I grow my skillset by doing my job well and attending trainings, I appreciate the idea of goals but they seem to set themselves.
I don't think it would be embarassing. Other tools use the same approach, like rclone:

https://rclone.org/drive/
Tesla booted from S&P 500 ESG index
LOL, didn't think of that at the time, we were fast friends and I picked up a few choice phrases even though they were fairly well to do.
Typically there are a few primary modes of the state. It’s useful to understand the performance under each mode. Even if you want predict exactly what mixture of modes you’ll be in, you can have a good guess if you’ll be in some pathological behavior based on your workload.
Mid-level salary where? That is an insane salary _anywhere_, no wonder the market is beginning to correct for those inflated "mid level" numbers.
Its functionality is hindered by Google in that it can not download and install updates in background as Google Play does.

One has to root the phone and loose access to banking and SSO apps to get enough permissions for F-Droid.

EU anti-competition monkeys should have looked at that a long time ago.
The way I used to find new music was to read reviews in magazines, then buy the album. Later, it was blogs and torrents, but the principle is the same.

Using algorithms to discover music works for a lot of people, but I'm not sure that, for me, it ever outperformed just reading what other people said and then listening to the album if it sounded intriguing. It is more labor intensive, but the results were higher quality. Finding one artist I really, really like is worth sifting through a hundred mediocre ones, so whatever process gets me there is the best.

I like Spotify for other reasons, like being able to really deep dive into some artist (or some song: just listening to 20 different cover versions obsessively to see who did it best), but even before it was supposedly ruined, I was never blown away by their recommendations to me.
yep, that's the best solution.
It's an amazing example of how Nokia mismanaged their assets and sold them away for a song.

Nokia bought Qt in 2008 for $150M. (The original name of the company was Trolltech.)

Sold it in 2012 for only $5M.

Ten years later, Qt Group is worth about $2 billion today, having reached as high as $5 billion last year.

How do you first lose 97% of the value of an asset, then watch on the sidelines as it goes up 1000x? Nokia's management was both incompetent and incomprehensibly negligent in handling shareholder value when they let this asset go for 5 million. Of course these managers were selling Qt for almost-nothing to their good friends in Finland, while the bill was paid by Nokia's global shareholders... This kind of borderline theft is easier to pull off in a small country, even one that pretends to be the least corrupt in the world.
I think the short version is: just because any formal system is guaranteed to be incomplete doesn't mean it can't prove useful things.

And even an incomplete formal system can prove Gödel's Incompleteness Theorem.
Well basically in the Windows world you have user management, files and printing, security/patching and then taking care of programs on the user's computers and infrastructure (servers, setting up a VPN etc.).

Depending on the organization, there are many non web-based programs that are run. Think about an engineering company. They'll probably have some sort of CAD like SolidWorks and something like Matlab etc.

Even if everything would be web based you still have to handle licensing/logins somehow. But yeah in theory the users need less hand holding because less stuff is actually installed.
No, because that's documentation, but I think that was obvious.
Ah yes, the 1000 word useless collection of thoughts on a nuanced and dense topic, followed by a flurry of kvetching and outlier horror stories in the comments. Classic HN work organization and management discussion.
Thermal cameras are surprisingly cheap now
Stability in Tech Isn’t a Thing
It's a bit hidden, but Search --> Made for You is an absolute gem to me. The mixes generated there do often turn up new music for me.
Coinbase has frozen hiring, and even if Netflix is still actively hiring they just laid ~2% of their workforce earlier this week.
You might enjoy these notes: http://mlg.eng.cam.ac.uk/teaching/4f13/2122/
They give (I think) a good general overview, while also going a little bit more in-depth in a few areas (e.g., Gaussian Processes).
I am definitely willing to concede I may be in a bad situation but are there really teams in Agile frameworks with fibonacci pointing where you can pick up a 3-5 point ticket, finish it before the end of a sprint and not work on anything else?
I can’t fathom anyone who has actually spent significant time performing mathematical manipulations with pencil and paper thinking that this is a good idea. Mathematicians have evolved notational conventions that work well for reading, writing, and calculation.
That is a very deep question.

Here is an example of a range of ways to think about that question: https://philosophynow.org/issues/149/What_is_a_Person

If one thinks that agency (and actions) is what defined personhood, it is worth having a framework for thinking about free will, such as https://psyche.co/guides/how-to-think-about-free-will-in-a-w...
> As mentioned previously, your app (APK versions 1031, 1032, 1033, 1034, 1035 and 1036) causes users to download or install applications from unknown sources outside of Google Play.

Google Chrome can download APKs from sources outside of Google Play. By that logic Chrome should also be removed from the play store.

Any antitrust lawyers want to chime in? Why isn't this illegal?
For large bone injuries, it’s Sonic hedgehog to the rescue
In pre-press and photography we're used to ISO 3664:2009[0] which I believe establishes whitepoint brightness level between 80 and 120 cd/m2. It should be added that it requires isolation from daylight and ambient illumination level near 80 lux (and a good monitor)... But even at 150 cd/m2 in a room with controlled amounts of daylight, you should not be blinded by #000 on #fff.

[0] https://www.iso.org/standard/43234.html
Hmm. Definitely bad because you said so. Many, many, many impacts!

Try quantifying it. This vs the carbon footprint of one individual.
Um, people have bad intentions and actions too, not just ideas. You can criticize them for that.

> It is a shame in our presently over-defensive culture

Over-defensive, or over-hostile... I mean i think the defensiveness has a cause in other people's behavior.
They don't care about fixing it because people still flock to them.

And who can blame us? Other sites still suck worse. I can't believe how bad walmart.com still is - the user experience is night and day. Walmart - the retailer embracing computerized tracking of spending by credit card number and other advanced data analytics a full decade before Amazon was even a glimmer in Bezo's eye took forever to realize the power of using their stores as local fulfillment centers? Provides a 3rd party marketplace that's less reliable than craigslist? Who the hell is in charge of online operations at these big companies and how do they still have jobs?

Then again just look at Sears - the company that literally invented mail order *in the 1800's* and how they completely missed the Internet - the ultimate mail order environment.

Ugh.
Give Chrome DevTool's built-in "Lighthouse" accessbility test a shot.

Highly misleading, among others because of reasons explained in the medium article under discussion.
What Is a Person?
Use slack on a phone or tablet most of the time, even when actually working. Set a high notification level when "at work" so you are notified even for non-mentions. Bonus: probably the single most power-hungry and memory-eating piece of crap on your laptop, is reduced to using the tiny amount of power it takes to send a push message, on a different device.

Then it's just normal.
CPUs, cloud VMs, and noisy neighbors: the limits of parallelism
> Actually delivering value is a huge advantage too, but as far as I've seen is not prerequisite for getting ahead.

Appearing to deliver value is strongly advantageous. Delivering value helps you do that. Other methods:

- Good salesmanship (e.g. making easy things look difficult)

- Stealing credit (can be personal, or e.g. for market conditions)

- Lying (e.g. cooking books)

Delivering value is probably the easiest way to appear to deliver value at the IC level. The higher one moves in the corporate ladder, the more important the others become.
I’ve said for years that OKRs can make some sense at higher levels of the org because it’s an easy way to communicate strategy but it makes no sense for individual engineers to use them. I think your comment explains why. At some point the people writing the OKRs no longer have the authority or autonomy to actually achieve them. So what’s the point?
I enjoyed the music. It gave me the feeling of an Apple presentation.

I'm also blessed with a computer that has a "mute" button if I didn't want to hear it.
> "I can't see the future but I don't think it's going to be a bloodbath like the .com crash."

The world has gone ever more dependent on tech since then. Tech is used everywhere now, pervasively.

They're not re-introducing cash in cash-free economies. People aren't going back to carrying physical documents around and stashing them in high cabinets. Shopping online has only gotten more popular. Hanging out online, too. Agriculture, warfare, industry, you name it... it's not all "Uber, but for %s" out there. Somebody has to keep the lights on, right?
Different culture, less glorification of the individual.
I was the same initially, but now having onboarded multiple people on to Elixir projects, the more familiar type of syntax does ease the first week or so of getting your head round things.
Article title: "macOS PATH and Visual Studio Code"

It's not about passing a path, it's about $PATH and Visual Studio Code.
Thought of that after posting and closing the tab. But I don't feel like going back. It makes me angry that people think making text as hard to read as possible is good design. But it's just my opinion, and it's OK for people to have differing opinions. I just choose not to spend my time and eyeballs on their content.
One thing I've found to be consistently true: Good managers highlight concerns with your performance. Poor managers complain about your hours[1]. If they're complaining about your hours, then there's something else bothering them, but they're using this as a proxy[2]. I don't want to work with managers who are not willing to discuss the real issues. They're a pain to deal with. So I always start looking for another job when this happens.

[1] This is assuming you're not missing meetings, and it's not a role that is customer facing with defined hours (e.g. storefront that's open for an advertised set of hours).

[2] The way to tell, BTW, is there's always someone else who's working less than you're expected to but is getting a pass.
You transferred your email from Google to a different host and you used Claws to do it? How did that work?
What happened to - “don’t be evil”?
Back on earth, a few lines in an ignore file would not make anyone blink. I guess you're a purist and everything about your software shines! Perfection.
The motivations of enterprises and individuals are different. Trying to please both or compromise between them creates worse outcomes for the individual users. The choices you make when interests conflict lowers quality.
Well, no it's not obvious.

If I can provide machine readable documentation on how to get your VSCode environment set up (in the form of a .vscode/extensions.json file), isn't that strictly better than merely human-readable documentation in README.md under a 'Recommended VSCode Extensions to work with this project' header?
Yeah, I tried Apple Music, and cancelled during the free trial. It was that bad.
Internet Encyclopedia of Philosophy
If someone has consistently bad ideas, you're not going to have a high opinion of their future ideas. If these are work ideas, they may also not be able to keep their job, which affects their livelihood. I don't know if we can get away with saying that taking away someone's job is not some kind of attack on their livelihood/self. So if you, the worker, are worried about having bad ideas that can affect your job, it isn't a stretch that the reaction to criticism can look like a reaction to a threat.

Now, criticizing hot takes and bad opinions on Twitter? Go for it, although that too can result in real consequences.

Part of who we are definitely involves the connections we make, and you can lose more shallow connections with bad ideas - good friends/deep connections tend to love you regardless. If you are trying to take your work seriously, but everyone ends up criticizing your ideas, it will also affect you.
You’re not alone. I value the conciseness of Erlang.
The end-user capabilities are easier, but not more advanced. Much of the design is problematic, it definitely overcomplicates most things, and it lacks important modern-day functionality. Kubernetes is essentially Jenkins w/ JCasC & Docker plugins, and a hundred extra abstractions and APIs. It's a mutable state mess with a proprietary backend, master-slave dynamics, lacks real multitenancy, doesn't use immutable version-controlled artifacts or objects, has a flawed security model, and adds unnecessary abstraction that requires massive add-on integration to make a working system. But, like Jenkins, because it "does everything" and is free and self-hosted, people are hooked on it and can't stop using.
I remember the kerfuffle about QT licensing and KDE. Back then I used KDE and dismissed the concerns. It’s been odd and unfortunate to see those concerns having been at least partially founded.
> You _have_ to create a video. That’s a requirement.

How is that in any way related to your comment that he shouldn't complain about it? If it wasn't a requirement then there would be no reason to complain in the first place.

And that's not even what his main complaint, his main complaint is that he shouldn't have had to record the video in the first place because the warning about this feature costing money should have been documented somewhere together with all other requirements.

Basically Google is behaving like that website that tells you "your password should be more than 8 characters", change password submit, "your password should be less than 16 chararcters", change password submit, "should contain at least one upper character", change password submit, "should contain a special character", change password submit, "should not contain single quotes or other characters that are too special", repeat ad nauseam. If you have requirements document them up-front and all in one place.
Even worse than the Enterprise things that made their way into Microsoft's consumer products are the things that Microsoft rejected that enterprise wanted. Raymond Chen mentions these requests often in his 'The Old New Thing' blog. I can imagine Jobs going ballistic on enterprise customers who make one too many of these requests (and in some cases, the first request might be that one too many).
I am curious why Total Commander is the only one that is signaled out? There are thousand apps that are capable of doing this and TC is the only one that Google have an issue with. I feel that there is something more to the story. I read the article and Dev seemingly didn't do anything wrong but yet something fishy going on since Solid Explorer, F-Droid, Firefox, etc does not receive those notice from Google AFAIK.
In practice, they are, AFAIK.
My issue with this is that to access my own email I get countless warnings, and always have a 'You have recommended actions' Security Checkup for 'Remove risky access to your data'.

This is after jumping through a bunch of hoops to create a GCP app. It even complains about the pseudo-app being from an 'Unverified developer' despite that developer being me.
This has recently been my desperation move when e.g similar bugs to what I'm facing were solved a decade ago (but were irrelevant) were coming out as top results rather than bugs for a recent version
I taught myself Erlang last year and loved it until I tried to write an application. The OTP documentation, while voluminous, was confusing and seemed to have important omissions, and I found little if any community.
Another user here who see's huge value in just renaming the consumption page to a history page. Would be VERY handy! Especially if I could restrict a search to my own search history.
Just anecdotally I have noticed that I've been getting tailgated a lot more in the last couple of years. Just the other day I was doing 70 in a 55 MPH zone only to have an SUV zoom up and then swerve around me doing what must have been 90.
BEAM is never going to win for straight line speed. This is going to be an improvement for a language optimized for resilience, concurrency and consistency.

Running millions of concurrent processes, with their own heap, with consistent response times that individually tolerate failure without negatively affecting the entire system is just a different animal with a different set of trade offs.

You’re trading some speed for those benefits.
It appears you have an axe to grind or score to settle here, but I'm not clear on what the point is supposed to be.

I think we're in agreement that "woke aspergers hater" is an oxymoron. I'm guessing that the OP believed their comment was an effective use of sarcasm, whereas I found the comment to be confusing and ineffective. We can agree to disagree about that. Other than that, I have no wish to argue over who has the right to call whom which names.
If it does, that's impressive.

Someone should generalize their approach to solve the halting problem.
So basically when your application resolves gmail.com you will access other servers. :P
Then add JS, C#, Java, Haskell etc to the list as well, they all perform roughly in the same ballpark.
Now that I think of it, an even better option would be IPFS. And since it's kind of obvious - like with Sci-Hub - it probably already exists, I just don't know about it?
And when the organic result is filled with ads - like recipe sites, lyrics sites, ehow, quora - those also give Google ad revenue.

So why would Google serve the more direct and helpful result from the edu domain!
This guys website uses micro-text and he's criticizing readability. La-mao.
I've found the FT's weekly album reviews to be quite diverse. But also... just asking people!
While reading the post, I realised that it was a really great idea to say the least but I was very shocked when I saw that OP earned $18000 off the project. Although, one down-side of using email addresses which contain emojis is that some email clients do not support them.
Off topic, but I'm an engineer whose math extends (shakily) into basic proofs (though I'm rusty). I tinkered quite a bit with Lean a couple of years ago and felt comfortable with it as a language, but I don't actually grok how to use it effectively for proving theorems (I'd love to get into formal verification).

Do you have any recommendations for getting started? Something like a "Proofs for Hackers"?
Small code example in the PyTorch doc:

https://pytorch.org/docs/master/notes/mps.html
> I'm confused, I thought the ability to install apps outside of Play is supported by the OS.

It is.

What this is doing is forbidding apps that can install other apps from being in the Play store. Basically, if Total Commander wanted to give the finger to Google and refuse to remove the function, Google would remove them from the Play store, meaning you'd likely have to either use your browser to find and download the APK or install it over USB with ADB.
No. It is absolutely not a virus...

Most of what you can buy in a grocerie store is bad for you. It has been optimized for profit, i.e. consumption.

Then you can of course pile on all kinds of contributing factors but this isn't necessary to understand why people are fat.

I don't blame fat people for being fat but it's not a mystery why they're fat. And it's not easy for them to change everything about their lifestyle to get fit but that's what they need to do.
Also try "Lightning Browser" ( acr.browser.lightning ) from Anthony Restaino ( acrdevelopment.org ).

> Rendering mode[s]: Inverted ; Grayscale ; Inverted grayscale ; Increase contrast

https://github.com/anthonycr/Lightning-Browser
Also, are domains not $5-$10 say? ~$2000 on 'tiny projects'?

...ahh, read the full breakdown, it is approximately something like that, which seems crazy, but I dunno, guy has some money to spare and went nuts with the project and sold a bunch of accounts. (also weird, but tiktokers susceptible to random stuff I guess)
Android 12 supports background updates: https://developer.android.com/about/versions/12/features#aut...
318 comments here: https://news.ycombinator.com/item?id=31416795
Close the gap to Mazda? Could you elaborate on your points please?
Exciting!! But don't see comparison with any laptop Nvidia GPUs in terms of performance. That would be insightful.
What's sorely needed is an open state-ful GUI markup language that targets CRUD and data, something HTML/DOM still sucks bigly at. We wouldn't need language binding libraries if we could issue XML to give us all the common and loved GUI idioms like tabs, drop-down menus, data grids, pop-up windows, tool-bars, combo-boxes, etc. (That HTML5 deprecated frames and iframes is a shame. Anti-Kudos to the 5'ers. Fire those b@stards!)

Most business work is still done with mice. Everybody thought fingered mobile would displace mouse-oriented UI's, but that was a bad prediction. Let's do open-source GUI's right this time. (Could QML be reworked to XML and made open-source?)
Lip syncing a non issue if the lips don’t move!

Actually not a bad idea to avoid lip movement if you want to export internationally.
Your example demonstrates how broken the current system is and why it's good that there are states in the US that are at least trying to kickstart change. Starting with the early days of the internet, which was about connecting the world and the free flow of information/knowledge, we've ended up with a global censorship machine controlled in places like China by totalitarian states and in the US by dystopian megacorporations that remove everything governments in various jurisdictions tell them too plus some extra for their own agenda and politics.

That German law is wrong (as are most other such laws) and it's done nothing to prevent political calamity. On the contrary, it can be argued the overly protected German public sleepwalked into another war on European soil, one that could have possibly been prevented if they'd realized the danger posed by Putin's regime earlier.

Free expression can be difficult and a struggle. Free repression on the other hand feels nice and safe for some folks initially. They don't have to deal with all those uncomfortable opinions. In the long run it almost always makes things much worse when you don't talk things out.