skysight-inc/HackerNews huggingface dataset:
Lout[1] might also be worth a look.

[1]: https://en.wikipedia.org/wiki/Lout_(software)
What does context-free syntax mean? And what does “you cannot parse it” mean? Meaning you can’t stream it, you need the whole file first?
FreeRTOS doesn't come with drivers or a networking stack, it's more a building block than a whole operating system.
Yeah, most likely they all came from the same factory. Was from a reputable brick n mortor. Probably from the same shipment. There’s a chance they’ve sorted out the issues since. But it’ll take a long time for me to feel confident in their quality again.
"there are about 20 of them and I’ve spent time one on one with every one"

^^ No, you haven't. Really, dude? Really?

At this point: lol
That feature breaks down in the presence of merges. But when those are not present it works OK, you see lines like this:

> force-pushed the aojea:affinity branch from 8eab3f7 to ee626e7 yesterday [0]

Where the "force pushed" links to a pretty decent UI [1], but it will include a bunch of non-import information if the person rebased and force pushed, which is a common reason for force pushing.

You can see that in this [2] long lived Kubernetes PR that was rebased, the resulting "helpful" link shows me 2094 changed files [3]. In a tool like Gerrit or Phabricator this is automatically handled and it would basically ignore this operation unless the rebase changed the code being reviewed.

0 - https://github.com/kubernetes/kubernetes/pull/88409

1 - https://github.com/kubernetes/kubernetes/compare/8eab3f73163...

2 - https://github.com/kubernetes/kubernetes/pull/85000

3 - https://github.com/kubernetes/kubernetes/compare/375873cb532...
I'm also not knowledgeable in this area, but I agree with you. Would love to see an unbiased legal expert's opinion. Definitely feels like a stretch to me though, as you've pointed out.
Nick News with Linda Ellerbee
Stuff like VC funding breaks the alignment between leadership and students: former is rewarded by pump and dump and maybe eventually good, not cohorts 10-50 doing well.
unless i'm horribly misunderstanding something, they bill you at a flat rate. they distribute the funds proportionately among the sites you visit based on the time you spend.

either way, you're trading the tracking by ad networks for tracking by scroll.
I saw a lego set at costco the other day.

It came in a rather large box and seemed to be large almost bulk quantities of generic pieces.

I actually smiled since the assembly plans come from the kids' heads, not the comic franchise or space franchise.
Laptops killing work life balance
Changes to Google's Terms of Service
My undergraduate mentor took a co-op position one year in Huntsville, Alabama. He told me about 6 processor missile guidance systems that cost tens of thousands of dollars ... all to guide a missile to where it gets blown up.
That wasn't the question... It was, if I was an HR director, what would I do in different situations.
I used to use a similar service called Blendle. It, too, promised ad-free news. But even though I have lots of credit in my account, I stopped using it for three reasons:

1. It had a very limited number of publications available.

2. You couldn't just read a whole publication. You could only read a selected few articles from each publication. And the curation of those showed clear political bias on the part of the curators.

3. Blendle sends out a weekly newsletter with a list of the stories it thinks are the best. It also presented a clearly one-sided view of the world and the stories available from the Blendle publications, accompanied by a TON of editorializing on the part of the newsletter authors.

Instead, I subscribe to several newspapers both in electronic and dead tree editions. I don't mind paying for news. But I want to make up my own mind about the news, and not be force-fed one ideology by a gatekeeper.

Back on topic: I hope that Scroll does better than Blendle. Looking at its list of publications, I only see two that I would read, and only one regularly. If Scroll expands to more interesting content, I'll get on board.
Downvotes by the Rust fanatics again! :)

Edit - it's just funny because it always happens. Say anything against Rust - get downvoted. It kind of reminds me of the really hardcore Linux community.
I'm not the ideal person to ask, never having published a novel mathematical result and not having particularly deep knowledge of math, but I understand "formal" in this context to mean "mechanical". A formal manipulation of symbols is, as I understand it, one that you can carry out without attaching any meaning to the symbols you are manipulating.

