skysight-inc/HackerNews huggingface dataset:
To be honest having a person's name be the same as their nominative case pronoun is kind of cool from a whole different perspective than you normally get to see. By doing this experiment I get to see how bad of an idea it is to do that. So far the xe/xer pronouns don't seem to stick as well, but it looks cool so I'm gonna keep up the experiment.

I'm also quite seriously an ordained minister.
The developers who complained to me about this are Windows developers regularly.

One is even a professional AAA DirectX gamedev.
Yes, the fact that the stock market is resembling crypto more and more is not the defense of crypto that some people think it is.
“In the Zone” ... getting into “Flow”
When will Voyager 1 become 1 light-day distance away?[1]

* 1 LD from Earth = November 18, 2026 -- 1,614 days from today

* 1 LD from Sun = Feb 03, 2027 -- 1,691 days from today

https://www.quora.com/When-will-Voyager-1-become-1-light-day...
On a portion of it - I don't see any attention paid to discovering how to teach human beings how to be better at good will, which is part of the claim.
I don't think a scientific study is needed. There exist different classes of bugs. The stronger static typing, the more classes of bugs become impossible to make. You will not see a NullPointerException in Haskell.

The only way in which strong static and dynamic typing could produce the same number of bugs would be if strong static typing resulted in introducing other bugs, ones which wouldn't be introduced in a dynamically typed language. Proving that would probably require a scientific study ;)
Any cold showers for unit tests?
The original title doesn't give any real hint as to why I'm submitting this, so I've created a title based on the actual content, and not just on the example being used.
Ethereum miners spent $15B on GPUs in the last two years
When can we get our hands on DALLE-2?
I was swatting lots of flies last week, and I was doing my own announcing. A kill counter and automatic UT announcer was all I wanted out my swatter in that moment.
Do you mean 15kw? 1.5 is only like 4 panels, it wouldn’t make $400 per month and wouldn’t cost anywhere near $25k.
How did you get a "limited" "AGI" in the first place? If you had a human that was "limited" to be unable to even imagine doing evil (fsvo evil), that would seem to make them less than generally intelligent and there'd be quite a lot of things it wouldn't be able to learn or do.

This field is fairly silly because it just involves people making up a lot of incoherent concepts and then asserting they're both possible (because they seem logical after 5 seconds of thought) and likely (because anything you've decided is possible could eventually happen). When someone brings it up, rather than debate it, it'd be a better use of time to tell them they're being a nerd again.
If I had a dollar for every B2B software in my corp that screws up such basic thing...

Yet the box-ticker drones from IT procurement are content with vendors who assume we live in a world without diacritic marks, I guess. Using 8-bit character sets in 2022 is a "brown M&M's" [1] indicator for me. If they can't be bothered to use Unicode, what else they don't care about?

[1] https://www.entrepreneur.com/article/232420
Except that everybody changed to Github not git. And effectively recreated Subversion with caching.
>The issue is the supply will always be low if the MSRP is too low

The issue is can people make the supply low and drive the cards price up where such activity is profitable, or not. You can declare the MSRP 'too low' but if there are plenty of cards available at MSRP no one will pay the inflated price.

The supply was very low, which allowed people to drive the price up for opportunities to engage in some profitable arbitrage with those few who were interested in overpaying for the cards. After a short time of ubiquitous scalping, the manufacturers themselves raised the price to eat the amount being arbitrated because why wouldn't they if there were still people buying at that price? At that point why would they make more cards if they can make money selling fewer cards with less cost?

The 'market finds the price' approach doesn't work if everyone involved including the manufacturers are all looking to drive the price up for their own profit, which is what happened. Lots of people made money as middlemen for running bots etc to snap up whatever supply of cards there were, without adding any value or improving anything but their own finances.

