skysight-inc/HackerNews huggingface dataset:
I am not a mathematician, but I know that at least in standard mathematics it is fairly ill-advised to treat infinity implicitly as a number. Doing so can result in various contradictions (two different seemingly valid solutions to a problem). It should be thought of as a property of a process, i.e. for any number x you can change the process so that it results in a number greater than x. One example of infinity might be: "Think of a number which you are allowed to change after each number I suggest. If for any number I suggest you change it for a bigger one, then what you think of is infinity."

Chapter 15: Paradoxes of probability theory in Jaynes's "Probability Theory: Logic of Science" is a great reading on the topic (you can find a pdf easily on google). It starts with a quote from Gauss:

"I protest against the use of infinite magnitude as something accomplished, which is never permissible in mathematics. Infinity is merely a figure of speech, the true meaning being a limit." -- C. F. Gauss

Anyway, there are plenty of theories in mathematics which use infinity implicitly, but one should perhaps be cautious.
Could you please elaborate on why Processing is easier to use over OpenGL wrapper like LWJGL? You still have to write OpenGL shaders to get the desired visual, right?
bc works well for me.
See http://phodd.net/gnu-bc/
Two types of minimal computing - don't get them confused:

There's "pack as much power as you possibly can into a minimal computer" - that's raspberry pi.

There also "drive tiny, minimal CPUs to do amazing things at the edge of their specifications cause it's cool and fun" type minimal computing - that is this device.

People who don't understand the distinction will always say "Huh? Why is this interesting? I don't get it.... a raspberry pi is the same size and more powerful."

If you really want to be knocked out, see how the ESP8266 CPU in this device is able to generate a wireless NTSC video signal with zero extra components https://www.youtube.com/watch?v=SSiRkpgwVKY and then the next level Charles Lohr takes it to color https://www.youtube.com/watch?v=bcez5pcp55w

Put another way, the ESP8266, with nothing more than a wire connected to it, is able to generate a broadcast TV signals and display 3D graphics on that broadcast TV signal.

The ESP8266 was also tested by Charles Lohr to have a wireless CPU to CPU range of 1 kilometer https://www.youtube.com/watch?v=ekSsi83-x8M
Fancy word for the smell after it rains:

https://en.wikipedia.org/wiki/Petrichor
Except there are things called natural monopolies. See: Railroads, water, electricity, telephones.
Well, Cantor's diagonalization argument can be used to prove the Halting theorem, which is another problem that is easy to state and is very interesting to think about.

The notion of the cardinality of sets comes up everywhere in mathematics, and often enough you end up showing that something holds up to a countable number of exceptions. These two kinds of infinities - cardinality of naturals and reals - are so pervasive, you can't get away from them.

But you can do a lot of math without ever having to deal with the ordinal numbers.

For that reason, cardinals are more interesting to me - not just as a concept in and of itself.
> Underneath the hood, Logitext interfaces with Coq in order to check the validity of your proof steps. The frontend is written in Haskell and Ur/Web

I wonder why not Agda? Or if Coq then why not OCaml? In both cases it would be easier to upstream parts of Logitext in these projects, benefitting everyone.
The approach in this article is to give a "technically unimpeachable" definition. It doesn't involve any lies.
While compromising may have worked in the past, each year brings a more polarized situation where each party is less willing to compromise.

> Like have the house and the senate controlled by different parties, or the president and the legislature different parties, etc, etc.

This two party system makes it too easy for one party to control all 3 branches (like now..). Having a true multiparty system (>2, preferably more) forces compromise, because you wouldn't have a government without it.
I think registries like this are hard to fork because there is so much buy-in required from a critical mass of users for any change.

I think we are better off with some sort of community consensus protocol and the only benefit of giving away “$10m” is to gain even more money for the developers. Standards should be open or driven by a commodity cost model, not a “inventor gets rich” model. Their plan accounts for plans when the chain value is over $50B. That is unlikely, but it means there’s a model in the developers plans where $7B in value is held by the developers and investors.