This is not the same thing as "rigorous", because it's entirely possible for a formal manipulation to be unsound (with respect to some theory). For example, suppose you want to prove that a left multiplicative identity is also a right identity; that is, ∀x: 1·x = x ⇒ ∀x: x·1 = x. You can apply commutativity and rearrange the symbols to get a proof — that's a purely formal technique, and it's correct and rigorous for, say, complex-number multiplication. But if you're thinking of some other multiplication operations, like that of square matrices of some size, or of quaternions, that's not a rigorous proof, because those multiplication operations aren't commutative. (But in those cases it turns out to be a correct theorem anyway, because they are associative.)

Compiling a program is another operation that is formal but rarely rigorous.

The hope of using proof assistants in math is that by formalizing our reasoning, we can also make it more rigorous, with the aid of computers and a great deal of cleverness. Most mathematicians are not yet convinced.
When it comes to money between untrusting parties no one is going to open source it to make it easier for the other side to commit fraud.
Setting Up a New MacBook for JavaScript Development
On Emulation
A Tiny Piece of Tape Tricked Teslas into Speeding Up 50 MPH
I believe smartphones may have done worse damage. Now I am on call any time all the time! Goodbye work life balance.
Ada has existed for 40 years. This directly means it has nothing to do with being conservative.
Wow, I thought you were exaggerating but it really is terrible. Page 15 of the manual is inexplicably 90% blank too.

So it's clearly just a super-rough prototype, which would be fine except that when it brands itself as "its job is to produce beautiful printed documents"... it gives the impression that it already does this, when the reality is clearly far, far away.

I think the project needs to be honest about where it's at.

[1] https://sile-typesetter.org/manual/sile-0.10.2.pdf
Given that Lambda has stumbled on branching out to UI/UX, has that given cause for you to slow down plans to expand into nursing and cybersecurity [0]? Don't get me wrong, I think succeeding in teaching code is an achievement in itself. But seems like curriculums for nursing and cybersecurity are much more orthogonal/outside-your-wheelhouse than front-end dev/design.

[0] https://www.edsurge.com/news/2019-01-08-online-coding-school...
I remember being on the younger side of 10 we had these hand-me-down blocks from playskool. Melissa and Doug makes them for the current generation.

We got a lot of mileage out of them.
most variants of these chairs last about a year in the mojave desert cities/most of arizona before dusting to fragments.

the worst part is when they wait for you to sit on them before doing so.

i've noticed the darker colors tend to last longer, I don't know why.
Agreed. Have you seen any models or simulations of economies with subjective value? All I see are some 'objective' measures.
I don't think that's a phenomenon exclusive to 'junior developers'
I like the milestones/check-in idea - will have to use that next time around.
To get a better sense of my salary range,I found talking to recruiters very helpful - especially those whose bonus is tied to their prospects' future salary. In my current job, that number was a really exact estimation.
If you're in the Apple ecosystem, Apple News Plus isn't too bad. If you read a lot, it's pennies or less per article.

Apple's added a good number of publications since it launched, and I get more value out of it than I used to. But it's still trying to find its sea legs.
The biggest pain point with the theory was its handling of equality, which HoTT fixes.

