skysight-inc/HackerNews huggingface dataset:
My co-founder wrote a bit about Asciinema as part of a comprehensive comparison of terminal recorders [1]. There's a lot to love about it (wide availability, very nice JavaScript playback -- check out the Game of Life playback at [1]), but it's a bit of a chore to self host, if that's important for you.

[1]: https://intoli.com/blog/terminal-recorders/
I suspect part of this is that hardly anybody that gets into programming professionally has any experience with digital logic, whereas the two used to go hand-in-hand.

But the level of this post is so low as to be next to useless, I clicked fully expecting to be amazed. The title could definitely do with an upgrade.
This article doesn't seem to explain why they have a hard dependency on a proprietary tool to flash the firmware.

There are no alternatives to AFUEFI?
It's to stop black markets. There are very few legitimate cash transactions over 10k as few people have that much in cash and cash transactions that big are very cumbersome.
That's an amazingly comprehensive answer. Thanks!

So basically, when interacting with the outside world at scale, it's very hard to make any sort of guarantees about kind of data you're working with. And since you have to validate the shape of your data already, you're doing the job of the type system yourself, which makes it less useful to have one. Did I get that right?

Aren't these issues only at the boundaries where you're receiving data from the outside world? Wouldn't it still be helpful to have a type system/static analysis at the local level?
DIY lactation room for your startup
Exploring container security: Isolation at different layers of the K8S stack
Poor high school performance can also result from other issues such as unstable home life or mental conditions. Dropouts aren't necessarily dumb.
If you're going to go to all the effort of declaring types, why not use a language that can take advantage of that information to get faster and more efficient code?
YouTube did that at the beginning of April by enforcing new content standards that disallowed content I liked. Deciding to exercise editorial and "parental" control over the platform is going to kill it for me, and extrapolating from current trends, probably do so in the next 12 months or less.
Super cool!

IMO, the killer feature is how easy it is to embed recordings into your project readme or issues/comments in markdown/html.
Except there has been discussion relatively recently of negative interest. Charging you a percentage of your money to hold it. Having cash as an option acts as a hedge against this stupidity. You can't be so ridiculous that people would rather stuff it in a safe.
It's funny how Hollywood films kind of tell you what is up--the Logan movie basically told us something is up. And Thanos wanted to eliminate half the population.
I really think happiness is just a result of our brains filtering out unpleasant facts, we learn that the whole childhood; how can you be happy if:

1. the whole nature is based on preying on the weak, and that's mandatory for survival; right now some animal "kid" is being eaten alive by some predator without "empathy" of any kind

2. at this very moment some person that might be relatable to you in some special way (like a perfect fit for a friend or partner) is having a really bad day, like dying-bad

3. the amount of sophistication in cheating each other might be one of the main factors in developing many forms of language, behavior or even science

4. health statistics aren't about others; they are all about me and you, we all are going to end up in one category or the other; often we have no say in it as our destruction is already programmed inside us

5. whatever you worked on hard all your life can be gone from one moment to another; earthquake, volcanic eruption, storm or even divorce can strike any time

6. even if you dedicate your life to something amazing, become rich, respected, adored or die a heroic death before you turn a villain, at best you will be a short, quite pointless remark in the history notes; however most likely you will be as important as a dust speck

7. excitement of novelty wears off quickly if you become a hedonist; going ascetic to lowest lows so that you can reach highest highs again will become pointless at some point as well and nothing will move you anymore

8. even if you believe in afterlife, vast majority of religions will tell you that almost everyone ends up in some sort of hell or won't make it to the "next stage of game"
The Military does add considerable value to society.

Look at the technological research born from war, almost our entire base of modern technology was born out of wartime creations or funded by the defense establishment.

Do I think we (as americans) should have less muscular foreign policy and a smaller military, yes - but the military remains important, its one of the many many elements that bonds a nation together as a whole - and adds a whole lot more value (in dollars and intangibles) than pizza and netflix.
It's easy to split hairs about what "being functional" means, but the way that Haskell implements IO is certainly a byproduct of this. In particular, my preferred mental model of Haskell doesn't include "functions that write to file handles"; but rather, these would be pure functions which return IO "actions".

This distinction is often inconsequential, but this case seems to rely on how we combine those "actions" together (which, due to laziness, may happen far away from where/when the functions are called; see 'lazy IO'). For sequential IO we can combine things with Applicative and Monad, which gives us a definite order, but using these in a concurrent setting would cause too much synchronisation and determinism to be useful. I've not done enough concurrent Haskell to know how the various alternatives stack up; although I did play with Arrow many years ago, before it fell out of favour (seemingly for Profunctors?).
I don't think so. If it's not customer facing and not team focused (e.g, a data entry clerk), then I don't think it would affect ones performance, and thus, not be "valuable" to the job.
Install the "I don't care about cookies" extension; problem solved.

