skysight-inc/HackerNews huggingface dataset:
This is terrific stuff.

One thing to think about might be that when we use the C output of this project in a non-formally-verified compiler (something other than CompCert), there might be compiler bugs that undo some of these guarantees. (The easiest one to see is that optimizers in the compiler could undo the constant-time guarantee -- I assume that the output or documentation indicates using keywords or pragmas or compiler options to disable some kinds of optimizations, but there could for example be a compiler bug where some optimizations can't be disabled this way.)
Evernote formatting from email is absolutely horrendous and the fact that it's restricted to specific emails is a huge bonus for OneNote, no spam.
Ask HN: What was your best interview experience?
I am currently at an early stage startup, and we're having trouble acquiring talent after many final-stage interviews. One of our recent candidates gave us great feedback saying that they did not feel as engaged with our team during the interview process when compared with other companies.

What are that great experiences that you had when interviewing with companies?
Not that old (2005), but one of the earliest crowd funding projects on the net.

http://www.milliondollarhomepage.com/
Somewhat. There are (were?) some companies trying to break into a personal cloud (WD MyCloud) and I think companies like Buffalo and Synology are making it a lot easier to spend $500-600 and be able to reasonably protect your data from pretty much everything but fire (though, you can buy hard drives that claim fire protection, too).

But at a deeper level, we claim that we want to store and keep all this data but do we need to? Really? I mean, back before digital photos, I took some (but not a lot) physical photos. They were dear to me. Still are. But now I have so many photos that I hardly ever look at them except for maybe a few that I've explicitly put into albums. A lot of them never get used.

Perhaps even then we don't really need to protect all of it—if it was important to us then perhaps we really should think about how we'd protect it just like we'd protect those old photo albums that people leave with during hurricanes/flooding.
Themis crypto library adds Rust support in 0.11
I'm kinda surprised it isn't getting more attention here. I wonder what his opinion of "the right to be forgotten" (a.k.a., "the right to take back stupid shit you once said").
I have been casually writing Python versions of such Unix tools (not with all the features and options, just the parts that I feel like or know how to do) off and on, for a while now, and often post about them on my blog, when I do write such tools. The union of the sets of posts at these two links:

http://jugad2.blogspot.in/search/label/command-line

and

http://jugad2.blogspot.in/search/label/python

should have many such posts about versions of Unix command line tools implemented by me in Python.

Also, this tutorial I wrote years ago for IBM developerWorks may be of use, to learn some of the informally handed down but generally accepted principles and techniques for writing such command line tools in C:

Developing a Linux command-line utility:

https://jugad2.blogspot.com/2014/09/my-ibm-developerworks-ar...

The post is an overview of the article I wrote for IBM, with some background about it, etc. For the actual code in C and the PDF of the IBM article, follow relevant links in the post, to more than one level, as needed.
That is correct. There are not ETFs for these kinds of investment classes, so similar to hedge funds you would need to believe that you are capable of picking the right managers. You also need to be an accredited investor to gain access, and funds like A16Z mostly take institutional money (endowments/sovereign wealth funds etc). Like hedge funds, management fees are very high. But folks want the allure of pre-ipo tech companies...
But the algorithms that decide what content to surface come from one place with one intent. Newspapers can't globally decide to emphasize particular stories and have as great an effect.
So data portability is now bad, because Facebook is suggesting it.
Not to rain on anyone’s parade, but it is hard to raise an angel/seed round anywhere, including the US. I would think this would be doubly true for someone based outside the US (trying to raise in the US) working on a developer-related product. Just my 2-cents.
Most serious Mars return missions plan on simply bringing 1 ton of hydrogen per every 10 tons of desired methane.

That way you can just rely on the martian atmosphere to produce your return fuel instead of embarking on a entire mining expedition.
This article tries to make the case that, among other things, the GDPR "hurts everyone except Facebook". Wait, what?

The GDPR is a net positive for citizen privacy. This article's attempt to spin it as an anticompetitive bigco-driven monstrosity is factually wrong and ignorant of the GDPR's history.

I have similar (but less strong) doubts about this article's case that automated censorship is obviously better for "everyone except Facebook" if the rules about what to censor were set by tech molochs and not governments. I'm wary of any kind of censorship, but if we have to have it, I prefer the rules to be set in a public parliament and not some boardroom somewhere. "Corporate responsibility" my ass. At this scale, Facebook are public infrastructure and should be regulated as such.

I'll gladly believe the author that Zuckerberg will always and only do things that benefit Facebook. Zuckerberg has shown time and time again that every single public initiative he takes turns out to be in Facebook's direct benefit and often in everybody else's disadvantage. Of course there's a hidden agenda here, there always is.

But the author hasn't found it.
I think the nuance is actually critically important, because degrading people -- even powerful ones -- down to caricatures robs us of the understanding we need to solve these problems.
I started trying to use VSCode’s vim bindings full time yesterday. The bindings themselves are pretty good, but VS Code is so slow compared to vim!

I’m editing Typescript. Frequently my key presses lag for tenths of a second, or auto insert some unrelated identifier. I’m going to give it a week before I go back to nvim and Coc.nvim
If my mom can't use it or I can't explain it to my mom then I'm probably not going to mess with it!
Trying to hijack my attention just means I throw everything you say right into the garbage. I'm not even going to refer to you by name.
Having a third party install anything new (i.e. battery) to the device that wasn't present when it was confiscated would put into question the integrity of anything found on the device.
Probably a poison pill that Goldman has engineered countertrading schemes against.

Not unlike the magic numbers the NSA suggested for various encryption schemes.
WeWork Acquires Managed by Q
> there is a Real America and that it does care far more about protecting individual rights

No, there isn't. Civil rights get trampled regularly outside the 100 mile Constitution-free zone too, just under different pretexts.
Seems very much like the opposite to me, even Nvidia's "Founder's Edition" went to an open design in its latest iteration. Only AMD reference cards seem to still be blowers, AIO designs are pretty much all open.
Totally can, FairFX and TorFX (both UK-regulated money transmitters) will safely and securely make an MXN to GBP transfer for right around 2.5% and believe it or not Western Union is usually quite competitive. Next time check out cuex.com which compares options for you.

BTC is a nightmare. You have to find an exchange in Mexico (which won't run away with your money a la Quadriga) and they'll take 1-2% and sit on the transfer for a few days. Then you have to transfer from there to another exchange in the UK paying a BTC exchange fee, then cash out in the UK, they'll take another 1-2%. In the week the exchanges have been camping on your money if you ever see it again, the forex risk is astronomical as it regularly swings +/- 20% weekly. Then due to the inevitable change in value of BTC during the week your transfer takes, you now have reporting obligations to your local tax authorities in BOTH Mexico AND the UK. This may require hiring an accountant to resolve which adds yet another mess of fees.

Pay a service 2-2.5% and be done with it or:

1-2% fee to Exchange 1 + a few days FOREX risk + the current BTC fee of $1.26 + 1-2% fee to exchange 2 + the risk anyone in the chain is going to ruin you because they're totally unregulated fly-by-night operations then learn the nuances of both Mexican and UK tax law in regards to capital gains.

This is a common crypto shill talking point. It's been thoroughly disproven that crypto is better for international remittences than existing solutions. It's a solved problem.
I would still maintain the website, but it would be much easier, because I could lean on archival features when that makes sense, instead of trying to keep everything "stable" manually.
> We're not willing to give an award to a movie that may not be available in 50 years.

You know how at the end of every movie it has that MPAA registration number? The only way to get that is to submit a copy of the film to the MPAA for archiving. So they have a copy of every film. If the movie studio ceases to exist, they still have at least one copy.
In the US, for private-sector employees, not only is it not illegal, it is a protected activity under the National Labor Relations Act (NLRA) of 1935. Your employer cannot forbid or fire you for discussing salaries or job conditions.

(IANAL)
> Does this thought process of summarizing the shenanigans we see in the world from entities like FB not serve to drive home a quick idea, without having to read pages and pages of text to get the point across not have a place.

Maybe for some people. I'm honestly not at all sure what you hoped to communicate with your previous post.
Might also try https://diasli.de for simple applets (e.g. try https://diasli.de/1658/9b4Mry7xHYs, hit 'share' -> 'duplicate' to make your own)
It is true that privacy and data ownership are two separate ideas that are often conflated. I think the user having more control over what happens to their data, empowers them to decide who has access to what, and where they choose to host their data.

For gaia hubs, we enable users to host their own data wherever they choose, revoke access to apps writing to their data, to delete data, or keep it and render it to another application whitelisted to interact with their data. A work in progress, but I feel confident Blockstack is on the forefront of pushing this idea of data ownership, while also enabling an authentication protocol that associates an immutable identity with gaia hubs, to enable data privacy as well.

The immutable identity being anonymous is debatable depending on how the user chooses to identify themselves, but the authentication protocol enables app developers to choose whether to implement end to end encryption, as some cases might not be needed.

The reality is there is a catch22 associated with (someone elses comment) the "simple" solution which is to throw everything on a local hard drive. How do you share data with people care about, or companies you do business with dynamically with high and real time performance this way? We are trying to answer those questions at Blockstack with gaia hubs: https://docs.blockstack.org/storage/overview.html But I would honestly love to see other ideas similar and learn more about the eco system of people approach data ownership, where data ownership enables users to decide what they want to be private, or not.
Well, as long as Intel does not devise a chip which chooses what to keep and what not to keep in the cache depending on the number of jumps executed and the name of the calling function... (just as way of example).

Also "optimized advanced heuristic multithreading" (for instance)...

Anyway: an astounding feat, to be honest.
I'm a supporter of equalty outcomes, versus equality of opportunity, and I don't believe we're "all equal" in the sense you make it look like. This is a strawman. I believe we should distribute ressources depending on each people's needs, and not "merit", for instance. But that's not on the basis of the idea that "we're all equal". Btw in a world in which opportunities are bound to be dependant on ressources and social/cultural capital, reaching an actual equality of opportunity would require everyone to have "equal" social/cutlural/material capital in the begining smh. And if you let people accumulate said capitals, then the next generation... won't have equal opportunity once again.
That's a gross misrepresentation of what I'm saying.

My point is: the technology was there. Better UX, nicer integration into other services etc, those are valuable and good, and they alone can be enough to win a huge market share, but they are not innovations as in "introducing new concepts". A smartphone capable of using GPS to show your position on a map is great and way more accessible than a Magellen NAV 1000, but it's the GPS itself that is the actual breakthrough, the big innovation.
Good question, we use the same method as coco, described in https://arxiv.org/pdf/1405.0312.pdf and implemented in the coco evaluation scripts here: https://github.com/cocodataset/cocoapi/blob/master/PythonAPI... -- basically the best matching proposal, ground truth pair
There are still ten or so of us on Diaspora.
People in Charleston WV are super nice (but we were caucasian so it might have helped). They might be _sightly_ surprised that someone from another country chose their place as a vacation/tourist spot however (despite amazing rivers).
I upvoted that comment. And I'll upvote this one for mentioning it. That's a great movie.
I have never seen a person do such a thing on Slack.
Why does this make me think of Harry Potter, the Fidelius Charm, and the secret keeper. Is this really what things have to come to?
> Do you still have a gopher client?

This is a big problem. Firefox dropped Gopher and Chrome never supported it. Most Gopher users, presumably, use a Gopher web proxy.

For fun I recently built a Gopher web client, implementing the entire protocol in a single page app (literally a single HTML file, no frameworks or dependencies). It supports most documented file formats including "modern" extras like video and audio.

Gopher client:
- https://gopher.commons.host

Source code:
- https://gitlab.com/commonshost/gaufre
Speaking as someone who has scraped Google properties for a living in the past: your test was not reliable. Google is very good at detecting inhuman traffic, and they frequently silently degrade results rather than throw up a CAPTCHA, to give competitors bad information and not tip them off that their scraping is being detected (which would prompt the scrapers to better conceal themselves)
Live free or die, baby!
Wait, what? Was this thing
written by Google PR?

No, The Washington Post is owned by Amazon.
I have only proved it correct, not tried it
"For a Linux user, you can already build such a system yourself quite trivially by getting an FTP account, mounting it locally with curlftpfs, and then using SVN or CVS on the mounted filesystem. From Windows or Mac, this FTP account could be accessed through built-in software."
I absolutely agree. This is my number one push on our Gaia team and we are working on that.
This makes sense, as you get your broad education before university. School focusses on a well-rounded education, whereas universities let you specialise. I realise this is a bit of a contrast to the US education system, with majors and minors, etc.
Yep. But SATA Express used to be common (but mostly unused) for a while.
Maps the data is pretty useful, Maps the app is the worst app I regularly use
Agreed. This does not seem that egregious and is way better than .try() or even worse putting a rescue at the end.
Sorry you're having a bad time. I'm old, but can still relate.

On the codebase, yes, most are horrible, unfortunately. Try to think of it as your opportunity. If you can learn to comprehend and fix code like this, you'll always be in demand, because these messes will never end.

Try to enable more logging and debug info as best as you can, and learn to use the tools available for this.

If you're getting positive feedback, that's good. Most jobs offer little or no feedback until things go bad.

As for weight, you should let yourself up. Nobody who matters cares, and it really doesn't matter in the big scheme of things. You might find intermittent fasting interesting.

Might be useful to find someone to talk to.

Good luck.
I'm not a Facebook fan but nor do I agree with this article, the analysis seems pretty shallow. Zuck's rules seems like broadly positive things, and like they'd benefit the competition more than this article lets on.

Harmful content => Any government regulation of harmful content will probably hurt small players more, since it's a big fixed cost of moderation. But everyone will realistically pay that cost anyway unless they're something decentralized like Mastodon.

Elections => Nothing to do with size of platform I think, they're just saying that it's disingenuous since filter bubbles are more important. I disagree, election financing is super important and as another poster said filter bubbles are as old as print.

Privacy => It says that GDPR is terrible for small companies, but without any evidence (or spec of "small") I think for anyone the size enough to be looking to challenge Facebook it's not a big deal, and broadly I like GDPR. "Don't store people's data unless you need to, and ask permission". Not a bad first effort to trying to fix surveillance capitalism.

Making data portable => This definitely, definitely would hurt Facebook more than help it. Noone is sitting on Instagram thinking "I'd swap to Facebook if only it was easier". They're the monopolist with the inferior product + network effects, that narrative makes no sense at all.
How did it make it into the standard?

And why would anyone follow this standard?
Haha that is a name I have not seen in a while! I was a student of his at DePaul. Great guy! Massimo is awesome!
Ask HN: What are some interesting deeplearning startups in the Bay Area?
I’m interested in working at a startup where deeplearning is at the core of the product. I have 4 years of experience working on building data infrastructure and large data pipeline as well as training and inference systems. I’m at a company that’ll go ipo soon and I’m looking for my next challenge. Any pointers?
Ok. Any other source you'd like to add? I couldn't find any, I'm assuming you had better luck. Otherwise, I'm still calling shenanigans.
"This is a curve-ball on par with the CA judge that overturned the mag ban recently."

Wait, what ?

I had no idea this was the case ... fascinating.

https://www.thetruthaboutguns.com/2019/03/john-boch/breaking...
Totally--and this is a really good point to clarify, especially if one would like to understand more broadly how VC works. I intentionally abstracted the "where does the money come from" in my original reply to focus on the classification itself, but that admittedly left the comment lacking this useful context. LP and venture dynamics are both interesting and important to understand the full picture.

> Most of the money VCs invest isn't their own.

To underscore tomhoward's point--VCs are largely (already) stewards of other people's money (their LPs). So while they are set up to be "the person with the money" from the market's perspective (e.g., if you are looking to get your company funded), they are acting as investment advisors (e.g., where and how to spend the fund's money--and by extension the LP's money--for a fee). Albeit with a specific legal exemption set forth in the Investment Advisers Act that governs certain activity depending on how they are registered* (this is what is changing for a16z). No matter how they are registered, they do have compliance requirements as custodians of other people's money.

*Under the Investment Advisory Act, they can be registered as:
(1) ERA - exempt reporting advisor (what we are referring here as a VC in the traditional sense), or
(2) RIA - registered investment advisor.

As it relates to a16z, they are giving up their IAA exemption as a fund (registering as an RIA vs ERA). No need to get into why that matters again (see other posts that have already addressed it well). The point being, VCs are already in many ways "investment advisors" as custodians of other people's capital (and sometimes their own) through their funds and they have compliance requirements, just different depending on how they are registered.
> And lastly, if you have something really unique, consider creating a patent for your company with the help of the legal team.

Ctrl-f ethic... nope

Ctrl-f moral... nope

No critical thinking in sight here.
Here's something I write all the time in Elixir:

a =
some_list_of_tuples()
|> Enum.map(&elem(&1, 1))
|> # more pipeline here

The alternative, without De Brujin indices, is:

a =
some_list_of_tuples()
|> Enum.map(fn x -> elem(x, 1) end)
|> # more pipeline here

Are you going to tell me that the second example is more readable? Personally, I find that the tiny little elem/2 expression gets lost in the line noise of the closure syntax. Reducing that syntax using an "anonymous closure" like in the first example makes it clearer to me what's going on.

And, as well, in such closures, there really is no "name" for the thing that I'm processing. It's an intermediate in a destructuring expression that I'm only holding onto in order to further rip it apart. (The output has a name, say, `foo`; but if the input is just, say, `{:ok, foo}`... then what is the name of said tuple? `result`? `maybe_foo`?) Whatever name you make up there, it would only distract a future reader by making them think that it might be something important to the domain.

Oh, and also, at least in Elixir, De Brujin anonymous closures "flow well" with function handles:

&List.first/1 # function handle
&List.first(&1) # equivalent anonymous closure

---

But to put a finer point on it, in practice, 99% of the use I get out of (De Brujin) anonymous closures is just using them as "function handles but with the parameters reordered"—i.e. as a way of wrapping a closure in a combinator, without having to remember the names of combinators.

Instead, with De Brujin indices, such "combinator" effects are self-evident descriptions. Elixir code:

&(x.(&2, &1))

What is that? An expression that returns a version of the closure x (of arity 2) where the two input parameters are swapped. In other words, that's the C (cardinal) combinator, or the Haskell function `flip`. Except you don't need a special name for it; you just describe the effect you want then and there. Anyone who reads it can see what it does. Is the non-De-Brujin equivalent any clearer?

fn a, b -> x.(b, a) end

&1 and &2 are metasyntactic variables. a and b here are also metasyntactic variables. There might be a better name for what they are, but frequently there isn't, if this code is e.g. sitting in a library that does something generic with a data structure or algorithm, rather than something specific with business logic.

Personally, if I'm going to be using metasyntactic variables anyway, I prefer to use ones that look different in a way that highlights them as metasyntactic variables. Just like I prefer languages that require some sigil on class-instance variables in a method to differentiate them from lexical variables. It allows both regular syntax highlighting, and the "syntax highlighter in my brain", to work more efficiently.
Lambda School trains people online to be software engineers at no up-front cost
I know that.

But is there a distinction in advertising between:

1) Allowing users to use the data for making ads.

2) Selling the data to companies such as Apple for other means.

There isn't any visibility. This is what I'm trying to get at.
Can they deny entry to a non citizen and hold their stuff?