Ergonomically.. well it's hard to describe TBH, the easiest way to see is to just download one of these systems and try using them. You try to prove a theorem and everything just ends up taking way longer than you'd expect. Mostly because you can't gloss over small details the way mathematicians will do informally. Every small turn of phrase like "for large enough N" or "without loss of generality" can become dozens of extra lines of code.
As the article notes, this is treating the symptom rather than the problem. When you have a system which dramatically favors graduates from top schools, entrance criteria solely based on single exams, and punishment for single exam failures for life (ie if you don't do well on exam 1 you are effectively booted from the prestigious track forever), of course everyone is going to cram relentlessly for exams. If you send people home from cram schools, students will simply be forced to study at home. I'm not sure what the solution is for this (other than to create more slots at good schools or more good schools) but curfews certainly will not work.
When I tried to hire data engineers under that title I got a ton of resumes from people with very poor programming skills. It wasn’t until I swapped the job title to “software engineer” and put the data engineering details in the description that I got resumes from people with appropriate skills.

The main issue with good programmers is that you need to make sure that candidates know what the job entails and are onboard with it. There are definitely complexities involved but by and large it isn’t the type of work that CS programs glorify as “interesting work”.
Yeah, it was all 1x1 and 1x2 that split along the 1x wall. It’s the point with the most strain. I have older lego that split similarly, but those had at least ten times the play time, and a much lower percentage. I do hope they’ve sorted out whatever problem is causing, since I’d like to continue to share the pastime with my kids.
Not very surprising. When it comes to formal verification, you get the biggest bang for the buck (by far) via focusing on what the nLab wiki calls 'synthetic' mathematics, viz. fairly self-contained subfields where the 'rules of the game' may be somewhat complex in their own terms, but can be stated without relying on a massive amount of prereqs. 'Fashionable' math tends to be just the opposite: easy, logically-simple entailments, but building on very complex prereqs.

It's obvious why formalizing the latter is comparatively hard: you need to work on the prerequisites first, since your formalization won't be usable without them! Also, since the formalized-math field is still quite fragmented, large projects (such as formalizing a big chunk of some basic curriculum) are discouraged to an even greater extent - quite simply, it can't be assumed that others will be building upon that work.
The Aging 911 System in the U.S.
I don't think we are necessarily in disagreement. What we want and what we need are often at odds, perhaps nowhere more clearly than in the way we select new team members.

I speculated on why our interviews are so insane, and just kept pulling that thread. What I omitted from GP was this thought: I don't know if we are right to want this, or if the world could have ever let us have it anyway.

There are other measures of 'contributor' that we weed out with our interview processes. Some of those are qualities that working programmers are more likely to have.

For instance, work-a-day developers tend to be less susceptible to hubris. Sometimes when you have a problem to solve, you want the no-bullshit person to do it. It's way easier for me to talk someone out of Imposter Syndrome or at least convince their boss to ignore it than it is for me to dial in the degree of Kruger-Dunning my faster-talking coworkers are covering up.
Cap table evolution is part of that story. I'm not talking about folkloric benchmarks, I'm talking about understanding who holds what now, what the overall capital needs are going to look like, what that is liable to look like. This is very different at different points in the evolution and and employees should understand that.

I don't think we are far apart on this actually, I agree you have to do this sort of evaluation, and that it is fundamentally imperfect. I'm not sure ton how many employees do this or don't, I've know many who do. Many of them fail on the risk-weighting part, and more of them have overvalued their state, ime, than under.

If you are really early stage, I also think along with a clear and vetted idea of the numbers the company is going to need to hit is a plan on what to do when that doesn't occur. The more time goes by, the more information you have, the more accurate your EV estimates should be. If they are dropping sharply there is nothing wrong with going back to management and saying this isn't making sense anymore to me, we need to reconsider my comp.
Clickhouse (and other columnstore RDBMS) are all perfectly fine for time-series and usually better than the standard options because they have SQL querying.
Abolish the CIA and FISA
Well it doesn’t even have a 1.0 release so that’s enough to cut them slack.

For instance, the foundation of the house is most critical but when everyone looks at the foundation and asks, “where’s the house? This house can’t be much they brand themselves as a beautiful château but all it is is a big hole in the ground...”

A project like this is no minor task! :)
> guessmyname

Eduard?
The free tier is what we already have.
The price you paid says you value the thing you got more than the money you gave in exchange. At the same time, the person who received the money values it more than the thing he sold. That is what makes economic transactions positive sum games, according to some theories.
Contact Sound and Vision
> So, what do you think is a good definition of "a mathematician"?

