skysight-inc/HackerNews huggingface dataset:
I think that ship has sailed. Society as we know it is built on bullshit.

Evaluating its health by comparing against an imagined non-bullshit-based society seems unproductive. Why presuppose that this alternative society is feasible/possible let alone better on the whole?
SnapQuiz Challenge – Angular, System Admin, DevOps, SQL and QA
Thanks for this explanation it was really helpful!
Do you recommend using the same Docker image that passes tests on CircleCI in production?

I have an open source Rails app <https://github.com/coreinfrastructure/best-practices-badge> that self-certifies that open source projects are following best practices. It currently uses CircleCI 1.0 and then deploys to Heroku <https://circleci.com/gh/coreinfrastructure/best-practices-ba....

If I configure it for development and test, it will contain all the test and development gems in addition to the production ones <https://github.com/coreinfrastructure/best-practices-badge/b.... I would also need to include gcc and other build tools. But I would have immutability in that my dev, test and production images would be identical.

Or, should I use one image for dev and test, and then build a different image for production, in order to have the smallest possible size? CircleCI supports building <https://circleci.com/docs/2.0/building-docker-images/> further Docker images, but then there's a chance of losing dev/prod parity if, for example, a software dependency gets updated in the meantime.
Thinking of Relocating to Europe? Come to Prague
Use Circle daily, signed up for the beta 2.0 release which has been fine in production for the last few months.

When I've needed support (mainly around installing custom versions of various apps) the staff have been very responsive.

