skysight-inc/HackerNews huggingface dataset:
Oh boy I'm looking forward to hearing about random YouTubers' content getting flagged as children's content and losing a further chunk of their revenue...
sure. thats fair.
Rust in Large Organizations
you get tired easily?
If I recall correctly this is nicely covered in the book "Release it!" which BTW I recommend.
Some Thoughts on Crypto
I _think_ this rule is intended to discourage "Have an upvote" (and similar) comments, commonly seen on Reddit.

Reminding fellow readers/commenters to not just shallowly dismiss comments once in a while doesn't do much harm, and actually lead me to reply to the parent.
> ...a UBI of just $1,000 per month would cost around $4 trillion per year, which is close to the entire federal budget in 2018. Without major cost savings, US federal tax revenue would have to be doubled, which would impose massive distortionary costs on the economy...

Last time I checked the going effective tax rate across all corporations was something like ~17%. How about corporations stop fucking us all out of the revenue they owe us; because I'm pretty sure doubling that to the expected rate of 35% would fix the funding problem.
NIT has a major flaw which is a disincentive to work. That's horrible for the economy overall. So UBI is basically just NIT without the flaw.
This feels like the most concise explanation of the underlying mechanics that I was intuiting from the article. Now the question becomes: how do I hedge out of this risk without going full day-trader?
8base is amazing! Really fun to get MVPs up and running in days. Also love the Salesforce bolt feature to bring Salesforce data into the GraphQL API. Great product, excited about the future
Had to read up a bit, but either way i seem to have mixed something up. I did not know the French tear gas grenades also had TNT in them. But I read about such flashbang/teargas mixups before their introduction in 2011. The non french sources are a bit muddy, but Vital Michalon seems to have died at Superphénix due to a sock grenade damaging his lungs?

But nevertheless it seems i mixed up France with Switzerland here. Though I cant find the original source I had in mind, Guy Smallman had his leg severely injured in Geneva during the 2003 G8 summit by a shock grenade.

https://web.archive.org/web/20130507090403/http://www.nujadm...

Thanks for the heads up!
Fascinating that FIPS not only permitted but basically encouraged them to roll their own crypto instead of using a standard, well-analyzed system. (They're being cautious about their approach but it's still more work to design something that's as safe as a known approach than to just use the known approach.)

I suspect that's the exact opposite of the intention behind FIPS....
This sounds like good logic.

There is one piece of information missing. Did the onset of index funds add more money to the pool? What I mean by that is did people move out of regular stocks into Index funds or did they move out of mutual funds into them? How much is the difference?
Oh, I forgot to mention that their solution was to run off generators for the impacted UPSes until repairs could be completed. I think one of them ended up running for 2 weeks. It seems strange that replacement parts for this UPS were so hard to source. That's why it was down in the first place. Someone making them by hand?
Jason Calacanis suggested that the CEO should do this exact thing on his podcast last week. He also suggested he should tie up his shares longer to compensate for all the money he has borrowed against stock to show he is still long the company.

I would never invest in this company but it is good to see that at least people understand that this sale was shady.
> If something gets typed as `any` all bets are off and there are no benefits.

Then why allow `any`? Using TS without the compiler and linter configs tuned to your benefit is like trying to use a plane only as a car. No discipline required if you let yourself fly with settings that set you up for long term success later.

Also, Flow is not on the same level as TS. It's a dead project and was never fully baked.
It's a matter of taste. Syntax isn't an issue if you're used to OCaml (which arguably has worse syntax -- semicolon as a list separator!) so there's no problem for that section of the userbase. I don't know how people coming from JS generally feel.
This irritates me more than it should, but again I'm not getting tax-deductions for speeding tickets or fines.
Show HN: A solution against zero day security vulnerabilities
Hi guys!

I'm working on a project that detects and avoids RCEs.

I'm looking for some feedbacks!

https://reseka.com/

Thanks in advance! :)
Put the Money Fund on the Blockchain
Yes, if you're making your own product. If you're not making your own product (ie. company development), then it's not purely a technical exercise.

