skysight-inc/HackerNews huggingface dataset:
> BTW, a long ago in order or incorporate CL into Symbolics Zeta Lisp they used cl: prefix for some functions. Nothing is new under the Moon.)

'cl:' is no prefix in Zetalisp. Zetalisp uses packages (namespaces for symbols) just like Common Lisp, and 'cl' is the name of a package and ':' is the separator from package name and symbol name. A single colon shows that the symbol is exported - some part of an external interface.

Thus cl:let is the 'let' exported from the 'cl' package.

Emacs Lisp has no packages, no namespaces, no exports, imports, ... So 'cl-' is a part of the symbol name. It's just a prefix.
Your criticism is certainly valid. The SQL language can be type checked using Java types only to a certain degree. There is no way to type check SQL thoroughly without an actual parser, though. For example, your query would be fine again (although a bit pointless) as a subquery:

create.select()
.from(BOOK)
.where(exists(
create.select().from(AUTHOR).where(BOOK.LANGUAGE.eq("DE"))
))

Other frameworks may have jumped to the conclusion that predicates should be strictly tied to whatever is placed in the FROM clause. This is possible only if you completely limit the scope of what your framework can do (namely CRUD).
I can't see another section where the header changes.
Normally, trackers design for theft detection and reporting can not be re-used for active tracking without changing firmware.

The first one is triggered by a dedicated signal from within the car to be activated. Otherwise they are offline to conserve energy. Energy is a very very limited resource in a car. When they are activated, they send a text message for the GPS position. Only a vary view newer once can trigger a web request to report the GPS position. When they are activated they can receive text messages to execute commands like disabling the engine.

Versus active trackers are the once mostly designed and engineered within the last 5 years, are able to consume very low energy while activated. They report the position (and may acceleration, deceleration and other parameters) via a web request.

Theft prevention are mostly established legacy systems more than 10 years old. Thats a different technology then we are used today.
Yes, introducing intelligence into the equation is mandatory... Without it, you can't reach efficiency. I think success requires efficiency more than luck.
pbreit has a point. Dismissing something as a "turkey" after just one day is unduly harsh, and to call that "bringing up critical viewpoints" is euphemistic.
Is it nowadays supported by more than Chrome?
That's also a horrible argument. When you take someone's TV, they no longer have it. When Aaron copied documents, JSTOR still had them...
Ironically the biggest supporters of the current iteration of the CFAA are those you'd least expect. The currently-extant grey area allows them to target little guys and threaten them with spectacular, life-destroying threats, while also allowing them to abuse and/or ignore the law because they know that it's very unlikely another big entity will care enough to choose to litigate the issue to a conclusion (a process which often takes the better part of the decade).

If the CFAA were not selectively enforced, the internet landscape would look very different. Search engines like Google never would've been able to exist. Who can quantify what we've lost because a big corporate interest threatened a small innovator with jail time and financial ruin if they didn't stop causing a problem for BigCorp's business, which actually turns out being a pretty good summary of Aaron's case.
Hehe, got the numbers mixed up? Building, shipping and maintaining a game is at least 90% tedious and boring implementation work, sprinkled with a few sparks of creativity and experimentation inbetween, no matter what framework or engine used (you just might get started a bit faster, but starting is the easy part).
I hope you don't get offended if I say that when you attribute Stasi to Nazis, you don't show a depth of historical knowledge required to blindly trust you on your analysis on these issues.

Yes, every regime is trying to get information about who's trying to destroy it. But (1) it's not a tool to get to power as much as a tool to hold to power, and (2) it's not inherently evil: if you have some regime that you actually like and don't want to see violently overthrown, you would support such measures, implemented in a reasonable way (!), too.
And this is why we have lawyers.
Fundraising values Skyscanner at $1.6B
Please stop posting unsubstantive comments to Hacker News.

