skysight-inc/HackerNews huggingface dataset:
Think of it like an upscale mobile home. The home itself loses value, and you pay rent.
Good ! Formal methods to remove runtime checks, love it. Best solution to the security tradeoff (correctness vs. speed)...

I really look forward to the rest of this series. You're right to do it at the end, but you could have added even more restrictions to your Ada just by setting with Spark_mode => on. :-D. No pointers, functions with no side effects... I like the idea to start with all those restrictions and remove them one by one after thorough analysis if needed.

I'm also curious how you're going to guarantee constant-time execution. Maybe I missed it (sorry) in the first 2 parts...

Are you going for just the absence of runtime errors ? Or full functional proof (specification in Spark2014) ?

Anyway, thanks for the article series.
I don't know how good those insurances are. I assume FDIC is good. Although you'd have less of a 'reason' to keep fiat on an exchange unless you are trading.

For the crypto - well it depends on the insurance I can't really say how effective it would be. I'd worry it would pay out in fiat what the coin was worth at the time, which could be disappointing during a rally, plus you have to wait for the payout, plus it might be a taxable event? And of course the insurance may just not pay out. What if they decide it was your fault your coins were lost?
KGS Go Server
It's hard but not necessarily impossible. Here's Ethereum's sharding FAQ:

https://github.com/ethereum/wiki/wiki/Sharding-FAQ
>> People can post videos to their own hosted pages already.

> No they cannot. Here's an example: what if make a nice tutorial, put it on my web site and submit it here and r/programming? If the thing is well done, people will download the video, and the sheer amount of requests may be enough to render my site unresponsive, simply because I don't have the bandwidth.

He was already stating he didn't think hosting videos on their own page was the best solution for most audiences, in fact, nearly every audience today. Why are you arguing anyway?
I think it might true that the guy "who writes open source at night" will generally be the better programmer, although it is not a necessary condition for being a good SE
The market can stay irrational longer than your FOMO regrets can resist buying in.
I'm just going to say (my own experience only: disclaimer), SF is significantly worse.

I've lived in tokyo a year now and SF 2.5 years and I don't regret my move at all.

The guys lying in the street like that (even if not homeless) is actually culturally accepted. You see people sleeping in all sorts of places in Tokyo.

I won't comment on whether that's "good" or "bad" but it's definitely different than the US. I still heavily prefer Tokyo despite that (I don't see it that often in practice)

The worst areas are by far Roppongi and Shibuya. Admittedly, I don't go to Shinjuku as much.
تردد قناة الحوار التونسي
Ran into an article right after Google released Cardboard, where some students had made their own VR porn using a pair of Gopros as an experiment. They claimed that even with such a simple setup the result made them find traditional porn boring.
Pretty vague stuff.

My prediction as funding begins to try up, data science will go under a moment of crisis, and come back stronger with greater ai integration.

I'm already hearing feedback from my local angel group that its(big data) not replicating,not producing sales results, or not business profitable.

Also the ad apocalyse will continue.
Alaskan North Slope climate change just outran one of our tools to measure it
What he means is, you want to use them in a macro. You can't get the effect you probably want by using them in a function. Compare:

#define LOG_ERROR() printf("ERROR at %s:%d\n", __FILE__, __LINE__)
void logError(void) { printf("ERROR at %s:%d\n", __FILE__, __LINE__); }
Except comcast has datacaps for total transfer per month.

I don't use comcast so I do not personally know if they charge for excessive data usage, but I know cox does.

Besides the point of potential cost, why should a user who is paying for the service subsidize comcast. They are not getting a discount for offering the wifi to customers.
One of my all-time favorite quotes is from this essay. It gives a lot of color into how we all get sucked in to technology.

