skysight-inc/HackerNews huggingface dataset:
Ask HN: Keybase.io About Transparency and Open Alpha status
Keybase is widely used by members of HN, and discussed in many threads before. I really like the ideas behind the software and the vision to bring public key encryption to the masses.

But what I find odd, and not addressed in any discussions I've seen, is that a commercial company (Keybase Inc) that is about delivering products to prove ones identity, has so little information about themselves. Keybase.io is lacking most of the information you generally find on a company website. Sure, there is a ToS and PP, and a Jobs page, and in a 4-year old blog post [0] I can find a bit on founders, team and investors.

As lead of Humane Tech Community I made it a bit of habit to check openness and transparency of the commercial entities behind cool projects, their position, revenue models and their future plans, and I find Keybase lacking a bit here.

Wikipedia says 'Current status: Open alpha' [1] which I find also weird. This makes me hesitant to try out the service, and I think it could be an improvement to the company to provide more openness and transparency to gain trust with the broader public. Do you agree?

It may be that this is all intentional, because Keybase is indeed in alpha phase and testing out their products to a selected audience of more expert techies, like you all on HN. Would be great to know more about how this fits together.

Edit: If this has been asked before and I overlooked, I'd be happy to just have the pointer to that info.

[0] https://keybase.io/blog/2015-07-15/keybase-raises-series-a

[1] https://en.wikipedia.org/wiki/Keybase
I was thinking this’ll take prison hooch to the next level
Letting your friends have your number is a separate setting you can turn off (at least for now). This is about friends who have your number being able tell that it is your number, I think.
FB said adding a phone number for 2FA was for security, now it can't be disabled
Are they? I pay $1/mo for phone numbers, which is quite close to what I pay for most of my domains.
That's correct... they moved forward 398 major releases since the this article was released.
How about:

tr -dc '[:print:]' < /dev/urandom | head -c 20
AMPL: A Modeling Language for Mathematical Programming
I think that's partially economies of scale and experience; the US does not, as a rule, build modern infrastructure, so there's naturally going to be a learning curve when it tries.

The cost per km of the proposed California high-speed line is somewhat greater than similar lines in European countries, say, but you'd expect this, because no-one's ever built one in the US before (except for small sections of the Acela one).
The way they do it may be pointless, but the intent is not. The crux is making sure your two implementation are independent. There are two ways to achieve this. The first is clean room. Just have independent persons or teams implement the same thing. With different tools and programming languages if you can. The second is use an entirely different approach for both. The test code for instance can be constructed around the tests, and for instance rely on the fact that everything happens at the same place at the same time (when you run the test).

---

I'm currently writing on a secure handshakes generator. https://github.com/LoupVaillant/Monokex It generates specifications and source code from a Noise pattern. A bit like Noise Explorer, only with less features. Previous versions of the code were hand written, and the generated code is doing its best to look like it was hand written. Here's the result: https://github.com/LoupVaillant/Monocypher-Handshake/blob/ma...

Now how do I ensure the code match the specs? (The correctness of the specs itself is currently checked by hand.) I could write another implementation, but I'm only me, and I can't go erase my own memory to make a clean room implementation and compare the two.

Instead, I took the specs, and wrote code that takes all the inputs, and spits out all the intermediate buffers and outputs, paying no heed to stuff like order of execution, or who does what. I only concentrated on generating the test vectors: https://github.com/LoupVaillant/Monocypher-Handshake/blob/ma...

The structure of the vector generating code and the actual production code are very different. This is how I decorrelate mistakes, and make sure that if the two "implementations" agree, I'm very likely to have something that works.

---

Of course, this is all a lot of effort, so I wouldn't do this for non-critical code.
I was thinking about clojure. I think only choice I have is to use 'seesaw'(wrapper for swing). I haven't seen any promising wrappers for javafx yet.
The data science challenge- Experience of being a finalist
I find this game tasteless and morally objectionable, but it's worth pointing out that rape is a theme in other forms of mainstream media, feeding into and transforming rape culture[0] into rape pop-culture, and that violence is so common as to go unnoticed.