We detached this comment from https://news.ycombinator.com/item?id=10880034 and marked it off-topic.
Sounds like a plan :D Wishing you the best of luck, Superpowers looks promising!
I've never seen anything about "having the goods" being really important in this process, and would really like to see a citation about it.
This submit has the wrong link. This later submit has the correct one:

https://news.ycombinator.com/item?id=10885335
It depends on the nature of your project. Using JPA as a default is probably a bit of a historic issue. For a lot of time (2005-2010), Hibernate has been the de-facto standard way to access RDBMS from Java, unrightfully so in many cases that would have really fared much better with a SQL-based solution, not an ORM-based one. I'm talking about reporting, analytics, complex queries (outside of reporting), data-centric middle ware, batch processing, i.e. everything that isn't plain old CRUD.

While Spring also often defaults to JPA, it isn't required at all to use JPA with Spring. Spring has always included JdbcTemplate, a JDBC extension for convenience when working with plain SQL.

Apart from that, jOOQ is part of the Spring Boot manual. It cannot be feel that unnatural :)

https://docs.spring.io/spring-boot/docs/current/reference/ht...
Whoa. This is amazing. I love how you guys estimated company growth. This is my default job search tool now! I didn't even know a lot of these companies were hiring, because they don't post it anywhere.

If I had one suggestion, it would be figuring out which companies are desperately hiring (paying for lots of job ads on various sites) vs the ones that are passively hiring. Maybe even check how long the jobs have been open.
Which part of it do you think is illegal?

"Spending almost every waking hour working". There are limits on shift length, minimum required breaks, etc. even for domestics.
I'm so disappointed in Mozilla.

What gets me is that even in this announcement, they place the blame on the community "due to low, declining usage", instead of owning up to the fact that they never implemented BrowserID in Firefox (desktop) as envisioned. With no carrot, why would they expect sites to jump on board?
First on CNN: US bombs 'millions' in ISIS currency stock
Compare facebook's live feed to TV programming in the era when you only had about 4-6 channels in your box, and your whole social circle was watching them — which applies much more peer pressure to consume this data channel than you have today to continue reading your facebook/twitter feed.

Please, stop analyzing things as being "good" or "bad". By any reasonable person's standards, the whole today's world is just awful. It's not usable. Use "worse" and "better" instead: when we compare things to one another, only then can we get somewhere.
It may seem counter-intuitive, but that is what I think it is as well. So, they "show" you only small snippets that they think is relevant to you, in order for you to not have to "need" a full view or search into their catalog. It's like expecting a TV channel to show you a full listing of all the things that they've ever played, or are currently playing. You'd then quickly realize how tiny of a selection it really is, with all the repeats and what not.

Netflix's movie selection is really abysmal. After finally cutting the cord, going full-legal and all that. And then: "Hmm, I'd really like to watch movie X", and then you search for it on Netflix, thinking oh it's some relatively-semi-popular movie from half a decade ago, it should be on Netflix. But nope, they recommend you sign up for a DVD plan instead where you can get that movie. Don't even expect one of the "new blockbuster" movies on Netflix, not going to happen. For that have to fork out a pay-per-view amount of $$ on Amazon Prime/Google Play/Itunes.
That is a bad tool only if you want to use it for driving nails.
A claw hammer with two claws and no face is a magnificent tool for pulling out nails.
I've yet to see any good arguments for why this case stands out, other people have spent decades in prison due to prosecutorial misconduct.
I agree that you can probably do that with dependent-types, I am just wondering if there is a way to do stuff like that in more simpler formalism, similar to untyped lambda calculus.

I mean, in untyped lambda calculus you start with simple objects that are fully specified and you compose them to get more complex objects. I think one should be able to do the "opposite" thing, i.e. start with potentially complicated objects and restrict those down by adding relational conditions on them.

