skysight-inc/HackerNews huggingface dataset:
Relatedly, I have certainly had the experience of remembering something as being hilarious only now to be turned off by how clearly sexist it is (which I never noticed at the time). This is especially uncomfortable when recommending content to a friend that I haven’t watched in a long time.
I spoke poorly. My point was that memory safety is but _one_ issue of a far larger problem. And Rust indeed solves it, or at least Rust provides an ergonomic environment for writing solutions that are memory safe. Which is different than saying it's easy to do this in an absolute sense. But certainly writing a program in Rust without using unsafe{} at all is still easier and more ergonomic than using other systems (e.g. annotation based frameworks which weren't baked into the language from inception) for equivalently safe behavior.

But if you watch the video, the presenter makes a great point: Rust's borrow checker is an amazing piece of technology, but it's inaccessible to the programmer. It's an implementation detail used to provide proofs for a narrow constraint--memory safety. Imagine if Rust provided syntax and semantics which not only allowed you to effectively implement the borrow checker yourself using a more general declaration system, but implement any other kind of formal specification needed to prove the higher-level semantics of your code.

In other words, imagine if a more general formal specification system were as first-class as the ownership- and mutability-oriented syntax are in Rust; a language that unifies the annotation model of solutions like Ada SPARK and Frama-C, but which is properly integrated into the language.

And that's what ATS is exploring. As the presenter says, ATS might be ugly as a systems language (because misallocated complexity--some easy things are too complex, some complex things are too easy--increases cognitive load and reduces efficiency), but its mechanism for formal specification is brilliant. Improve ATS, or apply it's novel approach to a language designed as a daily driver, and you'd finally have a realistic answer to the plague of buggy infrastructure software.

I realize this sounds like I'm making perfect the enemy of the good here. But I stand by my point: major failures like Equifax rarely involve memory safety, per se. Arithmetic issues are far more common, and even those are on the long tail of a much larger issue; namely, an inability to [efficiently] provide verifiable specifications for higher-level semantics. We hyper focus on buffer overflows, arithmetic overflows, etc, because we understand them and we know (at least in principal) how to fix them. But those are psychological blinders that cause us to miscalculate relative risks. We tend to overestimate the cost of problems we can fix relative to the cost of problems we're unsure about how to fix.
The point seems to be that is you limit your policy to something that can be reasonably be encoded as an algorithm and implemented as a program then you're by definition limited to write faulty policies that can't be flexible enough and will harm people.

I.e., that if you're choosing to use an algorithm for your policy, then this means that you will write harmful policies, and the choice to use an algorithm at all, any algorithm, is morally flawed and should be vilified - to motivate you and others to write policies that include appropriate flexibility, arbitration, human evaluation, overrides and thus can't be implemented as a scalable algorithm/program. Well, not unless we get superhuman general AI systems.
"i still think in a lot of corporate environments, money is definitely being made on the side by the decision makers when it comes time to pick an outsourcing firm, or award a contract to a contracting company, you know, you jack me off and i will jack you off later kinda thing, gotta grease the wheels of the company politics once in a while or else you might get caught not working"

I know for a fact that this happens excessively at a very big, well know and well respected company. Huge levels of corruption and under the table payments for outsourcing/contract labor.
Were you in a fraternity? I'm not saying you're wrong but I can't think of a single fraternity member who has their job due to some other fraternity member.

Maybe we were a weak fraternity but my opinion is that the higher earnings is due mainly to being above average socially.
Yes. The main barrier to more psychedelic research is funding / $$ and time - far more than anything else.

In the US, access to research funding is a far larger issue than scheduling. The main benefit of rescheduling would likely be through its indirect benefits on access to funding.

Source: I’ve talked with multiple researchers who are studying psychedelics.

Also, I recommend reading or listening to the book Acid Test if anyone here would like to learn more.
What's it using as a browser engine?
Legal / Lawful and Illegal / Unlawful – 4 words with 4 different meanings
As there are no synonyms in Good law:

