skysight-inc/HackerNews huggingface dataset:
>One quirk about ZKPs is that they must be convincing only to the verifier[1].

I think the parent's question is about what the "zero-knowledge" actually refers to. (scrollaway asked, "Does Victor knowing the initial path make it non-zero-knowledge?") The Wikipedia writing in 2 different places makes it confusing.

For Peggy's secret password X, the "zero knowledge" might mean:

(1) Victor has zero knowledge of what _X_ actually is even after Peggy proves she knows it: the first Wiki paragraph seems to emphasize this with "(the prover Peggy) can prove to another party (the verifier Victor) that she knows a value x, without conveying any information apart from the fact that she knows the value x."

(2) outside world (other than Victor) has zero knowledge that _Peggy_ knows what X is: the later Wiki paragraph is "Further notice that if Victor chooses his A's and B's by flipping a coin on-camera, this protocol loses its zero-knowledge property; the on-camera coin flip would probably be convincing to any person watching the recording later. Thus, although this does not reveal the secret word to Victor, it does make it possible for Victor to convince the world in general that Peggy has that knowledge—counter to Peggy's stated wishes."

Is the "zero knowledge" referring to keeping _X_ a secret , or is it keeping the fact that _Peggy_knows_X_ a secret, or are both secrets together required? The wikipedia article isn't clear on that so the article probably needs some revision to be more explicit.

