skysight-inc/HackerNews huggingface dataset:
> I think something like this would be really useful. I've seen services that provide this via a 3rd party hosted service but I don't trust someone at some random company not to read my messages.

... do you know how SMS works? Specifically that it is sent in plaintext for anyone who cares to listen anywhere along the path?

Maybe try Signal. It has a desktop app.
Yes, basically an institution is a long-lived collection of people, with at least some parts of it with extremely slow turnover of people. This is where the deep knowledge lives that can sustain large projects. An institution also implies to some extent a culture too - a set of shared practices unique to that group that foster a (hopefully) good environment for the project to develop.

It is interesting to note that, broadly speaking, the world is becoming de-institutionalised. Talk to any older academic, engineer, doctor, etc., and they'll tell you that less and less people are interested in settling into a job for the long-term - for maybe their entire careers. The gig economy is one end of the scale, but it's happening across the board, and it's having many detrimental side-effects (talk to any older academic, engineer, doctor, etc.). Many of the more successful software companies today foster an institutional environment - one with a strong identifying culture, making it a more difficult place to leave (e.g. Google).
What were they testing? If users would notice the throttling?
Not to say this is good - but mobile traffic has always been exempted from the proposed NN rules from the FCC.
I completely agree with you, but to be fair, magic it is really convenient to use. But then again, it doesn't really try to "hide" git's workflow as much as other tools do.
I was thinking it might be closer in spirit to AMD's APU which combines graphics and compute onto the same chip.
It's also an ml package for r www.h2o.ai
> I don't get how you can not. Workers fought and died[0] for the protections the United States enforces. Why do you think that is? Because they were tired of racing to the bottom!

People fought and died for to expand christianity in the world as well. How can you not believe in god?

There are many things about the era of unions and worker rights that to my personal level, require a scrutiny I dont have the understanding and knowledge to disentangle. The increase of wealth and people's welfare might as well have happened in spite of worker's rights movements. Also, the greatest terrible thing about that era was that the state was participant in the oppression ,by using violence against workers. (At least it was so in argentina). Thats a great case for unionization, but not for workers rights, since the oppressor is the one that puts the rules.

The United States has some of the most rudimentary worker laws in the developed world, yet many jobs (like soft dev) tout great benefits like paid leave, extra pto etc. What increases worker well-being is the creation of wealth, not the mandatory legal requirements for it.

> just isn't correct. For example, one of the other top comments in this thread is specifically about how gig labor probably won't work well for most software.

That's pretty much an opinion, and software is not everything out there.

> That's a pretty interesting assertion. I could just as easily say the opposite.

I dont see how it would be opposite. Lower worker times means lower production, which means lower goods and services to consume. No matter what you do with the currency, reducing production makes the whole poorer. There are some arguments around this topic like reasonable work-times increase productivity and spending and all that, and they are believable to a certain extent, but the basic mechanic has to be the before mentioned.

To be honest, I always perceive that issue as a problem of perception of distribution. In a system of 10 workers, where each has the same output, if one of them were willing to work 60 hours over 40, he would make relatively more than the other workers and that causes a perception of inequality humans are inherently against. The 40 hour worker now also thinks(correctly) that his wage would go up if he could force the 60 hour guy to work 40 hours. But he believes this is good for him, which it isn't, because even he would be relatively worse, he would be absolutely better.

In economics, what you dont see often has a more profound effect that what you can see.
> I've had interest in writing native Windows (desktop) apps in the recent past, but the confusing messaging/lack of commitment to any particular direction was a real turnoff.

Seconded. The previous times I wanted/needed to do Windows development, the first step was ridiculously simple:

BUY book
FROM bookstore
WHERE author = 'Charles Petzold'
AND title CONTAINS 'Programming Windows'
ORDER BY publication_date DESC
LIMIT 1

Heck, that even worked when I briefly thought I'd need to do some OS/2 programming. Just change 'Programming Windows' to 'OS/2 Presentation Manager'.

Nowadays, that gives "Programming Windows Sixth Edition", from 2013, which "focuses exclusively on writing Windows Store applications", for Windows 8, almost always in XAML and C#. He says that "Plenty of other books already exist for writing Win32 desktop applications, including the 5th edition of Programming Windows. I’ll occasionally make reference to Win32 API and desktop applications, but this book is really all about writing new Windows 8 applications".

If I use this book, will it work for Windows 10 also? Are these applications only distributable via the Windows Store or can I host them for download from anywhere? If I want to distribute an application through the Windows Store does it have to be this type, or can I also distribute Win32 desktop applications via the store?

