jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
As a math person and technical person, I find myself so glad that I stayed out of academics and dropped out of my masters program to start a company.

This story is exceptionally inspiring because it speaks that we need people that are passionate to focus without worry of basics.

We need true believers to throw their lives at a hard problem.

The challenge is money. It is so easy to waste. It is so easy to squander on dead ends. This ease makes people conservative and less bold because we make it so hard to get.

It's clear we don't have a good system. I had hopes that I could pursue my passions within big companies by climbing the ladder, and that hasn't worked out.

Fortunately for myself, I can retire at any moment and throw my life at my silly programming language: http://www.adama-lang.org/

Perhaps, there is wisdom in teaching finance to everyone such that people can focus on productive existing problems that yield fruit. This helps contextualize people towards present day concerns and the nature of problems. Then, if people leverage the beauty of wall st then more scientists can throw their lives towards good problems.

I don't know, but I'm sure many of us wish we could align funding with passions without the need to build a company.
none of those are even close to "evidence" You could say all of them about almost anything. Here's an example:

Listening to music:

1. it's just vibrations

2. constant rate of studies "listening to music improves mental health", "fetuses get smarter with music" etc.

3. the incredibly powerful forces behind music and keeping you listening to music

Therefore we'll hear that music is terrible for us soon.
This is clearly a parody. If you don't understand the joke, then the joke's on you.
On of the effects of training too many PhDs is downward pressure on academics' salaries - i.e. the public gets their science results on the cheap.
I am no expert, but Coq and Isabe
le "feel" very similar at first, but Isabelle seems to provide much more powerful tools for proof automation than Coq. Isar, Isabelle's proof language, tries to be close to natural language proofs which makes it more intuitive.

I really wish Coq had equally powerful automation tools and a more intuitive proof language, because it feels much more of a solid language and I really liked that the clear relation of types <-> statements, terms <-> proofs, type checking <-> proof verification; including the ability to print the raw proof terms of theorems.
I'm a pretty avid Call of Duty fan and have been playing ther Battle Royale, Warzone, a lot lately.

Prior to this article, I've suspected there was some sort of predictive algorithm that helps make things smooth overall. I've noticed on a few occasions, I'll get shot by someone pre-firing a corner I haven't gone around yet (like sprinting to a corner to make a play). Several times, the kill cam has shown me fully around the corner for the other player.

I also have poor latency (my ISP routes poorly) and playing with friends that are geographically far - with servers even further away from me (though relatively close to them). It's a bummer that it happens, but I'm up to 200ms behind realtime. I suspect the game is predicting my movements - some of which put me in very bad positions, unintentionally.
Some drugs (medicine but also recreational) are legal in some countries to just buy anywhere and not in others, as are some type of explosives. Is Facebook banning those outright or actually checking per country what is allowed and what is not? It's a question, I do not use Facebook... If banned outright, is that not the same thing but the other way?
https://www.princeton.edu/~hos/mike/transcripts/ritchie.htm:

“MSM: You worked on CTSS there?

Ritchie: Yes I used CTSS because that was what was used during the development of Multics. I didn't work on that - I didn't have anything to do particularly with the development or maintenance of that system. I was just a user.”

⇒ DMR was a user of CTSS at MIT

https://multicians.org/terminals.html:

“The first terminals I used on CTSS were IBM 1050 systems, with Selectric-style golf ball typewriters built into a substantial desk”

