skysight-inc/HackerNews huggingface dataset:
You can use TLA+ -- it's what Amazon and Microsoft uses.

TLA+ is a formal specification language, plain-old maths, and the tool suite includes a model checker and a pretty printer. The model checker verifies properties of your specification that you want to hold true such as liveness. And it also includes a pretty-printer for exporting your specifications into well-formatted PDF documentation.

The nice thing about writing specifications this way is that they are specific, at the correct level of abstraction for the problem, and can be verified.

I think Lamport's analogy is apt: specifications are like blueprints. If you're building a shed in your backyard then a sketch will be sufficient. There's no need to have a blueprint. If you're building a house you'll need some kind of blueprint. The software equivalent of a sufficient blueprint for building a house is a strong, static type system, unit, integration, and property-based tests. If you're building skyscrapers you need something much more formal and I think this is where TLA+ and Lean are useful.
Have you ever learned a language in your 20s? If so, how good are you? How long did it take you?

I personally have tried to learn many languages in my 20s. I’ve became good at figuring out what are the shortcuts to kickstart learning. The best one I found is to learn as many words as possible + simple grammar + useful verbs. If you have the time learn hundreds per day with memory tricks. Once you know enough start trying to have conversations. Grammar is not really important in the beginning but you need to learn conjugations (if there are any) at some point early.

This is a much better approach vs trying to have convos when you know peanuts. If you’re planning to spend some weeks in a foreign country this is what I would advise to you. You are going to learn very little if you get there without having done that
> If you're trying to learn a language, you should learn the way children learn their first language: by speaking.

this is a sufficiently awful way to learn a language that kids only do it because they've got to. (see the language acquisition literature.)

> If you don't know anyone who speaks the language, what are you learning it for?

argument by lack of imagination?
> If you're trying to learn a language, you should learn the way children learn their first language: by speaking. Talk to people in that language constantly.

I agree that this is ideal, but it's also a huge synchronous time sink for the parties involved. When you're learning with flash cards, you can do it on your own time, in a more directed manner with trackable, linear improvement. In less structured environments, you don't get the breadth of vocabulary. In the beginning, you also end up asking "what does _ mean?" over and over again, or scrambling to write it down and look it up later, all while failing to grok the conversation happening around it.

Vocabulary alone is a huge barrier to entry in a language and, in my opinion, worth attempting to memorize in order to tackle a language.
Does that qualify as significant in any practical implementation for identity?
A time to fast
> kids only do it because they've got to

And it takes them significantly longer than an adult would to learn a new foreign language.
Isn't that just solipsism
U2F Authentication with a YubiKey Using Node.js and JQuery
"In general a Segment Tree is a very flexible data structure, and a huge number of problems can be solved with it."

If they're so flexible and useful, I wonder why they aren't used more frequently.
The irony - it looks like uk did Cambridge Analytica themselves. They took data about one entity, in a very shady way, through a third party.
What love about the Shinkansen, at least Tokyo <-> Osaka is that it leaves every 5-10 minutes so I never make reservations. I just casually go when I feel like it, shop outside for a snack, then go in and get a ticket at a machine and hop on the next train.

This is something I can't do with planes as well as you have to book in advance, get there early, check in, get inspected, line up to board. Filling plane seems to take 15 to 30 minutes. Filling the train takes 2-3 mins. And of course the train drops me off in the center of town, not 30 to 90 minutes outside of town like most airports.

There's a couple of seasons where getting a seat or getting 2 seats together might take more planning but most of the time taking the Shinkansen feels no different than taking any local train or subway in terms of prep which makes it super easy to use. It's a little expensive, $240-$350 round trip (free seating->reserved seating->1st class) but I've still made impulse trips for various events deciding on the same day that, yea, ok, let's go!

I will say China's bullet trains are amazing as well but booking/tickets are not nearly as smooth.
> After all LISP is all high level stuff, divorced from the hardware level.

A student travelled to the east to hear Master Sussman discourse on the Lisp-nature. When Master Sussman began holding forth on low-level programming in Scheme, the student interrupted him.

"Master," he said, "How can you do such bit-level programming in a high-level language such as Lisp? Would you not want to use C or pure assembly language?"

Master Sussman replied, "A fisherman was walking along the beach, when he spotted an eagle. 'Brother eagle,' said he, 'how distant and unreachable is the sky!' The eagle said nothing, and flew away."

With that, the student was enlightened.
Whether parliament or congress, those who make the laws have the power to do whatever they want; they do not have to have a reason. Police don't make law, they follow law, your comparison is not applicable. Probable cause applies to police, not the law makers.
I wonder whether this is correlated with the adoption of the “fake it till you make it” mantra.
Hundreds of full time developers?
Hi,

I work on maps spam. I was wondering if you could dig up a link to the maps business, and include a rough idea of when this occurred.

