skysight-inc/HackerNews huggingface dataset:
I'm first of all excited by the fact that this made first page on HN. I didn't realise there was that much interest in Prolog news (as in more than two or three people).

Also, having more open-source Prolog engines is a very good thing, both for the language and for the project itself. For the project, it's good because it makes it easier for a community to grow around it. Swi has benefited enormously from its popularity (Jan Wielemaker has commented on this occasionally). For the language, it's good because the more healthy Prolog communities we have, the more we can hope to get new people interested in the language.

Comparing to other Prologs (and Prologs-ish'es) the problem with having closed-source and only for-pay Prolog engines is mainly one of portability, which in the Prolog world is a bit shit (and that's a vast understatement).

Frex, I wrote my degree dissertation using Win-LPA Prolog in 2010-11. LPA is commercial and I don't have a licence anymore (I had a student one) so now I can't run my dissertation. I tried (and tried (and tried)) to make it work on Swi but failed (and failed (and failed))[1].

The problem is there are subtle differences between implementations that bite you in ways you never thought possible, and it's just aaaargh hard to get the same program running in the same way on two different Prologs.

Apparently the exception to this portability hell is Yap and Swi, who have worked together to maintain some compatibility with each other. I don't have experience of this myself (after getting burned I've stuck to Swi) but if Amzi open-sourcing their stuff also means they'll be more open to this sort of working with others, then that's really, really amazing news.

____________________________

[1] It's here: https://github.com/stassa/Gleemin
But it will hurt you.

Also, graduate dissertation, 5 years ago: embarrassing.
More Good Programming Quotes
I remember having to use GET_TASKS a couple of years ago (before Lollipop) on a well known app (tenths of millions of users).

IIRC, I needed to identify a couple of states :

- when the user is on the lockscreen.

- when the user is in another app.

- when the user is in our app.

- when the screen is off.

There were business reason behind this for a complex feature, nothing to do with the user's data.

The Android team does not want android devs to access to their own app UI state because 'the business logic should not have to depend on that' ...

Fair enough in theory but in practice there are a couple of times when you just need it.

For example even the Chromecast sample uses a ugly hack to access this piece of information (put a timer behind start/stop activity events).

I remember that a coworker had to revamp this piece of code recently for Marshmallow but I don't remember the details.

Google finally has a working permission model with Marshmallow : protect the private data behind popups, everything else is fair game.

It is not perfect by any means since users still tend to click yes on any popup ... but that's the best we can do IMO.
I use something akin to djb's Maildir delivery procedure when I want to be as close to sure as I can be that a file 'has been saved'.

1. Create a temp file on the same mount

2. Write data to file, checking return of each write(), then a final fsync(), and close()

3. link() to filename we actually want

I still haven't figured out how to be this safe on Windows, because AFAICT there's no atomic way to link() or 'move' a file - and they canned the transactional API for the filesystem. Any pointers to how to write files 'safely' on Windows would be much appreciated!
I don't know why you are downvoted. What you say is entirely accurate. In particular /r/europe which I used to frequent is horribly biased. When TTIP was in the news all negative criticism of TTIP was censored. If you visited the subreddit you'd think 100% of European redditors were pro-TTIP fanatics.
It's more likely that large creatures couldn't get enough food, because sunlight was blocked by dust clouds and a lot of plant life died as well.

The percentage of Oxygen on the atmosphere might also have been affected, making large lifeforms unable to function efficiently enough.
What do you mean they are not exact numbers? 2204 does seem to imply 4 significant digits.
The Ars guide to building a Linux router from scratch
Does it? Mind you, I conceptualise weights in kilos then have to make an effort to translate to pounds so maybe that sounds worse automatically.
I would stay away from brand new models unless you see that they are specifically supported. They tend to have more issues that will get improved over time.
The point (of the problem on reddit) as a I see it has less to do with free speech and more to do with malicious moderation intended as a means of propaganda.
>like heterostedasticity or error normality.