(For some, an example of a ZKP would be email address verification for new user accounts: Vimeo(verifier) sends an email with a generated numeric code and Peggy(prover) has to enter that number in the webform to activate the account. This proves that Peggy "knows the secret password of that email account" but Vimeo still has "zero knowledge" of her email password. For this particular example, it doesn't matter that that the whole world knows that Peggy knows the password to her peggy@gmail.com so condition (2) is not a strong requirement.)
Both of which mean they have grown too powerful.
Uber Cuts More Test Drivers in Its Robot Car Operation
Well, you could use arrays of optional bytes, but are use sure it's clever?

Maybe it's much better to define an abstract module of type

module type Mem = sig
type t
val get_byte : t -> ~offset:int -> char option
end

And invent some clever (maybe lazy) implementation using just Bigarray?

BAP also has something like this in

https://github.com/BinaryAnalysisPlatform/bap/blob/master/li...

You could ask about BAP in general on

https://discuss.ocaml.org/

especially

https://discuss.ocaml.org/u/ivg/summary

(one of the guys behind BAP, very clever and talented in explaining stuff)
19th Global Ophthalmologists Annual Meeting
Dear Colleagues

Greetings from 19th Global Ophthalmologists Annual meeting

We certainly don’t know each other, still I would like to contact you and open a dialogue about 19th Global Ophthalmologists Annual meeting scheduled during November 16-17, 2018 at Tokyo, Japan

Based on your expertise our organizing committee would like to invites you as a Speaker towards our 19th Global Ophthalmologists Annual meeting

Please visit: https://annualmeeting.conferenceseries.com/ophthalmologists/

Please do not hesitate to contact or mail us for further assistance.
We appreciate your time and look forward to hear from you.

Sincerely,
Feroz Shaik | Conference Manager | Ophthalmologists 2018
Email : ophthalmologists@conferenceint.com
Medical Conferences
47 Churchfield Road, W3 6AY,London
The code you link to is pretty bad and I really cannot understand why.

[1] OCaml does the currying for you. Why would this ever need to be done?

[2] I have never even thought of putting a let statement in a list before let alone seen one in the wild. Also that looks like a list comprehension, so there is some kind of non-standard syntax going on there.

[3] Monads are a pretty good fit for some things, like parsing.

> the linker is using immutable lists of optional bytes to represent memory images

OCaml has support for bytes in the Bytes module. How do you deal with optional bytes in C? Well, one way is to have a mask array. You could also have a bitmask. You can do the same in OCaml and memory usage will be similar.

I've never worked on anything OCaml that I didn't start myself. However I've dived into mature code-bases including the OCaml compiler and they are generally readable and understandable. The examples you highlight, even if unrepresentative of the code-base, are very difficult to comprehend.

I think a lot of your problems do seem to stem from this code-base and some of the mysterious things look to me like Haskellisms and attempts to make OCaml into something it's not. Sadly there is a lot of OCaml like this out there. Batteries and Core really haven't helped in this regard.

There is definitely an element of understanding OCaml. There isn't much of it to learn, but you need to approach it from the right direction and that can take time. Learn it without Core or Batteries.

Even so, I would be very strongly tempted to clean up that code if at all possible.
So his side project is hogging the spotlight. I guess that's fair, he hasn't been in the news much lately.
Stronger type safety, fewer implicit conversions.
Maybe the discourse that Twitter can offer is valuable to him?
What's the big deal? Wordpress can be lean on the code is delivers? It certainly can't be lean on the backend. There's also a helper functions for adding tons of classes to elements everywhere so you can "patch" CSS for certain sites / categories only, clearly not for the target audience that values minimalism.
> I see people spinning up K8s clusters with no thought to security, performance, etc. All. The. Time.

Totally agreed. A Kubernetes (or any similar large thing) cluster is a huge liability - it’s a living thing of its own, kinda like a nuclear reactor that needs competent people to manage & monitor it all the time.

Not to mention a lot of K8S users would actually be better off with something smaller like AWS or even Heroku, and make huge savings on maintenance.
OCaml has no guaranteed order of evaluation, which is not what you want with (;). It needs to be part of the language as special syntax.
It's like you say my cats took and hidden my sunshades, car keys, electronic components from my lab desk to make fun of me.

It's not, it's just their nature, which in other words is what they evolved to do.
Top 19 Headless CMS Platforms Available – 2018 Review
The Design and Implementation of Hyperupcalls [pdf]
You need to special case "target a", it should be 1 in case bit 15 is 0. The error reporting could definitely be improved. It should probably display the exact mismatch, something like "with input XXX connector Y was 0 but was expected to be 1". Otherwise it gets to tedious to debug.

The m issue is a bug in the spec, thanks for discovering it.

Thank you for the feedback, it is much appreciated.
Weirdo I get, but pervert? Huh?
NIRMAL Receives SME Empowering India Awards 2018
> fewer implicit conversions.

Surely C++ has way more implicit conversions than C, what with having all of C's and ctors defaulting to converting?
> this must only really work in small communities as most larger cities are pretty much immune to monitoring except corruption

You are wrong, didn't read the link, don't make any arguments about its findings, and don't offer any evidence for your claims.

"To further account for within-state cross county variation, we control for county-level differences in population, population growth, per capita income, and employment growth."

Was it really so important that you say "this study is wrong" and share your personal anecdote that you couldn't have spent a few minutes reading it first? Commenting on HackerNews isn't a race and the level of discourse usually goes up when people aren't in a rush to comment.

Is sharing a personal anecdote on HackerNews with strangers more valuable than learning something new?
Isn't your "cli tools" problem solved by EPEL? It contains anything I've ever needed.
> but also because otherwise the user could be locked out for 60s.

I don't see this. Note that it's not about rate limiting unsuccessful attempts (which obviously should be done to some extent) but not allowing the valid OTP to be used twice. In the worst case once the user logged in he can't login from an other device for 60s. Not a huge limitation. Also AFAIK 30s rotation of the OTP is more common/standard.
If taxi drivers were in the same way connected to social studies people as journos are, we would be reading laments about oldschool taxi services as a cornerstone of society now.
Wouldn't a professionally manufactured set infringe the license terms? From what I can see, the game and it's assets are released under Creative Commons Attribution-NonCommercial-ShareAlike
I think it's the nature of advertising. Ideally the relationship between audience, producer, and advertiser would be symbiotic but it almost always ends up being parasitic. I think the incentives are just don't align. I've been running a tracking blocker (which is effectively an ad blocker) for years and feel absolutely no guilt for doing so.
Humans cannot perceive a lot of things. However, given the right conditions (post-apocalyptic world?), it would not take a lot of time before humans become perceptive again. A lot many will be wiped out, but as a species we will find a way.

I have a couple of dogs and I know what you mean. With the level of intelligence we possess, we should have achieved more. Technological achievements mean nothing when 70+% human population of the world struggles to survive. I think we use too much of our left brain and too little of the right. A balance is what is needed. Understanding this needs intelligence.
Perhaps it only seems that way for household names like apple, Facebook and google.

There are a lot of less well known technology giants elsewhere in the world. E.g. ARM from the UK (now owned by Japanese giant SoftBank) has pretty much total domination on the smartphone CPU market (licensing anyway - lots of manufacturing is done by e.g. Samsung of Korea)

My mum will have heard of Facebook and Google, but I guarantee that she and probably most other people's mother's have never ever heard of ARM.

Just one example - countless others.
If NES Classic wasn’t rare enough for you, here’s the new golden Shonen Famicom
Maybe do voice transcription in towns that record video of their meetings.
Engineered Cancer Cells Can Fight Primary and Metastatic Cancer
Maybe they are afraid that once you start doing this, it may never end. Once you cut somebody out from your network, then you can no longer argue that you are just the dump pipe and don't judge your customers. This can lead to demands for cutting access to sites hosting controversial content etc. All this may generate tons of extra work and no matter what you do, you certainly are not going to please everybody.
What "should" authors be using instead of medium?
Uber lays off Pittsburgh self-driving car operators
Thermal pump -- is that Malta?
My SPA is actually written in Elm and I'd like to be able to send it via email.
Forgive my ignorance on the subject but how can Boeing be ahead if they don't have any rockets?
> I quite like the term “value store” for these.

https://en.wikipedia.org/wiki/Content-addressable_storage
Clear Linux Announces Support for Kata Containers
Perfect, We are at this stage exactly what our idea, Please can you shoot me an email on contact@creadoor.co.uk
You can always do something like:

type optional_bytes = (Bytes.t * Bytes.t)

let get i (data, mask) =
match mask.[i] with
| '\x00' -> None
| _ -> Some data.[i]

If you need immutability and you're not changing often, you can use strings.

If you're using lists because you're doing all manner of comprehensions, you'd still be better iterating over the Bytes and rebuilding using a Buffer.
I must be the only one on HN who despised the old picasa UI. I've been making more and more use of Google Photos because of how easy to use it is.

Maybe these statements should be qualified. I'm an average user in terms of photos: I take them sometimes, usually from my phone, I don't like having lots of duplicates in various devices and I don't care to manage all the backups by myself; I just don't want to lose them.

I'm not a professional photographer and it feels like there's a world of difference in terms of what UI one might want if they are. Kinda like as a professional developer I don't care for my text editor's ability to print pages, I want it to syntax highlight.
Why use wordpress at all? Just create a static webpage at this point.
> "Third, people do shoot the bearer of bad news."

True. But under such circumstances chances are pretty good someone(s) is going to be shot anyway.

I think the answer is solid. But if going this route I would update my resume and reach out to my network.

If this ends badly you want to be prepared.
There isn’t any empirical evidence that they work though. People obviously think it has value, otherwise 22 million people wouldn’t be employed in the business, but any scientific research done on the field has unquestionably shown that financial predictions don’t actually work.

It’s interesting that you mention betting as a counter argument, considering that you’re listening to financial advisors exactly to avoid betting.

Investments is still one of the few places with a positive net gain, unlike betting, so you should absolutely invest. Just know that as far as scientific evidence goes, you’re not better off listening to a financial advisor than you would be by throwing darts at a wall.

Whether predictions, again, is actually the field of predictions where we’re provable correct most of the time, compared to any other field of prediction.

So you’re actually incorrect. If it was possible to bet on the weather forecast, it would be the surest way to make money in the world.

I mean, the fact that you actually can’t bet on whether in a world where you can bet on pretty much everything else, should really tell you everything you need to know.
Your source appears to support the destruction of the whole Culicidae family; and doesn't appear to care if that puts the Carmargue martens, as an example, below replacement levels of reproduction.

>"They don't occupy an unassailable niche in the environment," says entomologist Joe Conlon, of the American Mosquito Control Association in Jacksonville, Florida. "If we eradicated them tomorrow, the ecosystems where they are active will hiccup and then get on with life. Something better or worse would take over."

Is that entomologist in the group you're allowing to have opinions? Because "<shoulder shrug> could be better or worse" doesn't appear terribly enlightened.

We've regretted destruction of killer species before (I'm thinking of the deforestation that follows wolf annihilation and the desire by some to reintroduce wolves to Scotland); we should be very careful.