Even if you're making your own product, you at least want to get market data and/or customer feedback once you release it. Otherwise, what's the point of selling a product if your customers don't like it?

And I'm not saying that gathering requirements is Mozilla's only social development. I'm saying that you underestimate how much social involvement there is to development, especially on the organization level, where code isn't purely technical.
Greed.

Most upper middle class / rich people don't want to increase their tax burden 2-4% for something they already have.

Also ignorance. A lot of people in that realm don't even understand the burden healthcare is on most people because they have never had to worry about it.
I dream of building a competitor to Siri and google and I’d probably use https://snips.ai/. I think it gains recognition accuracy by having a limited skill set. Looks good though and has functionality for defining skills.
Here's an example fund, https://fundrise.com/offerings/opportunity-fund/view, but it has steep fees:

Annual investment management fee 0.75%
Annual tax and accounting fee 0.45%
Annual carried interest / promote 15% over 8% return

Maybe it's not as high when you consider that they purchase the property directly, but it still seems a bit too risky to lock myself into those high fees for 10 years.

I think the main benefit is the 7 year deferment of your capital gains, which given that your money will be compounding from that point onward, is a pretty significant break if you have a lot of gains you haven't triggered yet.
Essentially, all logically valid formulae have proofs in first-order logics.

Remember, logically valid formulae means that if you enumerate all possible interpretations (boolean values for the variables), the formulae remains true.

So you could prove everything that ever exists by creating a set of all possible proofs using the given deduction rules.
Well that's the whole point. It is a public company so people should care, since investors should be aware of what they are getting into. If they invest in a company and money gets transferred to the owner in some funny ways, they should know.

The fact that this wouldn't apply if they were private doesn't really matter here, they are on their way to be public.
As someone from the US, I've never heard about this before. Could you explain what that is? Why is there a "I'm from the US button" on sites?
It's a bit self-serving for a hedge fund manager to criticize index funds.
Maybe it’s some form of argument where you present three hard-to-swallow options (“Admittedly, each of the three options — robust second strike, preemption, and equivalent danger — has drawbacks” [1]), and then you pretend to offer a better alternative, which is actually so preposterous that the first three options start looking perfectly reasonable.

[1]https://warontherocks.com/2019/08/america-needs-a-dead-hand/
> Can you make a recommendation of a process which doesn't involve cherry-pick commits (or more often patch-sets)?

This is for LTS, Long Term Support. Why would the maintainers be cherry picking candidate patch sets at all? Shouldn't they wait for a release and back port from that? Regular release intervals are 8-10 weeks.

That would be my recommendation, backport only from releases. This is especially the case here because it was a security fix.
Congress should generally be removing laws, SCOTUS based law invalidation is sort of the last chance removal and ideally wouldn't happen very often, it should be reserved for cases where laws are internally inconsistent (and thus inapplicable) or are trying to invalidly overrule laws that require a stronger majority to change (to prevent constitutional amendments from being passed as regular laws just 'cause).

I think the intent of SCOTUS was originally to decipher laws into a workable framework - given that some laws could potentially interact weirdly with decade or century old laws... and to help highlight incongruities in laws that law makers may have overlooked during their original writing in an effort to spur congress to correct said law.
cool -- what do you use to generate OpenAPI Typescript functions?
What I don't understand is why it's in his Chrome saved addresses. I checked mine and it's - just my address and my previous address. And my linked account is old, I opened my gmail account a year after gmail became a thing.

Google for sure has more addresses about me, but they don't show up in Chrome.
This theorem seems to be like monads: Someone posts about it on the internet, someone doesn't understand and asks for help, someone comes along and writes a simple explanation that seems to make sense, then someone says that explanation is completely wrong (but here's this totally inscrutable "correct" one... which someone comes along and says is even worse.)

And everyone is left confused.
Solving Every Sudoku Puzzle (2006)
Blockstack (YC S14) | New York, NY or Remote | Full-Time, Onsite or Remote | https://blockstack.org