Now translate that to everything else you buy and you can see that if the same could be done to baby formula, or cars, or houses, or eggs, and you can clearly see it would be a negative on society in general. You just need someone with a big enough fund - like say blackrock buying up homes, etc.
I'm looking at moving my desktop application(s) from Microsoft WinForms to Godot, but its worrying that no one else is doing it yet. It certainly seems appealing, especially compared to the other options, but its not at all clear what the limitations and risks are without investing a lot of time/money into it.
You know what? Please ping me when you build Rapture at the bottom of the sea, I've always wanted to try one of those fancy plasmids.
Do read the book, it's excellent. I'd finally done so myself only after the 2007-8 meltdown and found it hugely useful.

The passage I reference is toward the end of Chapter VI:

Never was there a time when more people wanted more money more urgently than in those days. The word that a man had "got caught" by the market was the signal for his creditors to descend on him like locusts. Many who were having trouble meeting their margin calls wanted to sell some stocks so they could hold the rest and thus salvage something from their misfortunes. But such people now found that their investment trust securities could not be sold for any appreciable sum and perhaps not at all. They were forced, as a result, to realize on their good securityies. Standard stocks like Steel, General Motors, Tel and Tel, were thus dumped on the market in abnormal volume, with the effect on prices that had already been fully revealed. The great investment trust boom had ended in a unique manifestation of Gresham's Law in which the bad stock were driving out the good.

-- John Kenneth Galbraith, The Great Crash: 1929, chapter VI

NB: In re-typing the above passage, I managed to render "hold" as "hodl". I've fixed that, but note the fact here...
To be clear, I agree.
Can you expand on the regulatory issues or provide a pointer?
Probably better—one nation wouldn’t need to maintain its currency as the world’s reserve currency. Demand would drop, increasing that nation’s export competitiveness and reducing inequality.
But you don't have to develop on Macbook. So you intentionally chose a platform known for being really expensive and now your main complaint is that it's too expensive?

I don't really think that the toolchain is to blame for that one.
Yes. Creators should upload content to Imgur and ask supporters to pay them directly through PayPal. That’s a fantastic alternative to Patreon.
It’s hearsay, as even the article says it was Dye who did the firing.

I’ve read many articles/interviews where Jony talks about being “hurt” by something. As in, he puts everything he has into these creations and certain things he takes very personally, as if someone is trying to stomp on a rose in his garden.

Chaudhri is known to have a big personality himself and went to start a company that has hired a lot from Apple (not exclusively but sometimes browsing LinkedIn it looks that way). So he sends an email while resting and vesting (and also planning his next big thing), and they decide to cut ties, as he’s now seen as a potential liability. It doesn’t need to be petty or vindictive, but a decision based on bad vibes they got. Chaudhri could have given his notice two months in advance and cruised and sent the email on his last day, but he didn’t.
Trying out DigitalOcean's Functions as a service offering
10.000 Views
You bring up a good point here.

No matter what it is, there is a need for maintenance of that thing. Bridges need painting, streets need repaving, ballparks need sweeping.

People are like this too. We all need sleep, the bathroom, food, etc. Yet with people we don't think of them during their maintenance periods. I think this is because we all do this during a certain period of the day, leaving the other parts of the day to enjoy our non-self-maintenance work with each other.

Why can't we do this for cities too?

I know it would be difficult. But declaring some sort of jubilee from maintenance would be pretty cool. Just for 1 month every 10 years or so, no more road construction, or bridge painting, or sheds on the sidewalk. Get the city to enforce it, make the fine big, coordinate it so that everything is clean and tidy, just for 30 days every decade or something. Make it a celebration, a party, a big time for tourists to come in and photograph everything. Like a height marker for a child on the door-frame. A pause, 'Look in the mirror, take it in, breathe, it won't last long, savor this moment'.
1.5 kW of solar for $25k ? Somethings way off, closer to $1 per watt.
I guess you'll be happy to hear that it wasn't needed to send sterile males for that species, which seems to manage becoming slowly sterile by itself ;)
NB: Cal Newport. Not "Carl".
I'd say it reduces bugs... in size, making them harder to find.
It is just a fair bit harder to figure out the types as program grows.
They act almost the same as pinned-revision svn externals, which people don't really seem to have a problem with. The biggest difference I can think of is needing a special command to pull in the submodules, where svn pulls its externals automatically.
You already posted this once with the actual link to the site.
If they are solid performers, they should have no problems finding other work, and terminating them is not wronging them.
>The crypto is easy to determine, the dollars not so.

