skysight-inc/HackerNews huggingface dataset:
Are You an Effective Team?
Ad Fatigue in Mobile Game Ads: How to Prevent and Avoid It
Of course you have! Emissions from tires and brake pads are very significant. CO2 and pollution from driving is just externalized - where do you think all that electricity for charging EVs is coming from? Also, pollution from manufacturing EVs is still there.
Never heard of ad fatigue? It's the thing that's causing your marketing campaigns to perform badly. Learn what it is and how to overcome it.
Not just a bit slower. My iPad Pro (and from I’ve seen now the new MBA) roll through programs like Lightroom. LR on my 2018 iPad Pro worked much better than LR on my 2017 MBP for example. Then there’s battery life which means not looking for a charger constantly throughout the day.
I agree. My kids definitely read more in lockdown than at school. They might be be falling behind with respect to learning some of the mechanics like proper identification of clauses but for number of words read they are certainly ahead.

Perhaps this is more pronounced for kids in grades 1 to 4 as that seems to be the focus of the article.
There is (was?) a Steelman triathlon too (actually, more than one of them, in different parts of the US).
I think null at least is a great example of their point since many applications might not want a "null" type.

Although I am not sure I would go as far as to drop booleans. As for numeric types, that's a complicated issue, I think they should be supported for pragmatic reasons even though it's impossible to come up with a numeric type that satisfies everyone.
Classic sim racing, flight sims,deep learning Chess, Weiqi in free Linux package
> Taking 9 months to diversify manufacturing of a $2T business is probably worth it.

It's not clear why the most valuable company in the world should abandon their logistical strategy and industry envious high margins to risk their focus and war chest on a gamble that would almost undoubtedly make themselves more uncompetitive with lower margins, increased prices and less units sold.

As for diversity, iPhone parts are sourced from multiple countries, whilst most are assembled by Foxconn in China, they're a Taiwanese multinational manufacturer with factories in India, Thailand, Malaysia, the Czech Republic, South Korea, Singapore and the Philippines.

Apple already manufactures their larger more expensive Mac Pro and iMacs products in the US but I don't see them manufacturing any iOS devices unless it's mostly automated by robots.
Sicily asks Cuba to send medics as Italy fights second Covid wave
I find the built-in web server very useful for running tests. Instead of setting up Apache or nginx on every CI build, you just fire up the built-in web server and point your tests at it.
It's linked in the tagline of OP's tool, so I guess they are aware of it. The benefit seems to be that it's decorated with some additional information like Github and Twitter accounts.
Macromedia Flash was so intuitive, you’d get someone designing and animating things in a couple of hours, contrast that with Adobe Illustrator, where you’d spend a couple of hours telling someone how to draw a circle then they would forget how to access the right menu to join two circles and get stuck while the person on Flash was creating complex shapes that morphed...
Well, I see I can't convince you. I tried one-time payments already and don't like them as developer, nor user - it's just my opinion. Thanks for sharing your arguments, I guess we can agree that we disagree :)
"Large-scale events (LSEs) are becoming more and more common." Stats on this?

You seem to have insight on AWS's engineering practices. From your point of view what should be changed?
My Ford Expedition is perfect for hauling a trailer, my family and our dogs. It has third row seating so my three kids aren’t all squished on one bench while the second heater/blower in the back is an absolute godsend when it’s -25F, as is the 4x4 when (not if) I get stuck
Writing only becomes better when you go on a journey of identifying your own intentions, and confronting your own trepidation.

Thanks for writing this, I've been struggling to write about fallacies in software verification for over a month now.

I realized that I wasn't writing for myself, or even folks who are likely to agree (mathematicians, logicians) with my viewpoint. I was writing to convince and justify, instead of examine, teach, or tell.
> CEO hired his buddy from high school with a degree in poly sci to run things and is having an affair with the head of hr.