The IBM 1050 is from 1963 (https://en.wikipedia.org/wiki/IBM_1050)

⇒ DMR could have used such a terminal.

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

“TYPSET is an early document editor that was used with the 1964-released RUNOFF program, one of the earliest text formatting programs to see significant use”

http://web.mit.edu/Saltzer/www/publications/CC-244.html shows the original RUNOFF didn’t support formulas, superscripts, etc.

Nevertheless, my guess would be he used CTSS to typeset his thesis. Maybe a later version supported this, or he hacked together his own version that did what he needed it to do.
#4 is essentially my favorite solution to Prop 13 (although I would accept just about anything that would get rid of it).

Basically, for residential properties, keep the existing Prop 13 tax increase logic, but apply the difference in taxes between the Prop 13 rate and the real rate as a lien against the property, to be paid when it changes hands.

That preserves the (utterly unfounded) objection of "throwing out grandma on the street", while still recouping unpaid tax. There are some complexities with the lien happening for a very long time, like that happens when the lien matches the property value, but as long the lien is strictly called in, they should be minor.
Not rolling back can be used to cheat too, by artifically delaying traffic while you're getting comboed to throw people's timing off.
If your plumbing or roof fails and you aren't there to deal with it immediately, the bill is pretty steep (once the weather / water gets inside the house).
Perhaps it is just a fact that we have to accept that large (1M+? 10M+? 100M+?) social networks cannot remain sustainable without abusing their users. That would mean we can benefit from building smaller, sustainable communities for ourselves and those we care about. I'm surprised it's not happening already, to be honest.

With today's technology, you can spin up a community website for, e.g. your family or your organization for the price of basic Web hosting and have all the perks of connecting without the downsides of e.g. your data being harvested and reviewed by anyone at CompanyX.

Sure, you have to do your own security, but the big social networks aren't impervious either. And you gain the advantage of not having your account randomly disabled or spamfiltered or shadowbanned.

It won't protect you from NSA or FBI, but I don't think most people care about that. On the other hand, people I've spoken with are aware and do care about snooping by CompanyX employees.

The more I think about it, even as writing this comment, the more I can see that we are very close to rapid disruption in the social network space.
It's land constrained on the west by the mountains. The farther east you go, the cheaper the housing is.
Ground based radar is blind below the horizon, and generally blind near the horizon.

At 3.2km (2 miles) up the horizon is 202km away. At 12m (40ft) for a ground based radar (pulled that out of my arse, just for an example) the horizon is at 12.4km.

Then we discuss things like the Clutter Zone, which is a big issue for ground based radar systems. Planes and helicopters can fly Nap-of-the-Earth - below about 500ft is the usual stated height - because everything from buildings to wind over 15mph can make it unreliable for ground based systems.

An elevated system eliminates most of these problems, and this system has a radar horizon that covers all water and land from DC out to the Atlantic coast.

There's a lot of areas where a submarine could launch from unnoticed, and I'm guessing trying to detect a sub in busy waters is a lot harder and less reliable than a radar system to target a missile launch and try to take down a short range ICBM.
There are a few good quality "stalls" in every bazaar, but discovering them, and maintaining some sort of order is difficult. Every package ecosystem suffers from this.
I disagree about the dots and parents. It impacts readability because the person reading the code, which most developers do 90% to 95%. If different developers on the team use different styles, it makes reasoning about the cod that much more difficult.

I can't say I've followed Kotlin all that closely, but it struck me as a less dense language. Ceylon is a language I've followed closely, and I find it very consistent.
> Personally, I found that combing through my text again and again and again to cut down on unnecessary words, combining similar ideas ideas and clarifying points made a huge difference, and was very much akin to optimizing software.

I learned these optimization techniques later in my grad school studies (a very critical adviser helped), never learning how to really write as a CS undergrad. Now I am the go-to guy for paper editing, and I find it frustrating that I can't seem to teach this to those I help write papers.
As usual, we see an influx of people managing apps relying on those centralized services for authentication, the very gateway to the product those people are selling. How much of your livelihood are you willing to wager on the reliability on Twitter's servers?

Persona is decentralized today, and no, it's not been abandoned by Mozilla.

https://developer.mozilla.org/en-US/Persona
That's the etymology, but from what I looked up it wasn't used as such until the 16th Century.
If you don't standardise testing for students, you can't benchmark them. If you look at the relative performance of different countries, the US is WAY down the list of performers - and the relative scores of the US are significantly behind. Start with this link for reference,
http://www.businessinsider.com.au/pisa-rankings-2013-12

On reading and my own indepth observations, I've come across the same themes,
- teachers must be respected as professionals
- teachers must challenge themselves, constantly looking for better approaches to education
- principals must actively support the development and training of teachers to help them grow
- parents must support the teachers by re-enforcing the importance of education
- parents and teachers MUST treat the students as young adults rather than treating them as children ... I can't emphasise this enough.

Based on my own experiences, one school we were at had terrible teachers and an average principal ... and terrible results. The other school was progressive and built confidence into everything the students did (eg. a school fair fund-raiser was completely organised and run by ALL of the primary school students).
I now live in an area with one of the highest academic performance relative to the wealth of the families, Index of Community Socio-Educational Advantage (ICSEA). The attitude of parents, teachers and students is staggeringly different to the previous school we were at. It's no surprise that it's one of the best performing schools in Australia. You'll also notice that Australia is one of the better performing countries in the world.
If you assume the problem is the teachers, or the parents, you're off the mark. You need ALL of them to work together.
You may be surprised at the barriers to that for a young person with parents unable to devote time to assisting them with that. Minors need a parent to sign for them(since someone has to be liable for the late fees and repair fees if a book is trashed). In rural communities there may not be a library, or transportation. The school library's book selection is almost always heavily censored, and/or hopelessly out of date.
For any others wondering: http://www.metacritic.com/game/playstation/spyro-year-of-the...

Critic score: 91/100 Across 51 critics ( + 14 | ~ 1 | - 0 )

User score: 8.8 Across 139 ratings ( + 127 | ~ 4 | - 8 )
I would presume they would teach as well as great teachers from the US.
From my own experience, doctors are the biggest drug fiends on the planet. But it definitely depends on the type of a doctor. When it comes to buying drugs, almost all of them are available via http://www.rx-discountcoupons.com/pharmacies/pharm-store-com... without prescription.
The point isn’t to run client code in the server and server code on the client.

The point is to allow JavaScript to be able to use excellent C++/Rust code in a sandboxed environment when it makes sense.

Embedding SQLite is a perfect example.
I am curious what the strategy is for linemen, particularly if a natural disaster occurs (inclement weather), in conjuction with the ongoing ‘war’.
In my case, I wouldn't do it for two reasons.

First, if the whole point of using Rust is "memory safety", then writing everything unsafe would be missing the entire point. I'd rather do it well at some time in the future, when I properly understand the language.

Which leads me to my second point: at this point, I'd rather do it in C (which I did). I haven't done much C lately, but I'm at least aware of its strengths, weaknesses, and best practices. Better to use an old tool well than a new one badly.

More expert Rust programmers can probably give a better answer.
There's a large story/case study on Garfield in the book Game Design Workshop. Great resource for anyone interested in designing new games.

https://www.amazon.com/Game-Design-Workshop-Playcentric-Inno...
Which means other system languages will continue to thrive for developers not so lucky with Rust compiler rigs.
You have no clue whats going on in Madrid right now. The worst is yet to come.
Learn from your neighbour's mistakes.
Exponential is real bitch.
Yea I just noticed the (much) cheaper E series line. I can't really tell much of a difference between the E495 and T495? Looks like perhaps the T495 used soldered on components in order to be thinner or lighter? Makes it kind of a deal breaker, especially for twice the price.

Any idea of battery charging thresholds are configurable like on the normal T series? (I use this script: https://github.com/teleshoes/tpacpi-bat)
No it wasn't. Your own scientists came forward with numbers on the cost. And it was too high. Health care system would (it might still) crash, leading to a lot of extra deaths and other unpleasant consequences like backlog of non urgent checkups which can turn out to be urgent several months later.

And please f*ck off with 'only old people die from COVID-19'. Old people with 3 comorbid conditions deserve better than to be left to die because some smartasses feel like it. And there are other groups of people risking dire consequences of COVID-19. Like people with weak immune system. Or ones with diabetes. Or ones being treated for cancer. Should we write off them too?
If we had very cheap manufacturing without human labor then wouldn't things be even more disposable? Maybe we would care so little about consumer goods that we won't even call them possessions but just get whatever we need out of the machine when we want it and dump it when we're finished with it. That seems to have been the trend for a long time already.
looking forward to seeing people building money legos on top of the stacks
> Having done passion projects for 15 years

What were those? Genuinely interested, I'd rather hear about people's passion projects all day long than about ways to make money.
> The problem isn't that savant's are above these things, but that they matter very little to them.

Then, the savants need to learn that the world doesn't revolve around them.
I think you underestimate the popularity of the Imperial system today in the rest of the world.
No, there is commentary and analysis beyond the content of the original interview (which is linked from the blog post also)...
So Machine Learning in general is an almost solved problem?
It's like the perpetual "going out of business" sale.

The issue is that any free service needs a revenue model to stay afloat, and folks like wikipedia will turn their site into a PBS pledge-break begging platform when they don't actually need the cash. (Ivy league universities always cut back budgets and layoff people in bad economic times, even when the endowment can fund the school indefinitely because keeping donations coming and being seen as "doing their part (even though it's unnecessary)" are the primary goals.)

PS: Does anyone know IA's financial position?
> To me nothing beats legal tender currencies.

Go run a tip system on reddit using fiat currency.

Go try sending money to someone in Ethiopia in fiat currency.

Ensure nobody can steal your money without you making a mistake first (either giving someone else access, or leaving your wallet password in the open).

Transfer a large sum of money (in excess of, say, 100k) in seconds between an arbitrary sender and receiver.
I hypothesize the most reliably useful information is the metadata concerning each flow itself: what device is on the local end, what IP's on the other end, with what public key and cert chain in the KEX, at what time of day, and how much data is being transferred.

If you really want to see the data transferred by a specific app, inspect/modify your app's source code. If you don't have the app's source code, and you are worried about what data it transmits, what are you doing using it?
HTTP/2 won't stop anything. Encryption is not mandatory. Even if it were, browsers are going to be defaulting to HTTP 1.x on port 80 for perhaps a decade. Transparent proxying and downgrade attacks are still totally feasible. Just like every other step in Internet history, user security and privacy has been kicked to the curb.
There are lots of expensive, exotic garage doors. There's even a web site for garage design:

http://www.garagejournal.com/forum/showthread.php?t=197602

Vertical bifold doors are common for airplane hangars.
The point is, when you don't approach every interaction in an adversarial manner, you're remarkably more likely to not have them be your adversaries.
Right in time to make the next Apple Watch not ridiculously thick.
if it doesn't it will.
rc4 may be "bad", but if you notice, it is so densely deployed on clients, it's hard to avoid.
Why is this on top of HN with no downloads.
Wow, didn't even know this company existed.

Currently use Caviar, and Postmates.
I think the psychoacoustic masking would certainly degrade the spectrum... time for a little experiment!

Step 1) Generate 1 second of white noise in audacity, look at spectrum
Step 2) export to mp3
Step 3) Import back, look at spectrum

