skysight-inc/HackerNews huggingface dataset:
I'm a fan of the Mathematician's Lament by Lockhart (might be misspelling his name). The idea being that we need exploratory learning. It expands outside of math as presented in his essay.

My best friend, while in highschool, had routine problems in core classes. Simple algebra? Forget about it. Spelling? Grab a bunch of letters and pray they slam together right. Instead, let him at something that interested him, and it was amazing. When he was 15, he had already rebuilt a couple engines and a transmission and was getting an old Corvette up and running that he was giving by family. If you heard a plane go over head, he could identify the sound of the engine, name the model of the plane, and rattle off the history of it, leading back to ww2 or whatever. At junior college, he took a geology class and suddenly he was academic. He saw how math helped and passed through trig. His spelling and essayship became solid as he saw the value in communication about geology.

The long story short: people, even those who might not appear promising, can shine when exposed to something that interests them. Education should be broad and varied at the beginning to help kids find what interests them. A few lucky ones will learn to be interested in most things and for them, most schooling will be easy.
So the 777x is the one you are talking about and it will come standard with folding wingtips, but the original 777 had an option for folding wingtips and no one ordered them.

I am not sure if Boeing had it developed and never used it, or no one ordered it so they never developed it.
For desktops Libreoffice Base is nice.

See here for more:
https://alternativeto.net/software/microsoft-access/

For web hosting, I would push PHP. Each page is it's own end point!
I don't understand the title. I read it five times, but I still don't understand it. The title probably should've been something like:

>Encryption laws have damaged customer trust in products made by Australian IT companies
IoT providers need to take responsibility for performance
Last time I checked, some airlines did use the A380 for 17-hour flights such as Dallas-Sydney and Dubai-Auckland.

But other aircraft like B777-200LR, B787-9, A340 and A350 also have a similar (or even greater) range, so it will be more economical to use these smaller twinjets unless there's a lot of demand. Even if there is enough demand, it might make more business sense to offer four flights a week instead of two.
The Clojure compiler does not generally produce the same byte code as the Java one.

Idiomatic clojure is routinely slower than idiomatic Java and that’s a well known and expected outcome.
Seattle struggles mightily with this. Four international heavy flights arriving within 45 minutes of each other and you are stuck in customs for six hours
Don't see how.

It's exactly as you might see in K&R, and short enough that there's never going to be confusion from their lack.
I wish they had a list of torrents they need seeders for the most. Right now I'd I want to seed their stuff (say 100x items) then I gave to go through their site and one by one select files, give it to a torrent client, see how healthy the swarm is, rinse and repeat.
A380 has three economic advantages:

1. Landing slot price per passenger is low. Congested airports are the economic reason for A380 to exist.

2. A380 is runway-friendly large aircraft due to its wheel load distribution and low load per wheel. Airfield pavement maintenance cost is 30-40 percent of the airfield maintenance. If the weight based pricing is changed to match actual runway damage, A380 will do really well.

3. Relative to 747-400, significantly better fuel efficiency.

Economically A380 starts to make sense again in 10-20 years after the traffic volumes in Asia skyrocket. When the demand exceeds the slots available, the value of existing A380s starts to increase.
With slack it's on a per-workspace basis (I don't use the os apps). With discord I see every single server that I'm in.

When I see a slack alert, on mobile, I know I have something that needs my attention, because I have most alerts off. With discord alerts, I know that someone has pinged me with a question or wants to go grab a beer or something, but it's not urgent.

I enjoy separating my life/work like this, but maybe to others it won't pose an issue.
Never underestimate the power of taxes. On land, especially, for Geometry.
To be honest it wouldn't be a problem to have airports far away from city centres if they are really fast trains to the city centre. But in London for instance, all express trains to airports are express only in name.
To Create an Evolvable API, Stop Thinking About URLs
From experience in the UK you give them a list of all your contact numbers and they call those in order - your meant to tell them if your out of the country

