skysight-inc/HackerNews huggingface dataset:
7:45 repeatedly hit snooze on alarm

8:20 masturbate

8:30 peel out of bed, shower and dress

8:40 commute

9:10 think of what I should say at stand-up

9:45 stand-up

10:00 code

12:00 lunch

1:00 code

5:00 commute

5:30 mindlessly swipe on tinde/bumble, watch YouTube videos and masturbate

7:30 running or lifting

9:00 work on side project

12:00 tell myself I'll read, but end up watching twitch

2:00 pass out
i think this needs to be analyzed per gender. Because 2 curves are very different.

Female participation rates have been rising historically and it's completely recovered to pre-2008 levels
https://fred.stlouisfed.org/series/LREM25FEUSM156N

Whereas, male participation rates are declining and did not recovered completely yet.
https://fred.stlouisfed.org/series/LREM25MAUSM156N
A Turing-complete type system and a dependent type system are two different and independent things. That is it's possible for a type system to be dependently typed and not Turing complete and it is possible for a type system to be Turing complete and not be dependently typed (even a little bit).

Dependent typing concerns whether your types can depend on values. So for example

if a then Int else Bool

is a (single) dependent type if `a` is a runtime value.

The difference between the two can be illustrated with natural numbers with the classic natural-number-indexed vector example that always shows up with dependent typing.

If you have a type

Vector 5 Character

representing a vector of 5 elements of characters, if that 5 is the same 5 as you have at runtime then you have dependent typing. Otherwise this is not an example of dependent types.

Put another way, if you're allowed to do something like the following

val x: Int = 5
val xs: Vector x Character = Vector('a', 'b', 'c', 'd', 'e')

in pseudo-Scala syntax then you have dependent types.

If on the other hand you have something like

type Zero
type One
...
type Four
type Five
...
val xs: Vector Five Character = Vector('a', 'b', 'c', 'd', 'e')

where you have a special set of type-level numbers that are distinct from your run-time natural numbers then you have typelevel programming but do not have dependent typing.

Your type system might let you do arbitrary things with the type-level natural numbers

type Zero
type One
...

which would mean your type system is Turing-complete even if it's not dependently typed.

Note that in practice it's usually true that languages with typelevel programming tend to inch towards dependent types. For example, by allowing

val xs: Vector Five Character = Vector('a', 'b', 'c', 'd', 'e')

to type-check but not allowing

val xs: Vector Five Character = Vector('a', 'b', 'c', 'd', 'e', 'f')

to type-check, unless your language is special-casing behavior for collections, there's usually some way to back out some sort of connection between a type-level Five and a run-time 5 (although this connection often only works for numeric literals in e.g. current Scala and works via macros). There's also a considerable amount of social overlap between programmers interested in typelevel programming and programmers interested in dependent types which tends to drive development of language features along those lines.

However, in theory, the two are completely separate.
Interference is worse.

political speech like the OP is only (temporarily) blocked from paid promotion, not organic virality.

Also, apply a sense of scope and proportionality. The media loves to sensationalize one bad example in a million examples that are fine.

> "so we’re [Facebook] asking people with content that falls under those rules to simply get authorized and show who paid for the ad in order for it to run.”

> “Separately,” the statement continued, “we made an error by deleting the original post. As soon as we identified what happened, we restored the post since it does not violate our Community Standards and have apologized to Zion’s Joy.”
My priorities are similar, but #1 for me is how easy it is to maintain. It sounds like most of the benefits over Bull are focused on that area.
It's amazing that such a simple query could be discovered simply through my self-doubt at multiplying negative numbers.
There’s a big difference between committing a crime and engaging in lawful commerce.

By your standard, HN is on the same level as Amazon, as there have been many articles here over the years describing technical details on how to implement such a system available to anyone. A serial killer may be using a raspberry pi based facial recognition system that he learned about here, right now to stalk a victim.