DNS and other Internet standards never would have succeeded using compensation models like this. I can’t think of any RFCs that would have such payouts for the main contributors.
Scrum is all about implementing a system and then adapting it over time to fit your needs. It's all about having the team figure out for itself how to organize. It's not a rigid set of requirements. It's a set of suggestions about how to begin implementing the system, and then trusting the team to figure out what to adapt and what to cut.
Modo Labs | Various engineering and design roles | Series B | Full-time | Greater Boston Area | ONSITE

Modo Labs is a mobile software company that spun out of MIT in 2010. Our customers – including many of the world's top universities and Global 1000 enterprises – use our technology to create iOS, Android, and web apps that transform life within the organization by keeping users informed, connected, and successful.

Our products are built on a variety of stacks including PHP, Ruby on Rails, Serverless, as well as native Android and iOS. We have an engineering team that is friendly, respectful, and encourages learning.

We currently have multiple open positions on the engineering team as well as a senior UI/UX design opening. See our Careers website below for specific job descriptions. Even if you don't see a job description that perfectly describes your skills, we will talk to engineers with any combination of Ruby, JavaScript, PHP, iOS, Android, devops, and data engineering skills who are interested in the things that we do.

Apply online at https://www.modolabs.com/about-modo/careers/

The interview process usually involves a 30-minute phone call and 3-hour in-person interview.

Email us at careers+hn@modolabs.com if you have any questions.
Out of curiosity, did you use ManyPixels for the design?
More competition is good news. Even if Google doesn't push Google Fiber hard enough, it serves as precedence for other competitors to come in.
My coworker Liv designed that! I don’t know the original purpose but it’s a fun project.

I’ve also got my own open source Rover design if you like this kind of thing:

https://youtu.be/DXPmqCd0r04
It's always written cursive, i.e. the letters are joined together. The letters represent sounds. A letter has the same sound regardless of context. Vowels are divided into long and short ones, and the short ones aren't written. I.e. the word "(he) wrote" is pronounced kataba, with three short a-sounds, is written ktb.

You can write out the short vowels but it's only done in special contexts (like children's books, books for foreign language learners, or the Qur'an). It's easy enough to read if you know the language, but it makes it a little harder to learn.
I believe that is vastly over exaggerating "save the world in the few decades". Do you have trustworthy scientific research to suggest the world is going to end in a few decades if we don't find "100% renewable energy"? I'd imagine that would be headline news.

I know that I am being tongue and cheek, but that's the point. Fear tactics to push political or economic agenda should not be tossed around so casually (absolutely on both sides) without scientific data.

Furthermore I believe the US government is horrendous at spending money and innovating, so I'd much rather leave energy solutions and innovation up to private companies. Do you honestly believe that big oil and energy companies are not working on this? The first one that crack the 100% renewable nut literally will be printing money for eons.
Heineken signs $3 Billion deal with China's biggest brewery
well, thanks for giving me impostor syndrome
China usurped by Japan as world's 2nd-largest equity market
We have it right before lunch
"All sixteen workers who had participated in the program said delivery of five packages would generally take them more than two hours to complete. If a worker drove 10 miles to drop five packages, that would earn them $15.40 in compensation per package and fuel, before overtime pay."

They clearly just dont have the density of orders for this to work. Theres videos on youtube of the amazon flex app, a 2 hour shift with a car full of boxes is mostly within a couple of blocks.
Tesla shorts lose more than $1B on post-earnings surge
FBI arrests Chinese-linked GE employee for steganographic theft of secrets
Are you, or are you not, a big fish? O:-)

