skysight-inc/HackerNews huggingface dataset:
One of the benefits of formation like the European Union. Areas that have traditionally lagged behind provide incentivized areas to be invested in leading to subsequent economic development and growth. Companies like Google make money. The recipient country like Lithuania here makes money. It’s a win win situation for everyone.
If I understand you correctly: yes. You differentiate both sides and then get an equation for the derivative.
What is the point of that, if the money invested is vastly more than what the owner can earn?

The USA having bankruptcy protections is what helps foster this level of risk and entrepreneurship here.
> It is all about time of day. A rainy tuesday afternoon: we can land on a roof without complaint from the owners. But on a sunny saturday evening, suddenly the same flight pattern we have flown for years without issue starts my phone ringing.

That one is easy: rainy afternoons, people are inside and have their windows closed, which provides a decent level of noise isolation... vs sunny evenings, people are outside, eating, playing, of course they'll hear everything in their sight and beyond.
In-flight accidents are a thing.

GPS and the like provide an efficient "happy path" and a horrible failure mode, which is why there's strong opposition to the removal of radars "because ADS-B/Mode S is good enough"
It seems like a lot of users are clicking that button dozens of times a day. I suppose they might consider the extra convenience worth it, particularly at night.
> Proofs show that it is true, not why it is true.

Proofs tell you exactly why something is true as they are nothing more than a water-tight explanation of why you think your claim is true. Oftentimes proofs actually precede the claims they are a proof of. For example, you can start with a set of axioms A from which you derive a packet of theorems and definitions B. In turn, combining (or separately) you derive more statements from A, B which we call, say, C. You can continue this process for however far and long you want. Suppose, at some point you end up at a statement W. Then you can do this:

Theorem: W.

Proof: Starting at A (or later down the chain/network of theory you built up), you can just retrace your way back to W. This perfectly explains why W is true.

Where I agree with you is that the role of memorization is downplayed. Sometimes, it's helpful to memorize some algorithms and definitions. It clears up your mind for actual thinking. Partly why they make you memorize a lot of elementary algebra rules (without proof) in high school so that when doing Calculus you don't have to think about "lower level stuff". Often, if I produce a proof that's different from that in my book or someone else, I try to memorize their proof because likely this way of thinking will recur down the road in the book and someone else's ideas might produce insight that would be unavailable to me had I decided to stick to what I know.

edit: I'd add induction proofs usually won't tell you something you didn't know beforehand. I never read induction proofs unless the author alludes to some clever trick that's worth remembering.
Some of it is economics. You can't really publish a standard book that's less than 200-300 pages. It's also the case that a lot of "filler" does add to the readability and general intellectual heft of a book; the reader's digest form really wouldn't have as big an impact.
Since you're using MIT as an example, it says here [1] that 90% of students get financial aid.

I doubt that's changed much. The "sticker price" for elite colleges has always been too high for most families to afford, but most students' families don't pay that price.

If you want to prove that maintaining charity status is a cause of tuition increases, you'll have to try harder.

[1] https://web.mit.edu/facts/tuition.html
I agree, mining is necessary. But it's a necessary evil. And like with all necessary evils, it'd be pretty nice if we could do our best to make sure we can stop committing the evil once it stops being necessary. It's hard to argue that coal mining is still necessary rather than merely convenient.
Heartbleed was found and fixed, and diagnostic tools quickly followed. OSS isn’t a panacea, but it’s something, no?
> ...why wasn't this up 4 days ago?

Because the NYT obituary linked here was published today.
> I have seen posh houses where the books (cringing as I write this) were arranged by colour.

https://www.booksbythefoot.com/shop/pc/Books-by-Color-c3.htm
Flight paths change all the time.
I think a dumbest question thread might be quite amusing?

I’ll go first, because I’m quite sure I’ll win...

This was for a front-end mid weight software engineer position.
The candidate was smart and a 100% hire (I’ve since hired him 3x in different companies)

Me; “great thanks for your time and we will be in touch later today”

Co-interviewer; “I have one more question”

Candidate; “sure, go ahead”

Co-interviewer; “Imagine your uncle has just died and left you his pizzeria in his will, what would you do?”

Me; “what?”

Candidate; “what...? Errr... sell it because I’m a software engineer, not a pizza chef”
Yes. You can also integrate a recursively defined function(s). E.g., recall your undergraduate differential equations course.
Just noting that JIT means speculating from what you've seen so far, what I'm doing is proving invariants and removing redundancy at compile time. Which means more predictable performance, since the code stays the same once it starts running; and a less complex implementation, since there's no need to de-optimize anything.

The reason I'm tracing is that it's the only way I've found to prove anything of value in such a formless language; even Lisp knows which arguments belong to which function call, in Forth that depends on what came before.