So I am looking for some (minimalistic) formalism to do that, something like "lambda calculus in reverse". In classic Lisp, there were operators CAR, CDR and EQ which let you introspect any lambda expression. So maybe there should exist a formalism having these decompositional operators as primitives..
I've worked with many first time users over 20 years and have never witnessed any of them intuitively understand either CLI or GUI, both are artificial, contrived and unique and need to be learnt. I don't essentially see one as a better choice than the other for a new user, maybe in some ways the CLI has less abstractions which can be a help, I've witnessed much confusion over the many many ways you can enact the same result using different methods in a GUI.
I remember reading this when it was first published like 4 years ago!
Post-scarcity economy
The community will never be able to implement BrowserID in the browser without Mozilla's permission. This is the missing piece that would have made BrowserID awesome, without it, there's little point, you might as well use Google/Facebook/Twitter log-in.
Salzburg, Austria | Full Time | ONSITE | Wikitude - http://www.wikitude.com

Jobs descriptions: http://www.wikitude.com/about/jobs-career/

We are looking for several Engineers:

* BACKEND SOFTWARE ENGINEER

* DEVOPS ENGINEER

* TECHNICAL QA ENGINEER

* SOFTWARE ENGINEERING: IOS/ANDROID DEVELOPMENT

* COMPUTER VISION ENGINEER

* JUNIOR TECHNICAL PROJECT MANAGER

To apply send us email to: jobs@wikitude.com

About Wikitude: Wikitude GmbH is the renowned pioneer of mobile augmented reality (AR) technology and the company behind a number of award winning AR solutions for smartphones, tablets and wearable display technologies. Its fully in-house developed AR solution is available in the Wikitude AR SDK and Wikitude Studio, and enables thousands of apps, brands, agencies, developers and AR enthusiasts to achieve their project goals. With tens of thousands of developer accounts and published AR apps, Wikitude is the globally leading AR technology platform.
Agree. I am still having difficult times to locate music i favored. after i switched off data for apple music, it didn't warn me when I start it and i thought it is down. i switched back to spotify now
"Blockchains never shut down"

Yes, they do. See this long list of failed altcoins.[1]

Minor cryptocurrencies can fail in some unexpected ways.[2] The classic 51% attack has happened in practice to several altcoins.[3] There's also a "burst mining" attack, which can happen automatically - a big mining pool's control system determines that it would be profitable to divert the pool to briefly mining some altcoins and get all the blocks for a while. Then the difficulty goes way up, and the big pool goes off to do something else. Now the difficulty is so high that no blocks get mined at all for a considerable period of time and transactions stall.

[1] https://bitcointalk.org/index.php?topic=588413.0
[2] http://www.ofnumbers.com/2014/06/03/thread-of-the-day-list-o...
[3] https://maxminer.files.wordpress.com/2013/06/ftc_51attack.pd...
Call for papers for App Builders Switzerland is open
tl;dr: this is a UI problem
> I don't think most arguments against surveillance are necessarily implying that it is the reason that dictators rise, but instead it is one of many tools used to allow it to happen.

But that's what the quote from the post is claiming.

> Furthermore, the fact that billions of people are voluntarily using social media, all stored on private company's cloud servers, along with ML, massive computing increases gives those who'd use surveillance for power grabs exponentially more power than the Stasi, KGB, Hoover's FBI, etc. could have ever dreamed of.

No, Hoover wouldn't. When you compare Hoover's era to today, compare how easier it is to track paper letters and phone calls than email and skype, and more importantly, how much more of emails and skype calls do we have now than then. The only thing that have gotten easier is to bulk process them, yes. But if you actually want to tap communications of certain individuals for some legitimate reasons (and I think we all can agree that in the most corrupt and awful country, there are some situations where these legitimate reasons exist), you would need much more man-hours and effort to do that.
>he would be alive.

How do you know?

Aaron had been talking about suicide years before this, maybe we should just blame reddit?

Edit: Why the downvotes? Fact is that we don't know why Aaron killed himself, but we do know that he had a prior history of depression and in 2007 posted what seemed very much like a suicide note.

Frankly, making claims like "If x had (not) done y he'd still be alive" and presenting them as facts is straight up disgusting.
Bravo pmontra! We've rolled that out.