Circle folk: for me it still displays 'Leave 2.0 beta' and 'Join 2.0 beta' - do I need to anything to get 2.0 final?
Is there a way to cache build results for follow up builds? So the next build only needs to rebuild the files that changed?
Oh no, we tried switching over to it for a test project and it was basically a disaster. Something as simple as running Python tests and node tests on the same instance just didn't seem to be possible. We _really_ don't want to have to maintain our own Docker images. Their support forums are running Discourse too, so it's basically impossible to find anything you're looking for.
Tim Berners-Lee approves Encrypted Media Extensions
Everyone does this, including the reddit founders themselves in the early days of the site (https://motherboard.vice.com/en_us/article/z4444w/how-reddit...).
Sword swallowing and its side effects [pdf]
> What do you think?

I have no way of knowing how such changes would affect the wider installed base of FSet. All I can tell you is what I'd prefer myself.

I wouldn't mind, and actually prefer, if the default SEQ would signal a condition on out-of-bounds access (I'd also suspect that not a lot of existing code would break, but there's no way for me to know that.)

On the other hand, I don't think I'd get much besides having to rewrite code out of map lookups signaling a condition. I glossed over my uses of LOOKUP. For most lookups, the case of some element not being present in the map is normal behavior, expected and handled.

For a minority, an element not being present is an error, but for a majority of those, a specific error message is appropriate, so there'd still be explicit checking and no advantage from signaling within LOOKUP.

The smallest group of LOOKUPS expects the lookup to succeed without checking. In all of these cases, the lookup will succeed unless some code is buggy, and in all cases, a bogus NIL would be consumed immediately by a function that would signal a condition on getting a NIL.

So my personal favorite default kind of map would return (VALUES NIL NIL) for lookup failures but would not have a default for purposes of the MAP-UNION etc protocols.

An alternative (or additional) change that would work for me would be an additional optional function parameter to MAP-UNION and friends which, if present, would handle default values.
I've heard some reasons like :

- Privacy issues
- Owning critical service component

Unfortunately I've never heard the reason that I think is the right one ( at least from what I can see is happening here ), which sounds like :

"Hey, we don't need this, because at Zalando / Nokia Maps, etc. we used Jenkins, so I don't wanna spend time maintaining a new tool ( CircleCI )."

Same stuff happens with project management ( dominated by JIRA around Berlin ).

At one point a company trashed all my CD-setup ( which was with the free plan anyway ) to run Jenkins with Docker ( I don't know how well supported docker is with CircleCI, but I doubt that is so much different than Jenkins ).

EDIT: I'm freelancing in Berlin, so I usually do a hand-over when the team of devs is hired.
It does and some people use it for other purposes like vim. (I do). But now I've switched to WSL for the git part after creator's update since things just work. And some version of vim and neovim also works so for now WSL is like a piece of paradise in GUI prison. But the default Bash for WSL sucks so I use mintty for WSL.(sucks less and supports good colors)
Sounds like something to ask on https://crypto.stackexchange.com (if you think your mistake is in the crypto, and you don't care about the particular programming/scripting language syntax), or on https://stackoverflow.com (if you think the mistake is in the syntax somewhere).
Vim gets :terminal
As a Mac user I agree with you on the security side, but if you think you will get away from obscure bugs and issues I have bad news for you.
Agreed. When I first read the term, I thought it was about some P2P service.

Why not call it "hosted" or "virtually-hosted" instead?
Miracle material' discovery could end cracked smart devices
How can I know which is the best curation tool?
Hi,

I used a lot of curation tools and recently went on http://www.stample.co and discovered this fresh tool from a small french startup and it amazes me how simple and close to my business and personal uses this is. It changes a lot from Evernote and others like Pocket and Feedly which are not very user-friendly, or with which we easily get swamped in documents and feeds.
Was wondering if anybody else had a chance to use it with its teams or alone.

best,

Romain.
The Benefits Mobile Apps Are Providing to Aviation Industry
The use of mobile applications in aviation industry is growing like never before. This has helped a number of mobile app development companies to make their unique identity as airline app development companies.
How can I know which is the best curation tool?
In the interest of full disclosure you have admitted that these are your friends. Does that not colour your judgement? Are you being paid to post here ?

2. Please tell us what happened when you accused someone of harassment. Were you silenced by the board? Were you threatened with excommunication? Were you asked to play nice while your harasser went free?

3. The board had a chance to show that they value openness. Why is the press release on their website dated yesterday below an item from last week? Why have hey not linked social media profiles at the bottom like they do every time?

4. This man was accused in 2006. Juliana and David had to have known that. What say they?

5. Ushahidi has grown and has become synonymous with the tech ecosystem. There is no running away from this.

6. Do you think Ushahidi's investors would be as understanding as you are and give lots of money with this person still at the helm?
I understand this frustration, but my understanding is that patterns exist to _ensure_ transformations go through exist in Haskell land. Im thinking about stream fusion for example. Lots of "pipe-y" libraries exist to make sure your program consumes input in a streamed manner.

So while your O(n) code might sometimes unreliably be turned into O(1), if performance is your game you can use these kind of libraries to endure O(1).
It's a good article detailing the technical reasons one might have to rewrite in Rust. However, it only briefly talks about the non-technical aspects (people spend too much time fixing C/C++, we should start now because it's a lot of effort).

Unfortunately, that is not enough to convince people in general. Technical debt has been historically ignored, for good and bad reasons.

If someone can come up with hard numbers about dollars spent or lost on remediation activities and how Rust would clearly have saved the day, that would be better for convincing businesses to spend resources on rewrites.
Maybe you're just not very good at using Windows?

I don't have these issues.
I still see it as worse than a normal application being compromised.

When Ring 0 is compromised, there is no alert or anything to protect the app from compromise. If there is an exploit, it's game over.

However, in Ring 3 and a normal kernel, you get various protections that allow the kernel to recognize some attacks and shutdown the application immediately or even shutdown the kernel.

This prevents a compromised app from running to some extend.

A unikernel cannot do this. If the app is compromised and I don't notice and don't restart it...

Even worse, the attacker could use it as leverage to infect other unikernel based instances of the app to gain some permanence against restarts by simply reinfecting when an instance goes down.

The unikernel is not userspace, not even conceptually. The hpyervisor will not shutdown the app unless it executes illegal instructions. The kernel will shutdown misbehaving programs more easily.
>It's a total shirking of responsibility that inadvertently praises being able to game any existing system regardless of the purpose for which the system exists in the first place

I disagree. It is simply an acknowledgement that the system has failed the purpose for which it exists. When that system fails, attacking the people who found the flaw isn't a viable long term solution. The only real solution is to fix the system that failed in the first place.
Yeah, CircleCI really needs to allow self-hosting. Jenkins is basically the only player in the space and Jenkins is not good.
Whether you use it or not the Illumos code base[1] is one of the most well written I've seen in this respect.

[1]https://github.com/illumos/illumos-gate
Is it possible to do both? I rarely use social login because I hate connecting things to those accounts. However, I know of many people who love the convenience in provides.
It feels like it could be solved incredibly easily by a row of lights at the beginning/end of both the taxiway and the runway, bright red for taxiway, bright green for the runway. If you are attempting to land on the strip marked red, then you are doing something wrong. In case that the taxiway is legitimately used for landing, change the colours around.

I guess it hasn't been done for "reasons", I'd be quite interested in hearing why.
specification is a lot
smaller than the code

I doubt that this is the case in general.

How can the (full) specification of a program be smaller than the program? This would mean we can always compress a program into a smaller program (after all a specification can be seen as another program -- alternatively a program can be seen as its own specification).
Thanks for the reply. Yeah, of course there is always the "devil you know" argument :)