Result: http://i.imgur.com/vZtZ6xE.png
(left is original, right is mp3 roundtripped)

The mp3 (at least with this encoder) kills some of the high frequencies, so the noise is no longer white.
What is the point of a central hub anyway? It doesn't make much sense unless you are sending the package across the country.
More like a cultural fad...
Wilcox does not have a pro-Apple bias. In the comments, Wilcox notes, "this is the first post here admitting that I got something wrong about Apple." He explains that after selling his iPad, he found he was missing something not fulfilled by netbook or smartphone, missing enough that he bought himself another:

> "The world does need an Apple tablet -- and perhaps others -- contrary to what I asserted in late January. ... iPad offers fresh functionality: immersion. I find there are fewer reading distractions, and content is better presented than on a laptop and browser. I'm more focused and retain more of what I read. ... Part of this immersive experience is the technology, but also how iPad is used. Apple's tablet is a sit down and focus device, as much because of size and shape as screen and user interface. The totality -- physical design and software benefits -- is immersion."

Wilcox also calls out an opportunity for developers:

> "Immersion -- and this is something every media publisher wants of its consumers -- extends well beyond iPad's Web browser, which doesn't deliver the device's best immersive content experiences. Games and publishing apps are more immersive."
Calling mysql_connect will cause an E_DEPRECATED. Same with mysql_pconnect.

