skysight-inc/HackerNews huggingface dataset:
It's an interesting idea, and I've thought about it as well.

My first objection would be that I wouldn't put some black box module from a company like Amazon or Google on my design. Too many issues about what's inside and other things like Google's tendency to follow the shiny and discontinue products for no published reasons.

My idea was more along the lines of Amazon or Microsoft selling AWS and Azure-enabled hubs or concentrators that did all the backend lifting and presented a simple REST or MQTT interface on the local network for data ingestion. Then you could connect any 802.11 radio to it and send data over an encrypted channel without having to worry about the heavier layers about it (TLS, DNS, Certs, SAS tokens, endpoints, etc).
If she's just looking for something to show that she has some level of technical skill, I'd second the suggestion others have made for CompTIA certifications. They are a good base level cert - https://certification.comptia.org/

Depending upon what type of law she is planning to go into:

- A+ is targeted at basic devices and operating systems (think: very basic tech support)

- Network+ is basic networking

- Security+ is basic security

etc.

Probably the best way to start.
I did not say that "rational thought is the solution", although it is true that rational thought will provide the means for market forces to do their work. I didn't expound on how markets are changing as much as I probably should have.

I did state that market forces are the solution, and the reason for that is cleaner and ultimately cheaper technologies are displacing combustible fuels - primarily solar, nuclear and wind. Coal is already being displaced by cheaper natural gas, and advances in CO2 free technologies will make them the least expensive of all in the end. Proponents of new modular nuclear reactor designs believe they'll generate electricity for 3 to 5 cents per KWH, for instance.
Banach-Tarski isn't a paradox. It's just what happens when you build geometric "shapes" out of nonmeasurable sets. In actual, real-world geometry, we almost always assume the set of points inside the shape/construction we care about is measurable, and that any geometric operations we perform must preserve measure.
How to Focus on the Magic Even When Scaling Up
I'm a fan of the min-conflicts heuristic for this problem. See eg section 5.3 of http://aima.cs.berkeley.edu/2nd-ed/newchap05.pdf
Development performance is arguably more important. Developers are way more expensive than servers.

You shrug off the established players but all else is very much not equal. Until Go has its own mature Django or WordPress projects, you're spending a lot more time reimplementing the wheel.
> linkerd is written in Scala [1] and linkerd is written in Rust [2]

Though your links are correct your statement isn't. Linkerd is written in Scala, but the Rust bit is linkerd-tcp, a TCP loadbalancer, which linkerd (the Scala one) doesn't handle as that covers HTTP and gRPC with optionally encrypting connections between linkers using TLS.

> If he is optimizing for other people’s contributions, is this really the best way to go?

But is he optimising for other people's contributions? Using a C/Rust for something like a TCP proxy makes a lot more sense to me than having a JVM do that. And if he perceives Scala as "not for everyone", maybe adding Rust means he might get more contributions to those components?

I think that statement actually refers to Finagle itself being written in Scala, so if you want to use it you have to at least hoist your own apps on the JVM and integrate Finagle in them. Finagle is essentially client-side and requires integration into your app tightly coupling the two. By spinning it out as a standalone component that acts as a proxy, like linkerd is doing, Scala doesn't get in the way and what Finagle offers can be used with a mesh of microservices written in a myriad of languages.
Show HN: Go Remote Jobs – Top Curated Remote Jobs
Ah, I thought you were just saying it's too complicated. Of course nothing is totally secure. But there is a point where "extreme" mitigations are called for, and not considered extreme, and the scope of potential problems of trust can be limited.
I'm not talking about software specifically. In general, I support IP protection for industries where significant up-front investment is required for an innovation to come to fruition.
Ah, so it's specific?

Ex: "Produce X chat logs on Y date which we have evidence contain discussions of selling stolen N-Gages"

vs

"Produce all illegal conversations between July and August regarding stealing LIDAR designs"
The formulation I prefer: a countable union of counted sets is countable.