You'd think you wouldn't get tangled up in a BLP debate like that. %-/
Interestingly, the person used steganography to exfiltrate the secrets in landscape pictures.
Is this kind of "brainwashing" advertisement an ineffective way to promote a company?
Is this truly significant, or is it spin to sell a city? Not to be harsh, but I've read the accounts of Canadian expats on the comparatively low wages back home. Not SF low, but low even compared to other cities in the U.S.
Tim O‘Reilly on why the future doesn’t have to suck
Antoine de St Exupery; quoted in the article :)
I think the author missed a level - stop working tomorrow and have no worry to carry on with life.
> I live in a country with no net neutrality laws but reasonably healthy competition between ISPs (New Zealand) and it seems to work out alright.

New Zealand doesn't need net neutrality, because it has something better.

In the US, the ISP is one company that owns the lines and sells its services to customers. They also typically bundle cable tv packages. Many customers are serviced by only one or two ISPs. Setting up a competing ISPs requires laying new cable/fiber.

In New Zealand, the ISPs and the companies which own the lines are different companies (as enforced by regulations). ComCom also regulates the price that the line company can charge the ISP.

This makes setting up a competing ISP easy.
Buy some capacity on international fiber links, set up some routing equipment in a peering exchange and contract Chorus/Enable to hook up your customers.

Incidentally, this is how power companies work in NZ too. There have been quite a few new retail power competitors launched over the last 10 years.
I'm not sure you and the parent disagree much.

"Engineerings excellence" might well describe a product that performs its function reliably with a minimum of intervention or fuss over a long period of time. When something "just works" like this, it's an achievement.

"Engineering excellence" might also describe the "sheer will" combined with expertise and carefully chosen tradeoffs that makes something as unlikely and amazing as the SR-71 possible at all. The parent seemed to exclude it from excellence, perhaps on the grounds that it doesn't meet the criteria I describe in the previous paragraph, but it seems to me they're talking about the project with respect for what they were able to accomplish, and if so, this is essentially a semantic point about whether any engineering operation worthy of respect fits in the box of engineering excellence, rather than a question of whether the SR-71 was amazing.
They pay taxes, shouldn't government take care of these issues? Isn't that what governments are for?
Cadillac's CT6? Yeah, I speed away every time I see one.

But there's no need to pick on GM, they all have self-driving tech capable of killing you.
They also had the $9 bare-bones version, more comparable to the machine form the article.
They wouldn't be able to immediately route any TLD anywhere they'd like, but they could certainly screw with the network.

They would have to expend hashing power solving a previously solved block puzzle while continuing to build the blockchain off their new branch and ensure that its total difficulty is greater than any competing chain.

So suppose you immediately buy up TLD "foo", get a single confirmation on it, and publish it to your fanbase. The 51% attacker would be able to a) use their hashing power to publish their different solution to the block where your TLD got included, b) include their own purchase of "foo" in their alternate block, and c) continue building on their alternate chain to make it the canonical state of the transaction db. So your fanbase would look for "foo" and get the attacker's zone.

However, if we're five years into Handshake's existence and you hold one of the very first TLDs published in their blockchain, the attacker cannot immediately take over your TLD. They'd have to go back to the block where you made your purchase (or I guess when you renewed) and solve puzzles all the way up until the total difficulty of their chain exceeds the current canonical chain. Which they can do with 51% given enough time.

Also note that an attacker can begin/develop a 51% attack without publishing anything at all to the network.
GP has done a great job of convincing me not to ever look at their product, so at least there’s that.
https://news.ycombinator.com/item?id=17672415
Yes, various companies are in varying states of readiness in various jurisdictions.
If Google were doing something malicious that caused real and important harm, I'd probably agree with you that what they were doing was wrong. I don't see the harm here, and I don't see malice. They weren't doing this capriciously, they were doing this at the behest of a nonprofit created by the community.
>>Verizon supported OTMR,

hmmm... The "Former" Verizon Lawyer supported Verizon's position.... I am shocked I tell you....
Kids standing around checking phones or kids talking to each other. That the basic choice. The trade off of some small convieneice seems worth while.

If hadn't thought about it much, mobile phone didn't exist when I was at school. However I recently visited a school as a prospective parent and they had a strict no phone policy. Locker or lose it. After listening to the principle talk about the problems they had with bullying, distractions, social status, I'm supportive.

