skysight-inc/HackerNews huggingface dataset:
This is what I've realized about myself and addition. I get into new things fast and tend to over commit or over indulge early on and once I realize it pull back. I've got it under control now because I realized my excessive drinking or drug usage was in large part because I was bored.

Shit television or movies are much more entertaining when drunk or high. Social engagements that are not mentally stimulating to me are much more bearable when in an altered state.

I picked up a few hobbies that I really enjoy and I no longer feel the need to hit the weed vape pen 5 times on my walk home from work. I paint, do yoga multiple times a week, read a lot, and I'm more selective about the social events I go to because I've got other things I can occupy my time with.

I realize I'm just one data point but I think a lot of people use their vices to stave off boredom and make a life that is not all that interesting, interesting.

Tech addition is a bit different because it's hard to unplug entirely because many of us need to use screens for work. Removing all the social media apps from my phone and limiting my screen time at home has been huge for my ADHD brain. I don't have to have my phone at my side constantly anymore. I find myself enjoying experiences instead of trying to bottle them up for presentation on an app.

Maybe I sound a bit anti-tech but I believe a lot of people have gone too far down the rabbit hole and haven't realized it yet.
I think detecting whether stdin is a TTY is a huge antipattern. Most of the time, it works, but now and then, you either want to run an interactive session in a situation where stdin appears not to be a TTY, or a batch session in a situation where it appears to be. Plus, it means there's twice as much surface area to learn.

EDIT: remove rogue 'not'
AVX512 would be ~4x, but this intel CPU doesn't have it.

AVX2 is ~2x, Ryzen/AMD fakes AVX2 instructions with multiple SSE instructions.

Some AVX2 instructions downclock but not much, I see very close to 2x speedup over SSE2 with some workloads. Some of the downclock loss is made up for because there are more instructions available (gather, etc)