When you get the call from the doctor on duty you discuss if your going for it or not - note they normally call two candidates and you both get to the designated hospital for final tests best match gets the kidney.
Nice golf!
It's also slow, unresponsive and breaks all the time. The dark mode toggles back to bright mode randomly, posts sometimes don't render... It takes multiple seconds to render the comments in a thread. It's a mess.
Can't find it anywhere on the internet, not even Netflix here in my country. :(
Replaced Postico with TablePlus, mainly because needed to access MySQL databases too, and Redis support doesn't hurt. Good UI, frequent updates and the free version isn't too limiting.
It's always good sport to kill java. Warms my heart every time.
I used to code like that for a long time so it doesn't bother me too much. Then I started learning Rust (which uses a C-style syntax but makes braces mandatory ever for single statements) and I started doing it even in C. In hindsight I feel stupid for not doing it earlier, it doesn't add too much noise (at least if you put the opening brace on the same line) and it wards off many potential nasty bugs if you copy code around or use poorly written macros.
How the fight over vaccines is fueled by web forums
The brilliant fun of working with the Unix CLI toolset is that there are millions of valid ways to solve a problem. I also thought of a “better” solution of my own that took an entirely different approach than most of the ones posted here. That’s not really the point.

What’s great about this article is that it follows the process of solving the problem step by step. I find that lots of programmers I work with struggle with CLI problem solving, which I find a little surprising. But I think it all depends on how you think about problems like this.

If you start from “how can I build a function to operate on this raw data?” or “what data structure would best express the relationship between these filenames?” then you will have a hard time. But if you think in terms of “how can I mutate this data to eliminate extraneous details?” and “what tools do I have handy that can solve problems on data like this given a bit of mungeing, and how can I accomplish that bit of mungeing?” and if you can accept taking several baby steps of small operations on every line of the full dataset rather than building and manipulating abstract logical structures, then you’re well on your way to making efficient use of this remarkable toolset to solve ad hoc problems like this one in minutes instead of hours.
Call the FCC had have the jammers ripped out
What Happened to Systems Thinking?
Yes! Also, YouTube shows you the URIs of deleted videos on playlists, so it's pretty trivial to copypaste them into IA and youtube-dl a copy.

I have snatched many things I loved from the jaws of YouTube's copyright enforcement algorithm this way.
In bash, you can create sequences with {A..B}. E.g.

echo {1..10}

or to count backwards

echo {10..0} boom!
I've actually been pleasantly surprised at how much data /is/ available, and how much of it is available through common formats like Socrata Open Data API (for use with tools like https://github.com/xmunoz/sodapy)

The counter argument is that they do a great job with trivial stuff like registered dog's names, and less well with sensitive/important issues like policing.

What's the right way to leverage the platform developed for the first into the second?
The top mod of /r/punchablefaces decided that he was going to give it away and offered it to the first person to accept it of two other mods, one from a left-leaning sub, one from a right-leaning sub. The left-leaning one accepted first, and got ownership.
Secret History of Women in Coding
Tried watching his video on limit ... but what was said prevented me from wasting my time further. Contrary to the claim of math foundation, it is apparent that the guy does not understand math despite being a stats professor. It is not even wrong.
Good points, especially the notion that a freighter version would hit the weight limit long before filling up. Makes me wonder if a secondary market could be available for air freight companies: no frills, on-our-schedule-not-yours, inexpensive hops between cargo hubs similar to how it's possible (for active duty and some military vets) to catch dirty-cheap rides on the heavy cargo lifters as long as you make your way to the US point of departure and don't mind making your way from the European/Asian/etc point of arrival.
EDIT: I was wrong. Gmail supports IMAP[1], so this is entirely Apple's fault if they're using POP instead of IMAP for accessing Gmail.

iPhone Mail uses POP, an open standard for email, to connect to Gmail. POP doesn't support push notifications. All POP clients (Gmail itself, Outlook, etc.) must use polling to find new emails.