(Any countable set has a well-ordering, because a bijection with the natural number gives you one in an obvious way. The trouble is that you need well-orderings for all of them together. The unusual term "counted" emphasizes that we need the actual "countings" to do the job, whereas for me "well-ordered" is sufficiently commonplace that it doesn't shove in my face the requirement that each set come along with a specific choice of well-ordering.)
I didn't suggest changing the Rust language. There are other ways to address concerns than by saying "you're wrong," which is effectively what your comment did.
Debian Maintainer Dmitry Bogatov Arrested in Moscow
I did a smaller, simpler build with 8 x hotswap-bay SATA drives running off two 4-port PCIe SATA controllers.
Not counting drives, it came to about $550.

http://www.mrbill.net/nasbuild/

I originally started building it around a Dell YK838 SAS 6i PCIe controller card, but got tired of fiddling with using other systems to reflash the firmware and then having to mask off pins on the PCIe connector to get the system to even POST.

I replaced all the "factory" fans, as well as the two on the back of the hotswap drive modules, with Noctua equivalents.
This isn't about servers.
You're invited to provide citations to the violated rules, regulations and laws.

I don't see United's contract of carriage rule 21 or rule 25 applicable. The passenger was granted boarding, not denied. FAR 91.3(a) doesn't apply, this has nothing to do with the operation of the aircraft. And federal regulation preempt state and local law, but you're welcome to try and convince me.

I see no contractual basis for involuntary removal after boarding is granted, other than being in breach of some other portion of the contract of carriage. The airline was basically in a position per their own contract, of auctioning off a seat on their own plane and they got pissy and called the police, which was improper, and then the police didn't bother to evaluate the appropriateness of removal.

Trespass doesn't apply, the passenger was authorized. Rescinding that state requires a basis in the contract, or FAA regulations or other law and so far the people engaging in victim blaming are providing a lot of jabber and no convincing explanations.
computerphage wasn't using deduction but rather contraposition. (A -> B) => (!B -> !A). The absurdity of (!B -> !A) shows that (A -> B) is not true for all cases.
How do you assess "finished my work"? Unless you are working on tickets that might stop coming in is really hard to be "out of work", specially in projects.

I ask this because I see a lot of people saying the same but there's always more work to do, being testing something that should be working, fixing bugs, refactoring that old piece of junk you left behind due to times constraints, etc.
I'm going to leave this here. IMHO one of the best covers of Logos.

Tangerine Dream - Logos cover by Klauss
https://www.youtube.com/watch?v=HZb9Gb5lSpY
Compile-time checking of owned and borrowed references was in Vala, a C#-inspired language for the GNOME ecosystem, four years earlier.
But not to zero. It's not going to be worth trillions, but it might still be worth enough to bring a tidy profit.
Medium intros $5 a month membership
Dynalist.

It's the ultimate to-do list application. Syncs offline, can support markdown AND LaTeX AND code, images, links, and shareable options with your team. It's basically the successor to Workflowy you didn't know you needed. AND it's made by two awesome university students that maintain a public roadmap and actually listen to their community.
Nitpick :
> 1. Removing structs and interfaces (in favor of what? Java-style classes and interfaces?) would make Rust more verbose, less of a systems language, and slower at runtime due to the indirect dispatch.
Classes and interface can be implemented without indirect dispatch...
1) No, -I- believe a solution still exists.

2) My comments about Australia addressed the generally fuzzy thinking on this topic.

3) Again, there is no reason to think that the outcome is definite at this point. Clearly, in the worst case, technology should provide a solution. If the gloomiest projections turn out to be incorrect, for which there is mounting evidence, no mitigation may be needed at all.
Shut up and calculate.
Yes, but I'm guessing they will open up the currency so that 3rd party servers can use it rather than having to deal with payments on their own.

Hopefully it will help legitimize a lot of the current server networks.
Doesn't this (and by extension, Curch-Turing) rely on the assumption that the universe is discrete? Provided it were not, and one were able to harness infinite precision, one could presumably make a new symbolic system based on it.

That's a valid point -- if you read it in a certain way, the Church-Turing hypothesis indeed states that continuous models are no more powerful than the discrete ones. In fact, we have every reason to believe it's true. See [1], and references [BCGH07], [GCB08] in that paper.

[1] - http://perso.ens-lyon.fr/yassine.hamoudi/wp-content/uploads/...
My family has a northern European background (Sweden/Denmark) and my grandma used it a lot.
No mention of blackbox by stackoverflow? On a phone right now but it is pretty useful for this type of stuff. The only thing bad about it is key management and new developers have to generate their own keys.
The Final Episode in the Heroic Age of Antarctic Exploration
Disclaimer: I'm still researching linkerd and haven't tried to use it.

One component we're interested in is its "automatic" tracing. It claims to be able to annotate requests with Zipkin stats without requiring any instrumentation at the software level.

You are correct that other solutions exist for service discovery, but that's an in-demand feature right now as well, and afaik the main reason that people use linkerd.

>Maybe I'm just an old fogie, or being dense, but I still don't see how this solves any problems I can't and aren't already solving.

