skysight-inc/HackerNews huggingface dataset:
Traxens [0] does that. They have agreements with two shopping lines to install transmitters on their ships which then forward the data of the monitoring devices attached to the containers

[0] https://www.traxens.com/
The main use case for Gists and thus Gistbox is storing code snippets. However you can save any kind of text you want. Gistbox lets you organize your Gists under labels so they're easy to find back. Moreover it offers you the option to save private Gists.
Using a tool like nativefier you can even turn it into a desktop app.
Is Ada losing ground to dependently typed languages, or are these still too "academic" for production use?
The whole point of markdown is that it covers a very small subset of HTML in a human-readable way, and for any formatting beyond that subset you use regular HTML. Adding <span> tags to customize things is very much the intended way to write markdown.
> "You can’t tell whether the end is really the end, or whether the end equals 93% followed by 7% of index and/or questions for book clubs."

...um, you can't with a real book either? At least without looking, which is something you can also do on a Kindle?

That said, the Kindle Keyboard 3G was the peak. Knowing you need never run out of book; and also the ability, in a pinch, to get on the internet and check your email / look up a map, free, wherever you are in the world.
There were many many other companies in the market 3 years ago but they all went bust because they all scammed their customers in one way or another. Antminer was the only one that didn't follow shady business practices that is the main reason they are still around. The reason a segment of the bitcoin world likes to hate on them is because they are an outspoken supporter of bigger blocks and bigger block threatens the business plan of certain non-mining interests.
And... I still understand nothing about category theory.

Are there any more comprehensible primers out there or is this just a field of mathematics that I shouldn't expect to understand without years of prior study in other requisite fields? Or am I better off building something in Haskell and learning by doing? I know some discrete math, but all attempts at broaching category theory have been so far totally unsuccessful for me.
Please, don't take it for trolling or anything, but I was kind of blasted away by the color selection of the GitPitch name in its official page. Reminded me of a certain site right away!
Encountered some problems using some of those, mainly slow review process, lack of integrations and stage specific. So decided to build our own.
Kind of, there are two main things that give ZFS this false reputation.

First is an academic paper testing if modern filesystems still needed ECC RAM. They tested ZFS and concluded horrible things could happen to your data without ECC RAM. They found the same about ext2, but that was just a small paragraph people overlooked. So nothing new, but many people are unaware that other FS have the same issue.

Second is a moderator on the FreeNAS forums coming up with a scenario where a ZFS scrub would wipe out your data. Developers and other people that have read the code said it couldn't happen as described, but the story was perpetrated on the FreeNAS forums and spread across the net.
> These companies have done nothing wrong,

Sometimes doing nothing is the wrong thing. They did wrong by supporting Symantec (or whatever shitty CA they originally did business with that Symantec acquired) with their money.

Or if initially they did not know about how shitty Symantec is, now they ought to know, and yes, it's a business risk (counterparty/vendor risk basically).
This just makes me feel sick. There's no pretence that it's anything other than a protection racket.
India's Biometric Attendance Dashboard
>I think we all agree if we could program with simple functions that each do one thing and one thing well then combine those functions makes for a much simpler language and easier to think about.

Well, I don't agree. You could end up with tons of small functions, and complex interactions between them (whether they are pure or not) than make for spaghetti logic.

I also don't see how Ada's pre/post conditions make it more difficult to program. More tedious, maybe, but about as much as writing tests. Not more difficult as in conceptually more challenging.

As for the Ariane error, Ada could have prevented it, if it was left to -- but the programmers didn't let it. It's not a silver bullet of course, but nothing is, not even formally proven programs.

Finally, the overhead is true, but some domains don't need much speed anyway, and for others, you could always have the checks for all demo/dev runs and drop them for the final production output.
s/first/first smart enough to invent science/.

We've seen no other creatures on Earth being able to grow beyond using basic tools.