So why is simulating rape particularly odious? Is it the "rape" we object to, or just the interactivity?

Surely it's enough that an adult game is tagged and hidden behind an age-specific filter.

[0]https://en.wikipedia.org/wiki/Rape_culture
What is the best single term description for software like this?

Self Hosting (It was already a term for an unrelated thing)

Control Panel (its more than a control panel)

Full Stack Automation (that is what I thought of calling it)

personal cloud (What does personal mean)

personal infrastructure (that does sound intimidating)

community computer (a small server that only serves a particular community or small business)

I'm open to ideas as I develop a product that could be described by some of these names.
I read somewhere that java 9 is not supporting JavaFX, I guess I could just add javafx as a dependency and it should work fine in java 9 also.
In one of my job I took a part of creating a compiler for VHDL, which is superset of some old version of Ada (and diverging from it).

Here's list of problems one would encounter in creating a compiler for VHDL:

Floating keywords. The versions of VHDL introduce and then drop keywords from keyword list. A custom lexer would solve that and our solution was exactly a custom lexer.

Overuse of single quote. The single quote starts character literal (as in '1'), the use of attribute (SOMETHING'ATTRIBUTE_OF(args)) and the use of value constructor (RECORD_TYPE'(arg1, arg2, arg3)). In the latter case it is possible to have something like REC'('1',2, true) which, as you can see, clashes with the character literal rule if lexer is not context-aware. We used separate lexer and parser with the fixed direction of data flow and we skipped that concrete pecularity.

Context-aware lexers are not unheard of for, I would guess, 20 years now and actually quite easy to construct right now. You can use monadic parser combinators which are breeze to work with in right language. I specifically implemented VHDL-AMS parser in Haskell and from start to complete parse of full test suite I spent about a month, part time. BTW, it was faster than ANTLR version in Java.

Other than these things outlined above, VHDL is more or less straightforward language, with complexity equal to Pascal. All these pesky attributes, interesting FOR loops, etc, can easily be translated into SSA and compiled and executed efficiently.

And, to conclude, Wirth was right. It was not possible to built good compiler for Ada in 1980-s. You are, on contrary, not right in your quote - it is quite possible to build good compiler for Ada (and pretty much anything) now, with wide range of goodness, from good error messages to optimizing away constants that are created with functions on arrays.
Avcılar Seksi Escort Bayanlar
While I may disagree with the parent post, I do not agree with this one either. Just because some people did horrible things in the past from the country that I had no control over does not mean that these evil things should be done to me, too. It does not justify it. Not at all.
Maybe because of the "it was better when we were young" kind of ideas? Obviously it was and it will be for us too. We were younger, healthier, stronger and living in the environment we were raised into, not something made by younger and unfathomable minds.
> It's been done a bunch a times I understand.

Got any links to these services?
SQLAlchemy vs. Psycopg2
Haven't done it, but as a first guess.

prepare an encrypted partition in the new disk and mount both origin and destination with cryptsetup.

now use clonezilla to clone the partitions, not the drives.
BookMyScan | https://bookmyscan.co.uk | Cambridge / London, UK | REMOTE (Europe) | Full-time | Python/Django/PostgreSQL/AWS | Senior Full Stack Developer | £40-£50k

I am the CTO at BookMyScan, and we develop online booking systems for diagnostic scans. We have a number of exciting opportunities, and therefore need to expand the development team.

I am looking for my first developer, reporting directly to me. We are using Python, Django and PostgreSQL on the back-end, Javascript and jQuery on the front-end, all deployed on AWS. As the first developer in a start-up, you will be involved with all aspects of the development process: specification, development, testing, release, support.

Ideally, the developer would work core-hours of 10-4.30 (UK time), with a brief stand-up at 10 each day. I have grown development teams successfully in previous start-ups, but I am still open to ideas for improvements.

Interview process consists of: short coding test (should take no more than 1 hour); 30-minute remote interview; 60-minute remote or face-to-face interview, depending on location. I have hired successfully from Hacker News before.