Legal / Lawful & Illegal / Unlawful - 4 words with 4 different meanings.

Legal & Illegal apply to those who perform a function of government.

Lawful & Unlawfully apply to each man & woman.

Those in Government - Agents & Officers act in presumption that best suit their needs.

A claim not refuted, is presumed to be true.

Example:

The Government produces legislation that applies to who, those within their Jurisdiction OR more so, those who perform a function of Government.

In your property (home) you make the laws that are to be followed within your Jurisdiction. When I leave your property (home), your laws do not apply to me.

The Drivers License is also referred to as what - Government Identification, of which one uses to prove they are performing a function of Government and are therefore bound by the rules, regulation, by-laws, duties, obligations, responsibilities, etc.

So when one produces the Drivers License, then that removes the presumption that you are acting in your Private capacity and are performing a function of Government; along with being bound by legislation.

So when one claims that the legislation does not apply to them, is does not because at that time - one is not performing a function of Government.
Hi, your link looks interesting so thanks for putting that together but I just wanted to say it seems you've set the CSS property word-wrap: break-word on all elements of your site, which makes it kind of hard to read the text as words are constantly being chopped off.
Card points is based on a reward system that you virtually earn. Their value is only relevant to the card and to the participant(s). It is not a currency. Cryptocurrency is digital money built using blockchain technology. Both is similar and that you can essentially convert them to buy things, but that is where the similarities end. Card points is created by the Credit Card's marketing department (most likely) after factoring in the cost-benefit to the card for the company. Cryptocurrencies are created to circumvent the whole banking system that used the Fed as the "points creator". The cyrptocurrencies come into existence using value -- computing power to data mine. Card points come into existence by someone waving a magic wand, just like the U.S. currency. Honestly, if you are asking this question you probably don't know the difference between currency vs. real money. Check out Mike Maloney on Youtube's "Hidden Secrets of Money" https://www.youtube.com/watch?v=DyV0OfU3-FU.
OK, I can't resist. Time for a story.

Once upon a time when the net was still new, a friend of mine (then a Unix newbie) was trying to catch up with another friends' current status. Unfortunately this other colleague had quite a lot of info in their .plan, and so many lines and lines of text scrolled by too fast for my friend to read.

Needing a reminder about the syntax of Unix pipes and the "less" command, she turns to the person next to her in the computer lab and asks, "When you're fingering someone, how do you make it go slow?"

This poor hapless bystander gives her an absolutely horrified look, backs away slowly, and makes some excuse for a hasty exit.

It was only sometime later that my friend realized what she'd asked... :)
It’s still about class to an extent: source I was a legacy at PA Andover. Class is still an issue, but the definition has changed to include the acceptably upwardly mobile. The core is still some version of family continuity though.
What are the odds that after several additional years you will look back at today and think, "wow, how was I so overly sensitive to humor?"
What rendering engine does nEXT utilize, assuming you didn't write a rendering engine in Lisp?
AWS Certified Solutions Architect: Study Log
And I can't imagine manually entering a number into a device will stick around forever either.
These people weren't successful because of their resumes - they were successful in their past roles, which is effectively communicated on their resumes. Because of their past success, they were hired into a different better/more prestigious/more impactful role.

Step 1 of having a good resume: be a good employee