But this also somewhat implies (which is GP's point) that we're close to the dumbest possible mind that evolution could make that could still develop science. Or think of it as a crude MVP that ended up being a production system.
> Once the errors are taken out of the system, observation beats theory hands-down.

But it seems that not all errors have not been taken out of the system
Tool to Turn Off the Touch Bar on the MacBook Pro 2016
All applications should generate JSON logs.

The transport system (syslog usually) will take care of time stamping and some meta data.

application => (JSON text) => syslog daemon => (syslog message) => graylog/ELK/splunk
What kind of semantics cannot be well expressed with Rust type systems, compared to Ada?
The type system is algebraic, and pretty powerful.
There is no reason to think they would this is just another part of the long running smear campaign against Bitmain by a collective of Bitcoin Core developers calling themselves the "Dragon's Den" so called because that is the name of the slack chat room where they plan their character assassination campaigns against people and companies who disagree with them.
I found flights to Toulouse on flychecker at 63 €
>
The only good thing I can say about this product is that it does not create an MX record for your domain, upholding the "no MX" in the name.

Haha
It’s time for designers to get comfortable with being uncomfortable
From what I know from confident introverts (these guys and girls speak freely and not confused of sharp words, but never initiate pointless chit-chats), they actually hate people, their pointless emotions and dummy dreams. I'm not sure that they want to change.
“All tech consumers have Congolese blood on their hands”
President Trump suspends visas for tech workers. What may it cause?
President Trump's Administration suspends H-1B visas provided to foreign workers. Espesially it may affect tech-industry and outsourcing in general. As you can see from this article there're lots of activities outsourced nowadays in States. What do you think? Will that show up on the economy if somethimes we can say that foreign intellectual capital is basically the driving force of U.S. development?
https://goo.gl/UEJ6zF
https://news.ycombinator.com/item?id=14208865
I think a lot of people would disagree with #1. There was a discussion on /r/technology yesterday where people were discussing how it was exactly the other way round – Ada has weird syntax (so many English words!) which slows adoption, and Rust is C-like enough that the target market of C/C++ users can pick it up, syntactically at least. I'm saying this having done a distributed systems course in Ada. It felt like writing a novel, about some very awkward people announcing every action as they did it. Rust, on the other hand, feels like pair programming with a wizard (the compiler) who knows how to write really great C++ and has many tips to share.

Rust's syntax is, like many new languages as they are invented, essentially a pick of the crop of the best syntax ideas from other languages. 'Best' is probably debatable but familiarity is certainly not. Type annotations are basically Scala syntax. Class::method(), ditching `return` in favour of last-line expressions and the || {} closure syntax are all pretty close to Ruby. Structs/enums are also basically Scala. `instance.method()`, and pretty much the rest of the language, is universal.

It's true, Scala syntax for types is the weirdest part, but once you know what it means it's not hard to decipher. Much easier than trying to figure out function pointers in C, if you ask me.

#2 is probably true, but that's the cost of staying close to the metal. Rust makes all your memory access very explicit, rather than bundling it up in the standard/GC or leaving it to you. But it's a model you can get used to, and it has value as a mental model aside from its application in Rust.

#3 – well. Ada was young once. Rust is incredibly stable for a project designed by a distributed community of Mozilla and a ton of volunteers.
The World of Miegakure
Maybe Java? It's everywhere, can fulfill just about any role you throw at it, but isn't really the world's absolute best tool for most of those roles.
I was a user of the service since 2007, and it is really a shame, although since some years ago the site looked abandoned.

I really liked it for several reasons

- it was one of the few web 2.0 services wave still alive (around 10 years)

- during this time it's been always useful, without any redesign nor relaunch (10 years with the same product!!)

- super simple design

- organic growth, it didn't have any pretension to grow. In fact it was very limited

- it was created by the japanese studio Tha.jp, you could feel japanese design in every detail

- although it's true that there was a lot of NSFW content (specially lately) it was a really serendipitous experience for design inspiration. It was so random that it had nothing to do with trends, that for example you can easily spot in other design inspiration sites such as Pinterest or dribbble

- there were no comments, just likes (much before Fb or IG)

- the recommendation algorithm it was very weird, no actual visual similarity, no the typical more liked pictures or anything easy to find pattern in it(my guess is that it was not very well coded ;) but at the same time it was perfect in terms of discovering new stuff, so it worked in that sense.

Well,as I said, it will be missed. Long live ffffound!

BTW: some years ago, predicting the service was about to close (because of inactivity and server issues) I wrote a small script to backup the account. I leave it here just in case is helpful for anyone.

https://github.com/fgblanch/ssssave
Google could selectively disable play services with a very scary warning. Simply, if you are on a very old version of Android, display an alert that tells the end user to complain at the carrier.
I have 3-6 months buffer, depending on lifestyle (can probably stretch it a bit more). I'm sure it's better than it would've been otherwise, but my stress isn't gone still. I still struggle with whether I'm good enough to get another contract. Do I network enough? Do I go to meet-ups enough? Do I read up on industry developments enough? And this from someone who has his own company and doesn't answer to anyone but clients, and have never been fired from a job.

Confidence and security I guess can never come externally. I'm better at it than when I was younger, but I haven't arrived yet.
Personally I prefer the RFC 3339 profile as most syslog daemons support this.
Were Google really nice, they could scan their app store and notify the developers if their app contains embedded shitty certs.
Unfortunately, yes, this is disgusting... But, at the same time, the EFF or any other organization didn't manage to do anything about it. So whatever happens you'll end up paying. I still prefer paying Google than to the trolls...
Does someone have experience with Ada 2012s Design By Contract support (including tooling, preferably for GNAT)?

Eiffel is yet another Pascal-ish language whose passing I lament, and lately I've been seriously considering giving Ada another try, given that Modula-3 and Oberon won't exactly come back to life miraculously, and I'm still a bit dubious about all the new kids on the block.
People will always be annoyed at thing occupying space they're trying to enjoy. Some say the same about tourists in general (eg yourself), and houses, and cars, and wind turbines. I even know someone who doesn't like trees - they clutter up the beautiful hillsides.
Not sure why you're down voted. I had the same thought as parent, but this seems like the answer.

A standard splash screen on load that pops up for 10 seconds and says "this program has known active vulnerabilities that are unpatched". If people choose to ignore it, that's on them. Cheap and easy, no?
> I did put that box on my personal network, and under Linux (was win NT before), seemed fine. In the syslog, after a year, there were various kernel messages, each recovered, but there was something to recover from... Win NT would blue screen a lot. That's different today with better kernel software from Microsoft, but the point is no error correction comes with no real way to understand where some trouble may have come from.

Haha, I remember my first steps with Linux in 1998/99. I got a faulty hard disk of 100MiB that on Windows was constantly getting errors. How ever, when I try to use it on Linux, I found that was working without any issue.
Same goes for a library that was last updated 5 minutes ago though.
Convincingly human headshots that aren't just misappropriated likenesses of a real person? Sounds like an ML master's thesis to me!
Only one way to find out - Create a simulated brain and you will get the answer.
True, but it's less 1M compressed. Including the other static files, it's still less than 1M for the entire app.
When you heat something, you have to add energy to it. Mass and energy are equivalent; both warp spacetime. You will, in fact, reach a temperature where your block of metal collapses.
One example is integer ranges; they'd be a runtime check in Rust right now. We'll get there. That said, in general, Rust's type safety stuff is fairly powerful, and IIRC has some things that Ada does not.

I do think your parent isn't fully right about the relationship though, as first they call Rust a "subset" of Ada's guarantees, but then say that Ada doesn't go so far as Rust in some places. In general, when discussing language semantics, I see them as more of a large overlap with some differences on each side, rather than one being a subset of the other.
Or much smarter than you, but wanted to show the examples with syntax highlighting but couldn't be bothered to get some editor that exports as HTML or some plugin (both of which might not even be allowed/quick to install on the CMS they use).

As for the extra compression, they could just not care as the text is still visible enough, it's not supposed to be a textbook, and it's small and loads fast.
I'm re-reading a bunch of Asimov robot stories that I read as a child, and in them there is no concept of superintelligence at all. Robots have human-level intelligence, but there is no suggestion that they have a possibility of becoming anything other than useful tools for people.

I blame Iain M. Banks for all the AGI kerfuffle
> Intelligence doesn't give human beings purpose. Emotion does.

So would an explicit goal function, which is how we already give "purpose" to algorithms.

> How are you going to create a general purpose AI which has any motive force?

In any other out of countless of ways to do that. What makes you think that emotions are necessary to create a powerful optimization process?

The "motive force" is mostly a solved problem for now, we can code that explicitly (the issue is with figuring out a right goal and how to write it down). AI development is mostly about the way it works, not why it should do the work.

--

No offense meant to you personally, but I find that most of the comments about "overdriven AI dangers focus in SV" to reveal that authors don't have a fucking clue what the issue is about, and never spent time actually reading up the reasoning behind the AI X-risk potential.

I'll give an ultra-compressed super-TLDR of that reasoning for benefit of future conversations. It goes like this:

- intelligence is a super-strong optimization process; it doesn't necessarily have to look the way humans think (humans generally suck at reasoning, which is well established; see: cognitive biases, probability theory, decision theory, etc.)

- intelligence is an independent factor from values/goals, a mind can have any combination of the two - i.e. just because it's smart, it doesn't mean it will develop the same morality humans do, or any morality whatsoever; see https://wiki.lesswrong.com/wiki/Orthogonality_thesis

- combining the two, the danger of super-human AI is not something that's hostile to us - it's something that's indifferent about us, and is more powerful than us, the same way we don't give a second thought about e.g. ants
Where does it get the events?
Police catch murder suspect with help from victim’s Fitbit data
If a brain surgeon sends such an email to a programmer, does it mean that the surgeon is "SO STUPID" as the parent says?
Public and private repos are coming soon, via GitHub Integrations.
Patents are still important to protect and reward research costs, elimination would destroy the pharma industry overnight for instance.

I have no idea why you have a problem with trademarks. Why should a small family business be paying increasing fees to continue to operate as "Sanford and Son"? Or do you think I should be able to call my product "Heinz Ketchup" because they have had the name long enough?
> You could end up with tons of small functions, and complex interactions between them (whether they are pure or not) than make for spaghetti logic.

I think 'one thing well' is pretty much the opposite of this idea. It implies encapsulation and composition, not smushing together. If some functions are pure, there is no such thing as 'complex interactions between them', only simple ones.

On the other hand, it would definitely be weird if Ada were used as a functional programming language.
I don't understand the point of this, even if it worked correctly.

If I understand correctly what it does is create some kind of secure tunnel between two nomx devices if you tell it to. But doesn't starttls do that already if you configure your mail server that way? And it already just works with any compliant email server?

So unless I'm missing something there's absolutely no doubt in my mind that this is a scam. Kudos to the author for bothering to find flaws in the admin interface but honestly at this point I'd just have reflashed the raspberry pi and used it as a media center.

Even the first picture with the case open is already a huge red flag, not because of the raspberry pi but because of the botched glue gun job.
I can recomend the video series of Bartosz Milewski (https://www.youtube.com/watch?v=I8LbkfSSR58&list=PLbgaMIhjbm...) I'm at the 4th video and it's the first time that i start to become an understanding of the howl thing.

But expect it to take some time. (10 Videos, most are around 1h, i needed to pause several times and think or try something out)
> Its very surprising that people argue about these businesses in the hypothetical.

I think this is standard operating procedure for conservatives. They provide extremely speculative theoretical arguments based on over-simplified and over-determined models to justify their policies. They don't ever point to real-world, historical data to demonstrate their thesis. When your committed to good ideology rather than good policy you have to be willing to make trade offs.

> And these players have a long history of hugely anti consumer moves, laziness, deceit, cabal like behavior

Yes, there is plenty of actual historical data pointing out the tendency of US telecoms to seek risk-free profits. The US probably has the least competitive telecom market in the world. This is common knowledge [1]. The idea that these extremely non-competitive firms can be given more power and they'll "innovate" is laughable.

[1] http://www.economist.com/node/17800141
first thing that comes to mind are bounds on integer subtypes. classic example is to declare an array to be indexed with such a type, then all out-of-bounds errors can be checked at compile time.
>what sort of religious tradition they gravitate towards (which has nothing to do with belief, even atheists have attitudinal religious positions).

Yep. Religion shapes a culture, and the impact is there even 2 and 3 centuries after people have "stopped believing", in laws, attitudes, ethics, etc.
نقشه اتاق سرور و تاثیر آن در طراحی اتاق
Range types are probably the main thing I miss from the Rust type system.

But even without range constraints, wrapper types (called newtypes in Haskell and Rust) are great. Let's say you have a function that accepts a temperature. A temperature is a float, but you want to prevent the user from mixing up celsius and fahrenheit.

This is what newtype looks like in Rust:

struct Celsius(pub f64);
struct Fahrenheit(pub f64);
fn print_celsius(temperature: Celsius) {
println!("Temperature is {}", temperature.0);
}

It will fail to compile if you accidentally pass a Fahrenheit value to `print_celsius`, but at compile time all values are optimized down to plain floats, without any runtime cost.

More programming languages should adopt this concept :)
Yes! Over time I will add new templates and more device images. Android support is also planned for a future version.
Show HN: A clean, modern, interactive periodic table
> Some signals will be specific threads anyway.

Huh?
It would have a better life as a Pi-hole since you can use the fancy case it came in :)
In the end though, it doesn't matter what Calvin said precisely, but how it was interpreted by calvinists.