I'm ashamed to say that this fix was on our list for a month and we hadn't gotten to it despite how easy it turned out to be (assuming, at least, that nothing breaks in other browsers). Fortunately HN has excellent users.
Hahaha, glad someone else noticed.
"As for creation myths, we have a document written several thousand years ago which says the universe began in a flash of light and developed through several stages of increasing complexity"

Stages are named as days, and the "omnipotent" god even gets tired and has to rest (!) the whole day after 6 in which he makes the whole word, including the "firmament" to keep the water on the heaven from not raining down all the time.

Doesn't have sense.

https://en.m.wikipedia.org/wiki/Firmament
Interesting how one can write an article about thermonuclear bombs and calls them hydrogen bombs all along.
I would ask the OP to consider going even further and figuring out a way to facilitate some liquidity so the employees could sell enough to cover their taxes even if they don't do early exercise.

You have employees who own shares but need a nontrivial amount of cash to cover taxes. You have investors who may be interested in acquiring more shares (or the company may want to buy them itself). You have a notion of a current valuation of the shares. Broker a sale at a price that's beneficial to both parties.

What is the company's incentive to block such a transaction?

I'd love to see this become standard.
^^ this. The commands are great but why not bring up a dialog of the commands represented by an icon that you tap to use the given command? Much better discoverability than having to type "help" and get popped out to a web page with the list.
Caching server I'm kinda surprised they haven't done P2P content distribution. or at least sold caching servers 'Appliance'-style.

OSX Server has iCloud caching, that caches both updates and user data.
Michelin acquires table reservation service Bookatable
Yes What happens is that blocks dropping from above a cleared line counteract the parity problem created by the odd number of T's. 5 blocks (an odd number) switch parity by moving one position orthogonally.

More generally, any odd number of line clears will reverse the parity of all remaining blocks above, which can be an odd number.
I dont know. I always read my policies. My auto insurance policy is about 13 pages of large font which is written in plain, easy to understand, English. All the "loopholes" seem pretty straightforward and reasonable to me. They seem pretty easy to avoid to me.

Yea, it stands that lying about where you live to an insurance company would be a good reason to deny your claim. You were paying the (probably cheaper) Seattle rate, not the CA rate. If you split your time between two different places just get the proper insurance for that.
Environment and economy are related but separate realities.

The context of the article is economy.

In a large perspective of course excessive consumption is a reasonable worry, but it's important to understand that by making a statement about ecology (draining...), we're reasoning within a different context.

This is for example, the same reason why stating that "Bitcoin wastes electricity" is nothing more than a gimmick.
Ask HN: What should I give priority, Lisp, Haskell, or the Dragon Book?
I realise the Lisp/Haskell question has been asked before, so let me clarify. I'm about to enter my second year of uni (studying ECE) and I'm trying to decide what to focus my time on. I'm very interested in learning about writing compilers, but I also want to grow my skill in programming. Currently, the only languages I know are C-derivatives, and although I'm falling in love with Go, I know that it probably won't give me fundamentally new ways to think about software.

So, to the issue at hand. I've been struggling to start The Dragon Book, as I find it incredibly dense and difficult to understand (though, to confess, I haven't given it the dedication it deserves). Also, after reading some of PG's essays and threads on StackOverflow/Reddit/Hacker News, I've been convinced that Lisp is an important language to learn, esp. because of functional programming (which I don't know much about). Then I recently ran into Haskell, which seems to offer some of the same.

My question is this, because I'm in school, I have plenty of free time, but it's still a limited resource. Between the 3 things I've listed (Lisp, Haskell, Compilers), which do you consider to be most enriching? (To the experienced) if you were back in your hacker-youth, knowing only a few languages and how to use a shell, what would you do? Am I making a mistake by starting with the Dragon, and if so, what do you recommend? Should I learn Lisp then Haskell or vice-versa? And what should I prioritize, compilers or more languages?
NodeOS is well on the way.

Packaging a server backend along with a minimal kernel and V8 VM isn't any more complicated than most of the build tools used today.

Here are the specifics:
http://node-os.com/GitBlog/article.html#!200

When you cut 99% of the crap out of an OS, it becomes a lot easier to package/distribute.

Most of the work on NodeOS has to do with replacing POSIX with Javascript equivalents.

Immutable operating systems aren't a new idea either. How you think a Linux LiveCD works? ChromeOS is basically an immutable OS with an added persistence layer.

There's a lot more work to be done before any of the Unikernel implementations (ie NodeOS isn't the only one) are ready for production.