It depends on the context. The definition I'd like to advance is that a mathematician is someone who does mathematics (and that what one usually means by "a mathematician" is something more like "one who habitually does mathematics, or one whose profession is the doing of mathematics"); the toddler, while counting "one, two, three", is a mathematician, who may turn into a new-language learner when continuing "seven, ten", or may still be a mathematician if that toddler is fascinated by and exploring number patterns. By this definition, almost everyone is a mathematician at some time or other, so that making claims about what the population of mathematicians does is little more than making claims about what everyone does.

There are at least two problems with this definition: (1) it shifts the question from "who is a mathematician?" to "what is doing mathematics?"; and (2) it blurs meaningful distinctions between people who are habitual or professional mathematicians, among amateurs, dabblers, and tyros, and other distinctions that one might want to make. My answer to (1) is that I would give an equally broad answer to the latter question, and my answers to (2) are twofold, namely (a) tough, and (b) the distinctions can be preserved by including additional modifiers, as I have done. This resolves these problems to my satisfaction, but I don't expect them to satisfy everyone, or even many.

> I don't think Ramanujan before his contact with Hardy is one of them, but perhaps that's self-serving bias on my part — I have no academic credentials of any kind, other than publications.

That sounds self-defeating, rather than self-serving! Why not recognise Ramanujan as a mathematician before Hardy? Surely the same genius was there, just not expressed in familiar ways; so what Hardy can be said to have done to Ramanujan is surely not to have turned him into a mathematician, but instead to have taught him the common language of mathematics in which to express what he already knew but couldn't fully communicate to others.
Maybe, but it might be a nice wake up call that there is a problem.
Data engineering doesnt that well
Any columnstore RDBMS would work great. Clickhouse, MemSQL, KDB, Greenplum, Vertica, etc. Fast, efficient, and with the full flexibility of SQL queries.
Ignore the haters. You add value by creating releases and that value can be compensated with money. It doesn't look like you keep others from creating releases.

It could be better worded on the website, for example create two websites, one for open source, one for commercial. Like http://www.haproxy.org/ vs http://www.haproxy.com/ Seeing open source right next to the pricing might put people off. Again, I think it's just wording and keeping the sections separate. Those who want everything free are hard to please.
Thats quite a cool name for a chair. I think I like them better, knowing that I can call them that.

"Hey, pull up a monobloc and tell me all about it!"
>Not according to me, according to many in this thread, in dozens of articles posted on this site, and many more across the industry.

Yes, that what said, but I doubt according to the people who do the hiring.

It doesn't matter if you think you are right candidate according to you or other people. Ultimately its the people who going to hire you who is going to judge you according to his/her subjective criteria.
okay, so i signed up for scroll to test it out:

When i'm signed in to scroll and i open an article on the atlantic, privacy badger tells me i'm being tracked by scroll and google analytics.

when i'm not signed in to scroll, privacy badger tells me i'm being tracked by twelve different trackers.
The Origin of Opera and the Future of Programming by Jessica Kerr
> nor do any elementary data structures concern themselves with such higher level things

Not explicitly, but they concern themselves with worst-case performance, and tolerable worst-case performance implies security against a certain class of attacks (like HashDoS).
"The Role of a Data Engineer on a Team is Complementary and
Defined By The Tasks That Others Don’t (Want To) Do (Well)" -self

From a talk I've given a few times called, "Life of a Data Engineer"

