skysight-inc/HackerNews huggingface dataset:
See, I'm not an academic - proving that addition is commutative is not in scope for what I'm wanting to do. It is not a big leap for me to make that an axiom in my system, I'm almost entirely disinterested in trying to innovate in the pure theory of foundational mathematics. I find the theory itself extremely interesting but that's just not my path. I thought I was clear about what I was wanting to build - a practical system for categorising functions that can be shown to halt or not always halt, lumping everything else into a third category. Academia and pure maths just isn't for me, this is so I can build a language with minimal bugs.
Thanks for the response :) You can try out my electronic music course to see how the site works currently: https://sgef.cc/emus
I'd love some feedback too if you have the time to try it out. https://sgef.cc/feedback or here on Hacker News is good too.

It's been a long, iterative development process. I started back in April 2013, had the first go live in January 2016. Since then its been iterating and improving the software, getting feedback and making updates as I go. I'm a bit limited in how much time I get to spend on it due to having a full-time job. Getting more content is at the top of my list ( https://sgef.cc/wanthelp ). I really want to show what Sagefy -- and these learning ideas -- can do :)

Thanks again, cheers!
Just saw this. Absolutely. I'll email you.

My personal is kayce@basqu.es for anyone else in the same boat.
How common is this use case? How is it competitive to other methods, i.e. mailing a money order?
Interesting, I didn't realize that was done at scale... As the comment above me said, seems harsh to use CO2 for that...
A friend of mine and I, while on a road trip, thought it'd be cool if there was an app like the one described that tells you about what's grown in the fields and orchards you drive through out in the country. I decided against making it after reading articles about how there are actual orchard robbers and people who steal millions of dollars worth of almonds; I don't want to make it easier for criminals. But I still kind of hope someone else makes it because I'd enjoy it.
I think that proving I had zero intent of building the product in question is about as difficult (Or easy) as proving that I had zero intent of building any useful features for my crap-coin.
1. Loads of people and companies would set up Twitter clones/successors to try and cash in. Some of these would be federated/open source, some wouldn't, but either way, it's likely one or more would take off thanks to the Twitter refugees.

2. Existing Twitter alternatives would see a huge boost in popularity. Mastodon would get thousands of new signups in a matter of minutes/hours, and niche alternatives like Minds and Gab would probably see a fair bit of growth as well.

3. The media would panic as they realise the 'easy source of news' they've been relying on is gone and they don't know which replacement will take off yet.

4. Some 'lucky' alternative would end up attracting Donald Trump, and the popularity (from both fans and critics) would likely send the servers into meltdown. Given his political views, I can see Gab being the winner there.

5. The job market would see an increase in software engineers, designers, dev ops guys, etc if Twitter's workforce were also laid off/the company didn't exist anymore. It wouldn't be too noticeable (those fields are already super packed with candidates as is), but you'd see a small jump in numbers none the less.

6. Many, many news sites, blogs, wikis and forums would break horribly, since they used tweets as sources in articles and posts. Think the recent Photobucket catastrophe was bad? Well, the number of Twitter embeds likely dwarfs that by a thousandfold.

I think that sums it up.
The research is from Dawn Song's lab, and she's a established research that has founded entire subfields of computer security.

The blockchain space is often full of scams, but you can usually trust stuff backed by academic papers from established folks.
What industry has the highest revenue per employee?
So do cars in parking spaces.
The definition of empirical is: “based on, concerned with, or verifiable by observation or experience rather than theory or pure logic.”

Was there a salient point that you were trying to make or are you just going to continue to misrepresent definitions of words that you can easily look up for yourself?
Lunar mystery solved by recovery of lost Apollo mission tapes
This is a side effect of their execution model. If they had to dedicate one entire OS process to each execution, it would be significantly more expensive. They use V8 Isolates to sandbox the user code, of which you can run many concurrently in a single process cheaply.
This is your captain screaming (2005)
They don’t necessarily have to ruin HBO in order to compete with Netflix. They can expand HBO Now as a platform while allowing HBO to continue doing what they do best.
Hum...

It marks the failures found by the CLI compilers and linters, exactly like any "good IDE" out there. What IDE are you referring to?
Chicago was always highly planned and engineered, starting from the original street grid, to raising the street level, etc. http://www.encyclopedia.chicagohistory.org/pages/410050.html.
Many of them are investing because there is money to be made over the course of a pump and dump.

They don't actually want any pre-order tokens that entitle them to 2 GB of storage on a distributed crypto-file-system, or whatever the ICO promises.

Think ticket scalping, except that the tickets are for a concert that may or may not happen. (Because the band hasn't actually written any songs, found a drummer, rehearsed anything, rented a venue, or even bought any instruments.)
The problem is we are forecasting the future. Today Intel makes better product that their mobile competitors. However those competitors are making their product better and better all the time. Already companies are starting to look at those cheaper mobile CPUs and ask if they are good enough, some are answering yes, and there are signs that more will in the future.

For a long time intel could hold all this off - sure competitors were cheaper, but intel was enough faster that they were worth it just because you could get more done with them (time is money). However intel has been facing issues with the laws of physics that limit their ability to get better. As their competition catches up intel has nowhere to go.
its funny how this article confirmed your existing worldview and all they did was look at how active twitter accounts were.
I want crypto to succeed, but I have a hard time seeing the parallel you mentioned.
One example benefitted you personally, while the other is a good concept in theory.

In your example of the early internet (too slow to load webpage, to streaming video), you described a direct benefit you experienced personally (you needed to access a piece of content and it got that to you fast)

But when you use crypto, you said it's revolutionary because it "wrenches power from centralized authorities". That is not a direct benefit you experienced personally. That description is a high-level concept.

So, it's hard for me to see the parallel.
Barbara Oakley's course is so amazing! I think it's still to this day the most popular MOOC. Her books and articles are great too, like "A Mind for Numbers" https://www.amazon.com/dp/B00R5081JU
What do Stanford CS PhD students think of their PhD program? [pdf]
Not OP. In page rank you have a graph of pages as vertices and links as edges. In this case you'd want users as vertices and up votes as edges.

Page rank would give users a high score if they are up voted by other users with high scores.

I'm not sure if page rank can deal with negative weight edges for down votes but probably.
This guy has done a great write-up of that question:

https://hackernoon.com/ten-years-in-nobody-has-come-up-with-...
In another HN discussion somebody claimed that WSL was developed from the Android emulator. It makes so much sense that I don't want to doubt it ;)
Reading through your blog entry: "When the data to be processed is sensitive, Snark Infer will dispatch the task only to Privacy Shield Verified GPU providers." - can you shed some light as to a) what a privacy shield verified GPU provider is? b) how data sensitivity is specified or determined? (I did not see either mentioned in the docs yet)
That's not the distinction I'm looking for. I'm looking for a better term to describe the throughput the application would achieve if all non-memory constraints were removed. In the context of the article, the author is comparing the ratio of the "effective/observed bandwidth" and the "theoretical peak bandwidth", noting that the ratio is large, and concluding that he is not constrained by memory bandwidth. I don't know that this is a reasonable conclusion.

