skysight-inc/HackerNews huggingface dataset:
Arguing for or against public transit is irrelevant if using it is unsafe because of lack of law enforcement that will prevent criminals who chose not to abide by laws harming travelers.

The 'US social safety net' has little to do with this - violent, opportunistic thugs use public transport to bring huge quantities of drugs into SF every day using BART, while terrorizing passengers largely with impunity. This may seem like hyperbole but a quick look at local news will confirm this.
> It's completely plausible that we will create a system with Intelligence that far outstrips ours while being completely un-Conscious.

Is it? Is there proof that consciousness is not a requirement to close-to-human level intelligence?

Given that we do not even know how consciousness works in our brains, I don't think we have the answer yet. I'm not sure it's plausible to make such an assumption.
I don't use a single Apple product. What am I missing?
I don't think that's correct. Especially since there's a community-led organization with the specific goal of increasing adoption https://haskell.foundation/
This makes me wonder if anyone ever leveraged an America Online CD for malware.
Putting myself in Apple's shoes: I just don't see the financial incentive to invest a whole lot in the native GUI story for the Mac in 2022

Regular people mostly use iOS. Many don't have traditional computers at all. That was originally the Mac's core market.

It still has a strong professional market- but many of the serious professional tools (Adobe, Blender, IDEA, etc) use their own custom in-house GUI frameworks, or maybe something like QT

And then most of the rest of the space is covered by web apps and/or Electron

Personally I can think of... three third-party native Mac GUIs that I use on my work computer, and two are background apps whose only GUI is a settings window you can open

The Mac is just... not really a GUI platform the way it used to be. Desktop OSes in general aren't. It's a bummer, but it feels like the new reality
Read most of Phil's books - not more than once - enjoyed them for what they were ... paranoid, dark, imaginative, disorganized, groping ... but wouldn't include him with the great writers (showing what it can mean to be human in its great variety ... and how that can be denied us ... revealing more as we age).

Bladerunner (the director's cut anyway) was a great film, still among my top favorites. It added much-needed clarity to some of Phil's best cud-chewings. Without the film, I think he'd have remained relatively unknown. Other authors, before and since him, I may turn back to for another read - because they offer me more than more confusion.
>How did we get such beautiful democratic systems

There was never democracy. People have an illusion of democracy. I think it was Noam Chomsky who said that in a democracy consent is manufactured.
It also looks like a paid license can only be purchased by through a "contact us" partner? That's a hurdle.
Vision Service Plan. I don't mind calling them out because they were god-awful up and down the chain. They basically were IBM's lap dog and gave them a blank check on whatever IBM told them to buy.
That’s the problem with the current state of their OS, it attempts to do too many things without regard to simplicity. I could name a few things MacOS could do without.
Eugenics was very popular among Progressives across western Europe as well as the US. Compulsive sterilization, certification of marriages to avoid unwanted breeding of undesirably character or deformity and worse were considered "the science" of the time, and a moral virtue among a fair few Christian sects as well. Fundamentalists and Catholics were among the few religious groups in the US who opposed it, and were ridiculed as ignorant.

The evils perpetrated in the death camps and elsewhere were nothing more than the logical end conclusion of eugenics in general.
> But, articles explaining the core use cases and how only this language enabled solving it are rare.

Articles of that form are usually BS though, for any language. These are general purpose programming languages. They all have different benefits and drawbacks, but you can usually use any of them to do anything you want.
Because intelligence is more than frequentism. Being able to predict that a dice lands on a given side with probability 1/6 is not a demonstration of intelligence. It feels a bit naive to even suggest this and I suspect that you aren't a ML researcher (and if I'm right, maybe don't have as much arrogance because you don't have as much domain knowledge).
The planet's overpopulated. Help people die if they choose to do so. It's a lot less messy that way, for everyone.
The common argument goes that "laziness is not the best choice for all problems, but defaulting to it forces you to make some hard decisions (referential transparency, immutability, controlled effects, control structures as first-class citizens) that are beneficial for a large class of problems."

In other words, you don't necessarily want laziness for its own sake (though sometimes you do) but you do want it for its second order benefits.

Could you get those benefits without laziness? Yes, you could. But in the history of programming languages that has happened very rarely, because under strictness it is very easy and tempting to sneak in a little mutability or uncontrolled effects. Under laziness you can't get away with that.
> CMD-Delete

This^. It used to be command-D for "Delete/Don't Save" but at some point they changed it to command-delete; maybe someone thought it made more sense and was harder to type by accident?

<Delete> command-delete (backspace, not forward delete)
<Cancel> esc
<Save/Default> return/enter

I actually prefer command-D precisely because it is easier to type: on the home row and you can type it with your left hand while mousing with the right.
Sound Transit details light rail construction delays
Jane Street was discussed heavily here on HN a couple weeks ago:

https://news.ycombinator.com/item?id=32314623 (300+ comments)
Seems like a lot of people disagreed, because Go is definitely a “successful” language.

Kind of getting sick of hearing these same complaints, over and over, to be honest.
You're right, and that's why I like my analogy -- Toyotas get you there, but they got you there a lot more dangerously before airbags or ABS were invented (Mercedes innovated those things).

You don't need a Mercedes these days, and that's a result of other companies adopting things that and increase safety, etc. We should expect this of a healthy ecosystem!
What about the professional C-suite executives who want to look sharp when meeting potential clients or inventors.
I don't use Office at home (I use Sandstorm apps instead), and I've convinced a few folks to use LibreOffice instead of paying for new Office versions recently, but I still deal with Microsoft licensing pretty regularly, so the prevalence of grey market keys on deals sites is of great irritation to me.
I was walking into a dark room and I turned on the light, I turned around to close the door and noticed the giant 3” spider right above the light (I know everyone in Australia thinks it’s adorable I found an itty-bitty spider - but 3” is big in the US). I think it’s a brown recluse so I get someone to toss me a broom and I kill it. While cleaning that up I get a good look at the legs and realize there is green in addition to brown, so it was just a grass spider, not poisonous at all. But still I’m glad my hand missed it when I turned on the light, and I didn’t walk into its web late at night while going to the bathroom in the dark.
https://archive.ph/UV2nx
Other stuff like the game Shovel Knight and even an open source frame limiting library broke because of this change, there are probably more things but this has not reached the masses yet.

I dont think the change was inherently bad but just ham fisting it into the release without widely announcing that the ABI will change is a massive failure on the glibc teams end.
I initially thought along the same lines from first principles, that there is no incentive for physicians to suggest euthanasia.

But in addition to the case from Foley quoted by another commenter, the article backs it up with another claim given by a named source: "Frazee cited the case of Candice Lewis, a 25-year-old woman who has cerebral palsy and spina bifida. Lewis’ mother, Sheila Elson, took her to an emergency room in Newfoundland five years ago. During her hospital stay, a doctor said Lewis was a candidate for euthanasia and that if her mother chose not to pursue it, that would be “selfish,” Elson told the Canadian Broadcasting Corporation."

So, it looks credible that it's happening in practice. I can only speculate as to why, but I revised my initial belief because it was hypothetical, after reading about the accounts that look objective.
Ukrainian strikes may be slowing Russia’s advance
Completely unhinged rant, I'm surprised you didn't even mention US politics and climate change for good measure.

Take a break and return to posting with your main account, and hopefully you will spare us from tirades like this.
e-v-e-r-y-t-h-i-n-g. but hey I’m jealous because you have so many pleasurable experiences to come. I suggest jumping in and buying the new iPhone 14. Go all in get the Pro Max. You’ll get a massive return on the investment.

I’m a tech junkie, I’ve had it all. Doesn’t get better than Apple
After looking it up on Wikipedia and seeing the various notations used (most of which are awful IMO) I get the hate on long division, though I never felt anything like that.
It may be because it is familiar to me, but the notation I learned in school in Austria feels superior or at least less irritating. I guess German schools use the same.
Why the heck write the divisor first?
The essence of my comment was meant to emphasize that going outside one's comfort zone very often requires some leap of faith.

I'm not advocating learning only one thing and spending your life on that-- on the contrary, I'm saying if there's a subject you're not interested in (eg.: chemistry, accounting, actuarial science, invertebrate biology, whatever), it's probably because you don't know enough about it.

The people who do know about topic X, do see its applications. There's almost always more to gain from learning a different thing than we tend to believe at the onset.
Infanticide was a completely normal part of life in almost all historical societies though usually by drowning or smothering because they’re quieter. Exceptions are the Egyptians, Jews, Christians and Moslems. The PRC felt the need to legislate against it specifically when they conquered the last of the RoC holdouts in China in 1949 so I don’t think we need to imagine infanticide.
They’re a market maker – earning more in periods of volatility and stress as they essentially arbitrage the market. They aren’t a fund that speculates on the future value of stocks.
There isn't many people in the USA that love the idea of driving their car to ride a train so that they can then rent a car to get where they are going.

Rails work very well in situations were you have high density living areas connected to high density working areas and everybody needs to get from the same point A to the same point B very often.

There is only a few places in the USA were such situations exist and they generally already have railways for people to use.

There was once a time were the USA had useful network of trains that people could actually use to get where they wanted to go, but the Federal government flushed that down the toilet in the first half of the 20th century in the name of "improving efficiency".

Pretty much every town, big or small, in the USA that was started before train going through the heart of it. If it didn't have a way to get there by rail there was no real point in building it.