Thats pretty close to the Google story.
Michelin PLR
Show HN: Evolving Top-Down Shooter
One of the most common stats cited on HN to demonstrate that Apple has a supposed monopoly is StatCounter. StatCounter uses web browsing to measure the prevalence of given clients, in which we find that iPhone users make up more than 50% of US mobile devices.

Only in actual sales data, iPhone devices are far below 50%. It just turns out that users on iPhones browse a lot more than users on other platforms. In just about every country the representation on statcounter significantly exceeds the actual sales metrics of the device.

No, Apple doesn't "force" people into app store apps, and by actual empirical data, facilitates browsing the web even more than alternatives.

As to Safari being the "worst web browser in existence", after chuckling at what I assumed was some sort of parody, I realized some people actually believe this noise. Usually because someone, at some point, stomped their feet and had a fit because Apple didn't immediately support whatever their pet proposal was, and this got spun into a fantastic conspiracy about invented motives.

Yet in the actual real world, Safari is the most performant browser by a country mile. It's the most privacy focused. It supports everything and its brother. For all the pissing and moaning about edge conditions of standalone web applications, Safari was far and away the earliest mobile browser to actually support them! Long before Chrome on Android did.
"warp" also appears in various technical contexts. And I can only assume that that's where Rust's rayon comes from too.
I fail to see why that would be true. I think there are different definitions of consciousness here that are being mixed up.

> Without consciousness you experience a single unified reality: your reality.

To me the word "experience" is what consciousness seems to be about. In that case without consciousness you can "step outside" and everything, but you would have no "internal experience" of any sort. i.e. be a "philosophical zombie" [1].

[1] https://en.wikipedia.org/wiki/Philosophical_zombie
> facts are not copyrightable

This is the nail in the coffin. Imagine the lengths lawyers would go if they could monetize any abstract reference to something.
I spent a few months in São Paulo working on a project with Hospital das Clínicas.

No matter how many times I saw it, the sheer number of contests in which people and websites would ask for a CPF was astonishing.

For Americans, imagine if you were asked if you want to enter your Social Security Number at the supermarket, or when ordering online, or to sign up for a gym membership.
Looks super clean
There's a lot of things I want to learn more about and not enough time to do so.
Time aside, it's also hard to know with which one to start. I find I get overwhelmed by the things that are out there for learning and end up procrastinating over it because I can't decide which thing I'd like to learn first, or how to figure out how to learn one of the things.

It's a terrible negative feedback loop, but these days information is so readily available, I find it a bit of a hurdle.
I doubt statistics won't be consider personal data. For example "Someone shot 5 shots on goal" is not exactly personal data. "Simon Munster played 54 mintues" should not be personal data it's a fact of a public event.
I think that "such system" was put together using Django (or equivalent) over a 72h sprint on Friday to be "working by Monday" as an emergency measure.
>Is the individual not capable of making rational decisions and rejecting information that is out of bounds?

How rational can you expect a decision to be when the information that went into making it is lies?
How hard is it to understand that Node.js is a JavaScript runtime with access to the filesystem?

I don’t understand most of your complaints. Web-ext does not need Visual Studio, it installs just fine on macOS. You should open an issue if you can’t install it on Windows.

Also deprecations happen frequently on npm so, while they’re annoying during instal, they’re not really a big deal, modules still work.
PinePhone multi-distro demo image
Oh! This does price quote arithmetic and templating.

I was thinking it did some machine learning over your git repos to figure out how long it would take to implement features.
I am not sure if that was a joke post or another libertarian purist.

I swear, the pure communism is more believable as a system that could work than pure libertarian.

Any we all know pure communism works only for ants.
TrueVault (YC W14) is hiring a UX/UI Designer for a new product
If solving complex HCI problems excites you and you've read the case study on how TurboTax used UX + UI to make doing taxes fun, this is the job for you.

You will join a small and self-sufficient team to build a yet-to-be-announced product from the ground up. This team will be you (owning UI + UX), a PM, developers, QAs, and product marketers. You and your teammates will build, measure, and learn together.