I don't think we can use such excuses anymore. Luna was supposed to be backed by $3b worth of btc. We have absolutely no idea if this capital was actually used to defend its peg or if Mr Kwon pocketed it all. Crypto is just as hard to determine if not more so
Their message originally read "Actual Windows developers know NTFS has Symbolic Links"
> A lot of people do seem like they function on rote habit and instructions, and I don't know what to do about that.

Remove instruction. Encourage experimentation (and make failure cheap but not totally free).
I would assume the issue is that they need to disable symlink support by default on Windows because symlink support is disabled by default on Windows.
The big problem. Policy is super interesting and fun and touches on so many diverse and stimulating areas. Politics though is awful and puts sociopaths at an advantage.
The human "turning off (the agent)" could be substituted with "removing a necessary resource to complete the specified task". Say the electricity, either of the agent, or even just the coffee machine.
I think Gates has mentioned it distracted the company from other work on product innovations at the time.
The title needs an "of"
The post, which calls Eliezer a "prophet" who says people should drop everything in their lives to work on AI safety, agrees with me.

> Present a counterargument if you feel strongly about it, and see whether that will stand on its own merit.

This is a bad way to talk to rationalists because it's what they think solves everything and is the reason they're convinced an AI is going to enslave them. As long as you're actually right, saying "no that's dumb and not worth worrying about" is superior to logical arguments about things you can't have logical arguments about (because there are unenumerable "unknown unknowns" in the future). This is called "metarationality".

e.g. Someone could decide to kill you because they don't like one of your posts (1). Is there any finite amount of work you could do to stop this? No (2). Should you worry about this? No (3).

You can't logically prove the 2->3 step, nor can you calculate the probability of it being a problem, but it still doesn't seem to be a problem.
I feel like we underestimate how close these systems are to sentience, largely by virtue of overestimating humans.

The largest ML systems of today have roughly the same complexity as human brains, and evolve in much the same way. The brain has 100 billion neurons, and GPT-3 has 175 billion parameters. Neurons and parameters aren't comparable, but there isn't an obvious advantage in either direction. Neurons have more parameters than ML parameters, but also operate at around 10Hz, versus many, many MHz.

That doesn't mean machine sentience will be anything like human sentience. Brain disorders are helpful to look at here -- there are people who don't experience specific emotions (e.g. pain, fear, etc.). Even a minor tweak can have a major impact. That's far less than, for example, evolving without evolutionary pressure for self-preservation, for pro-social behavior, or with the sort of ephemeral nature of ML systems.
Depends on what you run on your desktop. If it's real time audio software, it makes for a great desktop experience.
This reminds me of the studies done related to traffic lights and stop signs.

Removing traffic lights and stop signs actually reduces accidents because drivers are more careful when driving through intersections which reduces speeds and drivers become more alert.