You could blame Gmail for discontinuing IMAP support, or you could blame Apple for refusing to integrate with Gmail using their API (which supports push and is faster than POP).

Either way, this is a natural consequence of competition. Neither company wants it to be easy for you to use the other one's product.

1. https://support.google.com/mail/answer/7126229?hl=en
Everywhere and Nowhere: A Journey Through Suicide
Have you seen a Beluga ? They are scary to see in the sky :)

https://en.wikipedia.org/wiki/Airbus_Beluga
Incompleteness ex Machina – proving Gödel's theorems in terms of algorithms [pdf]
Some ls man pages state the following about the -1 option: "This is the default when the output is not directed to a terminal."

I've never needed to use -1 when piping ls's output to another command.
Hitler also wasn't a big fan of informed consent.
I’ve never enjoyed Mongo for a second, not conceptually, not practically.

But I don’t understand the people who act like Postgres is the end of everything. SQL never felt right for me either. It’s a fine language for business analysis, I guess, but is it actually pleasant for development? Do all of you who so enthusiastically post that it should be the first tool you reach for really never experience object-relational impedance? Do you really enjoy modeling like this?
I don't disagree. However, I would argue that there are vastly fewer food hunters than factory farm workers.
Novalpina Capital and founders buy NSO for 1B$
Good. Robot calls have rendered my phone a “voicemail only” machine. I never answer my phone, please text or leave voicemail.
2019's HostUS OpenVZ VPS Hosting HongKong $35/year
Python Basics – Datatypes
Hacker news people are usually against censorship, yes.
As with so many things, the right answer depends on the expected ratio and complexity of of writes, queries and updates.

Something that I've come to believe is that developers don't spend nearly enough time gathering process data that would let them make explicit forecasts (even order of magnitude). Once your team has aligned on those forecasts, a bunch of design debates just fall away.

If you really want to have fun, start a prediction market - though that might end up creating its own set of debates :)
There are a bunch. This looks very low-tech, but is completely free and kinda fun for a while:

http://www.airline-empires.com/index.php?/page/home.html

This is much more slick:

http://www.airlinesim.aero/en

But none come close to the complexity of the real thing, and the models are unrealistic/can fairly easily be "hacked" (print money by giving away flights but charging $1000 for meals, etc).
The Python graph uses two equations.

y = sqrt(1 - |x|) * sqrt(|x|)

y = (-3/2) * sqrt(1 - sqrt(|x|))

Why do these equations work and look like heart? How does one make such equations?
I meant more the post-communism part.
I coded like this when I was self taught and then in college. Once I got my first programming job and started fixing other people's bugs that the braces would have avoided, I stopped doing this.
I’ve never seen a skinny person regularly drink Diet Coke/Pepsi

Diet carbonated drinks just make me gassy. I’d rather have the sugar from a regular Coke and just not drink one every day, or multiple ones per day. I have co-workers that drink 6-8 per day.

I find the “tiny” cans which are only 7.5 are about the perfect size. 3-4 drinks, only 80 cslories, a small bump of sugar...if I drink a 20oz bottle I usually can’t finish it as it’s way too sweet. Turns out the original size of a bottle of Coke was 6.5 ounces.
Not everything worth doing is worth doing well -- Tom West
JP Morgan rolls out first US bank-backed cryptocurrency to transform paymentsd
> A large business by its nature has massive-scale data and usually thousands of users who directly interact with it—searching, manipulating, reporting, and more. They need to move through that data quickly, without a lot of digging around in the interface.

The challenge strikes me as less handwaving assertions of what "large business" ops is about, more understanding user needs and capturing intent with a UI that balances productivity and experience.
I watched a couple of videos of his "Foundations of Maths A" series and wasn't very impressed (even with my limited undergraduate knowledge). For instance his arguments in his videos about set theoretic constructions aren't very rigorous or convincing. It's like he missed all the developments in category theory, type theory and logic w.r.t. those topics.