We have ambitious plans to grow quickly in an environment where data is sensitive, so any experience of scaling, security and robustness would be helpful. Any experience of start-ups and medical information systems would also be useful, but is not essential.

Please apply by sending your C.V. to me, with a short paragraph about why you would be a good fit for the role. Feel free to contact me with any questions. paul.redman at bookmyscan etc.
I don't have any allegiances, however Indians seem to come around and argue for how pure and forthright India is and anyone who is critical of both sides is pro-Pakistan which is bullshit. Indians for whatever historical reason are salty about all sorts of criticisms and try to justify everything to try to seem as if they could do no wrong.

Pakistan similarly accuses India of sponsoring terrorism on its territory: https://en.wikipedia.org/wiki/Kulbhushan_Jadhav

Historically you are correct that India has not been a proxy. However, right wing Hindu nationalists may easily push it in that direction. It remains to be seen what actually happens going forward. But you can be sure that Israel has its own agenda which it's carrying out in India with the help of the current government and so does the US.

Whether India succumbs to that, and it's obvious that this is happening because before this latest event India had not invaded Pakistan since the 1960s. So let me to be bold and say you are an ignorant person not paying attention to the realities of today and how they are not in line with the past.
Notation for Social Deduction Games
They lost me at "independance".
There's a really high pitch sound when the emulator starts that hurt my ears (was wearing earphones with high volume). Beware.
An acquaintance once advised me to keep a context file: all the little "notes to self", code snippets, key config elements, etc, in a file. I've tried a few times in Vim but finally really got traction in Jupyter, through a combination of my org's massive Windows dependencies, which is definitely not the Jupyter community's default (needed to document lots of little idiosyncrasies), and actually having interesting data in that world. What I really like about Jupyter for this is that it's trivial to mix it all together: a link to a handbook like this, how to decode and encode Windows environment variables, tips on Vim, python, pandas, plotting, etc.

And I was really struck how a number of the headings in this handbook mapped exactly to the headings in my context file. I suspect this will not be the last time I click that link.
Erlang. Same here. Reading first few pages of a book describing principles of OTP (processes, share-nothing, messages, etc) was mind blowing. Company I worked for at the time (and I still do) decided to switch from Java to Erlang in middleware area. This decision seemed like a mixture of insanity and enlightment. Do you switch from one of the most popular languages in the world to something that most developers never heard of? Surely, exciting, but will it work? How do we hire new staff? After our R&D confirmed it was promising, me with couple of other developers were tasked with rewriting quite an expensive piece of middleware software that was unfortunately reaching its maximum capacity. We had no knowledge of how the software worked, we just knew its API. We were given time to learn erlang so we did. We all switched from eclipse to vim (some to emacs). After a bit of playing around with erlang we did our job in just 3 months. New app was much smaller and was easily capable of handling many more messages than the previous one. And it was written by erlang newbies! Then many more erlang apps we have created. It turned out to be a really good choice. Also the level of introspection you get out-of-the box with erlang is just amazing. I have never seen anything like this before.

Now I can compare Erlang to Java and it is really baffling how the heck Java took over the world. To do erlang I just need an editor with some plugins, ssh connection to linux with OTP installed and of course rebar3. To do Java I need 4GB of RAM to simply run an IDE with gazillion of plugins, maven to cater for thousands of dependencies for the simplest app and I need to know Spring, Hibernate, AOP, MVC and quite a chunk of other 26^3 3-letter abbreviations. No thanks.
If nothing else, you can "view source" on the page.
I think it’s good to spend most of the time with your kids / partner at the weekend (or friends, family, pets) and not code so much. This won’t make you Elon but I like that way of living.
Another alternative if you don’t have your own domain is to put a plus in the email address. The mail server will ignore anything after that plus, eg johnsmith+facebooklogin@gmail.com will have all email sent to johnsmith@gmail.com, but it will preserve the To header in the email.