CircleCI 2.0 was built with first-class Docker support, so if that's something you're interested in, definitely take a look.
> That's a lot of work just to be petty in
> the case someone online disagrees with you.

I am really okay if someone disagrees with me and downvotes me...After all, I do not make a living based on the HN karma points in my account...

But for the reason that I stated in my previous two posts, I feel I have some reason to doubt this could be an act of information manipulation from personnel funded by the Chinese government especially for that purpose...For instance, some of those manipulations are described in,

https://en.wikipedia.org/wiki/50_Cent_Party

and

https://gking.harvard.edu/files/gking/files/50c.pdf

and if there were indeed government resources behind this, multiple accounts that each has 500 karma points are nothing...
Top iPhone App Development Companies of 2017 for Your Business
Okay so let me get this straight: you're telling me that passenger airplanes currently fly by dead reckoning or stellar navigation or ground-based triangulation or something else? When a pilot doesn't know where he is, he doesn't have any kind of certified GPS-based system handy to tell him?

And moreover, even beyond GPS: how the hell can a plane's navigation system be capable of (and certified for!) landing the monster under autopilot, and yet not be able to tell the pilot its own location within the accuracy of a few feet reliably? I literally do not understand how what you're saying makes any sense.
I think he is refering to the Outlook Web App.
We do -- but let me know if for some reason this isn't what you're thinking/wouldn't meet your needs: https://circleci.com/enterprise/
Their client should definitely sue now. Especially if he had an NDA with them.

The purpose of their article is to get new clients from HN and any other sources that they might impress. I wouldn't be surprised if they bought upvotes for this post as well. What they don't mention is that Reddit will eventually probably ban all the accounts that they've used, because the sellers from Fiverr use bots.
Can you explain further?
I guess ponds require more upfront investment and more long term maintenance. Also, I'm not sure if ponds scale that well compared to pyramidal glaciers, which can be grown on a comparatively more difficult terrain.
Can't say I am an expert on the French system, but a quick Google says that the insurance is pretty tightly regulated by government.
Reminds me of http://rtail.org/
The same as to why Cloudflare is a good thing for managing second (and plus) domains levels.

They have great network engineers (I personally know one), maybe the best in the world.
Also, sometimes the meaning of the word "prose" is very subjective.
I am confused by:

> cryptographic hashes such as sha1,
> though widely used therefore are not
> very good choices

I thought SHA1 was fast, and that was a reason to not use it in applications where brute-forcing might be an issue.

> [the more times you hash it the fewer
> false positives]