I have one specific application I miss from my old 3rd generation iPad that I have not found a good equivalent for on my Surface Pro 4, and so would like to write it myself, but I have not found a clear explanation of just what my options are, so have not started.
"Find" in Notepad does not wrap around to the start of the document, and has no option to do so, so in order to search the whole document you have to put the cursor at the start. That's bone-headed behavior and should've been fixed a decade ago.
Dude, you're leaving O(n^2) landmines in your code and you're now justifying
them by linecount and readability (actually more like familiarity with using
sets and mappings). You have just proved my intuition about your abilities.

Not to menion that:

> you suggest 'a. k. a. "dictionaries"' but that is slower

In what way you think mappings are different in implementation than sets that
makes them slower? They only need to carry one more pointer, and you're
already writing in a language quite detached from bare metal.

One more thing, since you decided to "correct" yourself instead of letting
the mistake slip: your "working" code is still wrong, unless something very
weird happens in the data (but then calling it more readable this way is
fundamentally wrong).
I am more sad reading that T-Mobile and Sprint are potentially merging.
It's an hour door-to-door from Menlo Park/Palo Alto to SOMA using Caltrain. People do that every single day. So a 1 hour door to door commute that extends the radius to 100 miles would be phenomenal in terms of opening up supply.
There needs to be a separation of the underlying technological fundamentals of ETH and its economic reality -- which is, like anything else, likely to go through bubble phases.
Via Is Hiring a Front-End Developer Intern
Front-end Developer at Via

Via is an early stage venture hiring for a Front End Developer intern to help build the first version of our site.

Via is a marketplace that connects top-tier talent with short-term work opportunities in growth-stage companies around the world. Think the Gig economy for high-skilled talent globally. We believe the way the world works is changing, and want to be the leading platform for young professionals to find impactful short-term work, and for growth-stage companies to have ongoing access to talent to execute strategic projects and take their business to the next level. The founders are recent graduates of Stanford MBA, and have experience building marketplaces and advising growth-stage companies around the world. We have over 100+ professionals, 50+ companies, and have made matches in over 5 countries.

As a Front End Developer intern, you will work with the team on the public-facing website (what we like to call V1.0 of our platform) that will allow talented individuals to work with growing startups around the world. Who knows, maybe you’ll become one of our fellows in the future.

Requirements:
- Advanced front-end skills in HTML/JS/CSS core (Angular, Python, NodeJS are a big plus)
- Have had experience with those skills building a website (better if the site was a marketplace).
- Passion for inventing the next working revolution.

Details:
- Start date: asap (as early as July 17th)
- End date: flexible (ideally 7-8weeks)
- Location: we are in the offices of our backers, Pear VC, in downtown Palo Alto, California - ideally in person, but will also interview for remote work if you can't move out to Palo Alto
Paid internship US work authorization is required to apply.
No specific prior work experience required

Please contact us for this posting (and with any questions) to: info@via.ventures
> the poor 18 year old 'hacker' who was stupid enough to email them

s/stupid/trusting/. There's no reason to think this guy isn't bright, and he's faced enough trouble without piling on.
Management often contracts out food service, security, and janitorial work. This means they do not qualify for perks that are described in the article. It also means they don't qualify for company picnics, etc.

Good managers will often do retreats, mixers, happy hours, etc. to encourage sales and accounts staff to mix with the engineers. I've never seen the same concern about how white collar workers get along with blue collar ones.

I understand all the above reasoning. I'm just saying it's not just a problem in personal interactions.
State of aarch64 on Guix
«I wouldn't be at all surprised if they bring the UWP platform to MacOS and Linux in the near future.»

Xamarin announced support for Linux and macOS at BUILD, and from what I hear most of the work is fairly far along (on GitHub).

So if Xamarin is the "React Native" to the UWP's C#/XAML platform, Electron and Cordova are still useful cross-platform runtimes for the UWP's JS/HTML stack.

I think the messaging from Microsoft seems pretty clear that web-based apps of all sorts (PWAs, Electron, Cordova, UWP JS/HTML, etc) are still welcome on Windows as "first-class" apps and that it's up to team productivity and preference which platform to use. It shouldn't be a surprise to see a bunch of Microsoft-built Electron apps now, because JS/HTML has always been in the UWP "big tent".

(There has even been some cool work done to bring more of the Electron apps more directly into UWP containers, and making them more directly first class UWP citizens, and I hope that work continues.)
both of your comments reminded me of the 'the parable of two programmers' [0] (not original). While I disagree on the concept described that each programmer was 'productive' in writing 'lines of code' I think that the lesson learned is more about approach and how solutions should be evaluated.

[0] http://www.bruceblinn.com/parable.html
Just curious - Why do you assume that's due to congestion and not to the same type of intentional throttling being discussed here?
People using policies in abusive unintended ways, this, is why we cant have nice things.
The housing supply obviously isn't the main problem as the bay area techies can afford to pay it. The core of the problem is the wage disparity between techies and service workers.
Derek Bodner, the best beat writer (imo) for the 76ers, split with Philly Mag and seems to be doing fairly well on Patreon. https://www.patreon.com/derekbodner
> I provided more evidence on the bandwidth requirements than your incomplete understanding of how bitcoin works multiplied by your flawed opinion.