(Firefox for Android supports extensions, I don't know if there are any Webkit-based browsers that do.)
> turn off autoplay, turn off recommendations, restore chronological timelines, and dial down the ads

I suspect it wouldn't even cost them all that much but no amount of discomfort of the users can balance out a few bucks of extra income.
When I first started programming seriously (which happened to be early node.js, before any of the type systems), the lack of types was aneurysm inducing. That, combined with the tendency for libraries in dynamically typed languages to have less than ideal object documentation is very frustrating. It seems impossible to keep track of data flow in any decent sized project, and otherwise tedious.

I don't know whether this is an unpopular opinion (seems like it might be?) but I would never tell anyone to start with a dynamically typed language.
Have you considered not using fb anymore? Try the delete account feature - they give you a few weeks before it's actually deleted. I found that I didn't actually miss it.
Why would you say what I meant by "predatory and addictive" instead of just asking me what I meant? Your statement is a broad oversimplification of my point, and this makes your argument intellectually dishonest.

You and I may understand the need to engage in self-control and personal responsibility for sites like YouTube, but that's because you and I have an insiders' perspective on the dangers of not doing so.

YouTube has precipitously catered to the lowest common denominator and took advantage of their mass gullability. It is overwhelmingly obvious that YouTube designed their site in a way that would get people addicted to the point of needing a tool like this. The fact that they auto-play videos when they know the viewer is a child is downright disgusting.

YouTube did this instead of taking a more sophisticated approach of catering to directors, actors, and producers. YouTube had the chance to elevate the conversation and make digital media higher-minded, but instead decided to cater to people making content for the lowest common denominator - stupid, shlocky trash. The fact that you refer to what YouTube provides as "content" shows that you are not at all concerned with the way that YouTube has cheapened our digital media in order to get people hopelessly hooked.

Just because one can do something effective to increase the immediate bottom line and revenues of their product, doesn't mean they should. I am all about personal responsibility and I do agree that the blame largely lands on the individual at the end of the day. But YouTube is obviously preying on these individuals' largesse and that is just as immoral as being a lazy slob that watches YouTube all day is. YouTube could have taken a proactive approach and showed the world how the web could enable much higher quality video, while limiting your digital footprint. But instead, they did the opposite, which is why I refuse to publish on their "platform."
The whole "Be wary" section is a really unprofessional swipe borne out of pure retaliation. It isn't germane to the discussion at all, and it's simply FUD spread by System76 in retaliation to Red Hat's security and legal teams balking at System76 wanting them "to ship a untrusted nonfree binary which would get run as root on RHEL on customer machines".
What Jazz, Parametric Design and Spatial Computing Have in Common
Right, but you have to set that on each individual browser. It doesn't apply to your account.
Steppenwolf by Herman Hesse is also a great read, dealing with feelings of meaninglessness and how they relate to one's identity.
I disagree with your first assertion :) And I have a long daily commute which takes a lot of time and energy that would otherwise be available for my family. I'd argue that the little interactions throughout a workday at home are more valuable than few or no interactions from the office - quality time or not.
That's v2
> I actually hope we start seeing systems that validate invariants that are not type based like "SQL Injection Safe SQL Query" and "Range between 10-100".

Both of those can be types in a rich enough type system; the latter is a fairly common example for dependent types, for instance.
Thank you for sharing this. I still have the copy on my bookshelf in my office. I know that I'm a different person now from when tried to read it 10 years ago. I'll pick it up again.
This is why I use an electric skateboard. Once I get to my destination, I don't have lock it outside or bring it into a bike parking room. I can just bring it inside with me. It's small enough to easily stash it or put it in a grocery cart. It's not perfect but I've found it to be very convenient.

I think you're right about the scooters vs bike programs: people like that they're small. Another big thing is that they're electric; there's no work involved. You can easily just get on and go. Like the article touches on, people don't want to sweat on their way to work.

The only real barrier to widespread adoption of this kind of thing seems to be infrastructure -- American infrastructure is built for cars and/or pedestrians. A third space for small personal vehicles (bikes, scooters, skateboards, etc.) would free that up but obviously comes with a cost.
JS with flow is way better than JS without flow. It prevents a whole class of errors, and you can basically opt-in and opt-out of the type system at any time if you're having trouble with it too. I wrote a blog post about it a while back: https://www.aria.ai/blog/posts/why-use-flow.html