I'm looking for a different denominator, which is also theoretical. Maybe call it the "theoretically achievable bandwidth", which takes into account all the details of the requests. If the "observed bandwidth" equals the "theoretically achievable bandwidth", your only path to improvement is to change your data layout or increase the parallelism of your requests. If the "observed bandwidth" is less than this theoretical, there should still be room for implementation optimizations.

Falling short of the "theoretical peak bandwidth" (even by a lot) doesn't tell you which of these is the case.
All they did was look at how active twitter accounts were and then wrote about how things were performing in a 6 month long crypto bear market.

There is a lot of gullibility involved if this is all it takes to confirm your worldview.
That isn't a flaw, it's a constraint, which applies to practically all databases. Good databases are the ones that can optimize around these constraints for arbitrary data analysis and manipulation (e.g., by caching, read-ahead, auto-indexing, deduplication, aggregation, batching, contention-avoidance etc. etc.)

There's a lot more to data analysis than loading data off disk.
It's a bit awkward to attack Google for presumptively removing self-determination for "little people" after you start by criticizing a Googler for dissing "cultural elites". How dare they think they know what's best for you people! Only the designated elites know what's best for you people!

I'm not a particular fan of Google, I'm just saying if I lived in Toronto, my response would be shrug. You lived through Rob Ford, right? Was he a member of the "cultural elite"?
China has a history of invading its neighbors, and was the main disseminator of communism SE Asia, while the URSS focused more on the SW.
Simple is the property of microscale. You can have a class, function, module that is simple but the whole system can be incredibly complex. You can sacrifice simplicity in many places as long as things are loosely coupled.