But nothing you've said is complicated enough that in can't be explained through simple instructions or conquered through better tools. This is besides the fact that a little bias in the estimation isn't the end of the world if you're only trying to figure out who clicks ads, and not doing medical research.

Believe me, I run into the same issues as well, having to state "You can't do that..." when I watch co-workers try to apply even simple tests. I just think we draw the cut-off line at different skill-levels.
Why This VC Isn't Buying into the 'Million Dollar Idea' Myth
Nice catch, I didn't notice that at all when I saw their numbers originally, though the fact that the Tin and Silver numbers are a multiple of the Gold numbers should be a big tip off.

One thing I'd like to know more about is how environmentally sensitive this processing actually is. My guess is that this takes place somewhere where they do a lot of other extraction from electronics components as well, probably China, and those processes are not necessarily too environmentally friendly. Extracting Gold, Tin, Copper, Silver, etc. often involves the use of strong acids, and the use of many other potentially hazardous chemicals. If care is taken it can be a relatively clean process, but if care is not taken it's pretty easy to damage the environment by just dumping the waste byproducts.

Example: https://en.wikipedia.org/wiki/Electronic_waste_in_Guiyu
>> I went through their "Nani Quest" tutorial and that gave me positive memories of Prolog that I revisited later.

Yeah, that's a great tutorial to the language, I learned a buttload from that when I was doing my degree. Not to look down on Learn Prolog Now! and others, but this is how to teach Prolog to university students.
It's fun, it's using a French TTS engine on my computer :)
PodRide: a practical and fun bicycle-car
In metric countries (like Australia) Apple does publish the numbers in kg: https://www.apple.com/au/environment/resources/ :)
Wow this person is impressive, the details of the attack and the preparation almost make it read like a Hollywood hacker movie script (if they made good movies about hacking that is...).
But oh noes, with the most critical reading possible it could conceivably portray something negative about Apple!

I'm amused that the vast majority of the comments here are mad at you for finding something mildly interesting and writing an article about it. HN is a weird place at times.
The author is saying the the numbers were rounded when based in another unit.

for instance 136,036 lbs reported from apple is converted from the rounded 59,000 kg.

The 59,000 kg comes off more as a rounded number than 136,036 lbs.
I develop Cursive - it's closed source, but it's around 31k LOC Clojure, 23k Java and 5k Kotlin, all as counted by cloc. I'm not sure what's up with your find command, but that reports 5k LOC in Cursive, it's definitely more than that. Straight wc -l reports 74k.

I'm pretty sure my code has more bugs than yours, though :-)

Anyway, very interesting presentation, thanks - it's great to see a project like this in a space I wouldn't have expected it. I'm very surprised (and pleased) to know that Clojure is on Boeing's approved language list - I'd love to know how that came about.
MicroXchg: The micro services conference in Berlin (Videos)
Another problem is that it can make people so angry that it's difficult to articulate coherent replies, so thank you.
USD5.00 WORLDKOINS-GIFT
Dropkoins - Limited offer: USD5.00 GIFT for all registred users. offer ends on April 20th. Google Play http://bit.ly/1WyKPvw
I never said it was necessarily wise to start a startup. Having worked on my fair share, I quite agree that it's very difficult and you need very strong business skills.

However, people (including very good engineers) are not rational and in boom times are attracted to the idea of founding a startup even if it's economically undesirable.
The Librarian Who Kept Timbaktu's Treasures from Al Qaeda
>As a single data point, I am a male who is strongly feminist and I am not trying to impress any women.

No offense, but that's just what someone who was using feminism as tool to get women would say.
Probably just because of the larger number I'd say.
That's because the permission model is back compatible.

Instead of creating a new 'access contact permission', the permissions are now bundled automatically.

That way the same manifest (where you declare a bunch of things about your app, including its permissions) can be used for both old and new devices.

As far as the manifest is concerned, it would have been easy to automatically generate the old permission list from a new permission list like {Contacts, Calendars, ...} but you would also have to create a new library to translate these new permissions to the old ones in the code (since old OS versions still only understand the permissions that existed with them) ...