With that said, for webservers that aren't required to persist any state locally, it makes sense to remove mutability -- and there fore OS-level security vulnerabilities -- as a concern. That way, devs have more time/resources to focus on app-level security.
Cocaine addiction: Scientists discover ‘back door’ into the brain
Though this may sound harsh, the fact is Mozilla is abandoning projects left, right and center. From Thunderbird to Firefox OS and now Persona.

So why should anyone in their right senses bet on a Mozilla project in a serious way?

They have put themselves in a catch 22 situation. Abandoning projects because "people are not using them" and people will not use them because Mozilla abandons projects.

Interestingly, most of these abandoned projects were promising but I cannot recollect Mozilla ever changing course as a result of feedback given when they launched a project.

This is quite unfortunate.
I'm appalled that someone would give up such basic principles for a million dollars. A billion, and I could understand it being hard to turn down, but one million?

If you're going to sell out, might as well be for a large sum†.

† Given they have to implement it, and there are probably more than a few people involved, I can't see anyone getting more than 100 thousand out of this. On the other hand, Judas was content with 4 months pay, so maybe some people just don't care.
This is another dumb move from Mozilla, putting them further away from being the alternative to giants such as Facebook and Google on the open web.

With time, more and more users are going to wake up to the privacy issues with the current web, and a common login solution that is NOT Google or Facebook is critically important in order to avoid getting tracked online.

Persona should be improved to be a natural fit for Firefox users rather than to be shut down. The demand for common login is there and people pick Facebook and Google today because they dont understand the need for privacy. But sooner or later they will get quite tired of being tracked and want a good alternative. Mozilla should be there for them when they do.
Satya Nadella puts his Seattle house on the market
Thanks for both replies to my questions, I have asked additional question above.
This Week in Rust 113
Cindr
Teslas connect via AT&T, so I doubt that one could add a proxy.
Two Weeks of Rust
You can. I've used them from about three auto insurance companies. All of them had a web interface with exactly that. One you could set text or email alerts on certain events also.
Asshole Driven Development and others (2007)
I started watching curling during the 2014 games and learned to love it. Haven't watched it since, but I'm definitely looking forward to 2018!

PS: Completely disagree with your assessment of the CBC and their operation under Harper's premiership, but such is life. Just wanted it noted.
All companies do this. Google does it too. Facebook abandoned their login system for embedded systems, leaving some of us working in the digital TV sector up shit creek without a paddle. Look at what happened to the Twitter ecosystem as it locked its API down.

Bet on any third party service in a serious way and you are taking on risk that you cannot control. That's a fact of life.
A great post, but we changed the title from "Probably the most cited and least read paper in Computer Security" in accordance with the HN guidelines: https://news.ycombinator.com/newsguidelines.html.

Please don't editorialize in titles. If you want to express an opinion about a story, the way to do that is by posting a comment in the thread. Then your opinion is on the same level as others'.
Google recommends inlining small CSS
Thanks ! Sure will checkout your project too.
But still, as the previous poster pointed out that rate is still zero overhead and zero profit.

Plus, if you did use that rate and could somehow achieve 24hr utilization, you'd presumably be putting on ~1000 miles per day on the car. At 365,000 miles per year, that's going to millions of miles during your "lease".

You'll probably go through quite a few batteries and quite a few cars during your "lease".
Σέξυ+στολές+role+play+για+μεγάλες+καύλες+-+Golden+Diamond+Escort