This is useful for detecting the origin of spam, however it’s trivial for a spammer or hacker to workaround (just strip the plus and anything after it before sending)
I'm not a libertarian, but some have suggested large scale farming of endangered animals to meet demand for these products and put poachers out of business.

Honestly, I'm uncomfortable with the notion of a tiger farm or a rhino farm, but it's hard for me to say exactly why.
I think I will do a modez-react special library
What would you recommend for someone who has the skills with pandas and numpy but struggles with the what and why?
I wrote a `pass` plugin [1] that works similarly to xkcdpass — but integrates it into a password manager. Makes usage far easier!

1: https://github.com/pinusc/pass-diceware
I don't really know C++ and I'm sick of JS. But I will take a look into Qt.
How to vendor a Git into another Git
The ethics arguments against the conclusions drawn by that paper are stronger than the plausibility ones.

But if you think Becker's theoretical model itself is dubious, it's got nothing on Kopczuk and Slemrod's "Dying to Save Estate Taxes" paper...
http://www.columbia.edu/~wk2110/bin/dying-final.pdf
Sir, with all due respect, may I remind you how this all began?

It was with a terror attack on 14th Feb, 2019. India decided to reprimand her west neighbour for harboring, and also for being hand in gloves, with these non-state actors.

I don’t see how Israel or US gets involved in all this.