It is probably easier to just keep the old permissions.
No RSS?
Somebody clearly never learned about significant figures. This happens all the time even among people who really should know better, giving false precision to imprecise measurements.
It wasn't ext4 that introduced a paradigm shift but ext3: the fsync() implementation in ext3 by design wrote all buffered writes for the whole filesystem, not just a single file, hence it was so horribly slow that it taught a generation of application programmers never to call fsync() to avoid multi-second pauses.
Not sure why you are getting downvoted for voicing a valid concern.
and my point was that those rounded numbers (in another unit) were just that rounded numbers, I didn't see anything amusing about it.
At the 20 sec mark he mentioned OVS or OBS. Doesn't ring a bell for me. Screen shots looked Mac-ish.
Are they saying it could provide a third of America's power (I'm guessing current electricity consumption) from America's coastal waters, or from the whole of the world's oceans?
If it's from 2000 and they were created using WinZip up to v8.0, you can use the Passware Kit and the SureZip recovery as per http://www.lostpassword.com/attacks.htm#surezip

> SureZip attack decrypts Zip archives created with WinZip version 8.0 and earlier in less than an hour regardless of password used to protect it. At least 5 simultaneously encrypted files are required in order to process the archive. Archives created with WinZip are supported.

I used this when it first came out and even with a 60-char password, if there were more than 5 files it could extract them within an hour (sometimes less than 5 minutes).
Well, browsing history sounds very helpful in order to create another browser and that's pretty much it.

The unfortunate thing is that it is bundled in the same group as 'running apps'.

I guess it is because Android's PMs wanted to limit the number of permissions groups but it means that many apps have to request it simply because they need GET_TASKS for old devices.
PR optics. Stupid journalists and outrage-based reporting culture make intellectual honesty a very bad policy for public individuals and companies.
If you like Planet Money, you'd probably like "Odd Lots" by Bloomberg: http://www.bloomberg.com/podcasts/odd_lots
But they've clearly been converted to pounds, then back to kilograms.

Lead 19,994
Tin 1,999
Silver 2,999
Gold 1,000
Madness of Geo-Blocking (Hidden Camera Prank)
Facebook Chef cookbooks
if u make it an international site i can help you with hungarian language
I was so hoping you were joking. A quick search and yep, that's a real thing. Hopefully not a well selling thing, but that it exists at all is depressing.
depends what you mean with overreach.

First : sadly most users (and I really mean most) don't even glance at the permission screen.

It makes it hard for us Android devs to push back against the product teams when they want to add a crazy feature needing a ton of permissions (I still do though and the fact that it breaks auto updates at least is a good argument... ).

The weird part of the permission system is that we have to transition from a 'designed by & for engineers system where there were a tons of different permissions that no users ever read to a granular system where you only need to ask user's permission in order to access private data.

IMO the platform is definitely moving in the right direction (if only because it apes the other platforms approach).
Ask HN: Can't concentrate to focus, until it's last minute or later
I have been having this issue for some months now, but it has been present for a long time.

Basically, I can't make me to focus on my work until it's really close to the deadline of my task or even later. I keep procrastinating or code other things, but the one task that I know is my highest priority and the one that should be done, always gets ignored until last minute.

The weird thing is that even when I took a break from full-time work for a year or so, I eventually got to the point that even for my own (low or high importance) projects I would do the same and procrastinate instead of working on the project that I know I must work on to accomplish my goals. I think I generally do this not only on code stuff though. Anyone else had this?
"911 Metallurgist, which helps mines and recyclers extract precious metals from ore and, apparently, phones, has exhaustively checked the iPhones and other mobile devices. Each iPhone 5, for instance, contains $1.58 of gold, $.36 of silver, $.05 of platinum, and $.12 of copper."

I'd posit the missing 644 pounds (<1kg) is platinum.
I think most popular assemblers use dst,src not just Intel. I know z80, 68k, PPC and ARM do at least.
Also, ART (the new vm introduced in Lollipop) was still pretty rough in Lollipop.