But that hasn't been true for a long long time.

The idea being that large numbers of privately owned railways with small depots all over the place wasteful use of resources. It was much better to regulate and consolidate to remove the redundancies. They used to be proud about all the different depots and stops that were being destroyed and railway spurs that were being shutdown because they thought that it would reduce costs and economize the railway network.

The end result of all of this was the Interstate highway system.

Rail isn't going to come back.
zsh has "repeat" for that, and with "setopt short_repeat" (added in the last release) you can do:

repeat 10; mycmd
I think there are many different people with different opinions in the community.

The inofficial motto of 'avoid "success at all costs"' is not a joke. It's easy-ish to achieve success if you allow yourself to pander to the masses who don't always understand what they are missing, and there's always been an element in the Haskell community that tries to do what's right, notwithstanding what the large masses think.
There are a few tinkerers, a few nice setups, and a lot of younger posters copying things off GitHub for internet points

That last part isn't necessarily bad - it gets people excited about running GNU/Linux. "Come for the DE customization, stay for everything else"?
They will still sell all three along with many more devices. The brain, the most expensive part for apple to make will be the iPhone. I'm sure they will still make standalone devices as well but the pinnacle will be a singular compute device that works seamlessly with a wide range of "dumb" docking devices. We have seen previous iterations with things like Asus Pad Phone and Motorola lap docks.

Apples ipad and laptop revenue combined is only around 15% vs 50+% for iPhones.

They can sell the docking stations which may be both wireless and physical docking, as in they are useable when paired wirelessly but for maximum performance slip the phone in the docking slot.

The docking devices (tablets, laptops, home centers, desktops, gaming systems, digital media equipment, etc) can be sold at great profit margins and various spec levels (Resolutions, Coprocessors, input sensors, etc)
The start of macs being viable for IT professionals was OSX, which was well after the iMac.
There’s an option in Keyboard settings > Shortcuts > “Use keyboard navigation to move focus…”. There are a couple security based dialogs it don’t work in but the majority of things it does work for me.
I'm not the same user, but this HN thread from 2018 covers the "brain drain" of Canadian technical workers to the US due to much higher salaries: https://news.ycombinator.com/item?id=16996420

The general idea is that the most talented Canadians leave the country. This argument has a lot of merit, but if you look at the right places, you can still find a lot of really high talent in the country (e.g. medical research, computer science research, and animation).
Other languages have monads too. They just don't call them that, and give each individual monad's bind operation its own name instead of having a single interface they all share. For example, std::optional in C++ is a monad, with and_then being the monadic bind operation, arrays in JavaScript are monads, with flatMap being the monadic bind operation, and async functions are monads, with await being the monadic bind operation.
It's so good, even the old trick for copying items works !
They aren't making fun of Carmack. Just noting that money lending works differently past a certain threshold.

Carmack can get investments for their ideas to motivate them, OP cannot get investments for their ideas to motivate them. What is the difference?

Hint: it's not because one is Carmack himself.
I used OpenAI Codex for some recent freelance work. The work was simple - upload a form in JS. When I took the job, I said I'd charge for about 4 hours of work, and they said great, they needed it tomorrow anyway. I realized I needed some help and picked up Codex.

Scope of work for the AI: import jQuery, turn the dummy code into an ajax GET call, pass the clicked data between two pages, turn a PHP form into a JS one, add form validation, setup a POST call, debugging the regex of the phone validation from their backend team.

My scope of work: steal code from Codepen to do some drag and drop file upload and mess with the CSS to have it fit the page.

I actually train JS bootcamps and I'm sure 80% of juniors cannot do this within 4 hours. Nor would the good ones be hireable within such a short timeframe.