Correctness can be only achieved if the programmer has a good understanding of requirements and posses necessary discipline to write tests. I cannot image system that maintains correctness without tests.

Performance usually is something that only good architecture can bring. I disagree with the article. If you focus on simple too much you will miss important requirements and you will make architecture choices that negatively impact performance. More annoying it the author is trying to create another silver bullet approach.

Simple/Correct/Fast - it depends on the problem you try to solve.
Past:

How to Analyze Billions of Records per Second on a Supercomputer

Present:

How to Analyze Billions of Records per Second on a Single Desktop PC

Future:

How to Analyze 5 Records per Second on Thousands of Machines Distributed Across the Globe Over the Blockchain.
HBO is too great to be ruined by AT&T.

Wiki says "HBO is the oldest and longest continuously operating pay television service (basic or premium) in the United States".

I'm not under estimating HBO. like the rest of the fear mongering I hear from my friends :)

AT&T doesn't' have what it takes to ruin it.
Seriously. I mean... Aramco was originally subsidiaries of American petrochemical companies which was "bought" by the Saudi Royal family effectively nationalizing it. This doesn't make any sense at all...
I realize you're joking, but from what I understand is that you would be motivated to avoid waterboarding, not to learn math, and your retention and knowledge would suffer (beyond doing exactly what is necessary to avoid punishment). When people abuse kids [EDIT: as punishment/motivation], what they learn is how to avoid the abuse, by hook or crook.
This is a very interesting project! Thank you for posting it.

Having read both this post and the documentation for TrailDB, I don’t think they are comparable past very simple use cases. This post seems to be covering a complete database system with a query parser, planner, and (previously?) a storage engine. TrailDB is more like a storage engine you can push certain kinds of filters down into, but performs neither query parsing nor planning for you.
Can someone explain why it’s obviously doomed?
I'm currently on a trip around the world by train and would love to use this. Currently 33 countries and 3.5 years in.
Ignoring tax evasion and other white collar crimes, selling drugs alone is a $36 trillion dollar a year industry.
The point is blockchain provide no additional value.
So true. Most of these ideas are all about setting goals for yourself and finding ways to keep yourself on those goals (Do one thing at a time, Make it Real, etc). I'm glad you're finding way to keep up with your learning goals! If you're into pop-psychology, Daniel Pink's "Drive" https://www.amazon.com/dp/1594484805 is so good!
Yeah I'd grab the URL and feed it to curl on the command line to start inspecting the HTTP traffic and start from there.
It does, they're trying to diversify their economy beyond oil. The IPO is part of getting capital for a sovereign wealth fund.
Sounds good to me. However I don't think you could pull it off - you could start but I think that you would be fired for non-performance before your efforts can actually make a difference.
Interesting article. Could have really used a family tree diagram to visualize the complex family history being described.
This is a great question. I would agree a lot with gnulinux here. I have a degree in physics and took some engineering class. In both the engineering classes and physics classes we talked about ethics, moreso in the engineering ones. We also had a required ethics course.