I can see that not being able to co-ordinate activities could be a non-trivial inconvenience, though.
In Canada, salaries for tech seem to normally max out around 100k for developers (with exceptions for working for big US/multinational companies like Amazon, MSFT, etc.). Even 80k is pretty common for senior developers... In Canadian dollars. So around 80k USD is max a Canadian developer can expect to make other than a few unusual cases thrown in there which might go as high as 130k CAD so around 100k USD is a stellar Canadian development salary. If you compare this to how H1B workers are paid in the US, it's around those sorts of rates. I don't see it improving any time soon because the revenue that this work generates is not 10x multiples like you see in the US. Canada does not have the VC culture to support a tech culture that produces 100s of millions to billions in returns. If US companies come looking for remote workers they are looking to pay Canadian rates and save money that way.
One can point to the 24-hour cycle media viciously vying for eyeballs, and the litany of pseudo-news outlets that have gained widespread audiences and which peddle in division for a major portion of the cause. The electorate are being manipulated by our own. Unless the media on all sides walk back the rhetoric it will only get worse in the years to come.
IMHO, the United States lacks a true left wing party and the Democrats are the party of moderate regulation/legislation (which is unfortunate for a number of reasons).
Lots of modern TVs have composite video ports on the back.
> I wanted the team to know I trusted them.

This can be very powerful. People will often rise (or sink) to the level corresponding to how much you show you believe in them.

Imagine you hand someone the reigns and say, "Here, take over this for me. I know you're going to do a good job." And you sincerely mean it because you've bothered to understand them well enough to know that they can. In a lot of cases, you'll be amazed at what they will accomplish. They may even be amazed too.

Often, forming good, healthy relationships and building people up is what's really effective at getting people to get stuff done. So many of the other things people do (endless status reports, procedures and methodologies du jour, applying pressure or creating fear, etc.) are really just bandaids to attempt to force productivity to happen when it's really not happening because the basics haven't been covered.
Why couldn't this be re-used to some degree for a rover in non-Earth with tougher, more resilient hardware?
I'll admit, this one surprised me. I didn't expect the new admin to support it.
h1b are just slaves
My first attempt at a professional portfolio: http://bradbain.com (or bradba.in)

I’m pretty proud of it, but I know things can always be improved. The portfolios shared in this thread though provide such inspiration!
It's interesting that the rover code itself is written in python. That makes it more approachable..
In my experience, at least at bigger companies, standups are there to justify the project manager’s job. It’s for them to tally that everyone is doing their work. Simply, they see that the team wishes to meet for development purposes and it gets co-opted into a status meeting.

I find that small business gets it right more often because there is simply less bureaucracy and developers are much more trusted.
> The other kinds of infinity - cardinals, for example - are encountered early on, and there are things you can do with them.

There's plenty you can do with ordinals too! Being able to interate a function transfinitely many times can be quite useful.

> So, I might be biased in that, but I think that the cardinals are the most playful type of infinity.

Definitely disagree. Once you know the basics, doing things with cardinals tends to be either boringly easy or impossibly hard. Ordinals, on the other hand, you can just play around with and actually get somewhere.
As a Canadian tech guy who travels to Silicon Valley and Seattle fairly frequently the impression that most US techies have is that Toronto is an awesome place to live, but it is not (yet) a magnet for top talent.

There are many amazing startups at any given moment in Toronto... but many of the folks involved have their sights set on FANG.
And just to stay meta, here's Peter Norvig's review on pg's "On Lisp" [1].

[1] https://www.amazon.com/gp/review/RRFAH7G81ASUL?ref=pf_vv_at_...
The BaseJump Manycore Accelerator Network
If daily standup has any role whatsoever in those questions, your process is horrifically broken.
This has literally nothing to do with the OS. You're simply hijacking the thread to rant about your love for Linux.
They aren't two extremes. Democrats are somewhere around center. It's just the spectrum in the US is shifted vastly right as a whole.
I like that "Google" links to google.com, so there's no confusion!
I made a cartoon maker that allows the mashup of memes:
https://www.superanimo.com/