Quick, turn back now from this whole containerization thing, because I assure you this is basically the answer for everything in this space. And you will be aggressively accused of being an old fogie for resisting it. Simplicity is just not appreciated anymore; at this point, "containers" may as well be an antonym for it (and by extension, an antonym for "sane engineering").
Ask HN: Xeon Phi servers from Supermicro
Info needed about Supermicro SuperServer 5028TK-HTR https://www.supermicro.com/products/system/2U/5028/SYS-5028TK-HTR.cfm

Problem. No info about them, though they announced almost a year ago. Googling brings nothing, News bring only PR stuff, Twitter search brings nothing.

Questions. Are those servers real? Anybody used them? Which OS installed? Installation smooth? How they handle cooling under load? Any issues?
Minecraft Youtubers with over 500,000 subscribers were routinely making $15k for a 10 minute video a couple years ago. Probably higher now.
They absolutely compete for resources, in the form of peptides that can fold into more prion aggregates or other proteins
As an anecdote, I very rarely use Facebook. But recently saw someone on my feed share their thoughts on a very interesting topic that had a lot of nuance. I thought I would weigh in because I know this person is thoughtful and open to productive discussion, so I leave a comment.

Of course their friends who I don't know can also see my comment, and they quickly weigh in with their un-thought out vitriol. I try to keep the discussion going for a little while, but they quickly degenerate it into ad-hominem attacks (which is impressive because I am a stranger to them) and I give up.
Using Ubuntu Bash in Windows Creators' Update with Vagrant
Interesting choice of things to trim, I'd like no more public resources being used on the FCPA, insider trading, and "material misrepresentations", as these all seem to have disproportionate costs than effect. Who should I tweet?
I think this is slightly different. Minecraft created a EULA that servers have to agree to a few years ago, basically saying you can't charge people for items. A lot of servers get around this by charging for "ranks" that are basically a prefix before your name and then a couple of added permissions, one of which is usually regular access to a kit containing some fixed items. People are still paying for items, but there's no fixed price of "$1 for 64 diamonds" or whatever. That's how server monetization works (last I checked).

This looks to be monetizing client-side content like maps, textures, and skins. Basically just charging for things that have, until now, just been free to download that don't actually change the experience in-game, but just the look and feel of the game.

Source: used to be really involved in the MC community
For anyone interested in Galileo's story and more generally the history of science, I think that "The Great Ptolemaic Smackdown" [1] is a great read. It is a multi-part series of blogposts that covers the story leading to Galileo's conflict with the curiae and the historical context.

Also, it is written in a really easy to read and funny style. If you have the time, it's great.

1: http://tofspot.blogspot.de/2013/08/the-great-ptolemaic-smack...
I don't understand what that sentence means...
It's nice that Symantec has shared this info but their attempt at neutrality is frustrating.

Based on their data they could easily state that Longhorn is a CIA group. They also didn't provide any links to WikiLeaks for people to learn more about what Vault 7 is.
Thanks for this, wouldn't have seen it otherwise. Loved this series, it had great atmosphere and style, with gorgeous graphics and tight gameplay. A classic Neo-Geo title.
A Police Car That’s Also a Hybrid
That is actually the cheapest way over time.

If you're able to tag stuff you know you want to keep and it's a smaller set you could look in to something like Backblaze B2 (previously a featured story on HN); the storage costs are relatively moderate, but restoration from it will cost you.

I haven't yet heard of any solution along the lines of "Rent a (large) NAS for a month" for those times that you're upgrading your array and need to switch filesystem formats. Having that option would make the juggling much easier and safer. Looking at the S3 storage and bandwidth costs I imagine there is actually a market to be served by such a product.

Maybe renting one of those higher end tape drives makes sense... but I can't get over the idea that even renting a stack of hard disks would be cheaper and more effective at this scale.

PS: Make sure you encrypt all of the data going in to the temporary storage; those aren't your disks.
Just curious, have you ever used any other modern languages that do not use exceptions for error handling? Most people who complain are just used to the exception way, but once you embrace returning errors out of functions, it really does feel like a massive improvement in terms of the paradigm.
Thanks - I have seen it mentioned in many places (often with "paradox" appended, e.g. [1]), but never with such a succinct commentary as you have given here.

[1] http://mathworld.wolfram.com/Banach-TarskiParadox.html
Practical Rails Dev Tips to Improve the Code You Produce
the fact that the world is set up this way doesn't stop me from not liking it (not OP, also parent). shops and goods are designed to take advantage of both children and parents, sometimes it simply feels wrong.
Although fiction that touches on these issues is my favorite genre (like [0][1][2]), I don't have an answer for that.

All I can say is that technology has a way of forcing people to reevaluate their laws, ethics and society, and this will be no different.

