skysight-inc/HackerNews huggingface dataset:
A story generator, based around tvtropes.
Not sure that Apple has any interest into reporting smaller sizes.. They have interested in having lower download sizes (less strain on their servers) and users buying the bigger and better memory storage.. Along with the iCloud subscription of course..
Here, "the problem" is that parsing JavaScript is very slow (and the second problem is that sending these files can be pretty slow, too). WebAssembly cannot really ship JavaScript code. Well, I guess it could if someone were to write a JavaScript to native compiler and ship it as WebAssembly, but then you would end up with more problems:

- yet another JavaScript target, with possible incompatibilities, security issues, etc;

- you still need to ship the binaries, which will most likely be much larger (and much slower to parse) than your initial source code;

- "interesting" interactions between Wasm-compiled JS and browser-compiled JS, as well as the DOM, garbage-collection, ...
I don't think this matters much. If you want btrfs, you'll likely be able to get kernel module from EPEL even if they'll stop shipping it. It's like deprecated and unsupported LXC which could be used just fine and which doesn't have usable replacements.
In all cooperate colonies? Do outsourced prisons count?
Imagine if Debian decided that `sduo rm *` meant it should apt-get install the sduo package and run immediately it.

I know my systrems system wouldn't last 5 minutes.
I used to run CentOS in Dev/Test and then Red Hat in Prod. However, they have a habit of removing packages that compete with their commercial offerings, which forces you to either compile from source or to install from other repositories - for example, they removed Apache ActiveMQ because they offer JBoss AMQ. This starts to become annoying becuase all of a sudden you have multiple update processes to keep everything up-to-date, whereas previously, you had one. After being bitten by this at least twice, I shifted everything to Ubuntu. It's a shame - both CentOS & Red Hat are slow to move, but very stable. I was happy paying them support too ... but not when they kept making things more difficult.
No, not at all. These are in the Test Pilot program, which is specifically for trying new things and getting feedback if and how they should be included in Firefox.

So, most of these are not here to stay for the long term.

They might be included, they might be published as an extension either officially or just forked by someone, but overall, no guarantees on anything.
World's longest pedestrian suspension bridge opens in Switzerland
Nope, still can't. Not online, not offline.
Why not just pull your cash and invest in some other med tech company? What is their track record for successful product development?
Under the Catholic Church the Bible was number one on the list of banned books ('The Index') and it was only written in Latin (vernacular translations were a capital offence) and the only people allowed to interpret it were the clergy. One of the core elements of the Reformation was the translation into vernacular of the Bible and the propagation of the idea that anyone could interpret it. The explosion of interpretations and beliefs during that period is often cited as one of the driving forces behind the viciousness of the wars of religions. (Apologies for not having citations on hand, this was mostly pulled from memory)
-----[ Info ]-----

Location: London, UK
Remote: No
Willing to relocate: Yes, to US
Work authorisation: US Permanent Resident
Technologies: Python (Numpy / SciPy / Matplotlib / Pandas / Scikit-learn / Jupyter / Flask), SQL,
HTML, JavaScript (React / Flux / Node / NPM), CSS (SCSS), VBA, Jira, Git, SVN
Education: PhD in Digital Signal Processing
Résumé/CV: Please email and I will send to you
Email: data.and.wine {at} gmail {dot} com

------------------

I consider myself a mix of a software engineer / data analyst / business analyst. I am active in the end to end delivery of projects: from gathering requirements, building and testing of the software, user acceptance testing and the delivery. I usually work with multiple teams to deliver projects. Having worked in investment banking, I also have knowledge of finance.

I enjoy working collaboratively with others, and take pride in delivering solutions that are just right. I listen to feedback from users and improve my software to suit their needs. I also like to expand my skills and recently built a project to learn React. I also take part in the London PyData and Python meetups.

I'm looking for opportunities in the US (Permanent Resident and have work authorisation), joining a company and team where I can add value while gaining and strengthening my skills. If you're looking for someone with a diverse background from data analysis, project management and software development, then you're looking for me!