That being said, while I started out using Flow, TypeScript just has way more community adoption and better tooling. So at this point, I usually recommend TS over Flow to most people. But using either of them is way better than writing just regular JS code.
Backup link http://archive.is/hKHcK
It's the problem generator that helps you deal with the symptom. Strangest thing, they could just stop being the problem.
This has been my number one book for pretty much my entire adult life.

It's worth the read, 100%.
With all the terminal recordings I have seen, the content eventually ends up at the bottom. It would be awesome to have the cursor always stay in the middle... any idea if thats possible with Asciinema?
To be fair, both sides are acting somewhat unprofessionally in this story.
I do agree, and this is how I evaluate a lot of tools, but wouldn't it be easier just to have a web page? I'm not saying that I can't use this, I'm saying that it would be far more convenient for me (and likely many others).
U.S. government salaries are publicly available. Google and you can get a search tool and find the salary for any employee.
I fully endorse this. We've been using mypy on our Python2/Python3 project successfully. it is helpful for the type checking but I'm most interested in giving good data to IDEs for code completion.
RE: Don’t buy System76 hardware and expect to get firmware updates from the LVFS

https://news.ycombinator.com/item?id=17037845
Most people have at least a passing desire for cleanliness and order (the stuff that becomes OCD when out of balance) which compels them to get rid of the banner.
Has anyone tried installing this? I get:

$ pip install pyre-check
Collecting pyre-check
Could not find a version that satisfies the requirement pyre-check (from versions: )
No matching distribution found for pyre-check

Just me? (I am on python 3.6 and pip(3).)
A lot of the reason socialism doesn't work is there's no incentive to work hard. With UBI, it's possible to have a higher standard of living by working harder. Sure, it will be more difficult to get extremely rich because of higher taxes, but it's still a motivating possibility.
I think you would be surprised if you started looking around to see how how % is handled.
> is working from slightly older drafts

Not really, the content is the same.
Exactly. If it was about "just whitelisted partners" he discovered it was actually "everybody." It's not different than discovering that instead of the password just an empty string is enough.
> Cities are supposed to impoverish the regions directly around them in this way, as well.

Just because you can specify a business model, doesn't mean it's automatically viable, or moral, to execute in any context.
Interesting idea that I'll definitely keep in mind for the online version. Thanks!
This[1] is worth reading.

"Jordan Peterson's popularity is the sign of a deeply impoverished political and intellectual landscape"

[1] https://www.currentaffairs.org/2018/03/the-intellectual-we-d...
Curious, do you mean google internal or external code? Google's been developing pytype for quite some time, which is used internally.
#Throwhammer, the new #Rowhammer attack to remotely hack systems over the LAN
I've used ttyrecord[0] along with ttygif[1] a while ago to create this animated gif:

https://raw.github.com/laurent22/massren/animation/animation...

As far as I remember it was easy to use and the result was pretty good. Back then I've also tested Asciinema but gave up for the same reasons.

[0] http://0xcc.net/ttyrec/
[1] https://github.com/icholy/ttygif
The bodies, though beautiful, look impractical. But some of the bridges and pickguards I find appealing.
Consumer Reports ranks best sunscreens – WTOP
It gets quite fun if you don't use it. Facebook starts sending really needy notifications like "X just commented on a picture" or "Y just liked this" to try and make you login. I think there's an apocryphal metric (which is probably true) that users must always have one unread notification when they login. There's no way of turning these messages off short of unfollowing every one of your friends individually.
Sometimes you wonder how something that is so widely known and has been posted so many times [1] can reach No. 1... but yeah, its cool.

[1]: https://hn.algolia.com/?query=asciinema&sort=byPopularity&pr...
Any strategy for the betterment of society that depends on for-profit companies voluntarily forgoing legal ways to earn a profit is doomed to failure. It's elaborate do-gooder fan fiction. The world does not work that way.

The world shouldn't work that way either: if companies stopped providing the goods and services people needed because a few self-appointed guardians of the public good scream about it on social media, we'd never have been able to make progress at all, since these activists have no special power to distinguish change from regression, and so err toward stasis.

If you want high-engagement features disabled, fine. Propose a law. Let's duke it out in the process of government. You will lose, badly, because your position is wildly unpopular with the vast body of the population.
Is this some kind of parody account?
Working fine for me. Are you using public pypi?
It seems to be a pretty clear case of "failure by success". Python, JS, and PHP were so good for developing applications that many people wrote huge ones in them -- including companies that made billions of dollars like Google, Facebook, and Instagram. GMail and Google Maps broke new ground in terms of JavaScript applications (using the Closure compiler, which is probably almost 15 years old now.)

At the start, those languages tended to be used for 100-line, 1000-line projects. They work really well in those domains. 5K lines works fine for single person projects too.