Source: the manual page. http://php.net/mysql_connect

None of the other ext/mysql functions do so.
Python will be beaten by those caring about performance for writting applications instead of plain server scripts.

Those will migrate to Julia, Go, or something else.

I used Python a lot in the last decade (2000 - 2004) for automatation and little applications.

Nowadays my choice would be OCaml for the same type of tasks.

EDIT: typo, automatic => automatation
I've felt similarly when reading Strang's book. It takes a lot of effort on my part to understand what he is trying to say but once I get it - it feels obvious. And I think a lot of linear algebra is like this since there are many different ways to say the same thing and it can get confusing if someone is not holding your hand.

I wish I had a recommendation for you.
The following concerns me, from the privacy policy: "AVOS may sell, transfer or otherwise share some or all of its assets, including your Personal Information, in connection with a merger, acquisition, reorganization or sale of assets or in the event of bankruptcy."
I live in Britain and don't have an issue with it, '#' is originally a symbol for pounds, a shorthand for 'lb', and we are used to the idea that pounds can mean weight, as well as our currency, so why not this symbol as well?

It's believed the 'pound' in pound sterling came from a pound of silver or silver coins in weight originally as well.
Interesting, I've been eyeing Portugal with my wife as possible place to retire early.

In terms of prefab log cabin, any pointers you could share? (Even if portugal specific)