“It is in our collective behavior that we are most mysterious. We won't be able to construct machines like ourselves until we've understood this, and we're not even close. All we know is the phenomenon: we spend our time sending messages to each other, talking and trying to listen at the same time, exchanging information. This seems to be our most urgent biological function; it is what we do with our lives.”
No. Inflammatory content is that designed to arouse emotion and foreclose discussion through slurs, characterizations, fallacies, and rhetorical trickery (eg sealioning, Gish gallops and so forth). no such techniques are being used here and it's deeply unfair to imply otherwise.

This is punishing someone for making a substantive observation based on that person's previous comments having been controversial. It's literally a command for a specific person not to express any sort of opinion on a specific subject.
Even if you do it for both the MIPS/RISC-V will run with lower energy and less area.

http://www.extremetech.com/wp-content/uploads/2014/08/Averag...

That's a 4-way OoO MIPS with 64K L1D and 64K L1C, being far less energy-efficient than 2- and 3-way OoO and in-order(!) x86s and ARMs with half or less L1D and L1C. All results were scaled to 1GHz and 45nm, which already makes x86 look worse and the ARMs and MIPS better than they are in practice.

Full article: https://www.extremetech.com/extreme/188396-the-final-isa-sho...
Not for the exchange no.
There is a project called Basecoin. Here is an article about it: https://www.coindesk.com/basecoin-revealed-a16z-metastable-s...

Unfortunately, I don't know much more about that project at this point.
I don't think, and I absolutely don't think not joining a party would make one's interaction with another person unpleasant. I have seen both types. My old boss doesn't go to party much, but he's absolutely the easiest person to work with.
Thanks, that looks useful.
That’s not really a problem – anyone could verify it by downloading the full blockchain. The important thing is that you don’t need the full blockchain to get a negative answer from a bloom filter, which helps.

The problem happens when you get a positive answer from the bloom filter; i.e. a coin might have been previously spent. As far as I know you then still need the full blockchain to verify.
People have different priorities, but most people are also not smart or rational.
I hear this sentiment a lot. I don't think it has much merit if any. Were musicians practicing scales daily 9-5 (+ occasional overtime when a customer urgently needs a modus they're not familiar with) - would you expect them to "enjoy" another 3h of fingering, possibly on some other instrument, in their spare time - because it "empowers" them and it's "a passion"?
Find Every Internet Provider in Your Area
There are a lot of suggestions but you haven't provided enough information to make a solid recommendation.

What rings out for me, is why do you only have 1k to invest? There could be a lot of reasons ranging from living in a low income country to having been recently divorced.

How old are you? What is the ultimate purpose of the money? Is it for retirement in 40 years time, or to buy a car next year?

Are you likely to have more $1k's in the future to invest. Is it cash in the bank or coming from your salary this year.

What country do you live in. What is your tax bracket?

Can developing your skills earn you more money?

Do you have debt? Is is tax deductible? High interest?

Do you like to gamble on a long term payout (maybe a cryptocurrency would be good) or would you really HATE losing that money at any cost (perhaps a savings account).

Etc.

As a general recommendation, if you don't know what to do with $1k - keep it in a savings account (or offset your mortgage if you have one) until you know what to do.
The social consensus, in this age of the world works in such a way that one of the few (but not sole) ways in which you can convince people to go along with your attack/fork is to put forward technical (including economic) arguments about why the rules should be done differently and ask those who agree with you to lend you their hashing power.
So, an XML-like language is the future of XML-like HTML?
Young'un indeed!

IBM used to use hydraulics pretty extensively. Their 2311 disk drives used hydraulic actuators to move the heads in and out over the platters. Hot pressurized oil and spinning magnetic media - a combination not made in heaven. I seem to remember stories about injuries caused by hydraulic oil piercing engineer body parts.