But it did help me keep the contract within the time I'm charging for. It was a $125 contract, so it would have been worth the price if it did half the work.
Yeah, I see your point. I do think there's something to do with a state having a concentration of wealthy people who then move. That, at least, seems problematic. I do think people, these days, are incentivized to do that because although we may look at them as wealthy they may have trouble affording where they're from. I don't even know what you do with that.
I don't have a ton of Xcode experience, but from what I've touched, while it does feel good to use in terms of a "native" experience, as an IDE it feels lacking. Even basic things like the text editing experience feels limited compared to other IDEs (e.g. why is there still no auto-formatting built in? why can't I duplicate a line without having to use pseudo-Emacs movements?)
A good principle to abide by in software is that if the majority of people are complaining about something being too difficult to use, it is probably too difficult to use. Someone who uses it every day and is heavily invested in the software is unlikely to (want to) understand this, but that doesn't make it less true. I could write an essay about everything wrong with Haskell but the fact of the matter is the community driving it fails to see the forest for the trees.

The principles driving Haskell and functional language paradigms are fine by developers and they don't need to learn it either, nearly every developer is familiar with these. Case and point: the success of Elixir, Swift, Scala, etc.
> Do either of these problems manifest in Haskell?

Haskell code varies a ton. Some people write simple, straightforward stuff in Haskell with lots of pure functions and relatively simple types, straightforward definitions. Some people invent complicated type systems for their app. Some use weird styles, like points free, or continuation passing. Some will rely heavily on abstractions like monads, applicative functors, arrows, zippers, lenses, unfolding, etc. Some write straight imperative code.

Highly variable.
That is kind of horrifying, considering his family were not aware of this either, and neither was he consulted about it.
Which version is being flagged? Whenever I create a redbean binary, I always ask Microsoft to whitelist it using this form https://www.microsoft.com/en-us/wdsi/filesubmission They told me the false positives on the 2.0.16 release had been removed. The thing that sucks though is if you change the binary, for example adding an .html file to it using PKZIP (rather than using -D DIR to serve a local directory) then you have to upload and report your modified redbean to Microsoft 'security intelligence' yet again because Microsoft's security tools aren't very smart, and they're biased against open source developers.
The Low Energy Trap
Quantum Physics Could Finally Explain Consciousness, Scientists Say
language is more fuzzy than binary logic systems, John Carmack is an exception rather than a counterexample.

And that's the point, comparing exceptional people to the general population isn't valid or relevant here.

Also, these people are typically on teams as juniors who are learning.

Consider that you immediately reached for someone who is over 50 as an example of a developer having a large impact in the first 5 years of their career. That really does say everything.
Does it work in TextEdit?
Most C-suite execs don't even seem to use a Mac in 2022. All seem to be about the iPad Pro, Surface Pro, or ThinkPad.

I also don't think a $2000 laptop is making anybody look "sharp" in 2022 when financing is readily available for anything Apple. What car you drive or what watch you have says more, but there's so many counterfeit watches out there that it's also fairly meaningless. Even cars, easily financed or leased these days.
The erosion of the Mac experience began with Sublime Text. It’s a perfectly cromulent editor, but it was the inflection point where the Mac was becoming an important business target for efforts outside the ecosystem, and where developers who hadn’t been on Macs by choice were being issued them by their employers. It was the first widely adopted third party app on the platform that was both non-native and adopted enthusiastically. Formerly native apps embraced more cross-platform junk (Adobe famously moved a lot of its suite toward Flex, based on Flash). And then by the point Macs were becoming anything like commonplace, everything was a web app.

Not that I disagree Apple’s UI frameworks have degraded the experience. But the whole platform was a wasteland before they even had a chance to degrade anything.
I believe clojure has laziness out of the box as well.

While both languages are functional, in contrast to Haskell, clojure doesn't have functors or monads. My understanding is that the same problem is essentially solved in a different way with macros.
apnews needs to sell ads aparently.
A large part of this (and why you will find it hard to find Haskell developers who admit the state of the documentation is lacking) is that documentation isn't bad -- it's specifically apprentice-level documentation for specific libraries/use-cases that is bad.

In other words, journeyman users who are experienced in "following the types" will find plenty of really high-quality documentation. Total novices who need an introduction to the language will also find high-quality material (though this is more of a recent development).

However, once you're past the novice stage and at the apprentice level where you want to accomplish something specific using some libraries, there's nothing for you there. You have to ask someone at the next journeyman level to sit with you and guide you through following the types.

That is limiting, and under-recognised, I think.
I would phrase this somewhat differently to express the same sentiment: I object to a system in which my dog is practically guaranteed a better end than I am.
I have a hypothesis about this phenomenon of the software house monopolies, which is that wherever consistency of human interaction is beneficial, you get large concentrations of development, for reasons of human computer interaction being difficult and operating consistency and communication of skills network effects are created as a function of intrinsic human values propagation. Conceal the interface from direct user manipulation or the necessity for interaction for function, and individual or very small groups of artisans can be effective in extreme scale as is the case with much internet infrastructure and the Linux kernel. In the example of concentration of large development investment I'm thinking about, which is Microsoft Office, both kinds of network effects have been used to control and conflate different desires of monopoly, charades of open document formats and email protocol implementation (in this case the documentation is very good, practice however..) dancing between the lines of simpler competition and initiatives. Although the argument I'm effectively making turns out rather familiar to anyone who thinks of the turn of century software economy, I'm trying to replace economic theory with a suggestion that it's important to think about user applications for critical new infrastructure and protocols that can be developed simultaneously at comparable velocity alongside supportive infrastructure, instead of declaring standards and protocols that are left to capital markets to realize as products. Imagine if TBL had written a book recommendation and bartering spec as a backup for the paperless proposition of hypertext?

Edit: fixed autocomplete error, removed "even" from last sentence.