That doesn't match my understanding of how any even slightly reasonable hash function should work, doubly so if it's uniformly distributed.
Visualizing High Dimensional Data in Augmented Reality
It can definitely be done with Coq. The typical recommendation is to read through and do the exercises in the freely-available Software Foundations book [1], which will teach you how to do that in Coq.

That said, while it was educational and an extremely good introduction to interactive theorem proving, as I went through the book I became increasingly disappointed with how Coq-style proofs were so laborious and difficult to achieve, as often you had to prove even the simplest things step by step. You also had to go through many chapters before you finally arrived at proving correctness of optimization.

I later found an alternative which I can't recommend highly enough. If you read through and do the exercises in the also freely-available Concrete Semantics book [2], you will also learn how to do exactly what you want, but you will learn it much sooner and in a much easier way.

In the latter book, you will be using the Isabelle/HOL prover instead of the Coq prover, though. The language looks slightly more idiosyncratic (I'm referring to the weird extra quotes - you will know what I mean), but despite that, to me it was worth a hundred times over: Isabelle/HOL has the most amazing proof automation I've seen - it will not only find proofs all by itself quite often, automatically using hundreds of theorems it already knows or that you have already proved before, but sometimes it will even automatically spit out human-readable proofs, which will teach you how the proof can be done (which is useful when you are stumped and had no clue how to move forward).

Isabelle/HOL can also be configured to automatically find errors in your specification and in your implementation - it has built-in automatic quickcheck / nitpick functionality, which can often tell you that you're trying to prove something that is not provable even before you attempt to prove it. IMHO, all of these things contribute to a significantly better user experience (as a newbie, at least).

If you are interested, give it a try. I highly recommend it!

[1] https://softwarefoundations.cis.upenn.edu/current/index.html
[2] http://concrete-semantics.org/
Show Your Sherlock Skills in “Deduction Game”
Estonian presidency in the EU: FSFE asks for truly interop. pub. sector IT svcs
i'm not convinced the OP is without blame and just tries to shove it onto them.

"Also, "We aren't going to argue with you on this point.". How old are we, 12?"

i could argue that a 12 year old loves to argue about how unfair things are and how his demands have to be met.

I'm with whoever wrote this part. He saves everyone time by outright saying that there is no point in it. That's a more mature thing to do, actually.

Arguing around is, in absolutely most cases, a collosal waste of time, because people usually aren't interested in learning or understanding something, but in "being right".

What i find bad, though, is that they wasted OPs time. That being said, we actually know pretty much nothing about the whole situation and there is reason to assume that the OP just wants them to look bad.
They're very much like koans in the sense that there's something to be learned from each one, they encode some deep gem of knowledge that a master low level programmer or reverse engineer will probably recognize.

Some are very self explanatory, like 0x00, which I consider a sort of tutorial on how to read the book. Others require careful thought and a few glances at the instruction set manual to figure out. Some, like 0x04, are so hard to figure out that either you ran into the solution once in your career and you know it, or you didn't. Try asking colleagues if it rings a bell. My personal favorite is 0x13, because how rewarding it was to figure out what's going on.
Maxwell's demon extracts work from quantum measurement
As the visualization doesn't let you zoom in to check the precise path, I found a tool[1] where you pick the eclipse from a dropdown, give it your latitude/longitude, and it calculates partial and totality information. Helped me to confirm that I'll be having 100% totality in 2024.

[1] http://xjubier.free.fr/en/site_pages/SolarEclipseCalc_Diagra...
First thing first, I didn't downvote you or anyone else - because I simply don't have enough karma to downvote anyone. Please check my public profile before pointing fingers, that would be a much more civilised move.

I was educated in the west, with PhD from the top ranking university. I spent 12 years living in your society and do understand where you came from. The problem is you seem to be forcing your definition of freedom onto many people. You can value your free speech, your democratic system etc etc, I'd perfectly happy to respect that. However, it it seems that you refuse to even acknowledge the cultural differences widely observed. To give you a quick hint, majority vote is the preferred way in the west, but apparently Chinese and many Asian cultures value more on consensus based on compromises.

Your arguments on "propaganda and censorship" are quite rude because you are basically arguing that Chinese living in China can not figure out what is truth and what is propaganda, you are basically suggesting that Chinese as a population of 1.4B can be easily manipulated. It is also extremely funny that someone who has never ever lived in China for long term is now jumping up and down lecturing people how bad is the situation in China. Tell me how this is not the definition of arrogance!
That label on your dashboard refers to a UI change, which, now that you bring it up, does sound super confusing. You don't need to do anything to go from beta 2.0 to GA 2.0 - if you're using 2.0 config in your yml file, you're in.

Thanks for pointing that out, let me see if we can make that less head-scratchy.
I know Tesseract is OS but when I tried it, it was nearly useless.

I use Abbyy with WINE. But a native Linux shell version of Abbyy is available: http://www.ocr4linux.com/en:start
A few VPN providers offer this, I.e torguard's stealth VPN option.

https://torguard.net/stealth-vpn.php
Introducing Flippo your FREE most valuable online sales machine for eCommerce
Hi guys,
We're a young startup company called Flippo, and we've launched a user generated content system that integrates into eCommerce websites and automatically tracks, manages, and populates a real-time data feed of Social-Proof about its products, in the form of reviews, questions and answers, social mentions, and more. This Social-Proof is displayed right on the product pages, in a beautiful and simple-to-use interface. The platform sends automatic review request emails to your clients after purchase, and more.

Here's what you can expect after 2-3 month of using Flippo:
1. Increase in sales
2. Increase in search engine rankings (SEO)
3. Increase in traffic

Installation is very easy, we have built-in integrations with the most popular platforms (Shopify, WooCommerce, Magento and more), as well as script integration (like Google Analytics) and API for developers.

Visit the website for additional info: https://flippo.xyz
Or Check it out in action: https://flippo.xyz/demo

So, if you're interested, you can signup freely from our website, send me a private message, email me at shir@flippo.xyz or simply reply to this post and I'll contact you right back :)

