skysight-inc/HackerNews huggingface dataset:
No problem, that's why they invented Stingrays and license plate cameras. This stuff is all over the country.
I have three keyboards on my phone: QWERTY, AZERTY and one for my native language. I can switch between the three rather easily but that's mostly because I still look at the keyboard when typing on the screen.

On a physical keyboard, I just don't see the point of learning a new latin layout (e.g. Canadian English layout, UK layout).

It's easier to use a US keyboard instead of a Canadian English keyboard because the few times you need an accent are heavily outweighed by having symbols in the wrong position to what your next computer might have.
Amazon’s Alexa-enabled microwave hands-on: it cooks but does not speak
"Evaluate for free" - dead
The meaning of high quality software can be argued. Another HN comment put it pretty well:

>People are more likely to use a buggy app that has features they want over a perfect app with limited features.

I understand the article is specifically addressing the slowness of chat apps..if we’re talking about messenger: I’m sure they could use a fraction of the RAM with the same features. But the fact of the matter is that it has the features people want and we will continue to use it. Is Facebook so in the wrong if their RAM hungry App is so successful? I’m not sure.

On a side note regarding good software, I enjoyed using a site called teamtreehouse so much that I pay for it still 3 years later and I never log in.
This matches my experience. I automatically switch to QWERTY when I use someone else's computer, to the point where I get confused when I use the computer of one of my colleagues that also uses Dvorak.

If you set up some shortcuts to switch between layouts then other people using your computer is not a problem either.
Exactly. These should simply be different databases. You could then enrich the spamming one using the client one, but no need to do the reverse...
Dvorak is worth it just for the look on people's faces when they try to use a computer you've been using.
True, but even then, how large do you think the field is? And how many people verify these proofs?

I have a PhD in an esoteric field myself. There's literally <50 people worldwide who write/verify proofs in it. I've spotted errors in my own work or other's work that got past peer review. And I don't think I'm particularly special. There's just not enough eyeballs, time and incentives sometimes.
There's some technical information still available on Sergei's old company blog:

http://sergei.clustrix.com/
Their pricing says $5 per user per month with custom domains. That's exactly what the parent comment said they didn't want. Am I missing some cheaper plan?
Using Dvorak can be a conversation starter. You'll get lots of nerd cred from the right people but plenty more weird looks from everyone else. I used it in high school, but I eventually got tired of dealing with the hassle of setting it up on each new installation or the headache of using others' machines (I could still type QWERTY well enough but would make mistakes as muscle memory crept in)
Married Men Earn Much More Than Others
If there is some truth to the idea that QWERTY was designed to slow you by separating commonly paired keys, it might actually be advantageous in the world of touchscreen keyboards. Separating frequently paired keys would presumably make autocorrect better at guessing what you meant to say than if common letters were clustered in the same area of the keyboard.
I learned to type Dvorak about ten years ago.

Dvorak, by itself, won't make you a faster typist. It will help only if you're actively training for speed-typing.

Dvorak will cause problems with any keyboard shortcuts that depend on the positions of the keys. Control-Z, Control-X, Control-C, Control-V are now in different parts of the keyboard. So is the hjkl of Vi.

But Dvorak is more comfortable to type. If you don't want to move your fingers from the home row as much, it is better.