Thankfully they were phasing out as I started. Though living in the colonies, we used to see machines still working that were probably nowhere to be found in the US any more.
Do you know the public access point data is being attributed to customers' usage totals? Or does that just seem like the sort of thing they'd do?
The most downloaded iOS apps of 2017
This looks fun, good job
I really find TEMP_ITEM_LIMIT easier to read than tempItemLimit.
How a CogSci undergrad invented PageRank three years before Google
Interesting. A university might have a statutory and/or legal duty to sue Intel for as much money as possible.
Amusingly, even YouTube wants you to forget about this part of its past now, and instead pretend it is and always has been the haven of content creating indies.
Vr as an empathy machine is not a concept I buy.

The military uses vr to reduce empathy to out groups and increase tribalism.

Plus I see no reason VR gained empathy will last the moment someone gets into a resource conflict in the real world.
Somethings are zerosum.
> Very costly in the sense that an individual Bitcoin transaction curently costs about $20

you've cherry-picked the exact point in time when due to various factors ("civil war" between bitcoin and bitcoin cash supporters, propaganda campaigns, price rally) transaction fees are at their peak. if you look at the graph - https://jochen-hoenicke.de/queue/#all you'll realize that for majority of this year transaction fees were well below 50c. this is what happens if you blindly believe the echo chamber.

besides, i'm not convinved all and every transaction belong on the chain. chain provides bunch of very strong guarantees that no other system in the world provides - it's ridiculous to claim that those guarantees are not worth anything.

> I literally synced the Ethereum chain on my laptop last weekend.

lol, nope. let me guess, `geth --fast`? well, i suggest you go read up on what `--fast` means. i challenge you to try syncing from the genesis block.

> This is only true if you are using the phrase "up for debate" in the sense that smoking being bad for you is up for debate

no, it is literally up for debate. there is a multitude of bottlenecks involved in having a healthy blockchain and a network around it, they are all affected by bumping the blocksize in non-trivial ways through secondary and tertiary effects. and it's not even obvious we can handle the primary effect of growing blockchain and utxo set - that quite literally leads to centralization of full nodes via making it prohibitively expensive to run it which runs against one of the core tenets of bitcoin itself.
Ok but consider, e.g., movies. Yes, there are free websites, but they're not exactly legal or mainstream in the way that free porn sites are.
Standard Chartered has over 3 million lines of Haskell code and Facebook uses it to fight spam - there's definitely more than you think out there :-)

http://hauptwerk.blogspot.co.uk/2017/04/four-openings-for-ha...

https://code.facebook.com/posts/745068642270222/fighting-spa...
In one of your previous post you mentioned using python. May I know your roadmap of learning the python and using it? Not asking you to divulge your trading strategy.
Apache Commons BCEL 6.2 is out with better Java 9 support
Bitcoin futures launching today
Thanks, TIL.
Turbo Pascal in the early 90's was already quite modern, to the point C felt dated versus Turbo Pascal 6.0. :)
This looks really cool!

I've never worked with Coq myself, and really, the process described here still looks much too convoluted for practically proving nontrivial amounts of code correct. But it looks like lots of fun too! And it is sort-of the holy grail of computer science, writing code and being able to prove it correct instead of just testing it with maybe-or-maybe-not enough test cases.

In practice I find that Haskell itself already prevents a lot of bugs, but of course in functions like the one dissected here, logical errors are still easily made.

I'll definitely look into Coq one of these weeks.
Inside Trump’s Hour-By-Hour Battle for Self-Preservation
Thanks for taking the time to reply to my short post at length. I actually came back this Sunday afternoon to just read your post again because I was having a tough day of Japan-centric wanderlust.

I've been preparing, mentally and otherwise, for an eventual move to Japan for over 10 years (with some breaks in-between as I was navigating the troughs of disillusionment).

- Visited Japan last year to make sure it wasn't a false dream. Had some disappointments but the larger goal hasn't been trashed.

- University degree in IT. Open to doing a Master's sometime soon.

- Emmigrated once already. So I know that I can adapt to a non-native culture.

- I will be a citizen of a country which does allow me to pursue the JET program. However, I really don't imagine enjoying life as an English teacher. I've looked into employment at the startups in Fukuoka as a more probable alternative. Perhaps even starting with a sabbatical year of Japanese language studies.