IMO non-experts can add a needed objectivity to rational consideration that is often difficult for experts to tap in to.

That all said, and not that anyone cares, but I support targeted species-level eradication tests.

(Also TIL Arctic mosquitoes.)
If you're a hardware guy, assembly is a lot more intelligible than many of the things you can do in C++...
I don't know enough to judge. I do feel that people generally (especially functional people) overestimate the overlap between maths and programming - I think maths is just the most useful toolset in programming, but isn't really what programming is about. So I can see why people feel C, with most of its metaphors derived from how (old) machines work, is perhaps a better fit for fundamental stuff than functional languages, that tend to derive their metaphors from maths.

That said, I don't know if this makes sense in a out-of-order, parallel world. I think as an organizational schema, imagining a machine that's doing things works better when that machine is relatively intuitive and simple.
Indeed in this case it was humans, though the same thing happens with regularity without humans. Creatures migrate, environments change leading certain creatures to prosper and others to flounder, and so on. Acting like there's some beautiful harmony in nature is missing the fact that it's a cruel and selfish system that humans, as a whole, have managed to rise above and indeed had to rise above for the sake of all life on this planet.
Intelligent face recognition in real time
I hate to agree with you. This honesty/positivity dilemma is something I'm struggling with.
Lots of great input. I'm still going through them all.