-----

On a side note: We are looking for development, design, marketing and analytics agencies to join us as partners, and to refer their eCommerce clients to us. Besides providing your clients with a great product that'll boost their conversions, you'll also get huge commissions, new leads and more benefits. More info here: https://flippo.xyz/partners
How to use social, paid and influencer marketing
With only a few changes you can modify the board to allow full 1 meg of ram too.
I remember trying 80 column modes on my Commodore 64 many years ago. Unfortunately, on my PAL CRT TV in those days, the quality of the text wasn't good enough to make it a comfortable experience.

The experience might be different in today's LCD monitor world.
It also looks like people were privately reaching your friends for a while to have them handle the matter and they refused to.
Silicon Valley’s “Death by Overfunding”: Next Unicorn Collapses
Desktop Bridge (Centennial) apps are modified to use the same appx packaging and installer format used by UWP apps. Unlike true UWAs they run with user privileges, not inside an app container, and so they have the same filesystem access as the user.

They can be distributed through the store but the onboarding process is much more arduous than with true UWAs (for which the Store acceptance process is largely automated since they're relying on the app container for security). AIUI to submit an unsandboxed app they expect you to already be an established developer and submit a request, wait for them to do a bunch of manual investigation of who you are and get back to you, etc.
SEEKING WORK / London, UK / Happy to work remotely

Experienced and versatile C and C++ developer.

Equally at home in the bowels of a JavaScript engine's garbage collector debugging memory corruption; hugely improving the performance of a SQLite-based object/relational mapping layer; or crafting solid, low-defect code. Looking to help with challenging projects, from interrupt handlers through to user-interface event handlers.

Contact: enquiries [@at] syndrig.co.uk
Don't hesitate to check out #rust / #rust-beginners on irc.mozilla.org, I was struggling with BCK for quite a while and asking dumb questions to experienced rustaceans has been very helpful. I've now been using rust for 2 years and am very happy with it.