- Japanese; learning slowly but on a daily basis. Could prove competency upto JLPT4 within a couple of months of dedicated study.

- I can't speak for national identities having a hand in citizens having a strong moral compass but in my personal life - I subscribe to the philosophy that everything cultural and political is relative to the culture or society espousing those values.

Again, it's great to hear from ordinary people living good lives in Japan as foreigners. I don't expect that usually from HackerNews and my usual haunt i.e. r/Japan is a cesspool of misery and hate.
> If you lack confidence and need frameworks, abstractions, and other bullshit to write a couple lines of code you will be a weaker programmer

So you like to reinvent everything? Do you reinvent HTML & CSS because they are FRAMEWORKS, one of the foundational frameworks of today's web.

If your job only ask you to fix a bug, there here is how to make yourself valuable AND technically challenging:

* go through the bugs and analyze if you can extract any correlations

* propose better process with other fellow engineers and product owners

* implement changes

For example, someone might be duplicating some code to write tests, how about you write a test harness or adopt some open-source harness? How about work with your fellow engineers to begin start collecting some metrics.

Otherwise, time to look for a new opportunity. The absolute worst kind of programmers are the ones who don't don't take care of their health.
Yes, $18k national average for a single adult should be low enough for a plan subsidy. I assume he is in a higher income state due to the rent cost.

Healthcare system meaning “St Jude” or “OSF” or “Kaiser.” These Are medium-to-large organizations in the US that many doctors and hospitals fit into to provide service. These orgs are large enough to provide charity if you do a little paperwork.
It doesn't strictly have a 1-1 relationship because of macros themselves. They're Turing complete, so the same macro can expand into different ASTs based on user input during compilation, presence of any files on the hard drive or even moon phases, so I have to say that this relationship is much more complicated than a simple 1-1. For very simple functions like (lambda (x) (* x x)) this is true, but macros' power greatly complicates it.
It is also the case that this was something Paul Graham was idiosyncratically peevish about; at one point, he attempted a unified definition of trolling that amounted to "forcing one to rebut something they hadn't said" --- which obviously isn't the definition of trolling.
Your argument is that latency-based front-running isn't front-running because the front-runners "earned it" via whatever system they built to front-run the trades.

> HFT firms are very fast, but they are fundamentally operating by the same processes

This is the key part I disagree with. A lot of firms set up shop right next to exchanges and built fiber optic connections between them, so that it's impossible for anyone without such a setup to trade on the same information.

I don't see how you could interpret that as "good" for anyone other than the HFT firms who do it best. It's pretty clearly this:

>bad for overall market efficiency
My impression is that the minion cores will be full RV64GCV but very simple - like rocket but with a vector unit. Also that the whole thing acts like a 4112 core with everyone in the same memory space (did he say that?). So you get 16 cores with awesome performance and 4096 that are slower with normal code but are vector capable. You'll want to make sure the right threads run on the right cores, but otherwise it sounded like a massive multicore CPU.

I was happy to see that they've simulated using the minions to do graphics. I've suggested on a number of occasions that lack of a GPU of risk-v could be a problem and that just using a bunch of RV cores with LLVM-pipe might do the job good enough for desktop use. I think they've proved that possibility in simulation. It may not be a gaming machine but it should make a nice desktop machine with solid performance at desktop compositing. Oh, and it'll have teraflops performance for ML and other things.

Me, my hobby is ray tracing which really wants to run on general purpose CPUs. Vector instructions can help a bit, but 4096 cores would be spectacular.

Also, a decent desktop experience might be had with only 4-8 big cores and 16-64 minions doing GFX. I see potential for a lot of variants of that thing. He said it will be licensable.
Yes, interesting and curious.

Porn website owner complaining that there's too much free porn out there, and we should pay for it, preferably on his website I imagine!

No bias there.