And it fits well with an interpreted language, since a slow compile often defeats the purpose of compiling in the first place. The tracing I've implemented so far is instant in comparison.
The underlying assertion is that universities must provide financial assistance to the majority of their students to be considered tax exempt. No citation is provided.

26 USC 501(c)(3) explicitly lists an organization operated exclusively for educational purposes as being tax exempt. Charitable organization is listed as a separate type.

Also worth considering is the example of Cooper Union: It charged no tuition and therefore offered no financial aid for most of its history. While one could argue that that is a form of aid so too would any other tuition reduction enabled by an endowment. This further suggests that universities do not set tuition in order to maintain tax exempt status.
I have not yet read through all of this 2013 IRS Official ”College and Universities Compliance Project - Final Report”. However, nothing so far talks about tuition and 50% attending receiving financial aid. The 50% rule may be based more on 501c(3) spending at least 50% of their income on “their mission”.

This seems to be the latest legal reference with regard to colleges and universities retaining 501c(3) status.

> Of total endowment distribution, 56 percent were made for scholarships, awards, grants and/or loans in the amount of $3 million. 29 percent of total endowment distributions were made for general university operations in the amount of $3 million.

Off-topic:

> Half of the systems reported that at least one of its five most highly paid employees received NCAA income.

https://www.irs.gov/pub/irs-tege/CUCP_FinalRpt_042513.pdf
Roadbooks, Part 4: The Wrist-Mounted Original
That's a great point. I do have a team that understands the underlying technologies and has been successful in troubleshooting several production problems with Rook/Ceph, one recent one including file system corruption. My original post is just trying to state that our engineering team does not maintain a deep operational knowledge of the best way to configure, manage, monitor, scale, etc (operate) ceph in production. We rely on the Rook operator for this.

Troubleshooting acute outages caused by hardware or software failures requires a different skill than properly configuring the system to scale and minimize the chances of a corruption or outages. Rook solves the later, but we do understand the architecture and what Rook (and Ceph) are doing. We've just removed the expert level, craftsman, speciality knowledge required to operator Ceph because we decided, after a thorough evaluation, that the software in this case is the most capable solution.
After two years? How is that better than closed source?
>What about all the nuclear waste that is already building up and has no where to go?

The design that Bill Gates advocates would use this exact waste as fuel [1], or more precisely the long-lived isotopes in the waste. The remaining isotopes decay by themselves in relatively short time (years, decades, at most a few centuries).

> There was a incident where a employee thought it would be a cool picture if they put the rods next to each other. They were literally lucky that it didn't cause an uncontrolled reaction.

I remember reading about some incident like this. I don't believe the stuff though. If it was that easy to create an "uncontrolled chain reaction" it would be very easy to build a bomb. You wouldn't need an entire Manhattan project to do that.

[1] https://en.wikipedia.org/wiki/Traveling_wave_reactor
The state of Sam Altman's Bubble Bet, 1 year before deadline
TL;DR It seems likely that Sam Altman will lose his 2015 bubble bet, with mid-stage companies growing like crazy but early-stage and late-stage companies growing a bit slower than he expected. A big IPO for Uber and big fundraising round for Gitlab could still give Altman the win.

*