Thanks!
If you squinted, you might consider the U.S. Army Corps of Engineers Bay Model a giant low tech special purpose water computer.

https://en.wikipedia.org/wiki/U.S._Army_Corps_of_Engineers_B...

>The U.S. Army Corps of Engineers Bay Model is a working hydraulic scale model of the San Francisco Bay and Sacramento-San Joaquin River Delta System. While the Bay Model is still operational, it is no longer used for scientific research but is instead open to the public alongside educational exhibits about Bay hydrology. The model is located in the Bay Model Visitor Center at 2100 Bridgeway Blvd. in Sausalito, California.
> it's what Amazon and Microsoft uses

That's not true. TLA+ is very useful but only few services adopt and benefit from it. Also it's not very readable and cannot document many design aspects e.g. the reasons behind technical decisions.
Make More Pointless Things
I get what you mean and I agree to most of your points. I just want to point out that memorizing something you don’t use often is not completely useless. Some valuable creativity only happens when you connect some obscure and unrelated facts together, or some specific details from another field with what you’re currently working on.
And you end up having functions that look like.

hit(player, monster, weapon, damage_modifier, arena, previous_turn, next_turn, global_modifiers)

because the author didn't like, or understood encapsulation.
As a tool, I find LucidChart fantastic for mapping architectures. It's a much easier to use, nice version of Visio, IMO. It is simple enough to use that other people adapt and maintain LucidCharts pretty well.
Wrong thread mate
Some context would be nice as this (very nice library) has been around for a while: was there a new release? What are we supposed to be looking for Here?
I think accustomisation differs considerably by person and mood, and probably other factors?

I don't seem to be able to accustomise to ticking clocks, but other sounds I can. Some smells to me are anathema, but farmyard smells not so much (I grew up in the country).

As your senses dull with age it gets easier to block things out IME.
Is this what you are supposed to use asyncio classes for?
>You can buy a generator that can make 67 liters a minute of eBay.

67 liters per minute?

How much would that cost?
I thought that they are in the several tens of thousands dollars for generators that can produse a few tens liters per day.
> In turn, I'm amazed that people put effort into databases that are owned by companies. Wouldn't it be much more fulfilling to do the same work for an open database, such as open street maps?

There are tons of open source developers who contribute to code bases that require copyright assignment. They probably do it for the same reasons:

* It's personally useful

* It's useful to a lot of people

* It's (comparatively) easy to do

* It's rewarding in some other way
True but the point of literature is not just to deliver factual information as quickly as possible.

By analogy, you can drive to the top of Mt. Washington, but people still hike it. Either way will deliver the view from top, but each will be a distinct experience.
Maybe it improves their engagement metric.
I think this is one of the biggest thing people forget about China. Their wealth is extremely new found. A lot of people alive today still had some sort of relative that has starved to death, particularly in the same age as our baby boomer generation. That's why the Chinese government is extremely strict and the citizens are willing to be "subjugated". Time were extremely tough for them not even two-three decades ago.

Side note, I believe most historians will agree that any modern famine within this past century is man-made. They are either created or mitigated poorly because of ignorance.
It's still very important to know that these owls aren't necessarily what they seem. People will hear the phrase "fingerprint recognition" and think "Oh that's clever because I'm the only one with these fingerprints!" and assume that that makes it secure. But of course the reality is more complicated than that, and personally I prefer a passphrase because I understand much better how that works and what the potential points of failure are.
Ask HN: What are your predictions for the next 10 years for our daily lives?
Basically how will life be different from now ? What elements of it will be significantly better/worse ?
I think a lot of Russian authors are pretty to-the-point. Turgenev, Chekhov and Tolstoy come to mind, as opposed to e.g. Gogol who has a more playful style and can write pages about anything and everything.
>You must have cause to suspect something. In this case, it's unclear what the cause to justify this could be.

Anybody who has been following the DCMS Committee's work in the UK knows what the cause is - Facebook has been lying through its teeth to the committee and refusing to cooperate.

Hell, the Committee has had to organise an international super-committee with half a dozen other national legislatures in order to pressure Facebook to testify.
I know of two excellent examples of this. One is an entertaining modern attempt to recreate economic models with a fluid computer: https://vimeo.com/131690448

The other is the fucking fantastic Bay Model, a 1:1000 physical model of the San Francisco Bay: https://en.wikipedia.org/wiki/U.S._Army_Corps_of_Engineers_B...

It was built in the 1950s to study the effects of various plans, including one proposal to divert all incoming rivers to "productive" use. It was eventually made obsolete by computer simulation, but it's still there. I bring a lot of my nerdy out-of-town visitors there; it's amazing to walk around on a 2-acre simulation.
Really?? Wow!