He peppers his article with clearly biased statements as well, this is not a news article but a Native Advertisement for his website.
Lewis Thomas' many essays were collected in book form over the years [1]. In addition to commentary, he shared many insights on biology, society, and language prior to his untimely demise. If you enjoy this, you'll likely enjoy his other books as well.

[1] https://www.amazon.com/Lewis-Thomas/e/B000APFUM8
To be fair, there is still TPC, so you can get some idea from that.

Given that MS typically does very well on TPC I kinda wonder why they forbid publishing benchmarks. Anecdotally it's very fast as well.

Disclosure: I work for a company that uses SQL Server extensively. I quite like it, actually. Easily my favorite Microsoft product and one of my favorite commercial software products in general.
Apache Kafka – Scaling SQL with KStream and Kafka Connect
You are like a little baby.

Being routinely banned by HackerNews us what makes a great programmer.
While I agree with you, in other industries such as hedge funds, "social drinking" is a regular thing.
I don't know anything about chip design. How far away is this chip from competing with Intel Core i7 or Amd Ryzen 7s?

Will it require hundreds of people and budget in the hundreds of millions of dollar? Or can small groups of researchers develop BOOM more until it can compete in the desktop market?
> the getting started page in the Reddit https://www.reddit.com/r/Bitcoin/ thread.

That page is actually https://bitcoin.org/en/getting-started and has nothing to do with Reddit.

Even the FAQ videos are heavily, heavily biased towards the /r/bitcoin mantra/meme "hodl! hodl!" position.
The US has largest defense budget by far, and .01% would be less than $100 million, right? Could you really create enough mining capacity for that to take over the network?

Better question: by the time Bitcoin gets to the point that a government feels threatened enough to do this, will they be able to? And how will other governments respond? Will they start mining too so that no one government controls the network?
> Why neither was marked as "Recommends" instead of "Depends" I can't understand (policykit-1 -> libpam-systemd or libpam-systemd -> systemd)

Sounds like a bug report is needed, so that gets fixed. :)
I played a wind instrument for 10 years, ending in senior year of high school. I got quite good (if I do say so myself, lol) and had the opportunity to learn from a few excellent musicians in private instructions, chamber music, and the like. I have to say, I agree with the OP. The best musicians I knew critically listened to different pieces of music in their spare time, reflected on their performances, and so on. From what I could tell, music permeated every aspect of their lives, even if they weren't spending their free time practicing technical fundamentals. Their love of the art was such that I don't think they could stop that if they even tried to.
It’s hard to tell if someone is just sleeping or actually in danger. Drunk people sleeping in weird places is a fact of life in some areas of Tokyo. I’ve had serious doubts once or twice, and the person turned out to be fine (at least physically).
MPAA is just a lot more powerful than the porn industry? They don't have any reliance on these streaming sites, so they have no issues suing and enforcing copyrights.
Funny enough, I tend to avoid these type of discussions because surprise surprise, I got downvoted and they didn't even answer the core question.

Why should a customer pay to add value to comcast? They aren't getting a discount if they enable the service.
One of the great things about the modern world is that it is very easy to create copies of a work all over the world. But that doesn't mean it will necessarily happen, it requires forethought and a willingness to hold onto those copies. I fear the book-burnings to come.
They don’t have to actually code outside work. I scratch my coding itch at my job.

But I read all sorts of technology and programming stuff just because I’m interested in it. And that knowledge ends up coming in very useful.

I’d rather have someone like me than someone who does their coding at work but never reads anything that they weren’t assigned to by their job.

To use your analogy, would you want to musician who worked 9 to 5 but never listened to any music outside of their job?
There's been a backslash against whiteboard interviews, at least on HN. Not sure if you remember this popular thread from 9 months ago https://news.ycombinator.com/item?id=13874026
Sure, but it's polite to say when you're not quoting literally. Because that's the default expectation.
PointCloudLibrary (PCL) Open project for 2D/3D image and point cloud processing