But I will add that another thing to help is to encourage it within your social sphere. This can easily be done by just asking your colleagues about their ethical concerns. You can also encourage this by talking about things that aren't your software. This helps everyone get in the frame of "I need to constantly think about ethical implications". Other people are talking about fear of being fired. While I think that has to come down to you and your ethical code/leverage, it is much harder to fire and replace a team. So I would actively encourage this kind of talk. Having worked as an engineer I can tell you that we constantly did talk about ethical implications of things that we worked on, things that our technology could be used for, and if other companies were doing ethical things. It's hard to draw the line sometimes, but the best thing I can think of is to constantly be talking about it and being aware that you have power.
No. I mean can you prove the damaging effects? There doesn't seem to be a unison there from what I found.

Do countries with high milk consumption have shorter life spans?
This was already HBOs plan before the merger was finalized (I interviewed there a year ago)
Thanks man.

This is basically been my understanding for a while.

Glad I'm 90% BTC and didnt fall for alt coin mania.
Scooters: a (small) feature within a large global mobility company.

NOT a business unto itself.
They're looking to hard core diversify, as is Saudi Arabia is very much a banana republic.
Some may be like Faxe in Denmark, which uses the CO₂ gained from brewing beer to make soft drinks.

(As I read somewhere a week or two ago.)
This! I learned more trigonometry in 2 weeks when I was tasked with a digital signal processing project than I did in years and years of (objective-less) schooling.

An important addendum to this is that the objective has to be closely tied to the work — the feedback loop for learning and then seeing some results from that learning has to be tight.

I think this may be why in school grades were not a good objective, for me anyway. They were just too distant a reward from the work.
Every developed country which supports itself by selling bonds to pay for its expenses is effectively putting its economy "on the stock (bond) market"
They should tap HBO's expertise and connections to build a Netflix competitor while keeping the HBO brand premium. Flogging a racehorse to make it pull a wagon train will just end in tears for everyone. I bet the champagne came out in Los Gatos.
I love this quote. For computer scientists everything can be solved with an algorithm or AI. for lawyers everything is solved by talking about it in a court room.
Declassified videos of atmospheric nuclear tests (2017)
It'd also exclude anyone who wanted to host their own site, anyone who stuck with traditional hosting companies/services, anyone who used a service like AWS or Azure to host their site/app, etc.

If so, that'd certainly influence the results a lot, and alongside your examples of FAANG employees and large enterprises, make the survey seem a bit too biased to be all that useful.
It actually seems pretty savvy. If you are 100% consolidated in a single commodity it makes sense to diversify. Who knows what the actual numbers look like and if institutional investors can get confortable, but the article seems to indicate that they would raise 100b which means they are selling like 5%. So it doesnt sound like they are giving up control anytime soon.
How does floating their state business on the stock market diversify their economy? If anything, dollars that might have been invested in non-oil industries will instead purchase aramco stock. The national economy will be only more dependent on oil.
So do loads of other more affordable places.
The Venezuelan bolívar is not a good example of prime markets for cryptocurrencies. The forced exchange rates, runaway inflation, and general mismanagement has created a black market in which literally any other currency is better.
Well, I guess it's time to delete the Lime app from my phone. Good thing there are multiple competitors.
LLVM Weekly – #236, July 9th 2018
I'd split them into 20 five-person teams have them each come up with a different prototype based on whatever best idea they can come up with as a group.
Final Leak: Surface Go Announcement and Pictures Leak – MSPoweruser
We have a hybrid approach like this in San Francisco - it's called Scoot and it is like an electric Vespa, not a push scooter or a pedal-assist bike. You drive it in traffic lanes like a car or motorcycle.