And unlike Carpalx (http://mkweb.bcgsc.ca/carpalx/), Dvorak is available on most systems without extra software.

Learn it if you like. I strongly disagree with Frederik Dudzik: If you don't care for it after you learn it, you CAN go back. And it take less time to re-train yourself back to Qwerty.
Fair enough, I am sorry I offended you. You are right that comment was unnecessary and uncalled for. Design is a very particularly touchy subject to me. Sometimes I get in the heat of the moment and write down all my thoughts down unfiltered. I feel very strongly about every piece of information presented to me, and I feel even more strongly about lost potential

If you want constructive critcism, I suggest adjusting your line-height properties and font-family to something like Arial or roboto. If you want a quickfix, just add these 3 lines in your `body` tag https://i.imgur.com/33lI25Z.png

Without changes https://i.imgur.com/91Pv9Sh.png, with changes https://i.imgur.com/nA7JYub.png

For your font-logo I suggest simplifying it and removing some of the finer details. This is a quickdraft I made following the same guidelines that your logo emphasizes. Remove 2 fish, and just focus on one fish with bubbles to emphasize a complete cycle. https://i.imgur.com/fSWf2fJ.png
I believe many of their founders were ex-Isilon people.
Unfortunately you need half of this. Just listen and understand what other say don't go over it. Don't think you have it all right. Work hard keep your head down, but look for the options.

There is a lot of stuff to say to go kill it, but not. To kill it you have to be exceptional and usually people are not exceptional. Unfortunate is most people will think the6 are exceptional and fail.
Show HN: A tool to grab top post metadata with the HN API in Golang
This is exactly the reason I don't have a heavily personalized environment anymore. Copying it around to every machine was more hassle than it was worth. This is also why I get so mad when the defaults are bad, especially when they're changed to be bad.

A good example is how ls now adds fake quote characters if your file listing has spaces in it. As someone who mastered the Tab key ages ago those quotes are useless visual noise and I find myself typing them occasionally because I forgot. You can set an environment variable to disable them, but I have to to look it up each time and you have to do it on every new machine.

Edit: the magic environment variable is:

QUOTING_STYLE=literal
This is really interesting, but I am a bit confused on the practical implementation. How could this be used to replace real-life systems? If I understood it correctly, a potential system would be made up of lasers at the transmitters, and a cloud of Rydberg atom gas at the receiving end plus a specifically tuned laser to saturate the gas.

But this design runs into line-of-sight issues between the receiver and transmitter. Also, the Rydhberg gas needs to be contained in some way that will hold the gas in whatever place it needs to be but also be transparent such that the transmitting laser can impact the gas as required without interference from the containing medium.

I feel like this is conceptually cool, but not useful/practical outside of a lab or unrealistically perfect outdoors environment. Does anyone know of any uses for this new tech?
Yeah, but none of that helps with me not liking them
Ask HN: Fired from first job, now what?
I was recently fired from my first software job out of college and I don't really know how to bounce back smoothly.

For some context, I'm 22 and graduated with a B.S. in both Computer Science and Mathematics in May. I took a job just before graduation with a small custom software development firm that focuses on custom web and mobile applications for businesses in and around my local area, and in which all employees work remote full-time, which I’ve since learned may not be the best situation for me. During the interview, much of the discussion revolved around mobile experience, and as such I believed that I’d be primarily working on mobile application development, which may have been true had our contracts at the time not all been web applications. I had no real experience with the stack the company used, nor significant experience with web development.

I live in an at-will employment area, so I was fired without notice, because I was taking too long to accomplish tasks and milestones on the contract I was assigned. This is an issue that had been discussed with me a 3 or 4 weeks prior to the termination of my employment, and my employers and I agreed to a 2-week probationary period to assess my progress before deciding on continuation of my employment. At the end of this period, I was not proactive in obtaining feedback on my performance, and as such received little-to-none. Today, I was told that my performance was not satisfactory, and I was let go, which seems perfectly reasonable to me.

Now I’m unemployed and have no idea what to do next. I've considered looking for freelance work while I find a solid job, but I don't really know what to look for. I've reached out to my former employer to receive more feedback on my performance to know exactly what I need to improve on, so I feel that I'll have a solid foundation to make the changes necessary to be a better employee, but how do I overcome losing my first serious tech job due to performance?
Must be a YMMV because I learned touch typing just fine after knowing qwerty in an inefficient self taught way. I took a class on it for half a high school year and it paid off very well.
The main downfall of the Semantic web efforts are not technological, but due to a misalignment of incentives. Semantic web formats require content creators to annotate metadata for machines where webpages are intended for human readers.

We think that the main way to achieve a practical semantic web is to have AI synthesize a Knowledge Graph from applying CV/NLP techniques to understanding all webpages. More about our project here:

https://www.zdnet.com/article/the-web-as-a-database-the-bigg...
Doesn't stop them from tracking you by the transmitters in your tires.
It's a lot of fun, when someone tries to write a note on my IDE ( WebStorm ) where I'm using vim mode. Most of them give up and open Notes app.

Joke aside. I don't think that pleasing other potential users of your computer should be a motive to not make it productive for you.
I don't see it being any more or less viable than getting everyone on Git.
Point #1 seems completely over-thought to me.

> At the beginning, startups are simply a belief that a problem out in the world needs solving and that someone is willing to pay for the solution. This can be based on intuition or experiences, but they’re still assumptions and hypotheses that must be verified.

You don't need 7 different steps to find excuses to pat yourself on the back. Either someone pays you, or they don't.
It normally takes me 3-5 minutes to force my brain back to a "standard" layout. Up until then, there end up being RANDOM STRINGS OF CAPS and letters since I'm so used to ctrl in the capslock position as well as random jjs trying to exit insert mode.

I've actually noticed another thing: using someone else's keyboard can be frustrating, even if everything else is the same. I just moved for my job for a few months and I accidentally grabbed my wife's MS4000 instead of mine on the first day in my new office. Despite it being the exact same keyboard and having all my customizations available, I had to put it away and use the keyboard on my laptop after less than an hour. The wear patterns in the key mechanisms were different enough that I was dropping characters all over the place. The spacebar was by far the worst offender.
Same here, I switched to Dvorak 14 years ago, I was having problems with my wrists and this change fixed most of that. I can get around a qwerty machine pretty well, typing on my phone (qwerty) seems to be fine since I don't seem to use the same muscle memory when typing on a phone (makes sense to me).

The most I had to do was to learn my password (into muscle memory) in both qwerty and dvorak (since corporate windows was qwerty until you login and then user settings take over).
It takes me about a minute to switch gears, then I’m fine. I started using Dvorak full time over 20 years ago.
I cope by doing very little customization. Maximize the defaults first. Work that way where it makes sense.

What this has done is improve on overall flexibility.

At times, my role is one where I do end up using other people's environments.

First thing I do is get them to tell me, then work that way as much as is possible.

Some peak efficiency is left on the table, but the impact is usually minor and I can optimize somewhere else and do just fine.

Dependence on muscle memory is a double edged sword.

If one does not environment hop much, it is worth it. Where that needs to happen, exercising "stretch" to work differently can be equally worth it.

Not sure there is a free lunch here. I find state changes difficult. When it is reverted to default, or my preference, the others are not happy, and it takes time to put it all back, and sometimes more time to remember how to do those things and debug having done them.
Besides the stuff about solutions below, it also has to do with budgets. A lot of places have $X for one time charges, like consulting, but have to get approval for ongoing costs, which include purchasing SaaS or even box software that has to be renewed or upgraded.

There was that article on Joel on Software a long time ago about how they chose to price their software at $999 because $1000 was the typical amount that required approval. Similar to that.
Mathematicians should do more computer verifiable proofs to avoid discussions like this.

> Definitions went on for pages, followed by theorems whose statements were similarly long, but whose proofs only said, essentially, “this follows immediately from the definitions.”

This sounds perfect for machine checked proofs, but I guess the proofs are actually a lot more involved than they are presented.
Maybe, but a layout that puts j and k on the right hand home row is clearly not optimized for English.

But honestly it's only an issue if you're chasing that last 5%, and IMHO not worth the time and effort. Especially if you are like me and bouncing around different keyboards all day long.
>What we have now is (mostly) talk-shows roughly passed off as genuine journalism, but really it's pretty obvious that it's the lowest common denominator kind of gossip-spreading.

And the problem is compounded in that the internet, for all of its glories, has also taught folks that their opinions/beliefs/dogma are just as valuable as actual facts.

I don't know what, how, or why. But the only two things different now to, say, the 80's in terms of bullshit journalism is its ability to reach people directly in a 'one-on-one' setting and its ability to be echoed with no challenge in online forums and the like.
Agree, Gitup is quite brilliant.
> True, but even then, how large do you think the field is? And how many people verify these proofs?

It only takes one to break it. And, for something so fundamental, it's a big deal if you are the one.

This isn't physics, where you have to rule out all manner of confounding data before you can trust your conclusion.
You Sir, Sanityvampire, nailed it.
I switched to Dvorak about 15 years ago. I agree with others here: I switched from being a Qwerty typist with poor form, to a "correct" Dvorak typist. In the end I'm a pretty speedy typist (~130 wpm), but I can still Qwerty well enough that it isn't painful.

However, I think the speed-up can mostly be attributed to forcing me to have a clean slate and learn to type correctly, rather than any intrinsic advantage of Dvorak.
On Qwerty I typed the style I'd evolved since elementary school, and on Dvorak I touch-type like I'm meant to.
A polyglot file generator
Every few months my mind circles around that topic.

I think it won’t work if the underlying transport/presentation is „the web“ (i.e as in Web 2.0).

Instead of decorating semantics/hints around the actual information mostly for SEO reasons it should work the opposite: using all available semantic hints and information bits there already are to create new information by aggregating and putting things in a new context.

It adds value while building upon previous knowledge and allows information and context to be relevant indefinitely.
I use a keyboard that is hardwired to Dvorak. I have another normal QWERTY keyboard on my desk as well, and when somebody comes to my desk, they can use the other keyboard. Works perfectly well for pair programming too.
DOJ probe into Tesla will plague the company for months, lawyers say
I thought he was more suggesting that the proponents could bolster their case by using their weird mathematical machinery to prove some other, less daunting, results or otherwise show that it has more general uses. (Not asserting that this is impossible, just complaining that it hasn’t been done.)
Care to share a concrete example of growth? Very curious onlooker here.
I think the same way other people on the thread can swap to QWERTY when on someone else's computer - it always takes me a minute to stop using caps as ctrl, but I get it after 3 mistakes or so. The convenience for my everyday definitely outweighs 10 seconds or so of adjustment (and after that a bit slower speed than normal) on someone else's machine rarely.
Coincidentally I recently finished a MOOC about prime numbers where the ABC conjecture was introduced, I believe in order to show how mysterious prime numbers still were. The MOOC is here if someone is interested: https://courses.edx.org/courses/course-v1:KyotoUx+011x+2T201...

Apart from that, the article makes me curious about the state of automated mathematical proof. I remember having read an article posted here about a mathematician (I think he was a Field medalist) who was claiming that automated proof were the future of mathematics as they would enable mathematicians to collaborate much more easily, removing problems of trust in others' proof.
Before I switched to Dvorak, I had RSI problems. I still have RSI problems, but they are much less severe and much less frequent. The difference is stark. It makes a huge difference in quality of life for me. I have also tried alternative keyboards, like the Kinesis and the Ergodox, but switching to Dvorak seems to have had the largest impact.

> Learning a new layout is one of the most frustrating experiences that I’ve had so far.

Learning anything is frustrating. Learning Dvorak, for me, was less frustrating than learning QWERTY was in the first place.
Poker Online Terpercaya Tahun 2018
Permainan poker online di indonesia sangatlah begitu popular dan pada saat ini permainan poker online sudah memasuki puncak pada tahun 2018 ini.Selalu banyak pemain judi yang memainkan poker online dan tidak luput dengan banyaknya pemain baru yang ingin bergabung dengan situs poker online terpecaya tahun 2018 ini.
I have been using Dvorak for the past 20 years. The only real issues are login screens where you are surprised by the layout (windows will use dvorak when locked but not when logging in) and companies that don't allow installing my own custom driver (needed for when I type in Polish). 20 years ago I would be scoffed at if I left server console in dvorak but I haven't used any server physically (not remotely) in over a decade.
Hard to "hack" your machine by typing things when you step away for a minute. Also makes it harder to capture your passwords by looking over your shoulder...
I can haz {ip, ptr, trace, treceroute, epoch, proxy}
Prosecutors had omitted to reveal to Mr Dixon's defence attorney that a gunpowder test on his client's clothes had come back negative.

Sounds like they knew he wasn't guilty, but didn't care?
All greatness depends on the context.
> We seem to think that once a proof is published in a reputable journal then it is definitely true, but really we should only think "a small number of qualified people have read it and think it is fine"

This same could be said of many other professions, medicine and psychology to start. It seems a related manifestation of the Gells-Mann Amnesia.
Keyboard layout doesn't matter for typing speed. There are endless videos on YouTube of people typing 90+ WPM with two fingers. I use Dvorak at home because it's more comfortable and I hope will prevent RSI in the future. I keep my work laptop in Qwerty because sometimes other people have to type on it. I switch between both layouts with ease. My Qwerty typing speed is slightly slower, but that has not had material impacts on my work. I much more enjoy typing in Dvorak. Everything in this article is a non-issue, and for the biggest reason for switching, preventing RSI, he admits, "it might be worth a shot."
The Wikipedia article on the heat equation has a section on using Fourier series: https://en.wikipedia.org/wiki/Heat_equation#Solving_the_heat...

I assume that except for the adaptation to modern notation, the general idea of the argument has been preserved.

Note that sinusoids are only used because they make the calculations convenient, and not because of the day/night cycle or actual sinusoidal heat distributions empirically observed in nature.
Those, in a way, seem even worse compared to a system based on reference points. Where is G2HR+GW2 in relation to G2HR+GWD? Couriers in locations that use this system would need access to decode that into something that they can use to find a location, and people at locations would need a way to encode their current location. The current zip code system in the US is similar, with the exception of having been in use for about 50 years, and the number being relatively easier to remember.
Amazon just showed how serious it is about owning the smart home
I've always had a dream of writing an OS plugin that would determine if you're typing QWERTY of Dvorak from your pattern of keystrokes and then switch over to the appropriate layout. V2 would go back and fix your garbled text.
At some point you just stop using other people's computers or having to share yours with anyone. It's not necessary nor productive for software development.
I will definitely blog soon, may stream soon as well although it would be more of a coding stream than anything else.
1st International Conference on HCI for Cybersecurity, Privacy and Trust [pdf]
Per Peter Scholze (from https://galoisrepresentations.wordpress.com/2017/12/17/the-a...):

>One final point: I get very annoyed by all references to computer-verification (that came up not on this blog, but elsewhere on the internet in discussions of Mochizuki’s work). The computer will not be able to make sense of this step either. The comparison to the Kepler conjecture, say, is entirely misguided: In that case, the general strategy was clear, but it was unclear whether every single case had been taken care of. Here, there is no case at all, just the claim “And now the result follows”.
Doing daily exercises for the hands and wrist solved my issues.
Been true for a while. I hapoen to have married young. Found her got lucky.

My unmarried peers did get less consistently. The implied family responsibility seems to carry weight as does the perception of stability.

Both were reasons given for my comp at the time.
The really interesting case here is Voevodsky, who found an error in one of his own proofs many years later and then got interested in foundations of Mathematics and automated proofs. Homotopy type theory is an interesting development, particularly if you are into programming languages.
Who is drinking the most? The drunkest – and driest – cities in America
Hmm, we have name (enter as many as you like, Li Pong Tai if you wish), address, country (select, excludes Kosovo and Western Sahara and other territories pretending to be countries), phone and email fields. Email is verified with a code. Forcing a certain format very rigidly is bad practice. Like first name, last name or state, city. What if the customer is Korean or lives on a ranch in the countryside or is a ranger and uses their work address? Or worse, lives in the Medina in Morocco.