Thanks for reading.

------------------
Nitpick: I don't think the OP meant USB when he said "serial connection", but USB _is_ a serial connection (as is FireWire)
It feels downplayed in this article, so I would like to state for the record here, I am a happy user of Docker Swarm.

Swarm has been shown to scale to tens of thousands of hosts, but I found it easy to start with, especially with the Gitlab CI support, which natively brings a Docker container registry.

So I commit, CI builds my containers, stores them in my private registry, and automatically deploys from there to the Swarm in various environments. All this was much easier to setup than the alternatives.

Also, I expect an easy transition should I need to move to Mesos or k8s. If I ever need to. In the mean time I like to keep it simple.
It might just be me, but as I don't think so: 'Lola' sounds super trashy and kinky to me, if I saw a link to lolashare.tld I would assume either erotica or spam. Consider searching for a more audioey name!
A proof being valid does not mean the theory is useful or valid. If SAT was used, it means it is internally consistent in first order logic assuming the solver did not have a bug in it. (I bet the program was also verified.)

You can simplify these proofs by extracting subproofs and replacing them from database by substitution. It is like compression but makes more sense.
They sync even in dissent. Bezos has them well trained.
Which is fine if you are only running on one cloud provider and don't have any local infrastructure. But I want my one Linux flavour to run anywhere ...
I tried one at Umami Burger and left with the same general impression as you. It was bland by itself, saved by copious melted cheese Umami Burger serves it with, and did not have any of the nice pink associated with medium-rare. I guess it's comparable to a fast food burger, but does not seem like anything I'd want to repeat. The sugars and vegetable oils listed on the ingredients list make me wonder if the whole thing is even healthy.
Anecdotal stuff I've found helps keep me out / people I know who struggle out of low points (YMMV):

- Keep a clean room.

- Own less things.

- Wash clothes ahead of time. In big cities there'd also be cleaners that'd fold clothes, too.

- Have your bills paid and paperwork up to date. You don't want this weighing over your mind.

- Rearrange furniture.

- No caffeine after 2PM.

- Are you getting enough sleep? Consider going to a sleep specialist to get to the root of the problem.

- Hyperactive? Considering fitting gym into your schedule to get it out of your system.

- If it's possible in your commute, take a scenic route where there is more time to walk.

- Sometimes people check with a doctor to rule out ADHD, depression, and so on.

- Install a clean copy of your OS.

- Try switching between windows/linux and macos/linux. I flip between them every 6 months.

- Intermittent fasting has helped me focus. That is, not eating foods until 4 or 6PM, there are various types of this.

- Remove toxic people from your life. These are people in your life who aren't straight with you and suck your emotions away. Steer clear.

- Keep a change log of all the stuff you accomplish in a day. Helps you feel effective.