At TrueVault, we want to make data privacy as simple as possible for businesses, so they have no excuses not to be a good corporate citizen. If data privacy is important to you, you will find many like-minded people here at TrueVault.

Our ideal candidate:
- Really understands how to, and has a passion for, turning a long and dreary process (like filing a tax return) into small consumable steps for "average Joe" business users
- Understands that UX and UI are two different disciplines and is proficient in both

Other facts about this position:
- This is a remote position (we've been 100% remote since 2017)
- You can work from anywhere in the world but your work hours have to overlap Pacific Standard Time (California) at least 6 hours a day
- This is a full-time contract position

To apply, email the following to jobs@truevault.com:
- Link to or PDF of your work portfolio
= A short (1-2 sentence) reason why you are interested in this job

TrueVault is an Equal Opportunity Employer. We are committed to providing an inclusive work environment free of discrimination and harassment for everyone, regardless of race, color, religion, national or ethnic origin, sex, age, sexual orientation, gender identity, disability, sexual orientation, marital status, military service or other non-merit factors.
Especially as all these "mild" hybrids have enough of a battery to move the centre of mass so far down that they are lower than older sedans.

This is why Teslas won so many safety awards at the start: they were pretty much unrollable in the tests as they existed at the time.
Personally, I don't have a lot of confidence in the objectivity of the NYT around race and related social issues. Not to the extent of "lies and spin" but not exactly accurate reporting either. The truth is likely going lie somewhere between the NYT and Coinbase versions.
Are they, though? I think thats the point.

Edit: to be fair, I mean in this specific case. And I know they _could_ be. But are they?
We developed the high-speed routing engine GraphHopper in Java and have never regretted it (think Google Maps not network routers :)). Although I'm unsure if I would have used it for a trading systems as every GC hiccup can be problematic and for our use case GC hiccups need only to be under 10ms.

But still the topic ("trading system" or in our case "routing engine") is already very complicated due to the involved algorithms and C++ likely makes it a bigger challenge also regarding attracting good developers.

The memory waste in Java is the biggest challenge that you have to solve. Usually you solve this via primitive arrays i.e. do not use List<Point> but int[] x and y and before this gets complicated wrap this in an iterator or other thin Object (flyweight pattern?). And today you can use advanced GCs like ZGC or Shenandoah that work well also for >100GB of RAM and you can heavily reduce hiccups. And you need to be aware of some smaller pitfalls e.g. foreach loop or Java streaming API might be slower than the raw loop. But you should never follow rules or trust a "guru" and only use your performance tests to guide development :)

And in non-performance critical sections (70% of the code?) you just do not care and can program "idiomatic Java". Also do not underestimate the crazy work that a modern JIT can do for you.

And now after years of work we are for several aspects better or same memory-wise and speed-wise compared to other open source C++ routing engines. And the interesting thing is that IMO this is because of the tooling and habits (like rigorous testing) which reduces bugs and debugging sessions and slowly shifts your focus from language problems to the actual domain problems. But of course all very subjective.
That is one way, and I agree it's ugly, but Apache came out with form-based authentication in version 2.4, https://httpd.apache.org/docs/2.4/mod/mod_auth_form.html
Making incorrect states impossible to represent is exactly what type systems are about. If you're still thinking in terms of something that's basically checking units, I'd recommend experiencing a more advanced type system like Haskell, at least for a few hundred or thousand lines of code. C or Java are terrible examples of what a type system is capable of.
There are two potential paths:

1. Creating web-pages is like creating music, we should create tools that make it as easy as possible for anyone to create them

2. Creating web-pages is engineering, like building a house or a car. We don't want anyone without qualifications being able to create these, given their increasing complexity.
Because of past abuse, I rarely install apps.

It doesn't seem like that much work to use built in voice recorder app and upload the file.
One reason to not add it might be that it makes the language larger and more complex.