Developers will adapt to their toolset. If you have a statically typed language, you trust it will deal with type related issues and you become more lax with testing things related to types. When you develop in non-typed languages like Ruby, you tend to write more tests and not trust your compiler (because you don't have one). This is why you will find most Ruby developers are really good at writing tests and embracing TDD.
Not sure how it is on a computer, but the site really needs some work on mobile. I wanted to check out what these tools were all about but I got frustrated trying to read the page and gave up.
(I need sleep, Ackermann is actually very easy to show as decreasing using lexicographic order).

Yeah, if you know that the recursive function always terminates, then you know that each recursive call makes the set of remaining steps strictly smaller.

When you want to prove termination, then it is exactly what you need to show (that the remaining work does get smaller, no cycles).
I do need to develop on a Macbook. The hardware is just so much better than anything else out there. This is my personal opinion of course, but I would rather stop being a software developer than to develop software using a different laptop available on the market today.
They're anonymous to the vendor, but of course not to the credit card company, issuing bank, or their own government.
You say you haven't done much marketing, but the Play Store assets are pretty well polished. Did you use those yourself or hire someone for them?
They do. At least some of the FAANG have important software development offices in Japan.
On the other hand it increases development time and makes modifications and new features much harder to implement. If you took it to the extreme, you could also mathematically prove your code is correct for every input variable.

Everything's a trade-off, the question is which approach is best for your application. Your average website doesn't warrant as much rigor as a Mars rover.
More likely to be the corporate setting than the designers.

I had no idea the originator of the Bondi Blue iMac was Danny Coster. I'd always assumed it wss Ive.

Interesting he managed to take all of the credit for it.
Yeah, a common mode when I'm making changes is "add a field to the type, run the type-checker, fix all the failures."

In a sense "type coverage" is analogous to test coverage.
> AIs absolutely do have goals, determined by their reward functions.

You're confusing "AIs" (existing ML models) with "AGIs" (theoretical things that can do anything and are apparently going to take over the world). Not only is there not proof AGIs can exist, there isn't proof they can be made with fixed reward functions. That would seem to make them less than "general".
I ran into this when trying to test out Rust. On Windows, they recommend using native tools that require a multi-gigabyte download via the Visual Studio installer (and this is just for tools--not Visual Studio, the IDE).

It was annoying for me because part of the reason I wanted to try Rust on Windows was specifically to avoid multi-gigabyte C/C++ toolchain downloads. I bet the actual compiler and linker aren't that big, so I kind of wonder where all those bytes are going...

Aside: I see a sibling comment mentions Zig. While I haven't really explored Zig, the tiny single-binary download was a breath of fresh air. Go also had a quick and easy download, but I wanted a language without a garbage collector.
Crypto was not a $2.6 trillion scam.

The "market value" does not have any correlation to how much money was thrown into the pot.

Back in 2018 the estimate of the 2017 bubble that blew it up to $1T the first time was that there was $5B-$10B or so sent into the system.

This time was probably several tens of billion.
The other problem with Xcode is that it won’t run on anything except a Mac, and MacOS licensing prevents one from running it on non-Mac hardware or virtualizing it. That’s why services like https://www.macstadium.com/ and AWS mac instances exist, but it’s very annoying to have to work around this just because of dinosaur business models and licensing.
Isn't the difference that a machine may learn a relation between the inputs and outputs that might escape a human analyst?
Imagine a car that when running low on gas, randomly ejects passengers to reduce load. Would you choose to use such a car?
Thanks. I have mostly used Ubuntu and Fedora, as most of the time, if some software is not in the repos, it will have installers for both of them. But I am always tempted to try SuSE.
I know that’s what bitcoin proponents would say, and this appears true to me on the surface.
I also see huge incentives for governments, banks, payment companies, tax companies etc. to NOT want this to happen. Some for self preservation and immoral reasons and some for legitimate humanitarian reasons and to prevent anarchy. It’d be nice if someone could paint the unbiased vision of what the future world would look like in that scenario.
If you don't trust the customer, don't take their business.
The furthest I have come was applying an SVD on a 2D Matrix to find the new axes of a skewed ellipsis, but I think I could follow for most of the part. Thanks.
This is really exciting, but a bit daunting to dive into. Are there any screenshots?
My problem with USB charger ports is that they are sensitive to oxidation and gooey dust. I miss the old "cylinder with pin" ports. Never failed me.
> maybe there’s a large, quiet group that is not well represented

Often referred to as the "silent majority".

> My left wing and right wing friends are pretty centrist in my estimation.

I think this is many (?most?) people's experience, whilst media (social/traditional) are geared towards demonizing both "sides", to increase engagement. I say "sides", because most people's opinions skew left/right depending on the issue in question, rather than fitting perfectly into the stereotypical archetypes.
It reads to me as obviously about the author, and the critical-of-Apple reading the convoluted and tortured version, only making sense if your model of humans is fundamentally... I dunno, manipulative, or Machiavellian. (shrug)
https://news.ycombinator.com/item?id=31643917

https://fidoalliance.org/apple-google-and-microsoft-commit-t...
These certainly exist and have some, rare use cases.

Personally I’ve seen them use when there are large air conditioning loads but insufficient electrical power

https://www.yanmar.com/global/energy/ghp/
Try cross-compiling Go apps that use GTK3 if you’d like to spend a few days in intense pain. It’s not there yet. Electron apps are probably the closest thing we have today that actually works correctly on Win / Linux / Mac.
They don't even solve the same problem. Simplex works with only linear objective, BGFS works with only unconstrained R^n domain. You possibly cannot have a non trivial problem in which both are true.
Other than apple, isn't this a "problem" that the industry has largely solved already? When was the least time you saw a proprietary connector on a new non-apple product in any of those products categories? Seems like politicians trying to get wins on things that don't actually matter...
You may find the Collatz conjecture interesting: https://en.wikipedia.org/wiki/Collatz_conjecture

It's an easy to understand loop, which can be written as a recursive function of one argument.

Even though the possible arguments are just the natural numbers, nobody knows how to identify a suitable ordering relation which decreases with each call.
Git submodules aren't perfect, but they can definitely be useful. I use them all the time and for my use case they are a good solution. They do take some getting used to though.
Maybe it's art? By not having the text flow, you give up on reading the nonsense earlier, and thus your browsing experience is more enjoyable!
> Hype: "We should develop software using Agile."

https://www.agitma.nl/wp/wp-content/uploads/2016/07/Dilbert_...
Hydronic heat distribution (baseboard and radiators) is quite common in New England.
I hope Im allowed to die when im 70 or above.

If you life to long I think you will loose yourself in just living in your routine.

And I myself would not mind dying even younger than 70 much younger.

I have the feeling that the big surprises in my lifetime are done. When I look at older people around me, non of them experience something I haven't yet and their day to day life's are boring I will be boring.
I'm sorry, the site really looks bad on small screens. I'll try to fix it today. Please, when you have time, open it from a desktop browser.
If you want to stop the world from containing general intelligence, you'd have to stop everyone from having children, which are equally generally intelligent to AGIs (but possibly less specifically intelligent) and are even more dangerous since then actually exist.

The reason people don't accuse every random child of possibly ending the world is because things that actually exist are just less exciting.
I think I'll start running my copy through gpt3 to make it more human
Maybe ours is more: London / not London.
Unfortunately for you, Bitcoin will soon be neither.
Mercurial covers generally the same concepts as git and is thus also not trivial to learn for someone uninitiated; yet its interface was like day vs. night when compared to git since their very early days. It proves one can design a decent interface if one actually tries to care about usability and friendliness. How I remember the past days, git won the rivalry squarely due to GitHub becoming popular (though I assume there were some reasons why GH chose git over hg).
It’s funny because I find compiling and deploying for Windows far, far, far easier than Linux. That said, the complaints are all good and fair.
Now try building a "portable" binary that runs on a version of Linux older than yours.
Slightly more precisely: you're using less energy (in the form of electricity used to run the heat pump) than you are moving into/out of the heated/cooled space.
Electricians are expected to work on and around live loads in datacenters regularly. It's probably a lot more dangerous than whatever you do.
Even if you’re not at war, a military is necessary to enforce neutrality.

For example, if a pilot from a belligerent country crashes in your territory, they must be internet for the duration of the war.

You’ll also want a military to evacuate your nationals from places like Afghanistan, and manage defectors trying to reach another power.

There’s also a good chance you’ll be asked to participate it peacekeeping forces.

You don’t need a large army. You might not even need a standing army: reservists might do. But you need some military capacity.