- White noise sound files (https://www.youtube.com/watch?v=dozJzkdLPRU) / White noise machine on Amazon

- Full spectrum light (I've found Verilux to be quite nice)

- Vitamin D if you don't get enough sun light. Zinc, Magnesium.

- Consider removing all stimulants (caffeine, energy drinks) for a few weeks and see if that causes things to return to equilibrium
Living by strong personal principles in a world that no longer has any is a recipe for a very unhappy life.

The business and government leaders of the world have, over more than a decade of decisions, put us on this path, what's going to happen will happen. Don't sacrifice your life in some futile attempt to "do the right thing", it won't change anything other than harm you.
I've been blogging for about 20 years. The first myth to ignore is that you're writing for anyone but yourself. Learn to enjoy the process of telling your story, of capturing your ideas, of explaining what you learn. Few blog posts are read by anyone but the author so you'd better get pleasure and satisfaction and use from blogging. The act of blogging has intrinsic rewards, from improving your writing skills to boosting your memory. With time, readers may come. But start bare bones and share your journey of discovery with your future self.
You absolutely get voting rights, you just don't get voting control. But there are three founders, so they have to vote together as a block to get that 51%. And over time, they may sell some of their voting stock.
Two ways worked for me:

1. Get away from everything for a month. Visit another country. Go somewhere completely foreign and immerse yourself. It jolts your brain away from whatever habit you have now. It can be a bit expensive so a lighter detox can work - cut yourself off from all websites and apps for at least a week.

2. Overwork yourself. It doesn't have to be hard work. Maybe work fast food at night, work in a warehouse by day. As long as it keeps you too busy to do the things you need to do.

IMO a lot of blocking tools don't help. If you block FB or Reddit, you just replace it with some news site or game.
Worse, I browse without javascript and their page has no text.

It's utterly terribly designed to be an open source information page.
*Marathon on Mesos. :P
I moved from using Skeleton to using Spectre with the Pure grid system.

I really like the stuff and fluff Spectre offers: cards, navigation bar, etc.

Pure's grid is what I use exclusively. Simple, easy, and targets the screen sizes I want,
He's a victim of a stupid and hateful regime.
He was executed by the government of Syria.

I am downvoting you for being a fool.
>>> If someone cannot explain something in plain English

This does not mean : "in plain English and in five minutes".
Leading with commas  or trailing? An investigation over 320 GB of SQL code
I think most people knowing C++ know that. But since then we've tried to avoid the same complexity in most newer languages. Thus, the fact that TypeScript, Java, and C# all have Turing-completeness more or less by accident in their type systems may be surprising. (Granted, template metaprogramming was also more an accidental discovery than a design goal of C++, but it's been around for a while longer.)
I have used Btrfs in production and I would say it's great. It's super easy to just add an extra EBS volume and attach to a Btrfs volume and now you have more disk space. Performance is good enough for me as well, I used it as storage for InfluxDB and Docker.

Luckily this is only Redhat, not Btrfs itself.
Might be more tax efficient, but I've seen a lot of companies buy back shares when the shares are high. Aside from high growth companies (which aren't usually buying back shares), that's value-destroying. Buy high, then sell low via options... With that kind of buybacks, I'll take the dividends, thanks.
The people making these decisions care about their stock and stock options, not the long term future of Apple or the USA.
100  Cute Things to Say to Your Girlfriend and Make Her Happy
As someone rather unfamiliar with the differences in cloud containerization options, I've been extremely confused anytime I see extremely opinionated arguments about cloud infra. This article was a breath of fresh air and is exactly the reference guide that I have been looking for. The author provides a clear history of the development of the titular systems, provides an in-depth overview of their various strengths, and adequately describes the differences in architecture. Overall, an excellent read for the uninitiated.

I have previously tried to investigate why Kubernetes was considered useful [1], or why everyone was losing their minds over Docker [2]. But rarely came away with any clear insights.

[1] https://www.kubernetes.io/case-studies/box/
[2] http://www.quotecolo.com/the-case-for-docker-against-cloud-v...
> If Typescript dies one day you can compile down to JS... flow and babel produce some really crazy stuff

I'm not sure if I'm misinterpreting what you're saying here, but on the face of it, this is not correct. Flow is just annotations over JS, it is not a compile to JS language like TS.

Flow doesn't produce anything. It's absolutely trivial to remove by just stripping the annotations. There is a babel plugin for doing that, but that's all it does. If there's any output after that that doesn't seem to map well to the original JS code, that's all babel on the remaining JS, nothing to do with Flow. It would be the same with or without Flow. Or did you mean something else?
Ask HN: Are there any open source alternatives to Alexa, Siri, etc?
AMD Put 2TB SSD and 16GB ECC in a New Graphics Card
> The US military is under the under the control of a democratically elected government