Once you get to 10K- and 100K- line projects, and you have 10+ people on a project, types start to make sense. You can't change 10K lines of code at once, so you might as well have some rigidity.

Also note that you can do a lot more in 10K lines of Python than 10K lines of Java, C or C++ -- and in the 90's, when those languages came up, those were basically your choices.
Roosevelt definitely saw the war coming and prepared for it. He was hampered by the strong isolationist feelings at the time but he never gave in to them, and was careful never to run too far ahead of public opinion.
'Minecraft' update brings cross-platform play to Nintendo Switch June 21st
Still better on a bike :)
There are people that can accomplish most tasks after having been shown once, but for some reason can't perform on texts or written assignments. Going back to the military, in the course for my technical role, we had a guy that barely passed each test,but was by far better than any of us on the practical exercises. If I had to hire one of us, I'd have picked him over the guy that got the highest grade for the course (which incidentally was me).

I did poorly in highschool and I agree it was largely due to self-control. Once I was doing something that I wanted (working), I suddenly became a good performwr. Once I grew up a bit, I became interested in getting an education and did pretty well in college.
Precipitation whiplash and climate change threaten California’s freshwater
Isn’t there a wine club already doing this that purchases a disproportionate amount of ads on Reddit?
Who's to say that the minds they're building aren't more suitable for a future environment? You're assuming the future is like the past, which is most assuredly won't be.
If we make fun of homeopaths, we should make fun of the people worrying about 6.5ppm glyphosate exposure too!
Me too. I guess they provide binaries only for some platforms, and yours (and mine) is not supported.

I tried to build from source but got another error after some time:

File "ast/astStatement.ml", line 289, characters 41-74:
Error: Unbound module Recognized

(NB: testing on Mac OS 10.10).
What if they open the bank website in a hidden iframe on the malicious site?
From the iPod to the iPhone, these are the 5 worst Apple predictions of all time
Actually, the FCC clarified their rules a few years back that carriers CAN block robocalls.

More details here: https://www.broadcastingcable.com/news/fcc-clarifies-robocal...

Note that Ajit Pai (then a commissioner, not chairperson like now) voted AGAINST this.

Full disclosure: We (Nomorobo) advocated to the FCC to allow carriers to block robocalls.
Surprised nobody brought it up when talking about terrible UX. The current YouTube UI is this shit called polymer. It's terrible, on most systems it delays loading any text around the player until the player is loaded. (Especially bad in Firefox/Edge)

This can be disabled by appending disable_polymer=1 to the URL, but it can't be saved as a cookie or set per account. I have a greasemonkey script to it.

For me it's an annoyance, for my blind friend it means no working screenreader when polymer is enabled.
... or wheelbarrows
> don't seem to have kids of their own yet

I have two of my own, now 12 and 14. My wife was very paranoid, very overprotective, very helicopter parent. We continue to fight about this, because I grew up roaming outside in the 80's whereas she insists that "the world is different than it was back then". More than anything else, I worry about the potential health problems my kids might develop from having spent 90% of their lives indoors, sitting in front of a TV or a computer (and the people who say, "well you should just restrict your kids screen time" are the ones who don't have kids of their own).
Someone already mention iPhone, and there is a similar method for Android [0], baked in, as you say.

[0]https://www.youtube.com/watch?v=s7MH6hkTieE
Based on there comments in the article, I'd say that was their conclusion:

There is no other way to interpret this email other than LVFS won’t work well for us. UpdateCapsule is not supported by over a decade of machines in the field and could not be added without a firmware update.
It is, but unless you're doing it all on your own, writing a novel is also about working with editors and typesetters. (Or formatters, or whatever you want to call the typesetter equivalent for an ebook.) In my experience, at least in the fiction world, these folks are going to expect you to be using Microsoft Word, and you'd better have a tool that can generate Word-compatible files formatted to the industry standard -- and that supports Word-compatible comments and revision tracking well enough to
"round trip" documents transparently.

I'm a big fan of open data formats and plain text markup, and I write a lot of fiction in Markdown. I love this notion in principle. But I suspect it's a lot easier to put into practice when everyone involved in your book's production is down with your toolchain -- which may mean everyone involved in your book's production is you.

(For the record, I convert the Markdown to rich text and do final formatting in Apple Pages for manuscripts that I'm submitting somewhere else. For novella-on-up length work, though, I'm one of those annoying Scrivener converts.)
Lots of places give big discounts for paying in cash .. so they can evade the value added tax, and potentially hand the cash directly to employees evading tax there.

(I don't actually mind this much for small amounts for small businesses, but it does add up!)
An AI ethical conundrum
Those cookie disclaimers are one of the most retarded things on the web.