IIRC it even has some memory leaks ...

It is MUCH better in Marshmallow, so it is definitely worth upgrading because that's another thing where you just need to update the system.
It mentions protecting against jamming, but I hope they also explicitly make efforts against spoofing. I think that's the bigger security concern when your receiver thinks it has the right position, but an attacker is providing the signals and rerouting at their desire. Currently only tightly controlled military receivers have anti spoofing security distributed via the P(Y) code.
Birds are also scientifically classified as dinosaurs[1].

> "Avialae ("bird wings") is a clade of dinosaurs containing their only living representatives, the birds."

[1]https://en.wikipedia.org/wiki/Avialae
Similar life experience.

My first set of magazines were the Input series, a British monthly magazine about coding for 8-bit systems.

I invested the majority of my allowance in such magazines, "The C User's Journal" (later C/C++ User's Journal), Dr. Dobbs, PC Techniques, GDC Mag and lots of books.

Luckily my university being highly focused in systems programming, had a huge collection of books and SIGPLAN papers, which opened my eyes for the world of safe systems programming. Thanks to it I was able to delve into the work from Xerox PARC and ETHZ, as well as, the research that was happening with ML (Caml Light was rather new back then) and Prolog.
I am looking for interesting REMOTE development work
Software developer with oodles of years experience. Over 25 to be exact. I will not mention all the languages and past technologies I have used. There is a lot.
My skills are up to date. But I am smart enough to know you can't know everything.

A good programmer is not a programming language or a framework , it's the ability to problem solve and look at things from many different angles. and to pick the right tools for the jobs.

I am a straight shooter, and let me get to the point. I am available for
either REMOTE or full time work ( if you pay relocation ), My 3 must haves are.
1) The project is interesting and it has to have MEANING. I need a why I should work for you? 2) You pay me well 3) I am not working with INDIANS period. They
get on my tits, and they can't program worth shit. I did say I am a straight shooter
I am Irish and I don't mince words :)

What I am interested in these days, I am open to any stack? I am a full stack developer front end back end or any other end you have. So if it's Nodejs, golang, Java
mongodb or sql, angular backbonejs . I don't give a fiddlers I have worked in them
and those that I haven't I can figure it out

I have a resume, but you and I know resume are useless , they don't say anything
and most are pure fiction. Just ask any Indian. Irishman6000@gmail.com . cheers!
Interesting. For the UK they just say 1 tonne, 2 tonnes, etc - https://www.apple.com/uk/environment/resources/

So everyone’s trying to play this as some conspiracy of fictional numbers. All we’ve actually found is that Apple do localize their site, and possibly some weaknesses in how they do so.
Ask HN: Non-tech founders who learned to code, what products did you make?
Would be great to know interesting stories too. What you learned in the process? would you advise the same to others in retrospect? etc.

I wanted to collect stories from products makers in the wild apart from the popular ones like Instagram. Doesn't matter if the products ended up being successful on a large scale. Just something that you were proud of creating.
As far as the Elder Scrolls go, Daggerfall was a more detailed game than either Oblivion or Skyrim.
> it is also impossible to think of a non-Hindu holding any serious power in India for the foreseeable future.

the last prime minister was a Sikh, the leader of the party which was in power for the last 10 years was an Italian Catholic.
I would wish I had someone like that to maintain the boring business parts while I code away at my dream project.
In Portugal there isn't a CS degree as known in US.

It is usually called Software Engineering in Informatics or something similar.

In the universities where you have computing and EE degrees, you are free to mix and match computing and EE lectures for the optional credits that you need on top of the compulsory ones.

Personally I just did some stuff of digital design and ended up spending the rest in systems and graphics programming. But other others were focusing in EE lectures, for example.
Background Music, an OS X audio utility
The Tesla Effect
OneCoin+Scam+UpDate:+Bungled+US+Trademark+Application+&+Recent+News+from+China
Previous entry from this blog on HN front page was about Wasteland — which prompted me to try play Wasteland 2 again, after initial disappointment. Turns out, when you treat the game as text-based adventure, practice a little bit more patience (with a little help of self-prescribed herbal medication) and concentrate on the story and setting, it is indeed a fantastic game.