That doesn’t mean that they’re all “comparable” in any reasonable sense of the word.
Well, since I received no communication from revolut, this was the only reason I could think that would lead to my account being cancelled.

If there was some other reason I was not aware of then, maybe, it's less encouraging?
>> the problem with anything thats 'industrialized' is that so many companies use this as a chance to gin up the price and double down on rent-seeking behavior. This thing takes a $45 pi and jacks the price up to $250USD.

Fair point, but is it really a "problem"? Think of it from the opposite side. A market for this markup exists. It is an opportunity for people like you, that understand well both, a particular (non computer) domain and computing that is needed to support it.

I bet many "diesel repair stores" would need what you already accomplished with your regular raspberry pi's custom applications. And won't mind to get it packaged with an useful hardware and software for whatever markup you deem fair. They will be glad to pay for what you already thought and successfully incorporated in your application, wouldn't they?

It is HN after all. :-)
I came here to warn others off it after wasting $8 on the Kindle version as a result of the parent comment. But you’ve already done it.

At least have a good read of the preview pages before you buy this one – it is 100% not my style, and I won’t be touching it.

Edit: turns out it’s easy to get a refund on a Kindle item. Nice.
Why would it? Eigen-faces tend to not even look like faces (which makes sense, given that the goal is to represent a collection of real faces as linear combinations of the orthogonal eigen-faces). One possibility would be to generate random faces as random linear combinations of the eigen-face basis, but this type of attack could be thwarted by rate limiting.

A real "master face" would be a face that looks like many people, and it seems like you could try to obtain faces like that by playing a two-player game between a recognizer and a face generator (as is done when training GANs).
If water pipes were used for signalling, it would probably be as acoustic conduits (analogous to wires, which are electromagnetic wave conduits). You would exploit them in just about the same way as the electromechanical systems were.
Use mediawiki, the software that runs Wikipedia, to document. It doesn't easily go into book format, but hypertext is really powerful and easy to use. You can also embed powerpoints in it.
Best of all, updates and versioning are easy as it's a living breathing hyperlinkable system with a full change history built in.
Apparently not: https://support.twilio.com/hc/en-us/articles/223182828-Does-...
I've found that writing pseudocode with doxygen formatted comments to generate sharable diagrams is generally sufficient.

I actually got into that habit back when I was working with the insanely expensive suite of Rational IDEs. At that point, and later with the Eclipse Modeling Framework, the goal was to generate code from diagrams.... but that took more work than it was worth in my opinion.

With those tools, or with doxygen, you can get pretty far writing skeleton classes and method stubs, with exogenous systems represented the way you might mock them. Then just drop the generated SVGs into your slides, and profit.

This also answers your question about the lack of tooling: whenever a promising architecture/modeling product shows up they get acquired and then just fade away.
I want to learn a language but I don't think I'll be using it with anybody anytime soon. But I'd be happy to understand a newspaper or Wikipedia. What would be the recommended way to learn vocabulary if Anki is not an option?

I've been using Duolingo but it really feels like a glorified Anki
from the article: <<The brain child of current Ohio state treasurer, Josh Mandel, the bitcoin program is intended to be a signal of the state’s broader ambitions to remake itself in a more tech-friendly image.>>
http://iabak.archiveteam.org/
I guess if they convert in real time it doesn't matter, it's just a gimmick, they get dollars. Let Ohio accept Bitcoin and keep them...they wont.
I mostly work in the backends, but I wrote a few UIs too. Either in HTML/PHP, or in wxPython. I can probably write UIs in other languages/technologies too if I had to. They probably don't look very nice, but they are functional. Every now and then something would glitch and all my buttons would end up one of top of the other or something like that, so I'd ask someone sighted to check for that.
I think Michael Crichton is a good example of this. He has (had) an incredibly terse style that still manages to communicate quite a lot of information/imagery.
I hope they pawn that monopoly money for the real deal immediately after collection.
Questions, isn't Terraform exactly suited for this? And doesnt it come with rudimentary charting features? I mean the charting feature is terrible by default but it's something, no?
I haven't checked for the UK, but take a look at OFX if you can, I've found a notably better exchange rate from US to NZ when compared to Transferwise.
There is overhead but with that overhead becomes maintainability, type safety, etc.

For me, on one side is Python. No compiler overhead, very little boilerplate, no complicated IDE etc but no type safety and harder to maintain for larger projects and C# with all of the overhead of a heavyweight compiler but the type safety and great IDE makes it perfect for larger projects where multiple people will be working on it simultaneously.

For simple scripting, where can I mentally keep everything in my head and think through how one change will affect everything else, Python is my go to language. For larger projects C#.

I’ve hated all scripting languages I’ve encountered over 20 years, but for some reason I love Python. It’s also a great teaching language.
> It strikes me as bad design if something as simple as an action (hit) now needs to become it's own class