Adam Smith wasn't exactly the neo-liberal, free-market trumps all champion either.
> DeepMind, on the other hand, was created as a "blank slate" with no more hard-wired instruction than "create optimal algorithms to achieve the winning state, given the inputs." Critically, its learning phase is completely self-directed. Essentially, the box is given access to the controls and the video screen content and then sent on its way.

Have you seen DeepMind algorithm to be able to say this ? Are there other people outside of Google who have seen the algorithm and can confirm Google's press release?
How does Ada address the problems that Rust's borrow checker addresses? Use-after-free in particular.

As for not being alternatives, how do they mix in the same project? Does Ada have C-compatible FFI that lets both Ada and Rust see each other as C?
Paleontology is built up out of the most tenuous of evidence. Whole pages of children's dinosaur books are extrapolated out from one or two fragmentary skeletons of unfortunate creatures that just happened to die in places where their corpses were covered up by preserving sediments, instead of being picked apart by scavengers.

Archaeology is a little better, just because it's more recent, and there's more stuff that has managed to survive, but in the absence of ceramics, metals, or large-scale use of stone, almost everything that primitive humans would use is extremely perishable, with the exceptions being where we just happen to have found bodies and graves in extremely preservative conditions, like bog people, or the Peruvian desert cave mummies, or frozen in glaciers. I've an uncle who is an archaeologist specializing in post-contact Native American sites, and the vast majority of the time, the only identifying aspects of a site will be that he's stumbled onto an ancient trash heap, full of discarded and broken mollusk shells.
TL;DR:

It's $199 to $399 for a plastic case literally just containing a Raspberry Pi 3 Model B, running an outdated Raspian, and the software stack is extremely poorly developed. eg: their "secure handshake between devices" is basically two devices serving SMTP on port 26 instead of port 25.