In March 2015 Sam Altman published his Bubble Bet blog post (https://blog.samaltman.com/bubble-talk), in which he decries the talks of a tech bubble and proposes a bet on the future of tech valuations. His proposition is that by January 1 2020:
1. The top 6 US companies (Uber, Palantir, Airbnb, Dropbox, Pinterest, and SpaceX) which at the time were worth just over $100B, will be worth at least $200B.
2. A group of mid-stage YC-backed companies (Stripe, Zenefits, Instacart, Mixpanel, Teespring, Optimizely, Coinbase, Docker, and Weebly) at the time worth $9B will be worth at least $27B.
3. The YC Winter 2015 batch - worth at the time around $0—will be worth at least $3B.

One person, Boston-based VC Michael de la Maza, agreed to bet $100,000 against Altman, with the loser agreeing to donate the money to a charity of the winner’s choice.

One year to the deadline, what’s the status?

I checked the known public valuation of the mentioned companies, using news sources and company announcements. Another tool was YC’s valuation list (https://www.ycombinator.com/topcompanies/). If you have better data, I’m happy to edit accordingly.

1: Top US (100->200)
Uber: 72
Palantir: 20
Airbnb: 31
Dropbox: 7
Pinterest: 12
SpaceX: 30.5

Total: 172.5

2: Mid-Stage (9->27)
Stripe: 20
Zenefits: 2
Instacart: 7.6
Mixpanel: 0.865
Teespring: 0
Optimizely: 0.386
Coinbase:- 8
Docker: >1.3
Weebly: 0.365

Total: 40.516

3: YC Winter 2015 (0->3)
GitLab: 1.1
Equipment Share: Somewhere between 0.2-0.6 (based on neighboring companies on YC list)
Atomwise: 0.1-0.2 (based on Scribd valuation on YC list)
Razorpay: 0.1-0.2
Qventus: 0.1-0.2
GrubMarket: 0.1-0.2

Total: 1.7-2.5
"Text-based languages are so 20th century"

This is arguably NOT true. Visual languages have consistently failed to match, let alone out-do textual languages for decades, and with good reason.
My first thought was “it’s Visual Lisp”. My second was that it reminded me of an old music tracker program called Buzz Tracker. It was a bitch to learn, but once you got a few concepts down, it was insanely powerful.

It was also pretty unstable.
As detailed in the article, due to the FAA's efforts to modernize the air traffic control system, planes have different flight paths than they used to, and communities near airports which used to not experience noise problems, do now. Still, airports are too important and it is virtually impossible to build new ones. The needs of the airports and the airlines should take precedence over those of homeowners. Homeowners can move. Airports can not.
At Microsoft many senior devs eventually go into the PM track (while still actively writing code) because there’s more salary there
A crucial distinction: Of total endowment distribution is VERY different from of total spending.

Tuition-dependent colleges and universities tend to look very different from their large endowment counterparts.
Depends on where you are. I’m paying $80/month for 940/940 fiber with no cap or throttling. A few miles down the road the only option is slow and unreliable cable through Comcast.
> if you knowingly purchase a residence under a flight path, you lose any privilege of complaining about the noise.

Honestly, this line really grinds my gears. Let me explain:

First, people don't always know. Actually I think people frequently don't know. It's not like estate/rental agents are known for their outstanding honesty.

Also remember that the loudness and frequency of air travel can change a lot. An airplane every few hours and none during the night? That's probably okay. An airplane every 15 minutes for 24/7? Probably not.

But the most important point is that it's a bit of a discussion stopper; in the end, no one really wants to live under a flight path, and we all have to live on the same planet. I'm not saying we can always accommodate everyone, but dismissing people's real daily struggles with this out-of-hand is probably not great, especially as there are many important details missing.

I had a noise problem at my previous apartment. I lived about 20 metres from a church repurposed as a "community and arts centre". Turns out, that this is code for "we will do rave parties where we literally pump out 100dB of bass until 5am every weekend during the winter season". I wouldn't have minded if it was the occasional thing, or if it wasn't literally 100dB (that was their limit, which by their own admission they also breached sometimes), or if it wasn't every weekend. I complained but they were very dismissive about it. It's one of the reasons I ended up moving.

My point is, there are many factors: loudness, frequency, time of day, etc. In a lot of airports the total loudness may be less (I'll take your word for it), but the frequency and time of day has definitely increased in many cases, as people are flying much more.
Would you consider Microsoft Excel a visual language?
There is definitely a concept of "overtraining" in sport, and people do talk about it being caused by an addiction to exercise (e.g. https://en.wikipedia.org/wiki/Overtraining#Cause, https://www.trainingpeaks.com/blog/the-dangers-of-exercise-a...). It's a problem because it results in a lack of progress (e.g. it's hard to build fitness/strength when overtrained), and it increases a person's susceptibility to injuries.

Strava even has a built in feature to warn users if they appear to be overtraining (I think you need a heart rate monitor though, and possibly the paid version too).

But I would guess that this isn't well-known amongst the general public, since it doesn't affect much of the population - most people live sedentary lives and overtraining/exercise addiction is only a problem for a subset of active people.

I presume by "partying" you mean "drinking", otherwise there wouldn't be much recovery involved. In which case that's an addition that is well-known and often talked about.
Yes, but I avoid getting drunk.

Also I enjoy it but like any rich food feel worse for it.
Yoshi's Story was not for the Super Nintendo. It was an N64 game that was far inferior to Yoshi's Island.
Or maybe the trains in Chicago or New York?
How is it being monetized? I have become more and more suspicious of “free” privacy services. Unless there is an exchange of money for a service, it is highly likely that eventually the company will either fold, or decide to sell the previously private information.
I have seen visual dataflow languages and even worked on some of them. They usually work better in specific domains like stream processing, control systems, signal processing and such. Even then, once a "program" gets complex it can get tangled fast. A node with 3000 edges starts to look messy. There are some things you can do to fix it but then you just kind of wish to use a simple script.

As for general computing, the most thought out language I've seen so far is probably https://en.wikipedia.org/wiki/DRAKON. Apparently you can now even try it online: https://drakonhub.com/try-me?example=mind157

I like Full Metal Jacket in that it starts with a functional approach (it seems to be based on LISP) and might actually be a good way to introduce functional programming to newcomers. For example, here you just have a "factorial" node when you define the factorial function: http://www.fmjlang.co.uk/fmj/tutorials/Recursion.html Some people really struggle with recursion initially and if they are visual learners this might be helpful.
> 1. Texan here. I’m saying this as an Austinite.

> 2. I’m anti fossil fuels....

1. You're not a Texan.

2. By all means, stop using all plastic products, all synthetic fabrics, and stop eating food that you didn't grow yourself. 90% of crop fertilizer is made from natural gas, which creates the miracle of American agricultural productivity. Let us know once you've divested yourself from fossil fuels.
Do you have a citation for this? The data I have shows that on a real basis, expenditures at state schools for administrative services are largely flat:
https://nces.ed.gov/programs/digest/d16/tables/dt16_334.10.a...
On the disproportionate number of noise complaints from a few people: I've noticed in my own case that there was a huge bar to making my first noise complaint (I don't live under a flight path, but across from a beach park where people like to party after hours and blast loud music). The first few times I suffered through it. Eventually it was so bad, I went out at 3am to ask, politely, for them to keep it down (the park closes at 10pm). I didn't want to be "that guy" that calls the cops on a bunch of kids just looking to have a good time. The guy who owned the car blasting the music was apologetic and immediately complied, but one of his friends got in my face about it. Another couple of incidents like that and, well, fuck it, I'm not going to risk bodily harm to try to be cool for some total strangers. I called the cops, who responded in minutes. Problem solved. Once I crossed that line, I hear music blasting after midnight, I call the cops without hesitation. Aside from my own peace of mind, I like to think I'm helping my neighbors who may be still be in the suffering stage. I have no doubt that I make many more noise complaints than they do.
Ah, so you were aware that the forests are replanted. You choose instead not to provide others with this information or inform that, but rather to editorialize. Now someone has asked you to justify how a replanted green forest is "desolate". Please keep on topic, we are talking about the tar sands not pal oil. Yes I know both have oil in the name but please understand they are not the same oil. Please for your own safety do not drink the tar sands.

Now back to your statement. Do you retract your claim of desolation? Or can you provide any evidence to support your position. Please do not reference palm oil in relation to the tar sands. No palm trees grow in Fort Mac.
The 4th article on our biofeedback platform
Austin is not Texas. Austin is an plot of land annexed by California.
Its a marketing expense as far as I can tell. They sell a mobile adblocker.
LANYARDS HISTORY
I believe the post is referring to the 501(c)3 status of the endowment, which is basically a trust fund, and is not operated exclusively for educational purposes.
Product+-+Eurostat
> Needing to dispatch local field engineers is telling because it shows they do not have/prioritise remote login capabilities in their access layer switching infrastructure.

Or that said infrastructure may exist, but not redundant... I mean, RS232-over-IP or RS232-over-ISDN boxes are no secret sauce, but when their access line is routed over the same thing the box is supposed to remote-manage, then one has problems.
Unlikely as a practical matter. At least we never considered it as something in the 1970s. Commercial activity more broadly was a more significant issue but that was dealt with before it became a broad concern.
The day I noticed my tenure was longer than the median Google engineer was horrifying. "You mean half of these people know less than I do how this stuff works?"
Something like Luna[1] language looks saner - where it has both textual and visual representation.

[1] https://luna-lang.org/
I appreciate your example especially since it’s something you couldn’t really have looked up beforehand. Imagine searching “raves til 5am in my area”

But flight paths are a known known. Maps exist. Noise level maps exist. Airport locations, runway directions, departing and arriving flight paths (and altitudes!) all exist.

Caveat emptor, you got a “good deal” on a house because it’s in a loud area. If you cared about the noise then you should’ve done your homework.

Or.. move somewhere else?

Again— all this only applies to people walking in to buying homes under takeoff paths. If the airport did this to existing homeowners that’s a prolem, and I think complaints are justified. (This case also runs into NIMBYism, which is also a problem, and so on)
> Did you see a big red star on the side of it?

Ah the 'sound of freedom' dodge.

What is the limit for that excuse? Broken windows from sonic boom? 20lb concrete practice bomb accidentally dropped through a roof? Cablecar knocked to the ground during low-level flyying training? All unfortunate but necessary to Maintain Freedom...
I don't understand the wage suppression part. Elaborate?
Unfinished business – Europe’s currency 20 years on
It was first found by Chinese developers who found it in their own apps. Neither they nor Ali Baba had any idea what other apps were affected. Ali Baba did some additional research to track down how the apps were infected. The malware was disclosed by Chinese iOS developers and analyzed by Alibaba researchers
Composograph
No, this is what the comment is being downvoted for: "With any luck, HuffPo will meet its own Peter Thiel sooner rather than later."

It's basically saying "I hope everyone there loses their livelihood". Extremely nasty and vindictive.
Actual crimes like possession of marijuana?
I don't know if they have anything quite like those old Radio Shack 100-in-1 electronics kits any more. I've wanted to get something like that for my nephews and couldn't find it.
GoK jinn theocracy cuture