That’s an untenable position.
If you turn show dead on you can see all kinds of crap that gets posted on hn....like this comment. And ever so occasionally something useful or insightful that goes against the general theme the moderators seem to try and keep here.
Paren't didn't say that Facebook's actions are illegal or should be illegal.

Don't conflate moral obligations with legal obligations, and don't conflate "what's guaranteed by the Constitution" with "what's in the best interests for the nation".
It's not impossible to make a living refurbishing electronics... the big problem isn't fixing the electronics. It's gathering them, selling them, and supporting sold electronics.

Some people do a great job. Check out recraigslist.com and applianceschool.com (same person runs both) for examples of how to refurb/ flip large appliances at scale.

The blind center of lad Vegas is another successful organisation that refurbished at scale.

Computer repair and cell phone repair stores are another example of successful refurbishing at scale...

One of the biggest problems is that individuals and businesses hoard old electronics... Loss aversion (the fear of losing something perceived as valuable) is a big reason that more electronics aren't refurbished or recycled. Fear of data theft is another, smaller reason that more electronics aren't recycled.

In the end, there are a lot of pros and a lot of cons to this business... because it is difficult to be consistently successful, there is a lot of opportunity. There are a lot of ways to make money in the recycling industry. Finding and developing a niche that other people can't or don't want to do-- that has a high upside -- can be a great way to make a good living.

If you want to jump on, there is little risk --- mostly just a trip to the metals yard.
As my old Russian boss used to say, "that's capitalism, baby".
Why do we need to rationalize these things with a hypothetical best-case scenario?
12 Helpful Typography Tools
Federating ownership is the opposite of convenient for the politican. Having a smaller number of people you need to please to get money is much better.
> The proposed method is wasteful in terms of energy spent to get an answer, specifically in this step : ‘ sum the whole range of possible sizes‘,

Er, the entire approach is motivated by the fact computing p(u) is intractable. That summation is explicitly not done in active inference...
Cleanroom just uses functional decomposition, the simplest of the control flow primitives, and math you learned in middle or high school. Got results on lots of projects.

http://infohost.nmt.edu/~al/cseet-paper.html

https://pdfs.semanticscholar.org/12d5/23e586ffde5cbe020cb3fa...

(Second link has a table and description showing the results they got. Stavely's book distills it into lightweight, less-processy form.)

Design by Contract itself is like assertions on steroids. If your language lacks support, you can build it into your functions at beginning, middle and end. If OOP language, you might use constructors and destructors. If trying to understand it, I have a link that you can give even to project managers.

https://www.win.tue.nl/~wstomv/edu/2ip30/references/design-b...

One benefit of making it a formal spec is you can generate tests directly from your specs. This is an old, old technique being rediscovered recently. Various names include specification-based, model-based, contract-based, and property-based test generation. The last thing you can do is manually or automatically convert your specs into runtime checks for the above and/or fuzz testing. The failure takes you exactly to the property that failed if it was one of them.

Finally, for just the most critical things, you can try formal proof on them. SPARK Ada is a great example used in industry with the book being pretty easy to follow.

https://www.amazon.com/Building-High-Integrity-Applications-...

The nice thing about that toolset, esp the proprietary version, is that you can use automated provers to avoid having to do mathematical proof by hand. If something doesn't pass, you have several options: do some manual work on hints to the automated provers or actual proofs in a proof assistant; monkey around with the code to see if different structure or algorithm gets it through; put in runtime checks for just the properties you couldn't prove. If you do the last one and keep programming while solvers run, then the productivity is similar to Design-by-Contract with the extra benefit some properties might hold in all cases. You might also get performance boost by reducing unnecessary, safety checks via proofs that were successful.
Shafer & Vovk: probability and finance. It bridges this gap for me that I didn’t quite understand.
No need to wait for 1.0.

I'm happily getting my work done ~50x faster than python/numpy could offer (cython would be a massive headache for the fiddly numerical work I'm doing). Don't get me wrong I often still use Python + numpy for prototyping and non-scientific work but I switch to Julia for bigger numerical projects.