AVX512 might hit more than 4x improvement over SSE on some workloads despite the downclocks, due to all of the masking features. I have seen results consistent with this, 2nd hand. (I don't own an AVX512 cpu)

Anyway all of these things depend on workload, cpu, compiler etc. But it does happen!
The drink [0] is actually still kind of produced by the monks. The brothers Chartreux, who have all taken vows of silence by the way, collect the medicinal herbs in their remote mountain valley where they live. They live in a castle [1] that looks like something out of the Harry Potter franchise by the way. Each of them has his own multistory rowhouse. Anyway, the herbs they collect make up the mixture, which makes up the drink, then it is brought to the nearby distillery where it is distilled. What's changed from the old days is that they don't do the distilling in the monastery. And there's actually still a Chartreuse "health elixir" [2], me and my partner buy them for our grandmas. It comes in little bottles that are put in a wooden cast-sort-of thing that opens like a matroska. You drink one teaspoon at a time, it's around 60 degrees, it has a different herb mixture, and I think it has less sugar. If you're ever around that region of the alps, the valley of the monastery is a nice place to hike.

[0] https://en.wikipedia.org/wiki/Chartreuse_(liqueur)
[1] https://en.wikipedia.org/wiki/Grande_Chartreuse
[2] https://en.wikipedia.org/wiki/Chartreuse_(liqueur)#/media/Fi...
I agree about the insufficiency of user-education.

I think we need go further: what we need to do is kill the idea that email is an good vector for notifications inside of big organizations (or maybe even outside of them). I should have a dedicated app with a whitelist based system that official notifications go through. This could be not only a security improvement, but also a stab at better UX, better productivity, and avoiding notification fatigue.
Interesting! Michael is one of the more prolific writings and practitioners in the Haskell space (I read just about everything he writes) so it is interesting to also read his take on Rust.
I think you're overestimating the capabilities of current robotics. The Hubble wasn't designed to be repaired by robots. Technically, it wasn't designed to be repaired at all. If a robot is going to do the job, it will need to at least match the dexterity of a human in a space suit, and be able to react quickly to unexpected circumstances. Neither teleoperation nor AI is there yet. Maybe in a few decades.
The world collectively regulated CFCs, so we know global scale externalities are a solve-able problem. https://www.nbcnews.com/mach/science/good-news-about-ozone-h...

There may be some bad actors but not enough to halt gains.
https://www.upi.com/China-to-beef-up-CFC-inspections-as-UN-i...
They're already on the hook for an enormous liability if it's true, so lying about it isn't really the worst option if there's even a small chance it avoids the issue.

After seeing what VW did with emissions, I wouldn't say any huge corporate cover-up is out of the question. Especially considering this situation would be very bad even if did happen and they were 100% truthful about it (it would create huge problems with China for them and their supply chain).

We just can't reasonably make conclusions either way yet.
Further reason to never purchase Intel again.
Amulet Cryptocurrency Derivative Exchange Announces Fee-Split Program
It's possible if you have dependent types and are not afraid to (ab)use the type system. See section 2.4 of my thesis (link in bio) for a taste. You have to squint a bit but a system like that can ensure linearity.
I can see why you might think that, being built into the language, using 'with' in Python in a broken way would be easier to spot. However, having used both languages extensively, I can tell you that, at least for me, there's no discernible difference.

I think the reason for this is might be that, in Haskell, a function starting with 'with' is, by convention, using the bracket pattern and the way that you might use such a function would be very similar in structure to the Python way.

Something that is often said about C++ is that, you're only ever using 10% of the language, but that everyone uses a different 10% and it's true, but it's true of every language to differing degrees. Everyone has their own way of forming programs, just like everyone has their own slightly different style of playing chess, cooking or forming sentences.

When you have a well developed style, you will quickly spot any deviations from it. At that point, it doesn't matter if your style was forced on you by the language or whether it's just a convention that you use.

It's certainly true that Haskellers expect a lot from the type system, even compared to other static languages, let alone Python.
Thanks! You could use the service this way already. The last example here https://datadrivenjs.com/docs.html shows how to pull visitors last visit date. Of course, you could just as well pull the list of viewed products, last read article or the navigation items used most often by the user. Do you have any specific use cases in mind?
That's fair. Might have to send you an email and provide more detail. Appreciate the responses!
the video doesn't dispute the benchmarks of the 9900, but rather they dispute the published compared benchmarks of the ryzen 7 2700X, which used default, unconfigured memory settings to push the benchmark down, while the 9900 benchmarks used configured memory settings (as it should)

Did you even watch the video?
> I would prefer the HQ be closer to NY, Boston or Toronto

While anywhere east of the Mississippi is going to be a rude awakening compared to Washington, Oregon, California, Colorad, Utah, Wyoming &c., New York, Massachusetts, Canada or Maryland would be far worse than Virginia, due to sclerotic governance. Virginia’s bad compared to the western half of the country, but those places are even worse.

The eastern seaboard has over 400 years of accumulated regulations, rent-seeking and 'we've always done it that way!'; Virginia is relatively better than the alternatives. If there's not a better argument for automatically-sunsetting laws than the East Coast, I don't know what it is.
I highly recommend Yannis Varoufakis' books, especially Adults in the Room. Varoufakis was the Syriza finance minister who resigned when Tsipras caved to Eurogroup pressure to accept another "extend-and-pretend" bailout (as in, extend the debt maturity, pretend that Greece will be able to pay when it comes due). At one point, as Varoufakis tells it, the Chinese informally committed to provide a large investment that would have allowed Greece to exert more bargaining power vs. the Eurogroup in debt negotiations. It was a good deal for Greece and China, but someone in the EU bureaucracy pressured China not to go forward with the deal -- the reason being that the Eurogroup wanted to preserve its own power to force extreme austerity on Greece in perpetuity.

Now of course this is just regurgitating Varoufakis' description, but I find it rather compelling. China is only a small player in the Greek debt drama, but it seems to me that they are one of the few friends that Greece has that is both willing and able to play a helpful role.

(But limited by political considerations within Europe itself!)
AVX512 doesn't exist on the i9-9900k.

You need the "X-series" to get AVX512.
Microsoft badly wants pentagon's JEDI deal
it can be as a reference
To be fair, the accuser (bloomberg) still has "this is the case because we say so, believe us."
I do normal, boring line-of-business programming in Haskell every day.

I think Haskell does have a good model for bringing together practical application of theoretical research.

Parent's comment is spreading the myth that Haskell is an academic language. It's not wrong but it's not Haskell's only stated purpose or utility by far.
The Navy’s Terrible Accident Record Is Now Hidden from Public View
I'm a gamer and about as attached to tech as you can be without actually having mental issues over it.

My wife and I recently bought a house and I've been finding that I'd rather spend time fixing it up than playing games or doing other stuff with electronics much of the time.

That doesn't mean that I've quit wholesale, though. I eventually get physically or mentally tired and want to just relax, and it's back to the games I go.

My point is that tech isn't what drives my life, it's just one of the things that I enjoy. And actually improving our house has proven even more enjoyable.

I don't think the "solution" for "tech addiction" (as most people see it) is limiting phone time or focusing on the tech at all. Instead, the solution is for people to find a hobby that doesn't require an internet/cable connection and enjoy that instead.

And if they don't, it doesn't bother me a bit. People can do what they want, so long as it doesn't harm others.

People who have an actual "addiction" should seek professional help, though. Not some random guy that's making a startup, but someone with an actual degree in a profession that can help with mental issues.
Here is the discussion on the Rust Subreddit, with author comments [1].

[1]: https://old.reddit.com/r/rust/comments/9mioiv/porting_c_to_r...
Abell 1689: A Galaxy Cluster Makes Its Mark
yeah. I went Ryzen for my new laptop. 100% happy with it, and this kind of crap from Intel just solidifies my decision.
The old Gmail is dead. Slow and ugly are the future. If you want something clean and fast, you're going to have to switch to something else. That's the magic of SaaS.

I've noticed the "return to the old interface" option is gone too, but it was never likely to be a permanent option, and I'm not surprised it was removed.
> As for the design? Cash says they modeled the glasses after the 1988 film, They Live, in which a magic pair of sunglasses exposes the subliminal messaging in advertisements.

I have come here to chew bubblegum and block screens, and I'm all out of bubblegum.
Azure is has a competitive advantage in SAML SSO and authentication for AD users.
This hack is suggested to be an almost 1:1 copy of the a didactic PoC attack the source security researcher devised. The implication being that the article is based on his story rather than on any real fact.

To this point Bloomberg has presented 0 evidence of any of this. You have to understand how the burden of proof works, you can't throw a rock in the pond and expect others to jump in and retrieve it. Bloomberg made the claim, Bloomberg has to support it. Until they do I will take everything they write/claim with a tablespoon of salt. From my perspective it may very well be an attempt to hit Supermicro and nothing more.

The fact that Apple or Amazon are expected to show evidence that a yet unsubstantiated claim from Bloomberg is not real shows how low people set the bar for what reliable information means.
Looking for it! austen@lambdaschool.com
Netlify raises $30MM series B
Solo: an open source U2F security key
> AVX512 would be 4x AVX2 is 2x, Ryzen fakes AVX2 instructions with multiple SSE instructions.

Not quite. Everything is fake, because everything is encoded into micro-ops first.

Ryzen's internal micro-op engine is 128-bit wide. But it has 4x pipes... each handling 128-bits at a time. So any 256 bit instruction will simply use two-pipes at a time.

-------

So the 256-bit instruction does in fact, execute at once.

The difference is that Intel has 3-pipelines, each of which can do a 256-bit instruction by itself.

-------

In effect: Ryzen is 4x128-bit pipelines, with the ability to merge pipelines together to do a 256-bit instruction.

Intel is 3 x 256-bit pipelines, with the ability (on Skylake-X) to merge pipelines together to do a 512-bit instruction

In any case, Intel has wider pipes than Ryzen. Intel Skylake is effectively a 256-bit CPU, while Ryzen is only a 128-bit CPU.
Of course, the optimal way to respond to this is a contradiction: Raise a big stink, but secretly. This is not easy. I think the history of the "Tempest" security bug should be re-read every few years.
50 year homes being torn down? Whoa.

I haven't seen anything like that in my experience at all. House I grew up in is still going strong at 65, really quite a baby compared to most around me in my suburb.

Only know of one house which burned down completely, was torn down and rebuilt in the heart of the city.

Most significant damage caused to wood-frame homes tends to allow partial rebuilding and renovation without the need for tearing it all down completely.
The thing I hated about the care they gave my grandma is they kept trying to feed her bland shit with a "Low Sodium Diet." What a cruel joke on someone slowly dying of Parkinsons. She was dying for god's sake. Let her eat what she wants! We had to fight to get her a freaking salt shaker. I still feel ashamed that I didn't spend every day bringing her real food and candy.

Some of the doctors and managers that supervise those places deserve to go to jail. Hospice clinics are even worse. Just ask the nurses that work there.
Is there F# support for Blazor? Not a fan of C# for UI work (especially the kind the browser forces onto you).
They were already neutered, they weren't given a part to review. the part they allegedly have was probably gotten through unofficial means, since it is highly unlikely intel would just give out parts to media outlets ahead of a launch without an NDA attached to it.
Mine worked fine - I received a score of 58%. Somewhat surprising, I felt as if I was doing very well! Cool tool OP, hope you get the errors sorted out.
The robotic farm of the future isn’t what you’d expect
The majority of software development is essentially blue collar work now.

And like lots of blue-collar work companies are scrambling to offshore it to the cheapest locations and don’t care about quality because it’s all disposable.

I could not in good faith recommend this to anyone now, become a plumber or a nurse, that’s not going offshore anytime soon.
Prompting actually means it's no longer a CLI.
The fact that this is not resolved after over a year is concerning to me. At some point you have to make a decision and implement a solution, even if not everyone agrees 100% on which solution to chose.

Letting this slide for this long is a very bad sign. I’ve been a big Rust fan for my hobby projects, but the whole point of Rust is effortless correctness and safety. The more I encounter bugs and issues that have no near term solution planned, the more confidence I must admit I’m losing in their bug vs feature work prioritization scheme.

For example, it seems sometimes that Rust management would rather focus on cool new language enhancements / rewrite projects, than fix major bugs (sometimes even major borrow checker bugs, or random segfaults created in correct programs).
That chip picture is apparently a 'coupler' example photograph provided by Fitzpatrick, the security consultant. In the podcast mentioned below, he apparently was very astonished to find it as it means Bloomberg never saw the chip itself
Why is that a shame? It still exists, there's nothing stopping anyone from using it.

I think it's safe to assume that the people choosing not to use perl have a good enough reason for their decision.
The end result argues against using help2man and thinking that --help and the user manual should be the same thing, not against having a user manual at all. (-:

* https://news.ycombinator.com/item?id=18174025
It's unlikely this has been sitting for 12 years. EEV did a bit of an analysis: https://www.youtube.com/watch?v=SdKdQWhlNTY
I had an O-1 visa. Still my EB-1 was rejected - twice!

First time then gave me 2 criteria (contribution to field of work and contribution to companies). On Appeal, AAO gave me another criteria (high compensation) and took away 1 already given (contribution to field of work).

Second time, my application was much stronger - but they gave me just one criteria (press).

I didn't take them to court over it. Didn't want to deal with that.

I will try a different firm next time.
Yeah, but they're not that expensive.
I doubt DIY sunglasses would look great.
There is no new CEO, only an interim/acting CEO.
I love what Lambda School is doing. I was part of the first cohort of the first ever coding bootcamp. It felt so scary to move to Chicago to participate, but it seemed so promising. It has worked out so well for myself and my family, but I recognize that there are so many people out there who financially could not do what I did at the time (I took out a loan to go and my wife and three kids moved in with my in-laws).

This school is solving a very real problem and giving hope to so many people who feel trapped in their current situation. I am really excited they are getting this funding and looking forward to see what the school, and its graduates, accomplish.

Great work team!
That's slightly surprising, but I wouldn't call it a wart. A proper wart is something that bothers you even after years of using the language, not something that surprises you a couple of times as a beginner, but then ceases to be a problem - or indeed, in this case, has some good uses.

The obvious alternative in this case would be to reconstruct the default value. This doesn't work very well with the language's evaluation model - since the function definition is only evaluated once, and it's very inefficient and in fact surprising to perform later re-evaluations.

Furthermore, this behavior can be useful. If you don't want it, you just use `None` as the default and then assign in the function body. However, if you do want it, there would be no other way to get it, and no similarly easy workaround.

Finally, had there been a consensus of it being a wart, it would have been removed in Python 3.x. It wasn't.
I know that this question is being asked and reseached -- indeed I do research in this direction. But it's not well understood, and it's not nearly as widely asked a question as the type-inference question which the java compiler asks every time you type something like

int n = 2 + 3;

Note that 2+3 needs to be type-inferred.

cut elimination / normalization,

I'm not sure this can be reduced to cut-elimination, because the question "What terms have this type?" can be asked for non-terminating programs as well -- indeed it becomes much
more interesting.

https://arxiv.org/abs/1607.04156

Aside: I'm not following HoTT closely, I guess the problem whether canonicity of the natural number type holds in HoTT in general (= can be derived from the axioms of HoTT alone) is still open?
OMG this whole situation infuriates me.

I've complained about this to Google's security folks, and basically the answer I got there was that they don't believe in password managers as a solution and would rather have FIDO/U2F become a thing.

Another part, I think, is that building a password manager is hard. I tried to build my own and quickly found that the problem of finding out which fields are username/password fields was not always easy. Some websites don't even mark password fields with type="password", so you end up with JavaScript ML systems and massive site-specific lists for guessing which fields are username/password fields, and it's a pretty big task to make it really work.

Also, if you've ever recommended a password manager to someone not very technical, pretty soon they forget their master password, and now can't access their passwords, and its' your fault.

Having said all that, Chrome's password manager has been getting better, and they do have an app auto-logic on Android, so maybe those will combine. But I don't think it's a good lock-in strategy for Google, because they don't have a holistic ecosystem - most people are not using Chromebooks - so there isn't really any lock in play for them. Same thing goes for Microsoft, and to some extent Apple, since Safari isn't overwhelmingly popular on OSX.

IMO what is really needed is a standard for this, rather than lock in, so that these companies can co-operate on this and stop trying to make this a marketing bullet point.
I understood "culture" to be, as defined on the Webster, "enlightenment and excellence of taste acquired by intellectual and aesthetic training".
Unicorns for hire
Another way to think of it, other than the other fine posts: Imagine you are selecting your random number by using a ten-sided die and writing down the number of each (fair) roll. Suppose you assume you are going to write down a rational number. What does that imply? It means that your fair die is going to roll some prefix, and then roll some infinitely repeating segment over and over again. As you roll the dice an infinite number of times, what is the probability that your die will ever deviate from the necessary strict repetition of the repeating segment? It is literally 100%, because no matter how many times it happens to conform to the repeating sequence, there remain an infinite number of rolls remaining in which to deviate.

If it absolutely never deviated, over the course of infinite rolls, that would itself be proof that the die is itself not a fair die. e.g., if your putatively "fair ten-sided die" rolls up precisely 1/3, by virtue of rolling an infinite series of 3s, then that would be proof that it is not in fact fair and random.

I think this helps the 100% intuition. It is simply impossible for a truly random selection process to produce a rational number.
> ... the word "chartreuse", and I'm still not fully sure what color that refers to.

Take a look at the background colour of the web site that this thread is about. :-)
s/nt// :(
This problem cannot be solved by "market"

1. Get a kitchen timer, use pomodoro technique.

2. Realize that overcoming something is a not a viable longterm solution. If you overcome something once you have to keep overcoming it. Better option is to spend your energy figuring out how to achieve your goal by not overcoming, eg: to replace netflix, develop a passion for cooking, replace netflix with cooking.