That said, I would update my resume and reach out to my network.

If this ends badly you want to be prepared.
I want to become a web developer, but I’m afraid to switch careers…help
The individual mandate is gone; you can stop complaining about it.

https://www.vox.com/policy-and-politics/2018/4/13/17226566/o...
Show HN: Startup Slack Simulator, result of 2 day game jam
A few days ago: https://news.ycombinator.com/item?id=17487441
Awesome OCaml
> There is no set protocol to register a change of tenancy for an IP address

Yes there is. It's called the SWIP [0] process and if you buy an IP block, you are required to submit SWIP forms to register the reallocation with ARIN or RIPE. [1]

Of course, this only applies when the ownership of the range is changing. If you're using a hosting provider who owns the block, and another customer on the block was a spammer, then you're right -- there is no way to transfer. But you also don't really own the IP range in that case.

[0] https://en.wikipedia.org/wiki/Shared_Whois_Project

[1] https://www.arin.net/resources/request/reassignments.html
[Recap]Hack4Glarus Summer Edition
Ask HN: 2018 Summer Reading List?
It become somewhat a tradition for YC to publish a reading list for the vacations months. This hasn't happen for a while. I have discovered some very intersting books there apreciate suggestions from similarly minded people.

I recently stumbuled upon this list [1] and the selection seems quite good. I read _The Oracle Year_ which I liked a lot.

My question for the community here is: Have you read somthing interesting recently?

[1] https://geekdad.com/2018/06/5-reasons-to-read-5-great-books-june-2018-edition/
For a company in Kodak's position, trying to reinvent themselves may not have been the best idea. Another possibility would have been to recognize that the basis for the company was going away and attempt to milk it for as much money as possible as it died. If this meant paying large dividends then shutting down or carving up the remnants of the company, so be it.
More about bulletproof in context of Uplink. https://www.adjoint.io/docs/privacy.html#upperlink
For smallcap you can just consider them an option contract that is heavily marketed.