Python was around for a long time before Scipy took off. MATLAB is expensive, proprietary and I do not enjoy coding in it. C, C++ and Fortran are all fantastic for some kinds of numerical work but for what I do, the speed of development and readability are far superior in Julia whilst still yielding excellent execution speed.

edit: Regarding API stability mentioned in other comments, I'm not sure I agree as we are only just coming up to v1.0. However, even if the criticism is valid I'll still be developing numerical code faster in Julia with API changes than in C/C++/Fortran.
Excellent points, all!

Certainly the hydroxyl reaction leaves behind CO2, but much less of it than an equivalent forcing of plain CO2, is my point.

I still tend to think investing in cheap CH4 plants and pipelines is better than investing in coal, but I’ll happily concede the point that increased radiative forcings from any source have non-reversible effects, and we should be pricing in those externalities as soon as we can.

The sooner we can get a (high) radiative forcing tax in place, the better.
Were the boomers more likely to participate per capita? Or did I misunderstand the statistic?
I feel like this story leaves out a very important factor -- Slashdot. Slashdot was huge long before Moveable Type. It was so huge in fact that when my team built a web server in 1998, the first question from the boss was, "can this handle having one of our posts on Slashdot?".

I'd say if anything Slashdot was the one that drove people to make chronological posts. Because if you wanted to be on Slashdot, you had to post something new, and the best way people knew if you had something new was if you had a date on it.
Thanks Trump! Done wonders for the economy.
This might be broadly true. But I think in the context of what tptatek is talking about -- that is, getting low-ceremony mileage out of React -- it's not. The reason is React's main abstractions of declarative components and one-way data flow are already well-suited to describe most of the UI problems you'll face.

(I'm not sure if you mean "design patterns" in the general naming of abstractions sense, or if you mean Gang of Four specifically. If the latter, I'll point out that many of the GoF patterns really aren't relevant to Javascript unless you're writing it in a very OO style)
You can also end up with results like some months having a negative number of posts. I think the intuitive meaning of any arithmetic operators here would be set operations.
https://mmistakes.github.io/minimal-mistakes/

And looks like the content is in markdown.
That's a plausible reading of the disagreement
I'll quickly commit this hotfix, it'll take about 10 minutes and few hours for confirmations.
> Are there any forum platforms designed around that idea?

That's basically Reddit
The difference may more likely be due to different ways of classifying a particular person as unemployed?

https://www.investopedia.com/articles/investing/080415/true-...
I agree with you and I have often hypothesized to myself that the only reason the world wide web was ever a thing is because software distribution on Windows was such a terrible experience.

That being said, I'm sure Windows could have done some stuff better, but it came of age in a hardly connected era and you need omnipresent internet connections for the mobile software distribution model, so it's kinda hard to blame Microsoft too much for being able to see around the corner.
> These days the smartphone is boring.

I'd like to respectfully disagree, as I think that there are many people out there, a notable example being the XDA forums[1] for many people intensely modifying and changing their android devices. Smartphones and their apps have gotten so much more complex and capable since their inception, someone could pretty much manage all the basics of their online life on one.

> It intentionally falls to the background...It is minimalist and inoffensive and ever-present.

I wish :) There is a real problem of smartphone addiction, where the phone and its apps try its best to entice you into spending as MUCH time as possible, definitely not in the background or minimalist.

> Even apps are supposedly on their way out.

Given the ever-growing user base and size of the Apple and Google app stores, I don't think that's true, people just may just be looking to launch or access their functionality a tad-bit faster (if at all in truth).

Also, the general user adoption sounds a lot like you're describing the general trend mentioned here: https://meaningness.com/geeks-mops-sociopaths, although smartphones aren't necessarily a subculture (more specifically, android and iphone rooting/modding communities might qualify however.)