Then I watched a couple of his more advanced videos and (from my limited watching) saw that he seems not so crazy after all. It's just that he seems to like natural numbers and finite constructions a lot, although I didn't really fact check that much. Infinite and more abstract structures _abound_ (it's in their nature :P) in mathematics obviously and can be encoded symbolically just fine.

Seems fine by me, finite structures are very important as well and you can make reasoning about them very rigorous. It's just, maybe he shouldn't be teaching about all those other kinds of topics...
End-To-End Web Application Testing with New TestCafe Studio
Yes: one of the Google engineers working on V8 talked about it here: https://softwareengineeringdaily.com/2018/10/03/javascript-a...

It was this conversation that make me wonder if at some point in the future V8 might have experimental support natively for TypeScript but it makes more sense that compiling web assembly to native binary would make more sense. Who knows? It's an awesome time to be a programmer!
One systemic problem is that the ownership and management of most companies shifts significantly over a 15 year time span, whereas the people designing a new NASA program know that they (or people that they care about) would be picking up the pieces if they are sloppy.

I wonder whether family owned companies are closer to NASA in their testing/hiring practices?
Just very clear code.
Misdirected, not over the top, it's very appropriate especially when it was a sponsored project and they were getting called out as if Ben was their employee and they were cosigning whatever Ben's views were.

Regardless how you feel on gendered pronouns, if you're writing documentation regarding all users it seems like a no brainier to actually involve all users in the language, something which Bryan puts great significance into. Bryan's talks[0] usually involve tone and messaging (as well as being triggered and raged) as key points.

But back to the drama issue. The problem about this whole thing isn't about the pronouns really, it was the actions that Ben took even after it was explained and the hard stance Joyent felt it needed to take on the issue in the aftermath.

Ben, if we're giving him the benefit of the doubt (because he isn't a native English speaker) to word something 'wrong', is a simple fix, who cares.

- The real part of this whole mess was because he tried reversing a commit that was made by the project lead after it was worded to include more users. Ben was the main agitator in this almost 6 year old mess regardless of his amount of contributions.

[0] https://youtu.be/9QMGAtxUlAc
> As long as the schema definitions are well structured and can be easily analyzed against a live db to find diffs and generate migration scripts. Django does this very well.

In my experience Alembic works more better.
Yup, you can define distinctness of constructive real numbers as two algorithms returning rationals that will differ by more than the approximation error ε they were given as input, for some arbitrarily small ε - but equality involves proving that two algorithms will never be apart in this way - and this cannot be done in general. As you say, even comparison with zero is problematic. So instead of equivalence relations, you need to define the apartness relation - the notion that a supposed equivalence between two such numerical algorithms can be constructively refuted. This is nothing new - it's a well-known part of constructive math, and is also the sensible way to formalize numerical analysis.
Don't Scare Amazon Away, NYC
> Modern, native, and friendly GUI tool

Need to add Mac-only to that list.
GAN – Generative Adversary Networks (2018)
I don't a real human looks at the photo. It will be CV process that tries to identify the image with whatever word proof was asked to be present.

Hence the high rate of rejections
Pretty sure the A350 does this as well. Asiana also uses the LED lighting modes to great effect and it was explained to me as another way to reduce long haul fatigue
For learning to get things done with Unix, I recommend the two old books "Unix Programming Environment" and "The AWK Programming Language". There are many resources to learn the various commands etc., but there is still no better place than those books to learn the "unix philosophy". This series is also good:

https://sanctum.geek.nz/arabesque/series/unix-as-ide/
The problem is that diet sodas are seen as a cheat that allows a person to eat more calories than they should. This usually is linked to people with poor nutrition habits. Those same people are probably more likely to stroke out or have a heart attack.
Possibly. Some are already rotting on the runways, at least two of Malaysia's A380 are just sitting there away from gate collecting dust everytime I fly out of KL (I think MH3/4 is still A380 though), there was plan to sell them to some middle east charter company and refit them in an all economy mode so they could take 600 people to walk around a stone chanting once a year - I doubt they could be refitted back to their former glory after this abuse. Also, hasn't Emirates parked many at a secondary airport too whilst they re-evaluate their schedules and deny pilot shortages? I can't find the article but if I remember correctly it was mainly A380, whilst the 777s were kept on the main schedule.