I'm making a bet that the future of memes are short videos that tell more of a story than a simple image macro. Hopefully I can turn SuperAnimo into an app someday but right now it's just a buggy website no one uses. It's still my favorite project though - so I'll keep plugging away at features and maybe one day I'll get some users.
While I get where you are coming from to some extent and partially agree, as someone who’s also a certified scrum master, if there are a lot of discussion going on in your stand ups, you are doing it wrong too. The point of standups is to be quick update, with follow up discussions if something needs more depth.

The best practice is for each person to answer the following three questions:

1) What did you accomplish since the last meeting?

2) What are you working on until the next meeting?

3) What is getting in your way or keeping you from doing your job?

Further, if your team is having discussions that aren’t relevant to everyone at the standup, then by definition you are doing standups wrong.
> Azure is more popular in large enterprises

The Azure-branded swag is certainly popular in large enterprises.
Yes. Google seems to think that a single video totally changes what you prefer, especially if it is some popular topic like politics or music. OTOH it'll take a lot of ted lectures and programming videos to make your feed more oriented to words those. Is it me, or does anybody else notice this?
If you think this, their only actual plan will be to leave the company as soon as the opportunity arises.
The biggest one is a marketing problem. Nobody will advertise unless your network delivers traffic, and no publishers will sign up unless you have advertisers. If you can figure out a way to pay publishers until you actually start selling ads, you could do very well.

On a technical level, security will always be an issue. Someone will try to turn your network into a tool for delivering malware. If you don't stop this, you're fucked.

Other technical problems like scaling, delivery and providing metrics are all solved. And, you'll have to decide early on whether you want to create fake traffic, ignore it or try to stop it.
Hi James and William - congrats on founding Federacy.

I'm the CEO and Co-founder of Cobalt.io. I love startups and it takes a lot of courage to get going, so I applaud you for taking the leap and helping innovate in this space.

We started building the Cobalt.io platform back in 2013. We originally started as a bug bounty platform and since then evolved into a Pen Testing as a Service platform [PTaaS] over the last 5 years.

During this evolution I did a lot of thinking around crowdsourcing freelancers for security testing. I'll recommend these two blogs around how the market has evolved over the years and the different cases where bug bounties make sense vs. pen tests and vuln assessments.
- https://blog.cobalt.io/deconstructing-and-rewiring-bug-bount...
- https://blog.cobalt.io/the-third-wave-of-application-securit...

I believe you are in the bay area. Feel free to ping me at linkedin or twitter and I'll be happy to meetup.

Cheers
Jacob
Yes, S3 + CloudFront. I host a bunch of domains, including few whose properties/IP/company was acquired. The monthly for the static hosting is less than a dollar a month.

Cloudflare > CloudFront + S3 (sometimes just S3 responding to Cloudflare's request). I could have done Route53 but I've lots of other domains managed by Cloudflare.

I have a single instance Jekyll setup that spits out a bunch of index.html files for all the domains, including my primary personal[1]. To automate further, the setup runs within a few NPM modules, and gulp does the compile and build. When I need to change/update something, I let it build and then deploy to the primary S3 Bucket. The deployment is done with the S3_website[2] Gem.

Been running this setup for over 3 years or so. I can strip away everything and just stay with the minimal Jekyll setup and manually upload the files.

1. https://brajeshwar.me

2. https://github.com/laurilehmijoki/s3_website
I’m confident I can identify some interval at which you don’t want to explain or share, either. For example, every 30 seconds.

Explaining and sharing are important. The difference between micromanagement and management is, IMO, somewhere between daily and quarterly.
After the Microsoft buyout everyone is scrambling. Although the side effect of it still being there is that it's still there.

They got bought out a few years ago, and everyone responsible for the adware crap was terminated.