Democracy is not an blank check that allows anything. Even some of the worst leaders in History were actually elected through regular, due process. And there is no principle that shows that Democracies don't engage in Mass-Murder of civilians (erm, Dresden? Hiroshima? Nagasaki? And many others)...
Then again, a project with <20 dependencies has fewer "entry points" for this attack than a typical NPM project with 500+ transitive dependencies.
I wouldn't say hard in Tokyo but less than the US. The big thing over there for smaller purchases is prepaid cards like Passmo.
Sorry but on my little corner of the planet, in the Iberian Peninsula, everyone was using Turbo Basic and Turbo Pascal, when not coding in Assembly for MS-DOS.

On the PC, C and C++ only started to be widely adopted as we started to code for Windows 3.x, due to the APIs being available as C instead of interrupts.

At the technical school I was attending, I was the outlier by having had the opportunity to get hold of Borland's Turbo C++ 1.0 for MS-DOS, everyone else couldn't care less.

Most Portuguese and Spanish magazines of the 80's and early 90's were full all imaginable programming languages for C64, ZX Spectrum, Amiga, Atari and MS-DOS. C didn't had a better spot on those articles than the other languages, quite the contrary.

Fellow Iberian HNers are free to correct my experience of those years.
Having the option to not take your phone with you when exercising is nice and it's already possible.
Coinbase has a lot of issues - they need to raise more VC and hire some support temps to get through the current shitstorm.

My biggest issue with Coinbase is that they claim insured wallets, but actually only insure the 2% of bitcoins stored in their hot wallets. Cold storage is uninsured. If their cold storage gets lost/stolen/hacked, all holders are going to lose 98% of bitcoins. That's not insurance.
> Are Mozilla paying for people to do these experiments or is it people sending patches? I don't know but I'd imagine a lot of it is the latter.

As far as I'm aware, it is mostly developed by Mozilla employees, but heavily used for new devs to get their feet wet. Not only is it not mission-critical when they make mistakes there, they also get a ton of feedback on their work.
I don't see any postings for Seattle, WA on the career page..
Guy is a star citizen
Redhat hasn't been on the best of terms with Oracle, so I suspect that they want to stay clear of ZFS. It does however leave Redhat without a more modern feature rich filesystem.

Perhaps Redhat could help to develop snapshots on XFS. It's not the only feature XFS is missing, but it's a start.
Maybe this is a chance for some decentralized alternative to pop up?

This is one of the reasons why are decentralised apps so appealing.

I think most of the artists would be able host it themselfs the problem is the interface that allows you to search it all and connect it.

HN brains should think about this.
>large file sharing maybe?

From what I can tell their new file sharing feature is actually just a mozilla hosted web app.

see: https://send.firefox.com/
I'm glad as well - I've found that even seemingly similar products by different brands will wildly vary in carb/protein content.

I could go grab two brands of non-meat burger patty off the shelves right now, and one will be 25% carbs, and one 6%. It's ridiculous.
The majority of them unknown or impossible to buy in the 1983's reality of Portugal and Spain, as I mention in another comment.
OK so you dropped the 'cofounder' title and probably was fired from the company altogether, but you still retained stocks right? Stocks are legal term. He couldn't just take your stake away because he is a bro. If anything that sounds like a good deal to me. If he was right and your contribution to the company was insignificant, that won't even harm the exit value much, if he wasn't, bad for him much more than for you (because he will work his ass off in the process and you won't).
I think that was a minority of the points; the majority of the points was in the space of the author not realizing something was possible in Rust.

Out of these points they were all for features which are steadily on their way to stable (or future things which are actively being worked on right now).

Very few folks use nightly -- many use it locally for improved developer tooling, but mostly everyone wants their crate to work on stable.

So I wouldn't say it relieves pressure that way.
I know you mean well and I do feel your frustration. But to use a phrase from political scientist Brian Caplan, people are 'rationally irrational' about this (as in public choice theory): it's very hard to really assess the risk factors properly, and given the potential downside risk and the existence of alternatives they decide not to bother.
You prove that your SAT solver is correct.
Then you prove that the way you expressed the problem is correct.