[1] = https://www.xda-developers.com/
I have no idea what "professional work" could possibly mean in that sentence. The things that you have deemed superfluous are the tools of the trade. We don't use every tool on every job, but when we do use them, its because they make our work easier!

Someone who doesn't know that lodash exists will reinvent lodash, and do it poorly because JS has crazy edge cases.

Someone who hasn't experienced Bootstrap's crazy, nested selector hierarchies and pseudo-selectors will end up creating their own CSS hell.

Someone who doesn't know about flexbox will end up writing who knows what instead of 'justify-content: flex-end' (or even vertical align).

react-router has been a disaster, but that doesn't mean that rewriting it yourself will be great.

Someone who doesn't know the purpose of Redux will eventually end up with spaghetti callbacks or a building a much worse clone.

Every single project I've seen that uses Redux without Immutable ends up creating a worse Immutable.

Could someone build something without any of this knowledge/experience and throw it on the Internet? Sure! Would I be happy inheriting (or even using) that "reasonable application"? No!
Consequently, game development these days is more limited by art assets than by programming or game systems design. The difficulty and complexity of producing good-looking, stylistically consistent, original 3D assets has led to sprite-based games, mock pixel art "8-bit" games, and games where form follows function.

However, game engines companies now offer asset stores. To OP's point, it's not hard to see a future where some successful indie games are made by stitching together assets and mechanics sourced entirely from others. Would it cheapen the result, despite the talent and effort put into those components none the less grand? Perhaps.

Technology and popularity move the goalposts. It increases the amount and/or changes the nature of effort required to attain acclaim.
Zero Power Computing – How to Perform Calculations Using Zero Power
Probability and stochastics by Erhan Cinlar is a modern, measure theoretic approach to probability.
The user-entered data is a bunch of expressions which can reference each other, forming a graph. The user needs to be prohibited from entering an expression which creates circular dependencies.
In what way is it terrible? It used Iowa as an example of what other regions may experience in the future if unemployment rates go down. I got exactly what I expected out of this article.
Because each molecule is more potent before breaking down than a long-resident CO2 molecule, you’re talking about a much smaller mass of CH4 per unit of forcing.

Of course our knowledge of all the current and emergent syncs and sources for all GHG emissions is an evolving science, so we can’t speak with precision about all this.
All of Statistics by Larry Wasserman (for its rigor).
Hogwash.

The author simultaneously complains that big tech companies both oppose free expression and make expression too free for the author's desires.

The author's main concern is that Google/Facebook allow too many low-quality people to speak, instead of only allowing speech approved by gatekeepers like himself.

> By radically remaking the advertising business and commandeering news distribution, Google and Facebook have damaged the economics of journalism. Amazon has thrashed the bookselling business in the U.S. They have shredded old ideas about intellectual property—which had provided the economic and philosophical basis for authorship.
Why won’t scientific evidence change the minds of Loch Ness monster believers?
Probably because for apps there isn't a rich interconnected web of linked content to tell an algorithm what it needs to know in order to provide a good search experience. Google kinda got lucky in the sense that the discussion about the web happens on the web.
I can't really agree. There are enough who do need to survive on it that it should be a living wage. And I can't agree that them being priced out is a problem, because back when it was a living wage, students were able to get part-time jobs at minimum wage just fine.
that's until tech-savvy people make a simple script/installer for the common folk. something like what happened with the LOIC. it's a cat & mouse game and i'm willing to bet there are far more hackers outside of goverment than inside it.
work life balance: Men work longer hours

https://www.forbes.com/sites/karinagness/2016/06/30/new-repo...

Women tend to choose more fulfilling lower paying careers
(last point on fortune and second last on time)

http://fortune.com/2018/04/10/gender-pay-gap-myths/

http://time.com/5230911/equal-pay-day-2018-wage-gap-myths/

