skysight-inc/HackerNews huggingface dataset:
There are quite a few projects working on "cross-chain" solutions:

https://cosmos.network

https://ark.io

https://omg.omise.co

And more
The silly stuff we keep inventing to not confront the simple truth that single persons sitting in 2 ton metal boxes on highways leading to city centers is insane and will not scale.
The primary distinction from a dynamic language is that Dhall is typed, total, and does not permit arbitrary effects (only importing other code is allowed), so it's safe to evaluate arbitrary remote code and it's also safe to use Dhall expressions to configure programs since they consist of nothing but pure functional logic. Dhall is first and foremost a programmable configuration language so safety is one of the primary language requirements
Is there a category for deep scifi? hardcore scifi? Golem XIV is the deepest scifi I have ever read.

It has many ideas that I have never seen expressed anywhere outside the book.
Anybody who needs more availability than an individual instance can provide.
Pentesters do not really make the world more secure
Flattr?
Thank you for that very detailed reply (to a comment which was
mostly made in jest). I'd feel bad leaving it with merely an upvote and no response.
I know next-to-nothing about AI, but I do know something
about humans (having had decades of experience in both being one and dealing with
them. Hit me up, potential xeno-employers!):

Humans always have more ability than insight, more skill than wisdom. We
developed agriculture (as one theory goes, so we could brew more alcohol) and
did not (could not) foresee the planet-changing (both to climate and ecology)
consequences of that. We invented combustion engines, and could not foresee the
planet-changing consequences of that. The same pattern appears again and again
in (technological) history. It's forgivable; after all, you never know the
full consequences of your actions until well afterward (or never at all).
In short, our technical abilities always outrun our understanding of the
impact of those abilities. Like adults with the minds of toddlers.