Step 2 of having a good resume: effectively communicate how/why you are a good employee
I have had experience with a DELL PC(Alienware), where the wireless card had poor reception. The problem very much lies with the incompetent tech support. They had me replace the motherboard, the card, but the problem still persisted. In the end, I gave up and used a USB wireless card.
Apologize for the spelling error - for some reason my phone is autocorrecting Puerto Rico to Peurto Rico. Embarrassing :-(
If anyone on Hacker News would like a crash course on the history and potential of psychedelic substances - I cannot recommend the book Acid Test by Tom Shroder more highly.

Or, for a shorter view, the article Trip Treatment by Michael Pollan: https://www.newyorker.com/magazine/2015/02/09/trip-treatment
Looks like the QT WebKit engine.
It doesn’t require that all. If anything, we are now seeing the opposite where top companies with considerable resources are remaining agile and innovative, effectively out-competing many new startups.
LOL, that does look like Alan Kay, doesn't it? Not 100% sure what I was thinking at the time I drew it, but it's likely a coincidence...
Very inspiring story ! Thanks for sharing it with us.
On the other hand there is money in music, and it could and should increase. When you have 1 billion people paying $10 / month you have $12 billion per year to split between the artists, songwriters, record companies and distributors. That might still be lower than before but it is some money.
There’s something to be said, especially when this site is so full of subject matter experts (although I am not one), for the notion that a discussion of somebody’s authority without including a discussion of the subject at hand is by definition, an appeal.
This is because an at-large system isn't the same as a proportional representation system. In an at-large system, 51 percent of voters can still control 100 percent of the seats. This is because each voter gets one vote per seat. For example, if a hypothetical state had 5 Representatives elected on at at-large basis, and 51% of the state favored one party, they could win 51% of the vote for each seat, and win every seat.
> but I bet smartcard producers are glad someone researched this before they got on the EdDSA train.

If the only thing controlling whether they implement something is if they can find negative results on google, I don't think they'll be glad for very long.
I'm not well enough versed in coal to compare pre-Obama coal with current levels of fracking.

There are some Obama era regulations I support, there are many more that I don't support. You have to concede that coal ash is a big issue and mountain top clearing mining is a disaster on a small scale though we can argue about its merits.

My personal opinion is that we should plow all energy subsidies into nuclear fission power, fusion research, and basic science for batteries / capacitors. Build massive nuclear plants for each power grid and let the states bid on who wants the plant investment. People who want it can buy their own renewables.
Great point about automated systems. Now I'm imagining a future where there's better telecom integration so that the phone tree options are integrated into the caller's UI.

For example, speaking to your cell phone company, you could see:

1 [Billing] 2 [Account] 3 [Add a line]
4 [Problem] 5 [Option5] 6 [Option6]
7 [Option7] 8 [Option8] 9 [Option9]
0 [Operator]

This would be customized to whatever phone tree you're interfacing with.
No. Ironically, you're probably not old enough. AIM predated any meaningful adoption of SMS in the US by a long time. In the 90s, I was one of the youngest to carry a cell phone (13) -- I wasn't rich either, just a nerd. In the mid to late 90s that was really the nadir of cheap cell phone deals, you could get a phone for a penny and the monthly service for $15-20 for month if you paid $0.15 per minute or so. No SMS though, the phone didn't even support it (That was an all analog AMPS phone - The next year I got a shitty CDMA phone, but still no SMS).

I didn't have a text capable phone until after 2000.

Meanwhile, AIM well I carried the same ID since 1994 or so.
There was a thread a month ago, Who's mentoring

EDIT: found it:
https://news.ycombinator.com/item?id=15148619
Freedom of Speech Isn't About Speech
Long ago, web browsers used to actually have this capability built-in. I remember doing it with Netscape Navigator.
Can you please stop? The problem with this line of commenting is that it's predictable, reductionist, and uncivil—not a good combination for Hacker News.
A lot of people who were not in Fraternities "feel" this way.
Tangential, that site hijacks my CMD-F shortcut preventing me from searching in page.

I hate that.
This is life. We should do our best to be right even though we are probably not. It's that or throw our hands up and quit trying.
I thought these foreign viruses become part of our DNA which we pass down from generation to generation.

It isn't buried in our dna rather inserted into it and become part of our dna.
Unfortunately, this web-based version is just printing text to the browser instead of a repl in the other examples.
I might be wrong but it seems that the new safer languages don't run as fast as C and create larger binaries. But that's OK if safety is valued more than speed and size.
He outright has pastiches on scenes in Homer, so I think it still works.
Everyone had an agenda of some kind. Whether conscious or unconscious everyone has their own opinions and belief systems which color their perceptions of the world. That includes their perceptions of hard data. There's no such thing as objective reporting -- it's simply not possible for humans to remove their own opinions and feelings from their perception of an event or an issue and report on it in an unbiased way. No matter how hard they may try, their bias will slip in.

This is why I prefer intentional debate as a way of understanding the world rather than poor attempts at "objective" reporting. I always feel far more informed about a topic after I've listened to people with opposing agendas duke it out on an intellectual stage than I do when I've read a supposedly "neutral" article by someone either masking feelings on the topic or who doesn't care about it much. Intelligence Squared US is fantastic for this and I really wish there were more outlets like them.

With that in mind, if you think this article has an agenda, then -- instead of complaining about it -- go find one with the opposite agenda and read that. Then compare their points and arguments.
> You'd probably see a lot more compassion among big-city liberals if these communities had embraced Bernie Sanders' agenda which would have redistributed a lot of wealth into their communities.

Blue Blood Democrats pushed Bernie off the national stage attempting to elect Hillary Clinton, leaving the disadvantaged to only vote for the candidate who offered to champion their cause (Donald Trump). I don't fault most Trump voters one bit. The superior option they had was scuttled by a power hungry candidate who lost to the worst candidate for presidency ever.

> But with their embrace of white nationalist policies and rhetoric, I think you see a lot of liberals feeling like they don't have the energy to care about all of the powerless people in this country and, instead, are focusing what limited resources they have on trying to help other oppressed groups (minorities, undocumented immigrants, etc.)

Which causes conservative America to double down on conservatives in office. Wash, rinse, repeat.

EDIT: "Undocumented immigrants" are not citizens being oppressed; they are illegally in the country and should be deported unless covered under DACA (having arrived in the US as minors).
I wouldn't be married to my wonderful wife of 11 years, if it were not for AIM. We met at a college party, and before we parted ways the only thing I thought to ask was for her AIM ID. I'm shy and talking over AIM was much easier for me.

Thank you AIM.

*edited for more details
https://github.com/nEXT-Browser/nEXT/blob/76d73d5de55f53e49a...

QT5 Webkit :)
I agree. But it's also folly to have the too-common attitude of "wow, that thing I did in the past was wrong -- and I know it because today I'm 100% correct."
It ties into context, I think. This game is funny because it subverts the expectations of the adventure game genre. Improving the graphics weakens this association.
Anything that alters since of time in the brain is not really a good idea.
are you calling HN a joke? lol.
This is what I thought amelius' comment was originally about. You could save power on drives plus it would only take a few seconds to come back online. I imagine it could save a lot of electricity if the additional complication is worth it.