I don't have the original studies but I think the news sources here are fairly reliable
Wait I don't get the point of this story. Is it meant to show that by the story's end, Lisa has become the bully? That's how it reads to me.
I think it works slightly better than search in Windows 10, and importantly, Apple was first to the punch to bundle an indexing search engine into the OS. Microsoft followed with Windows Vista.
It's complicated enough that you should just watch the whole talk. The paper is 90 pages.
But the correct usage of design patterns is the difference between inexperienced devs and experienced devs.

This might be true but is probably not causal. That's one of the fundamental problems with design patterns as a thing-you-ought-to-learn. They're not that useful or elucidating when you don't understand what they're for and when you understand what they are and what they are for, there's not all that much to be gained from someone cataloguing and naming them for you.
9 Ways to Grow Your Business Through Instagram
Pretty much every other country. In the UK for example, if you want to work, you just need to get a job offer. To keep numbers under control, they simply put a wage minimum that's high enough. Not fair for positions like nurses and teachers that are valuable to society, but generally ensure skilled migration. If you want to start a startup, a UK university can endorse your startup idea for a 2 year visa, and then raising a small amount of funding gets you 3 more years.

After 5 years of residence in the UK (except time as a student), you get PR, and citizenship soon after.
This would be pretty easy at night, just seek after ir lights.
Been Down So Long It Looks Like Debt to Me
How am I supposed to go through local recruiters in Atlanta, or have any idea who they are, when I don't live in Atlanta? Are many of these companies willing to pay for relocation?
You must be living in one of fancy new apartments on Lawrence exp-way or something. Let's assume your household income is 500k/pa which means you should get 300k net. You must be paying (30% of (300/12) is) 8.3k per month. Are you really paying that much?

I live in Fremont, work in south-bay and I pay 2.5k/per month for my own house on mortgage, bought a year ago. I think you are overpaying by a lot.
Sending Signals to Your Past
Sure you can spin up unlimited servers. But an individual doesn't have the resources to collect data from across the city at all times, which is where we really start getting into invasion of privacy.
I guess it was, I'm seeing reports of it working well in the bugzilla for Mozilla from around that time period, so I'll concede that Thunderbird had filtering and it may have been fairly good.

I think my larger point, that Spam was a major problem of the time period, and that Google was seen as having very good spam detection, still stands.
Amazing explanation. Even if we found a way to feed any hungry person and any other person would earn $1000 for every poor person fed, a considerable percentage of the population would oppose it.

We will never be able to come to an accord on something and it's probably a good thing though.

I wish much more money were spent on space exploration so I could enjoy the findings in my lifetime, even though it might not affect me more than a tv show.
Perhaps legal documents need to spell out the spirit of the agreement to try to close some of these unintended loopholes.
What problems exactly is etcd trying to solve?
An inverted yield curve isn't a random indicator to look for to bet on a recession... rather, it is a sign that the market has bet on a recession. Whether or not the market betting on a recession causes a recession is another question, but it is the skittishness that causes the indicator - so any time you see an inverted yield curve, investors have already become skittish and reduced investment targeted at certain dates.
not every post has to be completely on topic, it was topical to the issue of unreliable figures skewing economic data which was what the subtopic was about. I admit he was bringing up an inflammatory topic, but really I expect a place like hacker news to have a user base that can handle that objectively

As for equal pay for equal work - I'd be very surprised if women aren't getting that, because that's illegal and you'd expect that to show up in the form of many many lawsuits.

Yes there does seem to be an issue of some workplaces that have a boys club type environment and fail to promote women - but I don't know if that's big enough to explain the dramatic wage gaps that are touted by some people.
Looking at statistics instead of stories:

https://fred.stlouisfed.org/series/IAPCPI

In Iowa 2008 was the biggest drop in nominal personal income since 1955. The period 2009-2017 had the slowest nominal personal income growth since the end of the great depression in 1931. 2017 was one of 3 years to record negative income growth in the last 50 years (2008, 1993).

This all speaks of a labor market working far beneath capacity, one that hasn't yet made up the loss of income from the last recession. One no where close to full employment which leads to constant and substantial overall income gains.