Why, it's a noun in the problem domain. Why shouldn't it be a class?

> that is instantiated merely to execute a single function and then have to delete itself.

This may be inefficient in some language implementations because of limits of optimization, but there is no fundamental reason that, if that's all you do with it, the compiled code or runtime behavior needs to be much different than if it were just a procedure call.

On the other hand, lots of times you will want to do more than that with actions occurring in the domain then executing them (queueing, logging/serializing, etc.) and having a datatype for the event (a class in class-oriented OOP) supports that.
Not true. A quick search of my Kindle version shows references to “God” – the one we all think of as God – twice on p34 then on p86, p109, and so on.

The author believes in God and isn’t afraid of letting you know about it.
I cut&pasted this into my /etc/hosts: https://github.com/jmdugan/blocklists/blob/master/corporatio...
1 billion dollar 5 year multi project it transformations
Oh yes, this won't backfire in any way.
There is also a physical component that needs to be managed. It typically fails to just try to will-to-power your way off of some substance.
I think perhaps you responded to the wrong comment. Or you didn’t bother to read mine. Yours on the other hand I’ve read a thousand times: America is the ultimate evil, blah blah. You guys need some new material.
The same thing happened to a cousin of mine. I wrote a (somewhat more detailed than this article) blog post about it a month ago. Didn't gain any traction on HN then but here it is: http://blog.abhijittomar.com/2018/10/19/google-business-clai...
Accounting for crypto is already an unstandardised accounting and control nightmare. It'll be cashed out on point.
German federal office publishes Windows 10 telemetry analysis
So when they collect that bitcoin do you have to pay capital gains tax on the amount you paid then this year on next year's taxes? If you pay the capital gains tax next year in bitcoin, do you have to pay the capital gains tax on that payment the year after that, etc.?
Image Synthesis from Yahoo's open_nsfw (2016)
I like that. The logic is often "I worked on a team that didn't require an architect, therefore no teams require architects".

I do readily admit there are quite a few hapless architects out there though.
DARK WINTER by Retired Brigadier General Anthony J. Tata
If you are being threatened with legal process in a foreign country, step #1 is always "contact your embassy".

I've always known this to be good advice in a criminal context, but not political ones like this unless to relay that the USG in general should intervene. I have not heard that the guy was detained.

I really don't think an embassy has the juice to go up against UK Parliament, the current US Ambassador to the UK is a old-money Republican fundraiser with a history degree, whose most recent accomplishment is owning the New York Jets NFL team.

Also, do we know that he didn't contact the embassy?
One thing I loved about Amazon was having no architects, visio, powerpoints, UML in any of the teams I worked in.

Each service is designed, documented, implemented, deployed, maintained and advertised to other teams by the same few engineers.

Most documentation and runbooks are just text in wikis. If your service cannot be documented without drawing 10 boxes and 20 arrows you should split it in smaller services.
They protect against ISPs. My ISP, Comcast, regularly and as part of it's policy performs man in the middle attacks on subscriber connections in order to insert malicious javascript into user requests from 3rd party websites.

If hiding from your ISP is your threat model then a VPN is fine. It'd be better to use individual per-application tunnels though so you can still host servers with your ports locally and participate in the internet as an equal. Using a full VPN you rent prevents that.
He isn’t legally required by the laws of a land but it was felt by many that he did, in fact, owe his presence.
We use the Flowchart Diagrams stencils in Moqups just for that. And, because it's collaborator friendly, your team can hold you accountable if the diagrams become out of date.
I agree with the opinion on smoking, to a degree, but initially it's quite the opposite, because, well, it's just disgusting. Only after becoming desensibilized can a negative feedback loop kick in, where the sod cools the vessels (directly or indirectly, I wouldn't know), and the smoke warms it. I still wonder what positive effect a little smoking can have, like maybe supercharging the waste removal. After all, humanity was raised by the fire.

Edit: If a lack of sensitivity implies dead nerve cells, that's going a little too far, though.
I always get a kick out of technical methods like this because all you would really have to do is punch the owner in the face and use his or her fingerprint to unlock the device. It's sort of like the 5 dollar crowbar from xkcd.
I'd have to see that study. It seems to me that experience gives you a lot of information about what is not as important that comes in handy even when you are "winging it" with something related.

Also, "experience is one of the worst indicators for job performance...all else being equal" could mean a lot of things:

1) truly everything else being equal i.e. the person with less experience will do better. (surely that is not the case)

2) Of everything, considered equally, experience is the least indicative of performance compared to education, creative thinking, etc.

Can you link those studies and clarify what is meant by "worst indicators"?

Also, what job was that in the evaluated job performance? I know it's definitely not true for trade skills like woodworking.
Well yes, I'd very much like a delivery of headaches. We here at Ohio have been craving those for a while now!