Most of the materials from the mine are presold.
Lots of animals have been observed to kill others for no known or obvious reason; primates and dolphins are two I’m aware of. My working dogs would, too, considering they wouldn’t eat the pests they killed and there was no upside for them other than praise. That should count I think.
Hold on. You don’t even need crypto-currencies. Nowhere did I imply they are sufficient, either.

People have been contributing to wikipedia without any crypto currency rewards, and it is far superior to Britannica in scope, breadth and level of bias. Same with Linux vs Windows, WebKit vs IE, etc. Why would the same not be true of news?

Capitalism is failing as a model for generating the long tail of news. Open source is notoriously great at the long tail. This was true 20 years ago too. And you downvote because you think I said crypto currencies are necessary and sufficient?

Some jokers flagged my post and every response that agreed with it. Is that normal? There is some kind of new activity on HN that attacks things they disagree with using inappropriate measures. That’s what you should be worried about.

How does one vouch for a post btw?
Does it work with idea community edition, or are still trying to sell clion?
As for debugging, why not just put checkboxes in the input-output lookup table(s) shown on the left. And highlight the currently input line + mark wrong outputs. I think that would be intuitive.

To further build on this; If there is an intermediate state, show its pins in the diagram like output and input. If the table becomes wide, perhaps show it on the bottom. Perhaps let users add a "debug probe" from the toolbox that becomes a column in that table.
Still haven't got Medium to log me in properly. Keep getting signed out, I assume it's because I block third party cookies...
in any case it's an order of magnitude faster than scipy's implementation. Can you point me to a good free software implementation of the fft in gpu?
Yeah, it was the PH of the source water that Flint switched to that triggered the issues, it dissolved the coating that develops on the inside of pipes (scale).

The city switched back to Detroit water in 2015 (and has since signed a 30 year contract with the succeeding entity that now runs that system) and the state is moving towards requiring eventual replacement of all lead service lines¹.

1. https://www.michigan.gov/documents/deq/deq-tou-dwmad-LeadCop...
Isn't this because of the various safe harbor provisions ? If you start policing content then you cease to be a mere pipe and your gain much higher legal responsibility for whatever content passes through your systems.

In general I think it is a very bad idea to give this kind of policing power in the hands of private companies. They tend to be very conservative to avoid legal liability and they can also take arbitrary decisions. When Cloudfront decided to cutoff the Daily Stormer they crossed a line and many people were justifiably upset. It's the job of the legal system.
>I really don't want to start using complicated module features and functors, for the reasons I explained above.

And why is that? Because you really don't want to write ML without modules (and you are using them anyway).

Edit: Ah, I see, you have an auto-generated ocaml code, which is used along with the Isabelle. That makes sense (although your code generator is rather strange and there is still no need to use lists for memory representations since Isabelle reasoning about memory chunks shouldn't be that hard). Anyway I wouldn't claim that OCaml is that bad for low level programming basing on such a subset of a language.
20 Most Popular Business Intelligence (BI) Tools in 2018
The multiply by three approach has also worked for me in the past. People often estimate the time taken to do the task, typically not taking in to consideration the other aspects of their job (eg comms/planning/rework/productionisation/etc) needed to get said task done. I do like the use of pi though, I’ll be adopting this going forwards!
Technically you could create a static webpage from the WordPress one.
sorry, what?
you can just include the <style> on the server side, where you render the page.
Or do what I did, <style media="none"> and turn it on with a js click, store the value in cookie/localstorage for which <style> needs to be on.

I also don't really understand how this connects to the topic.
It didn't seem to be a problem for GEM for some reason though.

https://en.wikipedia.org/wiki/File:Gem_11_Desktop.png
The first question is who decides what's illegal? Being gay is illegal in certain countries...

Making ISPs more proactive is only doable with either heavy restrictions what communication is allowed or heuristics (that fail). That sounds like anyone out of the ordinary (so a majority of this site's users) will get flagged as suspicious. The fun thing is that I've seen both methods already applied and either me or someone I know has been encumbered by them.

There's not a single piece of me that feels that this would somehow end up positive in total.