(Google slides link: https://docs.google.com/presentation/d/1Oer3Z9OXPsk9H9WE5g6x...)
A $100 LEGO set in 2000 would cost over $140 today.

The UCS sets are not "play" sets and are definitely aimed at people who want to build them for display. They also mae up the bulk of sets over $150 which puts the price for play sets about the same when accounting for inflation.
Inuit sign language has similar characteristics when describing places: https://en.wikipedia.org/wiki/Inuit_Sign_Language
Time for a little break lean back and relax
dash is shipped as a replacement for the Bourne shell, not bash. Thus Ubuntu does also ship bash too.

Alpine doesn't have bash installed. It alsonpretty common not to have bash as part of the base image on non-Linux systems too. You've already mentioned macOS but the same is true for many of the BSDs.
I've had no Apple devices for a couple of years, but in Australia at least its newspaper coverage is pretty much limited to News Corp. That'd be a nonstarter for me. Though that's based on what I read during the Aus launch. It may have expanded since.
Agree with all you've written, just wanted to call out how Pollan painted the tension between Hubbard and Leary specifically. I'll check out the book Acid Dreams and I just ordered Electric Kool Aid Test to get a better understanding of the merry prankster scene.

I believe some of the 60's and 70's youth found sustainable ways to live outside the mainstream, but many of the communes/alternative living situations were volatile and corrupt. Take for example the Rajneesh community out in Oregon [1]...so much energy and potential channeled into a corrupt and ultimately destructive/pointless enterprise. The corporate way is the safe way in America, and I think many people were looking for safety in a confusing time when many alternatives looked bleak.

That said, this is just conjecture, I was born in the 90s so I have no first hand experience.

[1] great documentary on the Rajneesh: https://en.wikipedia.org/wiki/Wild_Wild_Country
I think the biggest distinction between shells is whether they are C-shell derivative (csh/tcsh) or Bourne shell derivative (sh/ksh/bash).
Sadly we aren't given a choice. My Mom's mom went from perfectly reasonable to dying at home amazingly fast in hindsite - 3 to 6 mos. I think.

My Dad's mom lived to be 90'something but the last 20 years were in increasingly assisted living. I don't think she even knew where she was the last couple years of her life.

That said - dying at home is work for family no two ways about but.. I think it helps with grieving in some ways. I was there for a lot of that time and it dispelled any illusions I might have had about what was going on. It made me think that dying is an incredibly inwardly focused thing.

Your millage may vary though. :-)
An adversary could compromise the signal server and observe how messages are routed. Applying pressure or coercion to achieve this is well within the capabilities and willingness of state-level adversaries. An adversary could also compromise the person you are communicating with, not to mention cases where you don't want to leak your physical identity to a someone you are messaging.
Time-series data is just data where every record has a "time" field. That's it.

Any database can handle it, and columnstore RDBMS are designed to store and query trillion-row tables with full SQL functionality. The only advantage a "time-series" database gives you is some time-based query operators (like gap filling, last value, smoothing, etc). Those are now being added to SQL support for RDBMS so there's really nothing to be gained from a time-series database anymore.
https://news.ycombinator.com/item?id=22371486
How old was the interviewer? This seems like a very immature question. I work for money, first and foremost.

Is the amount of youth in tech part of the problem?
They certainly used linked lists all over the place in StarCraft, WarCraft, and Diablo [1]. I don't know that many game developers would use complicated data structures like the one you've described here. Linked lists are fantastic for insertion/removal in arbitrary places.

Game development is not really about showing off with cutting-edge CS research, it's about getting things done. Maybe your arenas with generational indices would be better, but they could take a long time to figure out and lead to a big mess that doesn't go anywhere.

[1] https://www.codeofhonor.com/blog/tough-times-on-the-road-to-...
Generally when you can’t discern the rational for a preference, it often means the underlying basis is associative rather than objective. That’s how most of us discern most things most of the time—a particular appearance tends to correlate with past performance.

You’ve probably read a bunch of very good papers typeset in TeX.
The Surprising Lesson This Blue Cow Can Teach Us About Success at Ecommerce
"If you're a FAANG company, you can afford to play these odds"
I didn't mean to doubt your claim — my limited experience is that proof assistants are totally inscrutable, although I've been inspired by some of the Lean and Agda stuff I've been seeing lately. I just wanted to ask for your perspective, since it's probably more informed than mine!

It seems to me that if you want to formalize the small details, you will necessarily have to do something different with some of those small details, won't you? Maybe a tactic search can find a formal and rigorous proof without you having to write those dozens of extra lines by hand, but simply glossing over them seems like it would defeat the goal of formalization.
Billionaire Space Tourist Who Created Microsoft Word and Excel