Also, the semantics of match are a bit different than the similar switch, since match does strict type checking and switch doesn't. While this isn't bad as such, it's kinda confusing that the language doesn't behave consistently.
I think there were two main concepts:

1) When implementing a type system, you could have a separate representation for a typechecked AST than for a not-yet-typechecked AST, in the same way that you normally have a separate representation for a parsed AST than for a not-yet-parsed token stream. This would ensure against invalid states within a parser by making the type-checking pass another parsing pass instead of a validation pass.

2) The author then seemed to veer into applying this philosophy to application code. However, the author also seems like they've had a lot of experience with languages where the line between parser and application is blurred, so in that context this isn't such a big leap.
While I can't run my programs on the iPad, Textastic + Working Copy + Blink (using mosh to connect to a VPS, or a work/home system if you have one to connect to) makes for a pretty pleasant coding experience so long as your code is not graphical in nature (none of mine is). I can run it on the VPS, or have a CI platform take care of running the tests and builds for me.
> Most major Linux distros run on ARM just fine, thats not the problem.

To add some detail to this: you can spin up an AArch64 server VM on Amazon AWS. You're given the choice of which OS you'd like. The usual GNU/Linux suspects are there, Debian, Ubuntu, Red Hat, SUSE. You can also go with FreeBSD. [0]

The Raspberry Pi also runs various distros, as tinus_hn points out.

[0] https://lists.freebsd.org/pipermail/freebsd-cloud/2019-April...
Making web dev on Windows great with WSL2
Ask HN: Is there a way to write regular expressions in plain English?
> Apple didn't build a full-featured computer

That's exactly opposite of what they did. Go watch the iPad announcement videos again. They're pitched as computer replacements. Especially the iPad pro. Hence the parent comment and hence the OP's post.
Cool!

I'm working on a similar app that completely automates context switching without any manual setup, based on an idea i had five years ago.

Now to release that beta...

[0]: https://cleave.app
This had me scratching my head:
> Introduce Gatekeeper and app notarization for iOS. The process of side-loading apps should not be as simple as downloading them from the App Store

What does this mean? Side-loading by definition means not using the AppStore. Is it a poorly phrased version of ‘side-loading should be possible but should have hurdles to protect the unwary’?
> Warp is the threads that go lengthwise, weft is the thread that goes side to side.

That depends on the direction of the fabric through, it's probably clearer to the uninitiated to say that the warp is the fixed "structure", and the weft is the "filling" thread you draw over/under the warp.
>real world performance gains over mid-range x86 processors on native apps

Does it? As I said, I ain't keeping up with hardware news.

>I think you're trying as hard as possible to convince yourself Apple haven't done anything special here, but that just isn't true.

I didn't say that. I specifically referred to calling it a revolution. If what you mentioned above is true then it will be one.
London and Paris are out, Valencia is in, as expats favor smaller cities
I'm not trying to peddle a conspiracy theory, but the slow progression "boil frogs" method is how this sort of thing is usually done. I mention the T2 because secure storage for secure boot is a pretty obvious way to implement.

The percent of revenue coming from Macs continues to go down. I'm just assuming that at some point, the only (financial) reason the Mac exists is for Xcode.
Makes me nostalgic for the days of Hypercard...
> And pray tell how do you verify that the parser is actually correct? How strict can you get?

The idea presented in the article is that the data type of the parser output ensures that your invariants are satisfied. It’s not a panacea for solving every possible problem with input validation, it’s more of an alternative technique that gives you much better assurances that some of the invariants you think should be satisfied, are satisfied.
Here's a YouTube video of a 500W laser cutting mirrors without any difficulty: https://www.youtube.com/watch?v=p-VlVmBZGI4
Philosophers call this ability to predict another agent's behavior "theory of mind". Presumably it would be impossible to have a theory of mind - a theory about what another agent will do - without first being aware of your own.
I’m testing some out right now, I’ll let you know! If not I should build one!
I read this before but I never encountered it before. Sync Storage works just fine, you just need to add the gecko extension ID to the manifest as described by other comments.
> The Shakespeares, Twains, and Austens of the future won't emerge from the book publishing industry. They’ll come from YouTube, podcasts, and blogs.