I never invested enough time into any Ultima titles to truly enjoy it — and I think after this article I will finally get to it.
>The question is, are those dudes representative of males who believe in feminism as a whole?

I have no idea, and never made that claim.

>not because of the sharp and obvious lack of parity in the tech workforce

That's what I find hard to reconcile: such concern about the issue, still bad.

>Do you have any such evidence?

Do you have any evidence of anything you've claimed, before you start asking me for evidence for things I haven't? I used the word "some", and cited a high profile case. My job is done as far as providing evidence.

Have you ever considered that you've been in tech for so long that you're blinded to what people outside of the HN hive-mind see? From my long time around this site, you're probably too arrogant for that.
Whats the big deal? They arent decades behind their competiton. At most you can argue they are a few years behind. With their resources they can catch up quick.
Oh! So that's where all the random nulls in my shell history came from. Zsh would sometimes complain about a corrupted history after a bad crash, and I always wondered what caused maybe 20 nulls to be added to the end of the file. Thanks!
>> "What we can see in the fossil record is a number of bird-like theropods with hair-like structures and simple downy feathers. Being mostly small creatures [they must have generated their own body heat] and evolved hairs and feathers to help retain the body heat they generated," says Willis.

Is it possible that feathers evolved first, for some other reason, particularly mating displays, and, once evolved, opened the way to endothermy?

[Disclaimer: I'm completely not a biologist at all, so this is probably a stupid question, but I seriously wonder nonetheless]

Edit: Funny typo in the article. The phylogenetic tree of dinosaurs says: "Theropods (meating-eating dinosaurs)".

Aye. They're dinosaurs that meet you and eat you.
No luck finding the 644 missing pounds but I do note that the PDF version of the document (I assume the original) reports the steel figure as 23,101,000 instead of 28,101,000 . That however seems to be a typo that was fixed later.

I'm guesses the missing 644 pounds is platinum. Several articles on Liam talk about the metal but it is not included in the list, presumably for space reasons.

http://images.apple.com/environment/pdf/Apple_Environmental_...
It all matters a lot. There are great languages available today and typescript isn't one of them. Why should we be forced to choose sub par languages?

I don't see it as a long term solution. It's just the next coffeescript. It's part of the problem rather than a solution, the problem being the massive churn in the JS ecosystem as we desperately hunt for a way of writing JS code that isn't awful.

The actual solution is to give us other languages in the browser. We need Python or Ruby or Go or C# or PHP or whatever. We need real choice, not javascript 2.0.

If Firefox wanted to stay relevant today it could stop dogmatically promoting a broken language and that's what they'd be working on right now. They're too rigidly fixated on the past though.
Intel's syntax is most common, not the AT&T one.

You only see it everywhere nowadays thanks to the rise of GNU/Linux and other open source UNIXes.

If you translate mov into =, the syntax makes much more sense than AT&T.

I mean

mov dst, src

is similar to

dst = src
democracy \di-ˈmä-krə-sē\ a form of government in which people choose leaders by voting - Merriam Webster, first definition

democracy (dĭ-mŏkˈrə-sē) Government by the people, exercised either directly or through elected representatives - American Heritage dictionary, first definition

With apologies to Plato, the word "democracy" most commonly refers to nearly any political system that involves voting. The only time anyone uses the word democracy to mean "direct democracy," with every citizen voting on every issue, is when they're criticizing someone else for using the word democracy in exactly the way almost everyone does all the time.

See my companion rant: Hitler's National Socialism was a form of fascism in the way we use that word today, even though he and Mussolini had distinct political ideas.
Here the episode: http://southpark.cc.com/full-episodes/s19e05-safe-space
If only we had this tech when we wrote https://jamescun.github.io/iPG/ (of which the questions seem to be based).

https://github.com/jamescun/iPG
Well we do have a property system so what are you trying to say?