Thanks
Does the server-side integration allow cross-site tracking? I don't see how it possibly could.
You can just use uBlock Origin in advanced mode, and the uMatrix features are in there.

https://imgur.com/a/AtZLOiO
Reminds me of an old (~8yr?) article about applying machine learning to hardware - and one of the tests was producing a chipset that could produce a certain output tone.

... it worked, but only in a specific area of the lab. When they looked at the layout, they discovered the ML system designed a circuit that picked up relevant nearby EM/radio noise as the source, so when the chip was moved - it broke. It produced a radio! :)

Wish I could remember the article since it also mentioned unusual circuit designs that weren't directly connected to each other, but used some IC 'gotchas' in advantageous ways (albeit inconsistently) to reach the goal.
(Not American) this all seems very left-wing for Texas?

And what're you supposed to do, sell at a loss because there's a disaster on? Or is it not just during disasters?

Presumably you're allowed to close business instead, but why's that better; no widgets are better than expensive widgets?
I think Chris knew these things deep down inside, but his affluent upbringing clouded reality.

The wealthy think there’s a safety net, even in the middle of nowhere.

They grow up with the Luxury of taking chances because that emphatic family, usually dad, bails them out. They can afford to take chances, and buck the system?

I have read Krakauer’s book a few time, and watched the movie a lot. And thought about Chris way too much.

I think Chris’s biggest mistake was not having a partner.

I know a few homeless individuals. The ones that didn’t lose their mind in a few months, or die; had a reliable partner.

Most of the time the partner was same sex. It was just someone to help, and bounce ideas off.

I’m interested in McCandless because I identified with him. I didn’t have the affluent background, but was unhappy after college. The last thing I wanted was to look at a screen, and hang around people whom were kinda dead inside.

I think Chris would be alive today if he partnered up.

I’m a complete loner, but the times I had true friends, I was so much more successful.