I am apprehensive of any development of (true) AI (though I also have strong
doubts on how far we'll get in actually creating one in my lifetime),
but, just like the invention of the atom bomb, it is inevitable. Natural intelligence
exists, and therefore artificial intelligence is possible. And if it's not invented by an Omega-group
(who mean well for all mankind) it might be invented by groups with less altruistic
intentions. Either way, it's going to happen (assuming no civilization collapse before), but I doubt
it will be as good as we hope it will be; or as bad as we fear, for that matter. I don't think we can
foresee the results at all (barring of course writing tens of thousands of futurism stories, there's
bound to be one close enough).

I consider AI-stories like this one (along with
stories about the Singularity) to be just a secular techno-eschatology,
the belief that technology will save humans from themselves, or as you have said,
the creation of God, "Deus est machina."
Related: Computation at the edge of Chaos (Langton): http://www.romanpoet.org/223/langton.edgeofchaos.pdf

The fine balance between chaos and order in computational terms.
I’m teetotal, so I only go to the pub to socialise. That in turn requires several friends to want to go at the same time.

TV, fortunely for me, is not something I find addictive. I don’t own a TV, and the number of shows I care about seeing online or with friends is, on average, about 1h per week.

Reading more novels would be a good thing for me at this point. Long-form prose requires focus for several hours; exactly the mental state I want to have.
better video chat with screen share abilities and decent noise cancellation. We tried Skype, Zoom.us, Slack video, Google Hangouts and WebEx … they all have issues and none of them work reliable enough even with decent internet connections across all three major operating systems. If we would need custom hardware for that: we'd even buy it, a good high quality webcam and headset would go a long way.

I honestly can't believe that's the biggest problem we've had so far, other than that it has actually been a smooth ride.
Tmux 2.6 release notes
Wikimedia Foundation's runaway spending growth
Back in 2000-2001, I worked up a prototype of something similar using Adobe's FDF SDK [1] for PDF. We had a PDF-centric application that would render to PDF using an HTML -> PDF library and it was hugely problematic, so the prototype definitely made things a lot easier and, had the business not run out of money at about that time, it would have been the direction we headed with the product.

So, how similar is this to FDF? Does it use FDF under the hood? If not, what are the pros and cons of this over FDF?

[1] http://www.adobe.com/devnet/acrobat/fdftoolkit.html
Seven Databases in Seven Weeks
https://pragprog.com/book/rwdata/seven-databases-in-seven-we...

Designing Data Intensive applications
http://dataintensive.net/
Where can you start? Wouldn't starting from West Sahara shave of some days? Or would you drift too far south?
I'm parsing the fields from PDF forms, but I don't use them in the generated PDFs. In the end it was just easier to output plain text, shapes, and checks, etc, instead of trying to work with AcroForms and XFA.

(But if someone needs to generate a PDF that uses editable forms, then I can add support for that.)

Your lawyer's system sounds interesting, and I can relate to those rendering issues. PDFs are incredibly complex -
the PDF reference [1] has 1310 pages, and I've had to read a lot to understand things like fillable forms and transformation matrices. I ended up fixing a bug in a PDF library where all the PDFs from Google Chrome were flipped upside down - https://github.com/prawnpdf/prawn-templates/pull/20

[1] http://www.adobe.com/content/dam/Adobe/en/devnet/acrobat/pdf...
Ambitious is definitely the right word for this game. I've put about 7 hours in to it so far and can definitely say I've not played anything quite like it. It's huge, full of unique art and writing, and has managed to surprise me quite a few times.

I can see it getting repetitive, particularly as there's not a huge amount of storytelling - and from what I've heard, some people aren't enjoying the need to replay hours of content when you die - but so far, I'm impressed.

The second printing (+ expansion) Kickstarter is live at the moment (https://www.kickstarter.com/projects/1926712971/the-7th-cont...) which seems like it's adding a lot more content. I'm in, but whether I'll still be interested in playing more when it ships in October 2018 is another question...
Study: race is a stronger impediment than gender for leadership roles in SV
If you're looking for a "dungeon crawler" that plays quickly, check out:
Dungeon Roll https://boardgamegeek.com/boardgame/138788/dungeon-roll

Dungeon Dice https://boardgamegeek.com/boardgame/136192/dungeon-dice

5-minute Dungeon https://www.boardgamegeek.com/boardgame/207830/5-minute-dung...

Pathfinder: The Card Game (although a bit long) https://boardgamegeek.com/boardgame/133038/pathfinder-advent...

Shadowscape https://www.boardgamegeek.com/boardgame/200359/shadowscape

Dungeon Twister https://boardgamegeek.com/boardgame/144525/dungeon-twister-c...
The Golden Gate Bridge had that for decades, but there were too many accidents. A "zipper" barrier was considered many times, but early versions weren't strong enough to stay put if hit, or were too wide, eating up too much lane width.

Lake Shore Drive in Chicago had solid lane dividers which were raised out of the pavement hydraulically.[1] These didn't work reliably and were abandoned in the 1970s.

[1] http://historicbridges.org/illinois/lincolnpark/ccp_passe.jp...
The comment you linked says that nasm is "tied to gcc", "indirectly". What kind of tie does it have? All I really know about it is that it uses a different syntax than GCC's assembler.
I am very interested myself and I am not a physicist. ;)

However, this particular discussion (in the article) is indeed very old and nothing productive ever came out of it, I think. It's almost like asking "what's the meaning of it all?"

Something I'd be interested in reading would be a theory in how the human brain "slows down" time when we're in severe pain, or what known quantum effects might contribute to time dilation caused by us without going to a black hole. Etc.

You know, something that is still not a solved problem but has an attached practical question to it, instead of "what if time only exists because we're designed to perceive it?", which really says nothing at all.

All of this is an opinion of course.
> Bob Widlar

Sometimes I hear a name all my life because of an invention/discovery, but somehow in my brain it's dissociated from the actual person because I know nothing about them. And when I finally do, I get this nice fuzzy feeling.

That happened again with Bob Widlar (Widlar current source was the trigger) for whom I knew nothing about, not even his first name, but I was happy to learn that he was such an interesting person. thanks
I was pretty clear about my concern for unfortunate unintended consequences

The part of your post I quoted literally says "the systems are designed to hook people". It also says "Do we need to totally discourage unethical tactics like dark patterns".

Don't try to wriggle out of it. The words "design" and "tactics" mean deliberate intended action, agency. My post is not a strawman: it responds to exactly what you were saying. Perhaps on reflection you think that position was too extreme: OK then.

please explain if it's really OK for kids to get hooked on YouTube etc five hours a day

Sure. They're kids. What would you rather they do? Play football for five hours a day, like my grandparent's generation did? Read story books - the ultimate form of passive media consumption? At least on YouTube they might be learning something more useful than how to kick a ball around, and who knows, might even be inspired to create something themselves.

I think a lot of the complaints about social media and YouTube overlook that point. It's easy to complain. What's your proposed better alternative?

As a daily Instagram user, I do take offence with your comment regarding Instagram and girls

Alright, be offended, my lived experience does not care. All the girls I know use Instagram all the time. None of the guys do. I realise there are exceptions, it's a huge network. But I know from discussions with other men that they've had the same observation as me. If you find that fact offensive, too bad!
There was some article recently arguing that the Las Vegas shooter was lonely. I don't know about that specifically, but I've run into a lot of people who were desperate for some social contact. I wouldn't be surprised if some of them ended up committing terrible crimes because of it.

At my parents' restaurant we'd often get the odd guy (normally a man) who was there just because he wanted to see other people. The sort of person you see who'd jump at any chance to talk to someone. They'd smile at everyone else, and try get some chat going, all while dining for one. Normally it would be my dad asking the guy about his life, he is good at that.

I remember when I was much older, and eating with my family at a restaurant, there'd be a regular we'd see who'd come in for a beer, smile at everyone, and then move on to the next place, and repeat. It was a small town. Dude seemed nice enough.

For me it's always interesting to observe myself when I'm with family. I have a huge number of cousins owing to a busy grandfather. There's a pleasant yet hard-to-explain familiarity with them, because I didn't grow up with any but 5 of them. The others (dozens, I can't count and they keep finding me on FB) grew up elsewhere, but somehow I feel warm and fuzzy when they're around.

Last time we all met up it was in Vegas.
No, the jury concerning the character in 1982’s Blade Runner is NOT still out. Deckard is a replicant. The article gets that wrong and director Ridley Scott himself even explains it:

http://www.digitalspy.com/movies/blade-runner/news/a616639/i...

I’ve seen Blade Runner maybe 10 times. I saw it again Tuesday night, in digital projection for the first time, at the Grand Lake in Oakland. Wow. Beautiful.
Download Aplikasi 99 Online Bandar Ceme – Dominoqq81
Let's minimize the loss
By the way there is still no HN OAUTH API. There are tricks to authenticate users and send messages but I don't want to share my password with a 3rd party.
Can we put a [1982] in the title?
Same reason people eat candy and happy meals, get fat and die young of an obesity induced heart attack. It’s rubbish, but rubbish which makes you feel good when you consume it and miss it when you don’t.
It's all about the interfaces
The constant churn in some of the driver stacks like graphics leaves us with long stretches of serious regressions. So while 4.14 can be perfectly stable in all regards and you might appreciate the new features in general code, it's not unusual that something in your graphics drivers gets broken and stays that way for a year or longer. For example Intel's DRM stack wasn't flawless but didn't have as many regressions before they introduced atomic modesetting in 4.2. From there on it's been hit and miss. 4.9 is fine, 4.12 is fine and 4.13 is pretty bad. I have one machine where I'm forced to stay at 4.1-lts. It's atomic modesetting, fences, etc. that caused many gpu regressions.

What I'm getting at is that there's no stable driver API or ABI and we're forced to suffer through regressions caused by development to support new graphics stack features or new GPUs, while one's "old" GPU was fully supported and stable in earlier kernels. With more and of the desktop and applications using the GPU for compositing, it's very easy to hang your Wayland or Xorg session for seconds until the driver recovers. This is on top of the many DMAR issues.

I don't like using an LTS kernel but I do need stable drivers because without those I cannot use the computer and neither can industrial embedded machines. I admit that it's highly likely that the high churn in the graphics drivers is the cause and it can be singled out, because I don't remember any regression in other drivers. I say it's time to rethink the development model of Linux kernel drm drivers.
It is 3X more expensive ($0.30/gb vs $0.10/gb for us-east), but it's replicated across AZ's (so is more durable than EBS which is only replicated within an AZ), and you only pay for what you use, you don't need to overprovision the EBS volume to account for peak dataset size.

And since it's shared, you don't need to replicate data across multiple nodes... so if 10 compute nodes needs access to the data set, they can all just read it from the same EFS filesystem, no need to download it 10 times to each compute node.

So EFS can still be very cost effective compared to EBS.
They're probably saying that a human assisted by a chess program (during training, not during actual game) can on average do better than a human who has practised chess without any artificial analysis/help. They could also perhaps mean that a chess program that takes human input during processing can do better (on average) than one that doesn't. Essentially they imply human + AI is superior to either of them in isolation.
Thanks for posting this. I was rather interested until you alerted me to the drama surrounding the 64bit source code. Life is to short to waste time on childish bickering and overly aggressive “fixes” for the issue causing the drama.
After Marie Curie dying and the radium girls cases that actually had some good science behind it
Cue the "Python is so slow" jokes now...
Should we then also legalize all forms of suicide, so long as the person has made an informed choice?
FreeBSD has a stable kernel ABI for each release and is allowed to break it in a new version. This allows nVidia to have an easier time providing binary drivers on FreeBSD.
Ancillary Justice by Ann Leckie. Hugo/Nebula winner.
> The fees will only get larger as there is more transaction

Which means, every opportunity to try to censor someone will make them not be able to get the fees from that act of censorship. Are you really bringing up a conspirancy in which 5 big entities such as the main mining pools would conspire against some certain bitcoin address? (Remember: in an HD wallet you control many addresses, not one, so it would be really difficult that they actually can identify all addresses of the certain person/entity they want to censor; let alone get together and conspire against that person at the same time.)

> PS: sure you are protected in terms of current ownership, which is valuable, but at any time your account can be frozen.

If you keep saying a lie a thousand times, it will not become truth.
All inputs are serializable, including functions and types. We can already transmit language features without imports.

If you compile your inputs into your program, what you're left with is a fancy constant. You might as well let the compiler take the final step of running the program for you and printing the output.

If you think Dhall is great and more people should use it as their I/O library, that's awesome, maybe show some of the cool things it does. Motivating it's usage by trying to make I/O a functional vs imperative issue just seems really contrived, and mostly wrong and prone to argument. I/O isn't a functional issue, and it is one of the main reasons to write a program: to do some work parameterized over different inputs.
This is what SeamlessDocs [1] are doing for government forms, and I've been thinking about doing something similar for immigration.

[1] https://www.seamlessdocs.com/
To stay competitive? If we employees start demanding to be paid fairly, we will get there at some point.
MGCOOL Confirms EIS and Gyroscope Integration with the Upcoming Explorer Camera
well I think that would be another layer before sending this to parser

so we can convert the latex expression and send it to the library after that .. I guess it is doable if we are limiting ourself to the math expressions only.
The author goes to great lengths to come up with a way for the software that was running on a terminated spot instance to be relaunched using the same root filesystem on a new spot instance, but they never explain why they need to do exactly this. Maybe they already ran everything in Docker containers on CoreOS, so their solution isn't a big shift, but I strongly suspect they could find a simpler way to save and restore state if they got over this obsession with preserving the root filesystem their software sees.
Bitcoin can do about 7 transactions per second and Ripple tests have shown it can handle about 70,000. In the real world Ripple has never hit anything near that so we don't know for sure.
People weren't even sure if SW was going to activate. Who wants to do a lot of work on a system (LN) that might not ever be usable?
Is that site supposed to be a joke? It's barely usable.
Hah! If that's true then why do rich billionaires so often buy money-losing newspapers? Because they like burning dollars?

And why are there so often easily caught factual errors in news articles that just happen to fit the journalists agenda? Here's a good example from this weekend:

http://www.bbc.co.uk/news/av/world-41521671/100-women-amy-cu...

The BBC is running some vacuous "top 100 inspiring and aspirational women" series. They really like Amy Cuddy. She's typically described as a psychologist who shows people how to create changes in their own biochemistry by "power posing". Search her name and in the first page of results you'll find an article by Slate (written by scientists, not a journalist) that reveals her to be a fraud: her research doesn't replicate and she knows it doesn't. The effect she promotes doesn't exist at all. But she continues to milk the media and TED Talk circuit by promoting these feel-good ideas as if they were based in science.

It takes all of 10 seconds to discover that Cuddy is a fraud. Yet the BBC is promoting her repeatedly. Why? Because the articles are written by a feminist who likes the idea of Cuddy as an example of a successful and inspiring female scientist. No desire to inform need intrude!

Sorry, if you really believe journalist's priority is to neutrally inform with good information then you can't read many newspapers. I'll give you a tip: newspapers don't employ fact checkers.
X86 Proved: Coq Library for Modelling, Specification, Generation and Proof for X86
Can you elaborate on what you mean?

How would I save my preferences?

Do all websites have to be compiled as programs first, so they can be input as programs into new Chrome?

If my websites were provided as input and compiled into Chrome, how do I avoid rebuilding Chrome when the websites are updated?

If Chrome is the compiler, then Chrome is allowed to do all the I/O it wants, just like it does right now?
src: https://lobste.rs/s/kewmce/x86_proved_coq_library_for_modell...
Show HN: A standalone C++ TMP parser generator (inspired by spirit::qi)
I was familiar with Popper well before Charlottesville, and that footnote only refers to the same paradox, not the same argument.

In any case, Sarte seems more applicable to our current rash of "ironic" intolerance:

> Never believe that anti-Semites are completely unaware of the absurdity of their replies. They know that their remarks are frivolous, open to challenge. But they are amusing themselves, for it is their adversary who is obliged to use words responsibly, since he believes in words. The anti-Semites have the right to play. They even like to play with discourse for, by giving ridiculous reasons, they discredit the seriousness of their interlocutors. They delight in acting in bad faith, since they seek not to persuade by sound argument but to intimidate and disconcert. If you press them too closely, they will abruptly fall silent, loftily indicating by some phrase that the time for argument is past.
well that's about 48k given the median salary in the US that's not relay well off puts you just about out of JAM (just about managing ) territory given health care costs
Yes, especially for the y part of X.y. [1] Although since version 7 multiple symbols are supported. [2] If you're interested in what the release engineering team has to say about it this page [3] contains more details.

[1] https://wiki.freebsd.org/Releng/ABI
[2] https://wiki.freebsd.org/BinaryCompatibility
[3] https://www.freebsd.org/doc/en_US.ISO8859-1/articles/freebsd...
The last article in the GenStage Under Umbrella series
> OK, but in the general case, at scale, in a complex program, compilers are better able to make register allocation decisions than humans. Some compilers may not be as good as others, and I would love to see some examples, but it has been a long time since this debate was settled.

You keep repeating that assumption, but offer zero proof or even any argument really to why it might be true even.
The ending was worse. It was basically deus ex machina with nukes.
Yes, you introduced the idea that HN's readers wouldn't be interested in this. Then, you went off on a tangent about whether or not HN is the right site or best site for lisp stuff. It's just filling the site with noise when people engage in those kinds of empty remarks.
Do you think the average public library contains a better or worse ratio of good to bad knowledge than Google?

How about a library at a world-class university?

How about the magazines on display at the grocery store checkout line?
Look into .NET. You can do the same thing with C# by compiling and loading it dynamically.
Reality is a loaded word, and I suspect it is a graduated spectrum rather than a single point. What one sees as the 'reality' very much depends on how deeply one can probe and the associated limits in observation.
Well, it has scaled pretty amazingly until now. It might quite possibly scale even further with the use of smaller self-driving vehicles.
the wiring beside the tracks absolutely you quite often get delays due to some one trying to rip out coper - the dumb criminals try and rip fibre out