As far as being a proxy to anyone, it’s the right wing Hindu nationalists who form the core team of resisting being party to any foreign powers vested interests. No way they will let this happen in the future.
it is a reference to Asterix, a very famous strip comic (https://fredericbaylot.files.wordpress.com/2013/07/13asterix...) ; it symbolizes resistance (and ultimately victory) against something that seems much bigger and stronger (https://en.wikipedia.org/wiki/Asterix)
Ask HN: Has anyone exhibited at Startup Grind Conferences?
Hi everyone,

Wondering if any startups here have experience exhibiting at the Startup Grind Conferences? We've been approached but the exhibition price seems quite steep. They have mentioned that there will be investors and potential customers there but wondering how everyone's experience has been?

I've been burnt before at other industry type conferences so just slightly cautious.
Sailing with Docker
Sorting structured data in a unstructured way using memcmp-friendly encoding
It does give another meaning to the "rat race".

Clearly the solution is buy direct from source (or grow your own food) and live away from cities.
At least Google and Apple are big contributors to open source software (e.g. Chromium, CUPS). Instead of roasting big companies (because... privacy?) we should work together. This picture does more harm, because it view companies purely as enemies.
Asteroids are stronger, harder to destroy than previously thought
Only that in that strip comic, the round table is not full of mongrels.
The Libertarian literary criticism is simply, "What is the consequence of government force required to implement a law?"
Chicago, and Illinois, has made its own problems far worse than other cities and states by a completely corrupting their defined benefit pension system. Also see NJ/CT/KY. They have hundreds of billions in debt coming due, the figures are staggering. It also doesn’t help that the weather in Chicago is not to most people’s liking, so other than employment or existing family, most people aren’t going to choose to move to Chicago.

When Warren Buffet says he’s avoiding doing business for the next few decades in certain regions due to the defined benefit pension debt, I would certainly be making sure I have backup options or a way out.
Which ones? Which feature?
Everyone should read support emails
The image seems to be an allusion to the theme behind the Asterix comic strip, of a small and happily independent Gaul village surrounded by a giant Roman empire unable to conquer it.

It's _hard_ to capture a very abstract ideal like free-as-in-freedom web services in one image.

To me, a successful image should be about celebrating freedom and independence. The Asterix comic strip succeeds at that, this image not so much.

Just like the inhabitants of the mythical Gaul village, I'm ok interacting with the Romans and their empire as long as they don't keep me from doing my thing, in the way I want.

The framasoft offerings are really interesting by the way. Do check them out if you haven't yet!
I'm curious how Framasoft will keep the lights on and the servers running without ads/data-collection.
It is a common spelling mistake for people from a French background.
I bought a few of these (JK29LP) to use as IoT buttons when they were on an offer. I found that not associating them with a product, the credit could be used for normal Amazon purchases.

I am now using a couple of these to control Yeelights via Node-Red, the latency is similar to a IFTTT recipe.

https://www.youtube.com/watch?reload=9&v=65G7ApQYlmA

https://ifttt.com/yeelight
> there is some evidence that the theory was used to justify crime policy from the 70's onward.

In non-coincidental news, the crime rate is also a lot lower today than it was in the 1960s and early 1970s. So we can finally afford to lower the severity of punishments, because the overall costs/benefits profile has been shifted and a lower crime rate also makes enforcement easier. Sounds like the marker of a successful social policy to me - score one for Becker!
Do you guys miss real books? (2014)
Fair enough. It's a common mistake for people from an English background, too, but these days we have tools to eliminate typos like that.
I don't think the real intention is equality at all. I think it's scoring PR points via virtue signaling, and reducing expenses as a bonus. (Who would dare oppose a move that appears to increase equality, even if it hurts their wallet?)
> Raspberry Pi _could_ have offered 4GB+ of it, and they could also have quadrupled the price.

Raspberry Pi's SoC does not support more RAM than the 1 GiB that it now has. This is as far as I am aware considered a serious problem by the Raspberry Pi Foundation.

I don't know by what they thus plan to replace the SoC in the future.
The period goes in the quotation at the end of a sentence, like "so."
You're ignoring my point. Having different models is obviously great for different uses. Hence S/X/3/Y/etc. Number of models is irrelevant when it's a bunch of different versions of a VW Golf like you get with VW/Audi/Skoda/Seat/etc.
In my understanding, the final price (including tax and transport fee) should be the only mandatory indication. Tax, terms of service are on the receipt (that you should still get when using dash buttons).

However the buttons also chose the product, the buyer not only does not know the price, he is not sure which exact product he's going to get at checkout.
Similar principle to this one:

https://en.wikipedia.org/wiki/NHI_H-3_Kolibrie

Powered by ramjets at the rotor tips. Very loud little machine, they used to have one on display at the Dutch aircraft museum Aviodrome but the last time I was there it was no longer there.
You dont even have to worry only about your own/current government. Take the Netherlands, with detailed census data (conveniently as punchcards) about their population before the German invasion. With the threat of an invasion looming some suggested to at least trike out the information about religious believes. Unfortunately this didnt happen. Amsterdam had one of the highest rates of deported Jews for a reason.
Side project ideas for indie makers
Topics in the 2017 Abu Dhabi World Skills Competition
Fair enough. 'Quite a few modern platforms...'
> if Daddy ever has the chance he is going to Mars to suffer, not to play. Mars will be hard and unforgiving. Life will be horrible for the first two generations at least. At no point will it ever be better than life on Earth.

This reminded me of computer tech in its first approximation: hard and unforgiving. It took about 2 generations to make it into a ubiquitous mobile device. In about four generations AI will make space colonies possible. "And AI shall produce acomodations for adventurous humans and preserve them". Space seems first and foremost the realm of AI, embodying our outreach. We won't actually go to space unless a planet is discovered and farmed to be hospitable.
I think that China, the US, and the EU, even though they are often compared to each other are each of them such a vast and differentiated geographical entity that often times general statements fail to hit their mark.

Like if I average the EU28 total I get 3.48 which is just below China and well below the US because there is the infrastructure of Bulgaria and Lithuania (on offence guys!) at the low end and Germany and Sweden at the high end. I am sure the infrastructure of Western China is a night-and-day difference to the coastal South and East. I imagine the US is a lot more uniform.
Please keep political and ideological flamebait off HN. Ditto for nationalistic flamebait.
Bayesian Philosophy of Science [pdf]
> At least Google and Apple are big contributors to open source software (e.g. Chromium, CUPS).

…that's a strange choice. Basically every company in that comic contributes in some way to open source.
This is a French free software foundation that have collected together various open source alternatives under a unified branding.

Being neither a startup nor american, they are of course condemned to eternal scorn by many HN readers.