No, you didn't. You didn't confront my numbers for syncing, you for some reason think the option to pay for a cheap VPS to run a node is centralization. You also seem to that a single node is uploading to 8 people at all times, no more, no less not to mention that your assertion revolves around thinking that 48KB/s to run a full node is a lot when hundreds of millions of people can do that now with their home internet connections, not to mention buisnesses. Kids are running around streaming live video from their phones, how can you cling to such nonsense and why won't you confront it directly?

> No-one is forcing you to use it. There are a multitude of other options if you feel that bitcoin isn't meeting your use-case.

So instead of confronting these absurd statements, you say 'then don't use it'. This is about whether what you are saying makes sense and so far I haven't seen anything more than trying to avoid the simple numbers that make the answer obvious.

> I provided evidence that backed up my opinion. You should try it.

I'm not really sure what you want or how you can say that. I've broken down the numbers for you in terms of bandwidth, people that have access to that bandwidth, previously running systems, and widespread use cases of other technology that already uses more resources.

> Nah. You can use another service if you feel that the 10's of thousands of nodes somehow don't have a better understanding of the constraints of running a node than you. No-one is holding a gun to your head. Ever heard of Bitcoin Cash? Perhaps that might better suit your needs.

So anyone who can do simple math and questions bizarre statements should 'go somewhere else' ?
No one's stopping you. Paint.net and Paint 3D both take only about a second, though.
More cell towers and more spectrum allocations?

Japan seems to be doing just fine with high density, high bandwidth mobile usage.
> Yet, everybody's stuck with 1,6,11

Reminds me of:

https://blog.xkcd.com/2009/09/02/urinal-protocol-vulnerabili...
Improve the infrastructure.
Very cool work. How would someone use this with their own song?
> And yes, I still miss my 1/8" jack on my iphone. Every single day.

Agree. I bought an iPhone 7 and now I never listen to music or podcasts with it, a very unexpected side effect of not having a headphone jack.
Does anyone else here remember the little booklet that came with Windows 95 where they showed you how to produce little projects with Notepad, Wordpad and Paint?

The idea being that even with the bare OS, you had a few tools to work with and some tutorials that exposed features of the OS in a systematic way.

Anecdote: I'm still to this day showing colleagues at work the wonder of the Windows button and the power of Ctrl-Z, Ctrl-Y and within a document window Ctrl-F.
So here's a pretty cool thing using ShareX:

http://i.imgur.com/5WEnr6b.png

Ok so it's another screenshot tool. Capture all, a window, a selection, etc. Bind global hotkeys.

But where it really shines is the easily configurable "after capture" and "after upload" toggles. In the screenshot you can see I have: copy to clipboard, save, and perform actions turned on. The first is nice because I can easily paste into Slack. The middle is nice because it goes to a particular directory and I have history. But the latter is something I just turned on to show you how it can easily open the screenshot into mspaint.exe for you.

https://getsharex.com/

https://github.com/ShareX/ShareX/
Even that's only scratching the surface of how awful Solidity is. An example of minor security detail straight from the documentation is this:

for(var i=0; i<arr.length; ++i) {

Solidity is a "statically typed language" with "type inference". In most of these, you'd expect i to be typed as whatever the type of arr.length is, but Solidity does not care, it sees `var i = 0`, 0 fits into a uint8 so a uint8 i is, it'll get promoted during the comparison and if arr has more than 255 elements it'll overflow and the loop is infinite.
The use cases are pretty varied. We're using some for a medical study looking to see if the HL can help lessen pain through distraction (tested against normal distractions like iPads). The HL is nice, as it lessens incidents of simulator sickness. We're also trying to get the thing to be used to scan the homes and backyards of long-term stay patients so that they can 'go back home' for a little bit while hooked into the hospital. Honestly, in our experiences, it seems like the best use of VR is 'live' events like concerts, sports games, minecraft, etc.

As an aside, you know you are a real adult when you are given the HL for the first time ever, full of 3-d potential and amazing sound and all the coolest things your 10 year-old-self could think of, and you immediately dive into the wireless and firewall settings.
> ... do you know how SMS works?

Yes. Does making a bad situation worse help anyone?

I'd use Signal/RedPhone if even 5% of my contact knew what that was.
Late response, but: coq has the optional verification that you're proposing. :)

In my experience, Coq is not significantly harder than OCaml to write unverified code in. It's missing some nice shorthand syntax, but other than that it feels pretty similar.

With coq, the main challenge is expressing things that are meant to "run forever" (any truly unbounded recursion)--but my understanding is that would be forced to halt when it ran out of ether (so it's bounded anyways, and if you needed to you could probably explicitly hand that fact to the compiler)--and I think you probably don't want something to loop indefinitely if each iteration costs ether.

The main issues with coq that I think you'd crop up against are things that a good optimizer/compiler could probably help with (e.x. things like the fact that integers are naively represented as cons cells, so addition is O(n) and multiplication is worse). However, I haven't written any smart contracts, so it's definitely possible I'm missing something obvious.
The decal might be a bad idea, but having trucks display a video on their rear of what a camera sees from the front is actually incredibly useful. Who are we optimizing for now: The driver who wants to get from A to B or the autonomous vehicle?

[Disclaimer: Within a 1h radius there is not a single road with two lanes; without attentive truck drivers who signal when it is safe to pass I'd be spending at least 4h more per week on the road.]
In NYC Verizon has an issue where they haven't purchased enough bandwidth into NYC from the Youtube servers.

I just turn on my VPN (VyperVPN) which has great bandwidth to the YouTube servers and I get crystal clear 4K streaming. It's kind of pathetic. I don't think they are deliberately throttling, its just that Verizon is being cheap and there is plenty of local bandwidth between VyperVPN's servers and my home, but not enough bandwidth between YouTube's servers and FIOS network in NYC.
There's literally only one time I've tried to use a Discover card and not been able to, and it was a local DQ franchise (yet they still took amex?). My wife's daily driver is her Discover It card, and even traveling to small rural towns she's never been in a situation where she had to break out her shelved Visa cards.
A lot of news consumption is driven by Facebook, and Facebook is pushing videos rather aggressively lately. It's very likely that these are related.
That's exactly what they're doing: http://www.businessinsider.com/verizon-netflix-youtube-throt...
Testing and monitoring in production – your QA is incomplete without it
Two takeaways, one from this and one from my other past experience.

First, when testing whether you can change a price and have a transaction go through successfully, RAISE THE PRICE. If you lower the price the affected entity may come back and say "See??? He's STEALING from us! Lock him up!" If you've overpaid for something through their web interface that complaint and issue goes completely away.

Second, if you're going to suggest that they contact you for assistance in fixing it also suggest other options. My typical handling for this is with hacked websites, so I'll basically say "Your website has problems X, Y and Z. You should work with whoever you have working on your site to resolve these. If you don't have anyone I may be able to assist you, or I recommend talking with a firm like Sucuri.net which has dealing with and preventing issues like this as their primary business. (My only link with Sucuri is having seen some of their folks do presentations at trade shows.)"
I still have my Freerunner in a box somewhere. So much promise...

I keep wondering if there's something I could do with it. At this point, though, it's probably more a historical footnote than anything.
Probably the Great Depression.
Here's a small discussion from 10 years ago: https://news.ycombinator.com/item?id=14388
Are you serious? Eich wrote it for Netscape in 10 days. If you want to blame anyone, blame those at Netscape who only gave him a week and a half. He did a phenomenal job given the situation.
Who Owns Lead Enrichment – Sales or Marketing?
That's a fair point. In a larger sense I don't see what difference it makes, but has less to do with NN than I thought.
They used customizable DSPs from Tensilica. I wonder if this is based on the same technology.
Agree. I actually subscribe to the Pittsburgh Post-Gazette because of their sports beatwriters. I think they provide value to me. I would absolutely subscribe to other sports content that was of high quality and focused (mostly) on the team or sport I am interested in.

As an aside, some of the highest quality stuff I see is from bloggers/amateurs who follow sports and write about it as a hobby. There are people who write a dozen or two articles a year with incredible breakdowns containing numbers, vidoes, strategy, etc and it is incredible.
In summary: wages have not kept up with dramatic cost of living inflation. A very common story on the west coast.
Yeah, I have gigabit fios and I was getting like 250mbps on that test (I have a 300mpbs wifi connection to the router)
I'm guessing it's close to the tpu design, ie a systolic matrix multiplier.

Other possible candidates include INT8 DSPs
That's massive overhead for managing a set of tabs which is exactly what Firefox is trying to avoid.
I would love to see something like this but for MOOCs. Some of the bigger sites are already doing this with micro-degrees on specific topics. But it would be great if anyone could mix and match the best or most relevant videos from different courses to create a meta-course.
The calc from Windows 7 also did conversions while being really quick to load and have tons of keyboard shortcuts.
I don't use it, but your question made me think of one: I would like to see it (mis)used as a way to bring up an operating system.

It probably will require quite a few changes, but if the /proc file system exposed running processes by name, and contained a file for each port that something listened to, one _could_ run make on that 'directory' with a makefile that describes the dependencies between components of the system.

Useful? Unlikely, as the makefile would have to describe all hardware and their dependencies, and it is quite unlikely nowadays that that is even possible (although, come to think of it, a true hacker with too much time in hand and a bit of a masochistic tendencies could probably use autotools to creative use)