The author pushes for a cold technical writing style. Then he brings up a bunch of literary writers? The two worlds are very much at odds.

The worship of the literary that's all too common in classrooms is, I believe, why so many people are scared of writing anything in the first place. And then there's the obsession with grammar.
Is it me misreading it or the author trying to re-invent dependent types?
Feels like our last administration here in the US. They had somewhat of a minimal plan around overturning some of Obama’s changes but once that ran out it was all gut reaction nonsense that caused chaos. Good luck to you guys.
Google Releases Separate ADB and Fastboot Binary Downloads
Nah. The notion of a "time since arbitrary epoch" is pretty universal, even though it may have a variety of representations. Just pick one, it really doesn't matter which.

Actually JavaScript already did pick a representation - milliseconds since 1970. It would be easy and unambiguous to add { "foo": T1606410158672 } to the grammar.
FWIW, there are waterproof Kindles now.
I understand that part now. I think we keep talking past each other about a premise.

The premise is that other people have power over you, that what they think about you matters (on a personal, emotional level). Therefore, what everyone else thinks about your appearance matters.

I'm saying that the mistake is in accepting that premise. It's false. What you think about yourself is all that matters (in the personal, emotional level we are talking about), and when you know and accept yourself, the strangers are powerless. Other people only have that power if you don't love yourself and then look to them to fill that void (speaking simplistically).

A mental health professional can help a cancer survivor face those emotions, and know and accept themselves. Then all that matters is what they think about their own body.
While her book doesn't mention this phenomenon by name, it does reference this exact concept. She mentioned that this is something marathon runners have to learn.

When they're getting fatigued, it doesn't mean that they're out of energy at all, it's just a warning sign.
Pascal has subrange types -- you can declare a type that is 1..10 for example.

Statically typed languages could be more strict and have more basic typing features. In most languages, it's not even as good as units checking because you can't say numeric type X is incompatible with numeric type Y (e.g. Celsius and Fahrenheit).
Thanks. For what it's worth, the flow of thought was the following:

1. The original "parse, don't validate" essay clearly describes why parsers are preferable to validators.

2. It uses a type system to make illegal states unrepresentable in a programming language - but a type system is a validator under its own terminology.

3. What would a parser-like approach to solving the problem look like?

I believe that actually adjusting the programming language grammar (and thus the actual parser) is clearly a parser approach to solving the problem. Abstraction is also, to me, a parser-like approach to solving the problem - it transforms code that allows illegal states into code that enforces particular invariants. I probably didn't make those connections explicit enough in the blog.

Perhaps the diversion into object-capabilities is a bit off the track, but I found it an interesting connection at least. (And frankly, I'm usually close to the sole audience of my blog so I better make it interesting for me!)

Edit: formatting
Show HN: Only today: Visit my SSH ASCII lavalamp
ssh 85.27.249.130 -p 2222
username / password does not matter

Enjoy asci[l]icious lava lamp action right in your console.

Quickly hacked together in node, using a fifo file, hasciicam and the ssh2 library, running in docker for "security"

:)
Oh thanks! That's nice.
> the statistics are trivial I imagine, like how many passes they make

If it's Opta, they record a whole bunch of stats for every player in every game in the top 4 (I think) leagues - distance run, passes attempted, passes completed, whether shots were on target, etc.

Even providing "how good was the shot?" metrics - https://www.optasports.com/services/analytics/advanced-metri...

Huge investment in tech and people. Definitely not "trivial".
There may be reasons for not calling software developers engineers but this is not one of them. The software "bridge" in this case has the following properties:

1. It can be rebuilt in a matter of hours by a single person.

2. The customers that ordered the bridge are also the people on the bridge and are totally fine with the bridge crashing on them from time to time.