Shame, best economy class by far. 10 across on a 777 is tortue as is 9 on the new sardineliners.
You could do it in a JSON field, and I've personally done that but mostly out of laziness. I think in the end it's better to actually come up with a normalized schema.

I typically reserve JSON fields for storing data whose schema I don't control. For example, when Stripe gives back a giant chunk of JSON after a transaction, I use a JSON field.
Not the first. Not the last. Sad.
Not possible to do statically if you’ve got eval or with. But maybe this experiment will not support those.

JSC has speculations that eval won’t introduce variable names we’ve already resolved for example.
The fall off of hub and spoke as dual engine aircraft could legally and safely makes such huge aircraft far less appealing. Clearly the market exists, but aircraft last long enough that Airbus is in many ways competing with it’s self for a sill limited number of viable routes.

Remeber, a hub and spoke trip means 2-3x the landings and relies on extremely congested airports. So, point to point has significantly shifted what gets congested. Things may look different in 25 years, but that’s a long time.
Why not something even simpler like H2?
Misleading title -- https://twitter.com/Raspberry_Pi/status/1095763756896923649
since I appreciate the lower eye-strain of slightly reduced contrast

I don't understand this --- it seems to be a recent trend, but if anything, it causes more eye strain. For many years full white/black was the norm, and no one really complained. Perhaps it's because of monitors being set to max brightness/contrast by default? IMHO FFFFFF/000000 should not be uncomfortable to look at, and if it is, the brightness is probably too high.
You won't magically have more gifted children if you treat all children as such. Different children have different needs. Some learn better in a classroom like situation with a teacher presenting the material, others learn better when they figure stuff out by themselves. Some need lots of hand holding, others don't. Some have talents and interests in specific areas, others in other areas.

One school we visited has decided to try a different direction to present the material: normally they start with the basic concepts and build bottom-up to the big overview. For gifted kids, they want to try the opposite: start with the overview and zoom in on the basic concepts from there. I can see how that might work better for gifted kids, as they know what they're working towards and trying to figure out what it's made of, whereas other kids might get lost along the way.

I think the best education system is one that keeps an eye on individual children's needs and talents.
One thing that I try to keep in mind is that the quantity of energy that we're trying to extract from the natural world is orders of magnitude more than any animal has every tried before. There's going to be unexpected costs of wandering off nature's beaten path, whether it's radiation, airborne particulates, or runoff from PV manufacturing

For a beautiful illustration of this, I HIGHLY recommend:

https://www.stuartmcmillen.com/comic/energy-slaves/#page-1
I think what is often missed in mainstream discussions on "giftedness" is those gifted but with disabilities.

https://en.wikipedia.org/wiki/Twice_exceptional

These are students that are gifted, but due to their disabilities underperform. It isn't uncommon for them to not be identified as gifted, and thus never be put in gifted classes despite being very intelligent.

Imagine having someone 140+ IQ that is stuck in a standard classroom all 12-years of their pre-college education because they weren't ever identified. They typically are the students that enroll in special services and get exam accommodations in colleges.

At least colleges recognize these sort of students. For example Princeton has such services: https://ods.princeton.edu
Doesn't reflect my experience.
Ask HN: How do I earn more as a developer?
I have immigrated to France for a better life a little over 2 years ago, and I have been working as a frontend developer ever since.

I have managed to move from a little under 2000€/month as a starting salary to around 2500€ now. Which is OK but not great.

But since money is a delicate subject here and people try not to talk about it, I'm clueless about how to progress and what kind strategies I should be taking.

I was wondering how all the people are landing the big bucks? How can I move to a bracket that would allow me to eventually buy a house and start a more stable life.