[0] https://en.wikipedia.org/wiki/Kaiba

[1] http://store.steampowered.com/app/272270/ (Tormenet: Tides of Numenera)

[2] http://store.steampowered.com/app/282140/ (SOMA)
> Offering free downloads wouldn't even be a waste of bandwidth, really--just a waste of server disk space

You are very humble. :) I would be very surprised if there isn't someone who considered reading your work but didn't because it wasn't available online for free.

In fact, if your comment contained a direct link to a free copy of your work, someone from HN would already have looked.
> > Latency-aware load-balancing > Balances request traffic using real-time performance, reducing tail latencies across your application.

> Sounds like it requires a lot of cross-talk on my network, eating up bandwidth. That doesn't sound lightweight.

Why does that require eating bandwidth? It's a proxy. It can derive statistics from past and current connections and make decisions based on that data for new ones without talking to anyone else.

> Maybe I'm just an old fogie, or being dense, but I still don't see how this solves any problems I can't and aren't already solving.

So? If you're happy with your solution, keep it! But maybe others haven't solved all these problems, or don't like your approach to how you've solved them for other reasons or don't even want to spend time solving these problems in the first place. For many a component like this means it's 10 less things to deal with and more time to focus on building features that'll matter to their end users.

Besides, just because it can already be solved doesn't mean it's not worth trying out other approaches.
It's definitely allowed if you're building VMs on your own Apple hardware. On other hardware it's more murky.

Source: maintainer of https://github.com/geerlingguy/macos-virtualbox-vm
I own HP Microserver Gen8. It allows to use 4 disks, it's a real server (ECC memory, hardware watchdog, KVM over network and much more), it's extremely quiet and it costs $200 with Celeron processor. Also it's quite outdated at this moment and requires using "hardware raid" (implemented in software proprietary driver) for optimal cooling, it's awesome machine and I didn't found anything better yet. I only wish HP would continue this line.
Rust is a systems programming language that runs blazingly fast,
prevents segfaults, and guarantees thread safety.

In a systems programming language I can do without closures, without generics, without .... I would and will say the exact same thing about Swift which also provides closures, generics, ....

Us systems programmer types, we tend to drag our knuckles a lot. Still we do have opposable thumbs for grasping tools and we're damned proud of that. Perhaps if and when we sufficiently evolve and attain an upright, high level posture we'll see the light. But for now, be happy that we're trainable if not educable.

Now please excuse me, but I have to go pick some low hanging fruit. That and worse is a lot better.
The Church-Turing hypothesis only applies to functions that apply on discrete data. If the data itself is also continuous it does not apply.
Is it the writer being confused, or did they add a penalty for incorrect guesses for a few years? I took it in 2010 and am quite confident that AP tests were the only thing doing that at the time.
Unless the person actually happens to be... you know wrong... Which does happens sometime.
Defining the set of real numbers is very different from defining all real numbers. Yes, Chaitin's constant is defined(with a computable system as a parameter).

But that's the point - we cant produce such a definition for almost all reals.
And if you don't have any property?

Is public property part of 'your own' property?
Toward Reproducible Baselines: The Open-Source IR Reproducibility Challenge [pdf]
You smile kindly. “Haskell is a dynamically-typed, interpreted language.”

Thou shalt not suffer a witch to live!
TIL! I've never heard of emotivism before.

And I don't think that's what I was pointing towards. My comment is about the idea that people aren't used to having their beliefs investigated or challenged. No matter what the basis is for their existence.

It's more a lack in their environment than in themselves I think. You can't get used to defending your beliefs until you're exposed to people and ideas that challenge them.

I mean it's fine if your defense is "That's what feels right". But it's not fine if your response to "I think you're wrong" is to think you're being attacked and it makes you feel superbad.
I think I get -9 for one current project, though I'm not sure because I don't understand several of the weird ones.

Then again, the client likes that project, because their customers also like it. It solves a problem for them that no-one had solved in a similar way before. I don't think we've had a single major bug reported against that part of the system by any customer in over five years, and typically that includes a multi-month lab evaluation by each customer before deployment.

So, does the development process on that project suck or not? :-)
I tend to think of real numbers as a composite made of whole numbers and an operator.
We had a similar wellness 'benefit' at a former workplace. $250 for submitting blood work results. Funny thing though - my personal insurance cost was increased by >$250. So, really - I just had to submit blood work or pay $250.
Only if you monomorphize interfaces—which gives you Rust's traits.
I suspect that in retrospect, United would gladly have paid $100,000 to avoid this fiasco.