skysight-inc/HackerNews huggingface dataset:
In the dialect called TXR Lisp, I have introduced precisely that: some tastefully chosen syntactic sugars which do not disturb the structure of the surrounding Lisp. I believe I made a wise choice by not targetting arithmetic. My syntactic inventions target areas like working with arrays, string processing, OOP and higher order functions.

Small taste:

1> (let ((x "abc") (y "def"))
(swap [x 0..2] [y 2..:])
(list x y))
("fc" "deab")

2> (mapcar (ret `@1-@2`) "abc" "def")
("a-d" "b-e" "c-f")

3> '#"lorem ipsum dolor sit"
("lorem" "ipsum" "dolor" "sit")

4> (let ((a "dolor")) ^#`lorem ipsum @,a sit`)
#`lorem ipsum dolor sit`

5> (eval *4)
("lorem" "ipsum" "dolor" "sit")

7> (defstruct (point x y) nil (x 0) (y 0))
#<struct-type point>

8> (new point)
#S(point x 0 y 0)

9> (new (point 1 2))
#S(point x 1 y 2)

10> (new point x 2 y 3)
#S(point x 2 y 3)

11> (let ((a (new (point 10 20))))
^(,a.x ,a.y))
(10 20)

12> (let ((a (new (point 10 20))))
`<@{a.x}, @{a.y}>`)
"<10, 20>"

13> (defmeth point distance (p) (sqrt (+ (* p.x p.x) (* p.y p.y))))
(meth point distance)

14> (new (point 3 4)).(distance)
5.0

15> (defmeth point distance-to (p q)
(let ((r (new (point (- q.x p.x)
(- q.y p.y)))))
r.(distance)))
(meth point distance-to)

16> (new (point 3 4)).(distance-to (new (point 20 30)))
31.0644491340181

19> (let ((pts (build (dotimes (i 10) (add (new (point (rand 10)
(rand 10))))))))
pts)
(#S(point x 5 y 6) #S(point x 1 y 1) #S(point x 1 y 3) #S(point x 5 y 7)
#S(point x 2 y 8) #S(point x 7 y 3) #S(point x 1 y 1) #S(point x 2 y 4)
#S(point x 5 y 6) #S(point x 5 y 3))

20> (mapcar .(distance) *19)
(7.81024967590665 1.4142135623731 3.16227766016838 8.60232526704263
8.24621125123532 7.61577310586391 1.4142135623731 4.47213595499958
7.81024967590665 5.8309518948453)

21> (mapcar (ret @1.(distance-to @2)) *19 (cdr *19))
(6.40312423743285 2.0 5.65685424949238 3.16227766016838 7.07106781186548
6.32455532033676 3.16227766016838 3.60555127546399 3.0)
> There are problems well beyond infinite compile times and infinite runtimes with a Turing-complete sublanguage hidden in something as innocuous looking as the type system.

This whole argument is nothing more than equivocation: the phrase "arbitrary code execution" means one thing in the security sense but it means something completely different when you are talking about theory of computation.

A Turing machine can execute "arbitrary code" in the sense that it can evaluate any computation. That does not mean that it can effect arbitrary changes to a host computer emulating a Turing machine. That's why sandboxing works. Try writing an HTTP server with a Turing machine: you can't, because Turing machines have no facility for networking. Similarly, just because a type system lets you execute arbitrary code doesn't mean that you can write an exploit in that code, you would need some exploitable endpoint accessible from the type system.

Or in short, just because you can simulate a Turing machine on someone else's computer doesn't mean you can take over their computer.

And yes, nobody's going to die waiting for compilation, but if you can DoS somebody's CI server by making a change to an upstream module which makes compilation take forever, maybe your victim will be pretty unhappy about that.
1. Try to make free money in a totally unregulated market when an organization publishes a foolish policy.

2. Get mad when said organization amends policy so you can't get your free money.

If you're gonna try to profit in the wild west it looks kind of unseemly to get mad when your scheme doesn't go off quite as easily as you had hoped.
...because of computers, it's very, very easy to literally track anyone throughout their day...every location, every activity, every thought they have posted idly, what they like to watch, what they read, etc. I'm sure if the state wished too, they could easily counter encryption if just by forcing you to give the key.

The only reason we are sanguine on the power of tech is that we have the historical luxury of non-predatory government. If the state truly wished to be oppressive, the technology the tech sector has created would allow it to be efficient beyond measure in doing so.
Kubernetes 1.7 with Tim Hockin [audio]
This would have been so much more fun if the contracts were all smart contracts using Ethereum.
> They are ignoring rational evidence because they have a preconceived idea that women are worse employees.

wouldn't this imply they would avoid hiring much, if any? why bother hiring people you don't feel are worth hiring?

> No, they werent because they were racists.

racists hire people they're biased against all the time if there is some advantage in doing so.

i'm more inclined to believe the circumstance you speak of was avoidance of socioeconomic consequences. there was a time when having a team with too many black athletes (heaven forbid mostly, or even all black) would tank your ticket sales.

> Why are today employers more enlightened that past team owners?

well, it helps that it doesn't hurt ticket sales.
I haven't followed Stellar closely, but shouldn't it allow you to buy an ICO directly with, say, USD instead of having to detour through XLM? Of course, this would probably reduce the "sure, I'll spend some of my Internet play money on some Internet play stock" effect.
I wonder if some of these formats might be leveraged for informal science education content?

For instance, there was a play-doh egg surprise with a lego doctor figure with a stethoscope. Imagine instead an egg surprise with a real stethoscope (and maybe the figure and/or say a real egg with an inked on scope). Then show kindergarten kids using stethoscopes (it's a thing). Build associations between heartbeat sounds, wrist and apex palpation, the flashing heart icon of blood pressure machines and fitness apps, ECG, hr, hr vs time graphs, and so on. Include a clip of an N-yard dash and cool down, with with heart sounds, flashing icon, and hr graph. Hr sounds for sleeping person, walking, running or climbing stairs. For resting infant, kid, adult. And for mouse, cat, small dog, big dog, human, horse, whale. It's fun to see dogs and horses anyway, but why not take the opportunity to add heart stuff and hint at scaling laws too?

The videos linked to from the article didn't seem odd choices. They seemed to have rich and fun "learning about the world" content.
I remember thinking that math classes would be far more interesting if we were allowed to hand in a program to solve the class of problems they were asking us to manually and repeatedly solve, and to bring that program to the exam. Presto: actual comprehension of a nontrivial problem space, real world documentation skills and no rote learning requirements.
Google already uses Common Lisp for flight search (acquired from ITA Software). They even have a fairly good style guide written by one of the maintainers of ASDF (amongst others):

https://google.github.io/styleguide/lispguide.xml
Wow, interesting. Is the 200 terabyte proof necessary for that -- could it be refactored into something smaller?
Last year, online retail sales amounted to 8.6% of all retail sales.
I think a viable criticism would be more along the lines of does the valuation make sense based on the size of the market they can capture?

That's a hard question to answer.

The Bull case says yes because Tesla isn't a car company it's a battery and energy company that sells cars. Therefore no sense comparing to GM or Ford or any other car company, which tend to be valued far, far more conservatively if we look at share price vs #cars sold, or pretty much any metric.

The bear case is that Tesla's share price makes zero sense at all compared to any car company ever. It's well summarized in an old article here:

http://aswathdamodaran.blogspot.com/2013/09/valuation-of-wee...

And the share price has radically increased since then.

In short the article asks, what would the share price be if Tesla had the scale of Audi and the margins of Porsche. The value is on the order of $70 at that point. The $325 it's at today seems a little ambitious in that light.

Personally, I think the bear case is correct, though I admire the company, have friends who work there and I firmly hope they succeed. But wow, that price is insane.
> There are two truths: 1) People need jobs today 2) Coal drives global warming

> Which one do you act on today?

The two competing options seem to be:

(1) both, or
(2) neither, using denial of the second as a empty gesture toward addressing the first.

Doesn't really seem to be a fundamental conflict between them.
> And your model only requires that all men are equally sexist.

Hardly. It just requires that enough men are sexist to discourage women from entering a field in large numbers. One abusive person in a position of power can have a hugely disproportionate impact.
Y'all are both right. Some tokens are (theoretically) required to use the app and some tokens will (theoretically) pay dividends like stock shares.
It's not just not wanting to show their hand-- they're trying to create an asymmetry and its stupid. I no longer answer questions about how much I'm currently making, I usually answer "It's negotiable" or "If you'll tell me your range I'll tell you mine."
Translation: I took on a tangible amount of risk in order to exploit a loophole I discovered in order to profit at the expense of an exchange and its legitimate customers, and I am upset that they circumvented my attempts.
Hire a salesman?

Seriously, B2B sales tend to require "touch", and it's often reasonable for sales to require as much or more man-hours than developing the actual product.
"beginning 12:06 a.m., and commencing at 4:54 p.m."

Wow..
APFS appears to be very modest in scope compared to ZFS. Designed for single volumes, only a few "interesting" features that play into what Apple needs - quicker backups, flash optimized writes, easy and flexible partitioning. That's about it.
Honestly, just use their respective APIs: you can get far with just Stripe Checkout (https://stripe.com/checkout) and Paypal Checkout (https://developer.paypal.com/demo/checkout/) and they are both simple enough. Paypal Checkout even has an entirely client-side payment flow.

The fact that Paypal keeps most of their fee if you have to issue a refund does suck, but that is a separate issue: the interfaces are both very straightforward.
If you don't want to own BCC, and you don't expect it to rise in price, you should sell it.

The same can be said for everything you own.
Neither is readable because both are filled with magic numbers. With experience the Lisp becomes more readable when formatted conventionally:

(setv result (- (/ (+ 1 3 88)
2)
8))

Line breaking the Python is possible but unconventional and requires additional symbols.

As expressions become more complex, languages with infix operators are faced with the choice between some form of operator precedence and strict left to right (or right to left) application. It is hard to look at:

6 * 89 & 57 >> 2**2 - 1

and see the implicit parenthesis. And maybe not having to figure out where the implicit parentheses go in complex cases is part of the attraction of Lisp syntax. Lisp code does not require going to the rule book as often.
I'm sure there's something of value in this, but I have no interest in reading a long legal document to find out what exactly it is. What would compel you to post this on an aggregator?
Ah, didn't know that, thanks!
If terribly degrading bureaucratic nightmares are a deal breaker for you, I'd stay away from large corporations in general.
I found something interesting at paragraph 109 of citation #21 (https://www.canlii.org/fr/qc/qcca/doc/2002/2002canlii41255/2...)

Je crois bon de préciser ici que les personnes à qui l'ordonnance a été signifiée auraient pu refuser de fournir les informations demandées. Devant un tel refus, Groupe AST (1993) inc. n'aurait pu insister davantage, mais aurait dû plutôt utiliser la procédure d'outrage au tribunal pour faire valoir ses droits. Il n'y a pas de preuve au dossier indiquant que Groupe AST (1993) inc. aurait obtenu les informations par la force, après un premier refus. Si tel avait été le cas, il y aurait eu lieu d'annuler l'existence de l'ordonnance Anton Piller, vu que ses limites auraient été dépassées. En l'absence de preuve à ce sujet, je considère qu'i n'y a pas lieu pour notre Cour d'intervenir à cet égard.

It means that the defendant would be under contempt of the court if he refused to answer questions or let them get what they wanted under the warrant. But, if he refused, and that the plaintiff "uses force" to fulfill the warrant then the limits of the Anton Piller would be overstepped and it would be voided.

From what I understand, under Quebec civil law the maximum sentence for contempt of court is up to 5000$ and up to a year.
> I remember thinking that math classes would be far more interesting if we were allowed to hand in a program to solve the class of problems they were asking us to manually and repeatedly solve, and to bring that program to the exam.

How do you have test cases without first solving a number of problems in the space without the program you are writing?
Language is funny.

The term 'meritocracy' entered the popular lexicon with the publishing of https://en.wikipedia.org/wiki/The_Rise_of_the_Meritocracy, a satirical work that lampooned the idea. But the term was adopted seriously and has persisted.

I think it's self-evident that the notion accomplishes nothing, rather just kicks the can to a debate over what you consider meritorious.
> 10.2.2 Layer 1: Integrity (optional)8
> This layer uses a to-be-developed DM target that allows the detection of incorrect data as it is
read, by using extra space to record the results of checksum/hash functions on the data blocks,
and then compare the results with what the blockdev actually returned. This will enable Stratis
to detect data corruption when the pool is non-redundant, and to repair the corruption when
the pool is redundant. Such a DM target could use DIF information if present.

This (and other aspects of Strasis) seem like sensible solutions, especially in Linux-land[1]. Implementing this (and I assume dedupe, which is penned for v3 but on which no information is yet provided) at the DM layer means that other FSs can also benefit from this work.

[1] By this I mean that Linux, both as a dev community and as an OS, seems much more comfortable with individual, composable components that can be tied together in different configurations, than monolithic one-size-fits-many solutions like ZFS (and... systemd).
IoT is mostly Node and Python, but there is PHPoC which is PHP-on-Chip
If he does run, I can't even imagine the type of data he has access to. What a massive advantage.
Hiring a member of the losing team, especially one whose polling was obviously very bad (they didn't come close to accurately predicting Clinton's popularity or lack thereof), doesn't seem like the path to victory.
Yes, so long as you're not playing with human lives while researching it.
I clicked "Request Invitation" and nothing happened...
> most exchanges don't support, hard/slow to deposit into exchanges that do

It's much more than that. The exchanges that list support do not accept deposits. They won't even show you a deposit address. So you can't sell anywhere at the moment, unless you are one of the few who were awarded BCH by your exchange.

The only thing you seem to be able to do right now is to buy it for Bitcoins, not move it. There have been rumors of two Chinese exchanges accepting it, and they do indeed list deposit addresses, but it does not seem to work.

Yet at the same time, media everywhere (including this very thread), hype up the great market cap. I guess at least someone got what they came for.
Working link http://www.papert.org/

Alan Kay on kids...

Children need to learn how to use the 21st century, or there's a good chance they will lose the 21st century. - Alan Kay (2016)

Television is the last technology we should be allowed to invent without a Surgeon General's warning on it. - Alan Kay

With a good programming language and interface, one - even children - can create from scratch important simulations of complex non-linear systems that can help one's thinking about them. - Alan Kay (2016)

Most of my ideas come in "waking dreams" (this is a state that most children indulge in readily, but it can be retained in a more or less useful way - I don't think you quite get into adulthood by retaining it, so it's a tradeoff). Main thing about ideas is that, however they come, most of them are mediocre down to bad - so steps have to be taken to deal with this major problem. - Alan Kay (2016)

... from my fortune clone, http://github.com/globalcitizen/taoup
I am (no longer) a legitimate customer. I was told by the service that I would receive BCH if I had BTC in my wallet, which I did. That service then did not make good on their word. They lied, simple as that man.
Indeed. I did too for my first year.
They meant 12:06 PM, actually, but still
Maybe he gets high off the stings as well as enjoying the flavour.
$1.4m in Ether lost partly because JavaScript has no integers
Started from scratch.

Looked on some project sites, wrote some email offers.
to be fair she won the popular by 3m, they just happened to be inefficient votes.
1. Organization implements foolish policy

2. Thousands of people make trades according to foolish policy

3. Organization changes terms of foolish policy, telling nobody.

4. Organization then waits until after the fact to tell everyone that they have changed the policy, which dictate d the actions of a non trivial percentage of their customers.

If you're going to try to look like a legitimate exchange, this kind of thing looks pretty unseemly.
> ...diversify your political isn't silly at all.

It is, as most political differences are rooted in mutually exclusive ideas. If you are advocating for simply being open to considering alternative positions and measuring them against your own present position - then I agree with you, that is nice. But I would describe that as "diversify your politics", I'd describe that as being intellectually honest.
What to Do If Your Information Was Part of a Data Breach?
A VPN to where? The VPS you control? Now we are back to giving you all of our data rather than just DNS queries... It's mind blowing to me that you expect people to pay a premium for the privilege of giving you all of their data.

Nothing personal, but I really hope this business fails fast and hard.
Great time for real entrepreneurs starting real companies in organic ways, not shysters looking for $30M seed for their app so they can pay themselves and their buddies comfortable salaries while they work 5 hours/day in a trendy WeWork in SoHo.
I have an AT&T smart phone and they are offering HBO to Go to us. I didn't sign up yet, but looks like if I did my password etc would be stolen.

Was this an exploit or just someone with admin ststus using a weak or easily guessed password?
While we wait for someone with legal training to parse this out for us, here's my favorite deposition related thing on the internet:

https://www.youtube.com/watch?v=PZbqAMEwtOE
true.

Didn't take you for a Windows guy, hehe
When people say "Turing-complete" it's usually assumed that we are talking about computational models which could emulate Turing machines given infinite memory. But we don't have infinite memory.

Adding time limits radically changes things.
I don't think he can just use Facebook's data. That would be insane.
> equally (un)readable

Means they're the same to them regardless of whether its readable or not (they aren't even opining here).
Larry Page did not want to answer anything.

I guess this is why they're seeking a 'round 2'.

> Uber: Google invested in Uber; correct?

> Page: Yes.

> Uber: Do you recall when?

> Page: My answer is yes.

I'm definitely interested in some folks from Google chiming with respect to Larry's comments regarded starting side businesses at Google. Does anyone have any experience doing that? Is that allowed? I would imagine not, but I'm interested.
The amount of information which must live in the blocked out text is insane. Questions like "Why was it (Waymo) created as a separate company under the umbrella of Alphabet?" have had their answers blocked out. I'm sure beyond the PR, a lot of people would love to see candid answers like that.

The Otto lawyer suggests "Otto" and "Otto Trucking" are two separate entities, but if anyone explains to Larry the difference, it's not visible in this version. I hadn't heard anything about that before and am curious.
Amazon hiring blitz seeks 50,000 workers in 12 cities
God damn it. Now all the billionaires are lining up for a run, this is our new dystopia. Trump's election is like the moment in Rome when Caesar crowned himself emperor, the empire went downhill from there. We need to re-establish the old societal norm of hating rich people or all we're going to get are celebrity billionaires from now on. Rich people are inherently bad and evil. They got to where they are by destroying many people along the way. All our efforts as a society must be directed at limiting their power or our democratic experiment is over. Bring back the guillotines!
If you're going to try to look like a legitimate exchange, this kind of thing looks pretty unseemly.

Oh I agree! The whole thing has bitfinex looking a little foolish. It was step #1 that was the problem though. Steps 3 and 4 were them fixing it as best they could. Those parts weren't mistakes, it's just them keeping you from stealing Bitcoin Cash from their other customers.
I remember doing it with DOS and ansi.sys and then enter escape codes with prompt etc.
Assuming they're in a position to work with Oracle to make it happen, it's possible if unlikely.
> There are some observations (sorry, don't have the links right now) that typical salaries for careers such as teaching and primary care medicine have decreased as they've transitioned from being male-dominated to female-dominated.

Of course. What did you think would happen when a field gets an oversupply of new employees who aren't pay-sensitive?

As an aside why do you think big tech companies are pushing for more women in tech? Because nerds and women don't focus on pay as much as men in general do.
This is less like an arbitrary handout from a third party and more like a stock split. If you hold a security, you generally have no idea whether its been lent to a short. The idea of "your" stock being lent doesn't even really mean anything - the shares are fungible. So when the stock splits (or a company is spun off as in the paypal example, etc), you'd be awfully surprised to find the value of your stake halve because the new stock went to the short.
Has the Junior Data Scientist Role been filled in the past 5 hours?
Which polling should have been able to reflect, and allow her to better target some of the voters she lost.

She skipped out on campaigning in several states that flipped for Trump, and didn't really do much to address her (un)likeability.

Edit - the US election is won or lost on electoral votes, not the popular vote. You play to win within the rules, not to make excuses.
Allegedly. They're investigating whether a lot of those votes were made by illegal aliens. Here in Miami for example, I was asked for my driver's license.

In places like California you can get one of those even as an illegal alien.
The teacher and the book would explain the case, and the teacher would take us through a few on the board.
I was surprised by this statistic as well. If guess the prisons are very large...
Please stop doing this or we'll ban the account. We detached this subthread from https://news.ycombinator.com/item?id=14911436 and marked it off-topic.