Complications like a write cache drive in case of power failure, or grouping expected-cold data together. Also I wonder if powering the drive up and down occasionally will have a positive or negative impact on drive reliability compared to having it on 100% of the time.
Excellent book. It made the subject so readily accessible to the layman.
"(B) When there are small loops in the message network"

Can you elaborate a real-world example of this for the layperson ? 50k foot view is fine :)
Thanks for the comment. Can you share a screenshot on imgur.com by any chance? I can't reproduce the issue so would like to know what you're seeing so I can fix it.
How to Install Multiple Linux Distributions on One USB
I agree re: the patent pending and their trying to drum up some sort of support.

My opinion, what a monumental waste of time. I'm damn happy that I read tbgvi's comment before looking at the article, as the few minutes I spent browsing over it seem a waste.

What's next, let's design coat buttons to allow people to get dressed 0.5 seconds faster(after of course speeding hours relearning their muscle memory to actually do it -and don't forget the patented new button design giving them 20% of all sales of course)
I suppose you'd need to pay to update if anything in the dependency tree added a new L0 dependency. I wonder how that would affect development.
Myspace was great for smaller bands. It made it very easy to connect with like-minded artists and set up tours and shows on your own.
Only if you know a willing therapist.
We already have a great word that exactly describes our approach to capitalism though: ideology.
It reminds me of this incredible HBO documentary from 2009 chronicling the daily life of a (pretty crazy) rural family called "The Wild and Wonderful Whites of West Virginia":

https://www.youtube.com/watch?v=AQBiXDNVeSA
I work for a small software company, we pick our own laptops from the Dell business account.

Anecdotally, every Latitude we've bought has been rock solid, and every XPS - without exception - has had issues. Sound cards dead on arrival, random bluescreening, dead SSDs, faulty HDMI ports, you name it. Sometimes they'll send a new one, sometimes they'll send an engineer to replace the motherboard.

I can't recommend XPS based on my own experience. The quality control just doesn't seem to be there. The specs are too good to be true for the price anyway. If you need the specs, go Precision.
I thought that was Suge Knight's move with Vanilla Ice.

Music business can be rough: https://www.youtube.com/watch?v=f3zesMAuJrM
Though I echo the sentiment about most phone number input is not done by using the dial pad, there is still need to have a dial pad -- especially to interact with IVR systems.

The telephone dial pad is as familiar as the QWERTY keyboard, and attempting to change that -- especially for something that people use less than ever -- seems futile to me. That said, the underlying point of increasing screen sizes leading to hard-to-reach dial pads is valid.

What I'm missing though is that to me there's a painfully obvious solution: make the existing dial pad smaller. Nothing says it has to take up the entire physical screen space. Take the existing, familiar layout, and resize and reposition it to be within the "natural thumb arc" area. This does mean different size screens need different layouts, but that seems like a trivial detail.
target row refresh (TRR) is already a thing in laptop DDR4 and is being reported as part of SPD, but it appears Intel still doesnt support it (Cisco claimed Intel does support it, but its hard to believe them when Intel itself never claimed it publicly)
Apple's Jony Ive explains how people 'misuse' iPhones – Oct. 6, 2017
Phone numbers are also entered into contacts and other places with the number pad keyboard. The numpad keyboard works better on bigger screens than the full dial pad since it occupies bottom of screen.

Replacing the dial pad with the numpad keyboard would solve the problem and not require custom layout. It would also be more consistent across applications that do calls instead of having a special dial pad for the phone app.
Windows Data Recovery Professional 7.0.0.3 Crack Is Here  [LATEST]
Best practices, patterns, idioms are all important no matter what language. Lisp is not special in this regard (although, I admit, Lisp developers may stick around a bit longer).
> Music has been pretty darn cheap to reproduce for decades.

in a sense yes, but it depends on what you refer to by 'cheap'. other factors like convenience, availability, quality, storage, etc. were often quite different.

it's one thing to wait around for your song and then tape if off an FM radio broadcast, another to just download some 'lossless'-encoded bits off the web at will.
Your parent asked about encumbrances, not definitions. What is the encumbrance here beyond requiring application of different terminology?
Game Boy Knock-Offs: A History of Portable Copycats
I was exposed to this book in my Algorithms class last year as the book to learn Lisp if we wanted to. The professor himself was a huge Lisper.
In principle you are right. In practice the supply chains must get some incentive to switch to new suppliers. Perfect cooperation would suffice but usually it's price cuts.
Drugstore stocks tumble as Amazon considers selling prescription drugs online
Show HN: Cool MVPs That Need to Get Built. Straight to Your Inbox
Steve Jobs Didn’t Invent Creativity, He Nurtured It
Approx 80-100 years according to Wikipedia [1]. Though no source is cited.

The world of Snow Crash, where a few corporations own the entire world with a very tiny government, is also the basis of the book Jennifer Government [2] by Max Barry.

I found that book a bit easier to read. Diamond Age, I can't get through it yet. Cryptonomicon, also by Neil Stephenson is on my list, as well as Neuromancer by Gibson.

[1] https://en.wikipedia.org/wiki/The_Diamond_Age#Snow_Crash

[2] https://en.wikipedia.org/wiki/Jennifer_Government
Monopoly Man' Photobombs Senate Equifax Hearing
The space colonisation and nanotech focused Silicon Vly community of the 70s / 80s
7 Mental Models I Live My Life by – Request for Thought Processes