I'm not in that SAT stuff enough to know if one can prove that :-)
These are not mere calculations. See, an understandable proof has more structure than plain first order logic alone. This allows such proofs to be extended and worked upon as well as real life implications to be discovered.
Wearing headsets of any sort in a business meeting is pretty unacceptable in most cases. There's a reason the one ear Bluetooth sets largely fell out of fashion. Sure, social conventions can change but they haven't so far.
Facebook, Fujitsu and SUSE are all actively contributing to btrfs. The idea it isn't getting "the man hours from any commercial sponsor" is ludicrous.
Please set up a redirect to the canonical URL. This is helpful to third party systems that interact with your site, such as search engines and content sharing sites. It also eliminates the issue you raised.
> SoundCloud could easily exist just by asking artists that want to host more than 5 songs a fee.

They do that. If you want to hsot mroe than a few hours of music and additional stats you need to pay $10 month. I happily do that and it's a perfectly reasonable business model in my opinion.
The problems, as you explained, started when Soundcloud tried to become a general and major label streaming service. A rather bad one compared to Spotify & Co.
It's downright silly to go after such a crowded market when you have rather little to offer.

My guess is that there are more than enough artists, labels and users who actually want to pay and use the service to deliver music to their audience and that this was a profitable niche Soundcloud occupied, but the chase for growth made them lose focus.
If you've had to look at a pcap from what the android standard libraries do for https chunked upload, you would cry. One tls packet for the per chunk header, one for the chunk of data, and one for the carriage return newline. I've thankfully forgotten if these managed to also be separate tcp packets.

Given that, I don't think it's unreasonable to consider using a library to do it better, although you have to weigh the increase in apk size. The standard crypto libraries on the phone are great if the features you need were released 5 years ago, but if you want consistent behavior across Android versions and manufacturers, you need to include that yourself too.
RFC 439: PARRY encounters the DOCTOR
Tech CEOs Are a No-Show on Net Neutrality Committee Hearing Deadline
Facebook, Fujitsu and SUSE all contribute to btrfs and it is still being actively developed (it's the default filesystem for SUSE Linux Enterprise). Red Hat stopped contributing a while ago since most of their btrfs developers moved to Facebook.

"Done for the long-term" is a major overstatement IMO.
The Security Issues with Enterprise Mobile App Development
The security concern is one important for every mobile app development company. And, thus the developers indulged in enterprise mobile app development should also pay attention to the same.
So they should have just defied the Chinese government, had all their manufacturing facilities cut off, and just closed up shop and called it a day?

Of course they don't agree with it, but they don't have the power to effectively ignore their demands right now. Yes, this sucks, but it means they get to live and fight another day, hopefully when they do have a bargaining chip.
A lot of legacy code just works. Building something new or updating means introducing new bugs, even if aggressive testing catches it.

New tech isn't always better. I tried to convert one site from PHP to RoR once. At the time, it seemed like a great idea, now it seems pointless. Still, is it really necessary to change a site from C to Java?

Another issue is that it can be very expensive. Google and Facebook is always cutting edge tech because their survival depends on it. Same with Boeing or Rolls Royce. But ask a bank if they can spend a few millions upgrading from C to Java and they'll be very unhappy.
54+ Local SEO Experts Share Insights on Local Search and Link Outreach
I loved Object Pascal, and it was my introduction to OOP, literally.

As I had to give a class on OOP to fellow students at the technical school as exchange for having access to Turbo Pascal 5.5.

Never was a big fan of some of the Object Pascal changes made by Delphi's class model, specially the fact that it was a kind of lost the opportunity to introduce RC alongside those changes.

Which eventually lead to the schizophrenic model that RC would only exist for COM based classes, but not others.
I think it's an issue with the marketing of it as well, I recently got notice that some of the most important open source projects I use have a patron page they depend on, yet didn't show it on github, only on their home page under donate. Same as with Kickstarter, if you want funds, you have to properly and visibly ask for it!

I donated a lot to git-annex because he did it right, showing everywhere that you could sponsor the development.