Blockstack is a decentralized computing platform. It’s the easiest way to build decentralized apps that can scale. Blockstack PBC, a public benefit corp, is dedicated to building the core Blockstack protocols and developer platform. Blockstack PBC’s mission is to enable an open, decentralized internet which will benefit all internet users by giving them more control over information and computation.

To learn more about who we are, our engineering culture, and whether this is the right place for you, read our Key Values profile: https://www.keyvalues.com/blockstack

Here are our open roles:

- All Open Positions: https://jobs.lever.co/blockstack?lever-source=keyvalues

- Full Stack Engineer: https://jobs.lever.co/blockstack/431188cd-63a3-4314-8d30-55a...

- Technical Developer Evangelist - Asia: https://jobs.lever.co/blockstack/aa9192bf-eab7-40cf-b928-574...

- Technical Developer Evangelist - North America: https://jobs.lever.co/blockstack/6b3c18c7-a78f-47b7-b418-211...

- Developer Experience Product Manager: https://jobs.lever.co/blockstack/a7b4754b-acee-4098-9795-9df...

Tech Stack: Our engineering team builds software using JavaScript/ES6, TypeScript, React, Redux, Swift, and Objective-C on the frontend and Rust, Python, bash, and Bitcoin Core on the backend.
What are practical consequences and examples of such in typical debates about politics, programming paradigms, etc?
It's more efficient to lower corporate taxes and raise income taxes.
Let’s Try Build Summary Integration by ZEIT Now
We need to start thinking ahead about who is going to run the federal agencies and "tobacco truth" type organizations funded by the billions of damages from the inevitable settlements, to avoid regulatory capture.
The data comes from [Wikipedia's Current Events portal][1], so the site's author isn't directly choosing those sources.

[1]: https://en.m.wikipedia.org/wiki/Portal:Current_events
Just read this book, IMO https://www.amazon.com/G%C3%B6dels-Proof-Ernest-Nagel/dp/081...

It's only 160 pages and gives what seems to be a good explanation of the basics.
I'd bet Flow is basically being replaced by ReasonML at Facebook[1]. Bolting a sound typesystem onto Javascript is really hard, and Flow is making a truly valiant effort, but it seems to have stalled out. Instead, ReasonML is based on starting from a "cleaned up" semantics and type system, then translating it into raw Javascript. This avoids all the weird edge cases and type inference problems one runs into when trying to use Flow[2].

(I don't ever have to have any `any` in my ReasonML code, but it was unavoidable with Flow.)

1. https://reasonml.github.io/blog/2017/09/08/messenger-50-reas...

2. https://github.com/facebook/flow/issues?utf8=&q=is%3Aissue+i...
I still think most CS courses teach the Halting Problem in just about the worst way possible.

They always give you that one highly contrived counterexample where you're feeding the algorithm with the output from itself which doesn't even begin to touch on what the Halting Problem actually is or why it is so important. And if the student asks "well, what if we redefine it so it only works on OTHER algorithms to avoid this one weird edge case" the answer is basically "that's not covered."

But really, the Halting Problem is asking the question if we can solve all of mathematics, and indeed all of philosophy with a fancy enough computer program. Can we build a machine God? And the standard textbook answer is roughly "If we built a machine God it could create a burrito so big that even it could not eat it, therefore machine God can not exist."

IMHO, it would make more sense to get students down the right path to ask them what the halting computer would do when fed a program that calculates all of the digits of Pi. Or one that halts when it computes the answer to life, the universe, and everything. The halting problem may have been mathematically disproven by finding one highly convoluted counter example, but it's more significant failing is that it is infinite and thus can not be implemented on a machine with finite limits.
Accepting that actively managed funds are better than passive index funds is basically acceptance of the classical mentality that there are people who can consistently predict and beat the market and that you can make money by picking the 'right guy'.

I assumed most knowledgeable investors abandoned that philosophy in the 80s/90s
Clickable url: https://reseka.com
That has never happened (as far as I know, in modern history). Of course that's not a reason it can't happen, but I feel like you owe us at least a plausible decade downturn scenario.
I'm fairly new to both TypeScript and ReasonML (both within the past month). The author's reducer example closely matches that of the official Redux documentation [0], so I'm not really sure it's biased. But, I could buy that it's not a best practice. Absent anything else, I've been using the patterns demonstrated in the docs. Is there a better resource I should be following?

[0] -- https://redux.js.org/recipes/usage-with-typescript
I was on the fence about installing an ad blocker until this.
> a community dedicated to low-cost investing primarily via indexing

Right or wrong, that must be one boring place.

[Re: downvotes, The post was just intended to convey that the thesis of "put your money in the lowest cost index funds using an allocation formulatically dictated by modern portfolio theory, and don't touch it for the next 35 years" would be unlikely to provide much fresh content.]
First, HN isn't some hive mind that takes stances as a collective. Second, cryptocurrencies are a technology and can be used for good or bad. To hate them is like hating linked lists. Third, there is plenty of (undeserved) hate for Brave here on HN. Lastly, "the whole reason for their existence" is a subjective judgement. As long as they remain open source and don't force me to use their cryptocurrency, I am completely fine with it.
It doesn't block ads very well for me on iOS, and it's really buggy and unstable. My Firefox experience is excellent on every device that supports it. It's unfortunate and frustrating that all iOS browsers are just Safari.
FIPS is about the "correctness" of a particular set of functions (behaviors).

You are correct that part of FIPS is encouraging folks to use previous validated crypto modules instead of going from zero.

However you are not forced to do so - if you write your own crypto and pay to have it FIPS validated, more power to you - that's great. It is more competition.
Why would you need to disclaim that you are not an investor?
Maybe they should associate these photos with those hagiographies they usually write about business leaders instead of the ones showing them being majestic/gregarious/smart?
>Can you not see the obvious problems with giving someone $1,000 so long as they aren't making above $1,000? Why would anyone making $1k continue working for zero benefit?

No reason, they could stop and get the free $1000. That's not a problem, that's part of the whole idea: we don't want jobs where people make just $12/K annual salary, let them disappear...
A Productivity Collapse to End Earth’s Great Oxidation
400MB is still a lot IMO.

You obviously know this but for youngest people on HN: Back in the 90ies we could run Autocad on PCs with 512 MB.

It was slow but it was possible.
Of course these were not merely their occupation, they were on active duty when they were arrested.

With prior cases as precedent, and with how loosely the law is written, the chances of them not being convicted after being charged is slim.
You'd have statistics biased towards people caring to express their opinions. You also wouldn't mistakenly assume that because something isn't regularly used it's also not needed.
The harsher reality is that most retail and professional investors have no business trying to be active investors.

Throwing darts is cheaper and safer for them.

Index investors are only really messing with the market if there’s more capital chasing fewer goods than there otherwise should be if they were being “active”, which isn’t proven.
"it will take time for ReasonML to match them"

Nope, it will never match them if they both keep their current speed. The contrary - the rift will become bigger and bigger.
I'm a zerotier user... And I hope that, beyond asking HN and SO, they'll let a professional cryptographer review their design as well!
A few million here, a few million there, pretty soon you're talking about real money.
That's not a major flaw, it's part of the whole idea. We don't need as many people working, and we don't want people working for shitty "$1000/month or close" gigs...

In fact part of the reasoning of UBI is "we're automating all kinds of jobs, and we wont need as many people working in the future, not to mention we already have tons of busywork just to keep up appearances"
My best guess is that Google has some kind of reciprocal data-sharing partnership with one of the entities that was aggregating data on this guy for whatever reason, and somehow all or part of whatever file they have on him is exposed via Chrome.

It's definitely possible that Google actually doesn't have that info on you. Not a lot of companies spend the amount of money necessary to pull data from the primary brokers/aggregators, and when they do, they likely don't do it for all of their customers.
equal-weight (instead of cap-weighted) funds are also a thing, and perhaps relevant if you want to spread your investment across more of the market:

https://www.invesco.com/portal/site/us/ria/etfs/strategies/e...
This is an fun interesting article worth perusing, but I disagree with the analysis. It narrows the question of being a tech company to basically being a SaaS company. Granted, that's a lot of the companies famously IPOing out of the silicon valley venture capital community right now, but it's very limiting and I'd argue it's wrong.

Lets make a hypothetical counterexample according to their guidelines:

- Software creates ecosystems.

- Software has zero marginal costs.

- Software improves over time.

- Software offers infinite leverage.

- Software enables zero transaction costs.

Imagine that out of nowhere, we get a company making a JARVIS-like AI assistants like in iron man, complete with google glass-like HUD. Suppose, due to design/manufacturing restrictions or something, it can't update over time. You have to buy a new pair of the glasses to get the improvements. There are no third party apps, just what comes shipped with the product. If it was as useful as envisioned all over science fiction, it'll take the world by storm anyways.

Now imagine it's just catching on with consumers and is about to IPO. Is this AI driven high-tech company a tech company? According to OP, this company may as well be selling sunglasses:

- No apps or ecosystems by construction.

- Every unit is a physical object, marginal costs are about like expensive sunglasses.

- It doesn't improve over time by construction.

- No more leverage than selling normal sunglasses.

- No lower transaction costs than a company selling sunglasses.

Yet clearly this is a tech company and will be evaluated accordingly for its IPO.
EU should ignore the fines this time and start an "information campaign" regarding behavior of Google and others.

I bet that hurts Google 10 times more.
Does this exist, though? If you presume some % of America is putting their paycheck into indexes via Vanguard, Betterment, and some other % is selling due to being retired or whatnot, then this isn't an equilibrium.

There's maybe some room for redeeming index value and "caching" that demand from within Vanguard, etc, but I tend to doubt this action wouldn't hit the market at all.
Please tell me, how is server dying, need immediate replacement "made up"?
How is a flood disaster in organizational building "made up"?
Sure, I made them up on a whim, but they're based on real scenarios that restricted funding may not cover.
I didn't learn how to use my switch by reading or by science, I just pressed buttons till I got what I wanted. Same for my old digital watches. Sadly this doesn't work well for IoT devices with one button and a led.

Probbably part of why it took so long for the scientific method to take hold, you can just poke at a lot of things and try a lot of things and get a lot of success.
You didn't see the worst of the power usage issues manifest themselves until you ran the program on a Retina display using scaled windows.
It's interesting to observe any UBI discussion and a total neglect of the most developed theory about UBI - the georgist economics - where UBI is refered to as a 'citizens dividend'.

They state that the only and sufficient financing scheme to make UBI work are the so called monopoly taxes. Simply because if you hand out free money to the people, the monopoly service providers could hike up prices by exactly that amount given out freely to people in aggregate. Other non-monopoly providers would still be trapped in a competition so it would be more difficult for them to increase the prices after UBI implementation. Monopolies would set the prices exactly to the point where they would optimize their income by eating away all the free money suddenly given to people.

This is well described by Ricardo's law of rent (1809) in the context of land rents (which are essentially land monopolies). In other words the landlords would increase the rents exactly to the aggregate amount of UBI money handed out.

Interestingly enough the present day proponents of UBI don't understand this basic law. Some od them are aware of the UBI inflation problem but are not aware of this monopoly inflation problem.

Andrew Yang proposes Value Added Tax to finance it, which proves he has no clue.
> This came our of nowhere as social programs were not mentioned before this line.

Wasn't the entire prior paragraph his justification for it?

> Perhaps I'm being harsh on the author but I just don't see how you can make this argument with genuine intentions.

I come at this entirely from the other side of the political spectrum, I think his facts are wrong and his ideology worse, but he appears entirely sincere to me.

> It's basically fearmongering at this point.

All arguments that a policy will entail bad results are logically equivalent to fearmongering. You're just saying you doubt his intentions using another synonym.