You can park them on the street in a regular parking spot (in most neighborhoods), or park them in a garage charging spot and get $1 off your ride. If you return a sidewalk-parked Scoot that is almost out of power, then your ride is free. It works pretty well and the pricing seems pretty fair.
I dunno man. The Russians impoverished East Germany.
same with taxi companies?
They bought a niche diamond mine and want it to be a giant aluminum recycling company.

HBO makes a few REALLY good series. That’s what they do. They are not setup to produce 10x as much content. If they do they may not have the people who can do that with reasonable quality. They’re used to polishing gems.

You wouldn’t buy Nintendo and order them to make a console more powerful than the XBox One X. That’s not what they do.

This probably won’t go well.
The note says "It must be small-ish (admin_level 6 or higher)", which caught me out at first.

I can't use Copenhagen, which is too large a city, but I can use "Copenhagen Municipality" (2192363). This can be found with the pointer-? icon at the bottom of the set on the right, and looking for enclosing areas with a high enough admin_level.
While I can't say anything about GP's post, the Gjenge organization doesn't seem to be scammy per se. It pretty interesting to scroll a bit through their Facebook timeline and see another world [1].

One which seems to be heavily influenced by a European and Canadian conference / competition for African entrepreneurs. While there are some photos of 'plastic bricks', the products predominantly seem to be conference demos, especially the mobile app [2].

[1] https://www.facebook.com/gjengemakersltd/

[2] https://play.google.com/store/apps/details?id=com.noriega.g_...
Running Amazon’s Random Cut Forest Algorithm on the Numenta Anomaly Benchmark
Inside the Paper: Build Systems a La Carte
Sure, author here.

The OSM data model does not have a concept of areas, or polygons. A line feature ('way' in OSM parlance) that shares the same point ('node') for its start and end is usually considered to be an area. This works well for simple area features like, say, a building.

More complex area features, like ones with holes, large areas, or ones that share edges with other features, are commonly modeled using relations. A relation in OSM is an ordered list of nodes, ways and other relations, or any combination of those.

https://www.openstreetmap.org/relation/198770 is an example of a boundary relation consisting of several ways. The tagging type=boundary and admin_level=6 define the relation as an administrative boundary, and set its level in the administrative hierarchy.

You can find any administrative boundary relation by going to osm.org, entering its name into the search box, and clicking on the relevant result. The info box should say something like "Relation: Salt Lake City (198770)". The integer in brackets is the relation ID. Note that some places are only defined as points in OSM, they won't work in this tool, since it queries for data that lies fully inside the boundary.

There has to be a way to make this easier, but in the time I was prepared to spend on this, I couldn't come up with one.
>...that coordinating shutdown periods between suppliers would be in breach of anti-competition rules.

Is this likely to be true? My, perhaps limited, understanding is that collusion is only evidence of illegal anti-competitive behaviour and is not illegal in itself...
So, basically day 1 of owning HBO, they tell the employees that they aren't making enough money (even though they are quite profitable) and that they are going to have to work harder. I'm speculating here, but I'm guessing there was probably no talk about compensating them more.

Its hard to imagine a better way of convincing all your best employees to start thinking about switching jobs.
Wow, you can tell it's Monday! Haters gonna hate. Not sure
if it belongs in ShowHN, but as someone familiar with the company I can say that Upcall outsources outbound calling for inbound leads. For the uninitiated, that means people who've requested to be contacted by phone and given their phone number for that very reason. As a former tech sales exec, I'm always amused by engineers who think their salary comes out of thin air, or that your VCs don't expect a profit at some point. Someone has to sell what you're coding, and that generally involves a phone call, and there is a correlation between deals closing and the speed with which someone responds to a warm lead. Upcall's goal is to fill that need.
I subscribed recently and watched silicon valley, entourage, ballers, veep and watching the wire now. What do you recommend, as most of the other series I haven't heard much about them and hbo shows for some reason seem a little bit harder to get started with.