skysight-inc/HackerNews huggingface dataset:
Indeed N-queens is used as a case study, my point is that this is a horrible case study and by their admission, they don't even solve it better than the state-of-the-art. A classic example for a high-level synthesis system would have been to synthesize some component of a video/audio codec. This would have clearly demonstrated value.

On top of that, there are papers referenced from this paper that talk about spending 53 years of computation on a grid to solve N=25. There is (was?) even a nqueens@home project. None of this folding proteins on your GPUs nonsense, we need to know how to place queens on a board!

N-queens is a nice combinatorics problem but it's just that: Enumerating all its solutions (with custom hardware no less) is as meaningless as, say, enumerating all cyclic decompositions of permutations.

PS: nobody's complaining Michael, an opinion was politely stated. Clearly the reviewers of the prestigious "Open Channel Publishing Ltd." thought that this paper had enough value to be published, and I suppose you have the same mindset as they do.
I use the domain backwards e.g. nozirev@mydomain.com.Customer service agents don't notice, and it's easy for me to tell where the email was supposed to have originated.
How so?

It's effectively a micro-optimization that will have no real effect, but you can do a simple "exists" query when searching the revocation list, and the TTL keeps the collection small.

Not advocating for JWT as it's a silly mess to do everything correctly, but it is possible.
No, it's not recommended for coding; it's a display font, to be used for headlines, titles, and the like, things where you want a little bit of stylistic flair. Here's the description from the link:

About

Space Mono is an original fixed-width type family designed by Colophon
Foundry for Google Design. It supports a Latin Extended glyph set,
enabling typesetting for English and other Western European languages.

Developed for editorial use in headline and display typography, the
letterforms infuse a geometric foundation and grotesque details with
qualities often found in headline typefaces of the 1960s (See:
Microgramma[1], Eurostile[2]), many of which have since been co-opted by
science fiction films, television, and literature.

Typographic features include old-style figures, superscript and subscript
numerals, fractions, center-height and cap-height currency symbols,
directional arrows, and multiple stylistic alternates.

[1]: https://en.wikipedia.org/wiki/Microgramma_(typeface)
[2]: https://en.wikipedia.org/wiki/Eurostile
Something else that struck me as wrong: the op counts the time the JVM needs to startup in the time it takes for the program to complete. That should be completely wrong, right? Otherwise we should count the time the physical machine took to boot up -and then the OS to load- in the time each benchmarked implementation took to complete. The JVM is a virtual computer, so why treat it any different than the physical one?
I don't claim to be the smartest of software developers, but I have been around in software development for more than a decade and I have been able to grasp most of the technical articles that I read out of curiosity. But I have to admit, the past few days I have read a bunch of articles around this, including this one, which try to make it simpler to understand, but I still don't have a grasp of the basic concepts around this :) Makes me wonder, are there enough people out there, who really know how this works and how to develop for such applications.
Won't agree with downdotes, I think it is an interesting distinction however. In school it's mostly about conformity to some 'business wear ethics' and avoidance of distracting flamboyant costumes, not obedience unliss teachers also wear uniforms to signal different rank.

In military they do have to institute obedience (you can get executed on the place for disobedience) and they already has an elaborate system of costumes to wear under different conditions.

To add to these another field/office distinction would

(1) increase cognitive load,
(2) will bother those officers who work in the office since they'll be looked at as 'second-class' just from heir looks, and
(3) camo isn't unfit for the office which (as sandworm101 have noted) can suddenly turn into a battlefield if they attack the building.

Overall, one less decision to make, and that decision would only benefit those in the field. Which are, by definition, not the highest-ranking.
What was tie used for before that?
This Is Your Brain on Communication
That's pretty much exactly what it is, just text-based not graphical.
Haskell and ML at least have advanced type systems. Since types are erased during compilation, you can't reason about type systems in terms of their impact on the generated code. An example of a simple type system is C with its structs.

Haskell also has lazy evaluation, which is very difficult to do in C. Obviously you could encode your own trampolines, but at that point you might as well be coding in a Turing tar pit language "where anything is possible but nothing of interest is practical".

Pattern-matching and ADTs are also usually difficult to do in other languages.

Most of the benefits of something like Haskell only show up on larger projects, so it's not meaningful to point to specific language features as a point against it. I can do just about anything in C. The type systems you probably can't do; you'd have to embed a language and that doesn't count.
If you do it right, you don't need to reset all customers' passwords.
Oh, you're right. I didn't introduce new arguments because I only wanted to change the delivery of what Dijkstra wrote and not the substance.

I also don't mind unsubstantiated claims. It's just obnoxious to phrase it like "any person with half a brain knows [controversial claim]".
The huge difference between Haskell and the other two (that isn't in libraries) is that Haskell has controlled side effects, whereas side effects are uncontrolled in the other two (and virtually all other languages...)

That, at least to me, is way more interesting/important than libraries, which can always be ported or otherwise interfaced with.
There are different levels of security. Some secret stuff is online and some classified stuff is online via SIPRNET. Precious little of the JWICS (top secret Internet) is connected to the "main" internet and where it is the access is pretty draconian. It has to be connected in some areas due to things mentioned my others throughout this thread. Even entirely airgapped systems aren't fully secure, see Iran's Natanz nuclear facility and Stuxnet as proof. Also, on the airgapped scada networks, all software tends to be woefully out of date. It is a hard problem to solve and throwing more money at it won't reply solve it.

As an example of what you mentioned, most of the TS/SCI dark fiber is at a minimum enclosed in pressurized pipes. When the pressure in any segment of those pipes drops below a threshold, armed goons come see what's going on in a hurry. I know this anecdotally as one of my cousins works on a construction crew near Ft Mead. His company's backhoe punctured one of those pressurized and unmarked pipes and they came in 10 minutes.
You seem to know a few bits about Kotlin. I'm not well versed in Java land but why target Java 6 that's been unsupported for the last 3 years? Isn't that a problem?
> The problem starts once somebody doesn't accept that ballpark number and wants more precise data.

That's crappy management. If my boss did that to me, it's time for a closed-door meeting where we have a come-to-Jesus on how software development is conducted. If I can't show them the light, I start sending out resumes because my working relationship with my boss is trashed and life is only going to get more painful over time.
I don't think languages that are used as much as C and C++ are ever truly get "replaced".

But as for "being a viable choice instead", we intend for Rust to be so. The devil, of course, is in the details: for example, if you're on an obscure or proprietary platform, a C compiler may be your only choice. In the context of this article, while LLVM will autovectorize some things, direct control of SIMD hasn't made it into stable yet, and requires a nightly today. But as far as the language and its power goes, our goal is to be, yes.
The benefit there doesn't seem to be intrinsic qualities of your language, but the benefits of a small community of like-minded individuals.
I'll be satisfied when the extortionist legal eagles have their licenses permanently revoked and maybe go to jail.

Their bosses, too.
> Billions of contracts are executed and honoured between flesh-and-blood persons every day. 99.999999% work without issue.

It's a great point about volume. However a huge number of legal cases + contracts never get started in the first place because of cost. So those would be absent from your success rate.

To put it bluntly there is no point in writing a contract for a $200 dollar job. Countless little guys get screwed over every day because of this. Ultimately they work by handshake deals or through family businesses because working with larger corps is a headache. My father for example had to pay 200 euros for a large firm he worked for to process some paperwork they also invented. That is; a firm that he works for, he has to pay them money, in order to be hired by them in the future. This is probably illegal but this is what happens when you can't risk finding out whether this is a breach of contract. That seems like a failure to me.

That's where I see digital contracts making a real difference. Making the legal system comprehensible and inexpensive for the working poor.
Startup spending guide: When freebies will do
Datalog for constraint programming, but not Prolog? Oh come on. If you're going to recommend languages, look some up, already.
You've made numerous unacknowledged factual and logical errors already, and appear to not understand the limits of the RCTs you're citing. I don't see any value in continuing this discussion. Have a great day.
View a GitHub project's issues sorted by thumbs (up – down) points
Yes, it works for a (very) short time. Cool trick, thanks!
Who is the author of the DAO contract?
You can create a JWT without writing to a datastore - this is a key difference.
Ev Williams Is the Forrest Gump of the Internet
mono != programming font
Because the VM on Android devices runs only Java 6 compatible bytecode.
I'd prefer something simpler.

Consider Kotlin: https://kotlinlang.org/docs/reference/comparison-to-scala.ht...
Alright, so I write scientific computing software professionally and, candidly, I find it easier to write efficient software using functional languages than object oriented because of what the languages encourage. For example, say we were writing a PDE solver. Although we can abstract things lots of different ways, at the end of the day, we probably have a really big struct with a lot of different matrices and vectors in it, which constitutes the algorithm's state. The code then passes this state from routine to routine. Now, often, we want to just modify one element in this state and keep a copy around for this or that. In a language like C++, the most straightforward thing to do is use copy construction, but that copies every single item in the structure, which is expensive and unnecessary. Only one thing changed. Certainly, we could make everything in the structure a shared pointer, copy the structure, and then allocate new memory for the one item, which would fix the problem. In fact, this is what most people do. However, now we're doing a lot of memory management by hand, which is error prone, and, at the end of the day, I should be working on better algorithms not fixing memory problems. In a functional language, we typically have immutable data structures with a garbage collector. Or, more specifically, we have reasonable immutable data structures that can handle this for us. For example, in the same scenario above, if we use a language like OCaml and want to modify a single element of a record type, the language does not copy the entire record type. Rather, it creates a new record type with references pointing to the memory of the old one everywhere except for the one element we modified. It's fast. It's efficient. We don't have to do this memory management ourselves.

Technically, I can write efficient code in either OO languages or functional languages, but I've found that for scientific software, meaning PDE solvers or optimization solvers, it's easier to do that in a functional language because the language encourages it. And, no, I'm not ignorant of the issues with writing low level dense linear algebra solvers. Those solvers I do write in C, then I link it out using a foreign function interface. Basically, the right tool for the right job.
Phoenix Focuses on Rebuilding Downtown, Wooing Silicon Valley
Welcome to Framework Hell
I rather spend the hours on the job making the customer happy and off-job hours enjoying my time on earth with family and friends.
Andy Rubin predicts a conscious AI could one day control EVERY device on Earth
My ZX Spectrum 48K came with a great presentation on casette tape (which ran on the computer) that explained CPU, ROM, RAM, ALU, Basic etc. I see nothing similar to that today.

On the other side was a bunch of sample basic programs you could study and learn from.

Today, a lot of people who pass themselves as programmers are only capable of pushing pretty buttons ready-made for them but not much more.

http://www.worldofspectrum.org/infoseekid.cgi?id=0009230
> It's untyped, which makes it ideal for web-based programming and rapid prototyping. Given its Lisp heritage, Scheme is a natural fit for artificial intelligence.

Why does being untyped and having a Lisp heritage make Scheme suitable for these three tasks?
The Fathers of the Internet Urge Today’s Software Engineers to Reinvent the Web
There's theorem provers like Coq. I'm pretty comfortable with Haskell, but concepts like the difference between Propositions and Booleans are enlightening to my Haskell the same way Haskell can be enlightening to use of other languages.
Oh nice. I also spent a day some years ago to add fuse support to cygwin proper, but got stuck somewhere and never published my code. Good that someone finally did it.
Sure, there are a nearly unbounded number of .com domain names, but there absolutely is a limited number of memorable, reasonable length domain names in .com, which is what I and everyone else are referring to when we talk about this problem. If there wasn't, you wouldn't have domain squatting.

One's target audience generally has a harder time picking up and remembering completely made up names.
The second link is the most clear resource I've seen thus far. Thanks!
Show HN: HPKP-Builder – easily add HPKP headers in your web application
The way to compute the amount of possible brute-force combinations:

For a normal 5 letter (alpha-numeric only) password:

36 factorial, which is (36 * 36 * 36 * 36 * 36) = 60 million possible combinations.

However, for a 5-word password, the calculation is as follows:

Assuming the number of possible words in the English language is 1.025109 million, then:

1,025,109 factorial, which is (1,025,109 * 1,025,109 * 1,025,109 * 1,025,109 * 1,025,109) = A really big number.

So, granted, the amount of possible words is much smaller than that. But the attacker can't know that for sure. To put the number above in scale, just 69 factorial is equivalent to 1.711224524 * 10^98.
> Good writing is terse and easy to understand.

Good writing does what it sets out to do. "terse and easy to understand" is a fantastic style for certain objectives, but there's no one "good writing" style.
I don't know much about Scala but Erlang/Elixir fits quite good to the description as well:

> Scala is the programming language I use for tasks like writing web servers or IRC clients.
You can more than likely pick up the serial through the web-admin panel that these cameras expose on the local network.

God forbid they have a wireless AP with the serial number somehow encoded in the SSID.

How is it that these companies still don't give security a passing concern?
Except for the little fact that in the 80's and 90's most hobby coders still managed to write better Assembly than C compilers for home computers were able to generate.

C compilers are fast in modern times, because of the amount of industry money spent in writing C optimizers since the industry adopted it.
The language itself is not, but I would argue that the Wolfram Language has an advanced, advanced standard library.
Have you explored languages with dependent type systems such as Agda, Idris, Coq, or Twelf?

You could also explore languages from an academic perspective. Benjamin Pierce has written several high quality texts about topics in programming languages.
Slock.it, a startup interested in IOT and cryptocurrencies, authored the contract. See the gitblame of the main code here:
https://github.com/slockit/DAO/blame/develop/DAO.sol
(there are a few other libraries in the repo that have issues as well)
> The fundamental issue is, changing the data where? The node who wants to connect to the peer network, obviously cannot obtain the information from the peer network itself (as node is not connected), so obtain the information from where?

Ok, you are assuming that the node already has the binary somehow. But that's not the case. In the real world we have to ship binaries to users. And this is where you can put your different bootstrapping data for different users.

You can go a lot farther: let users generate a binary distribution of the software to share with each other and hardcode bootstrapping data there obtained from a running network by that user.

> Open source software can be forked

The majority of users are not going to do that, they just don't have the skills. At best there will be a few popular distributions of the same "decentralized" software, with majority of installations controlled by a few entities. At worst - just one centralized entity that controls every installation.
Though, candidly, OCaml has historically been a pain to deploy on Windows outside of some very Cygwin specific setups. The OCaml group has made a lot of improvement as of late, but so has F# on Linux.
You can have both managed (T) and unmanaged pointers (Ptr[T]).
That's why "surveillance cameras" better describes these products, than "security cameras", especially if they're cloud-connected.
Why the Tesla and electric car boom could be good news for the grid
Maybe I didn't do it quite right, but didn't notice a change here.
Without a top button, you used a piece of cloth around the neck to hold up the shirt. Then an infamous french king liked the look (he also basically invented men wearing wigs) and ties became fashion.
It worked long enough for me to exclaim, "holy shit!" Then it went back to normal. It did make my wife look at me strangely though.
Ask HN: How to cache webpages for offline viewing in WKWebView for iOS?
Greetings,

I am looking to cache certain relatively simple webpages for offline viewing using WKWebView in iOS. I am having trouble figuring out how to begin here. I saw this for UIWebView: https://github.com/buzzfeed/mattress.

Might anyone have any suggestions as to where I might begin on this? I know I can get the HTML for a page by making a javascript call from swift, but this of course won't give me the images.

Thank you very much for your time in advance.
Yep, I highly recommend LastPass as well. The password generation, sync, platform support, and browser extension features are great. It's fairly easy to setup exclusion filters for not remembering passwords, as well as controlling if matching works on the first level domain (*.domain.com) or exact host.. The former generally works well for most sites, but the latter is essential for my own domains (where I have multiple different services, accounts for testing, etc).

I've been using a catch all domain for at least 15 years. One thing I learned early is to use a subdomain, which avoids getting dictionary spam attacks.

For the last many years, I just forward it to a gmail account, where there is a corresponding filter to label it into an "accounts" group. I get essentially zero spam to this.

Also, I've had multiple times where it confused reps as well. It's kind of funny when it happens, but also sad that having "theircompany@sub.my domain.com" makes them go "oh, did you used to work here or something?".
An actual 4D printer could be trivial though. Just like the 3D printer discretize the height in several layers, the 4D printer would slice the fourth dimension in several hyper-layers and print a 3D object for each slice. We already have the software to create 3D slices out of 4D objects.

The trick will be to reassemble the slices into a 4D object :-)

Just looking at these cross sections could be interesting. Also printing the same object at different resolutions along the fourth dimension could be insightful.
Right, they are forming professional societies.

(Like SHRM: https://www.shrm.org/ , which just showed a TV advertisement, for some reason)
Father's Day Card: Git Style
Top Software Engineering Books for Entrepreneurs
I definitely agree that mind wandering is where a lot of creativity happens and that it shouldn't be dismissed as just extraneous activity.

However, I think in this case, the author is talking more about this kind of mental baggage that people accumulate while scrolling through Facebook feeds and the like. We're essentially - whether we like it or not - memorizing crazy amounts of unnecessary information, and thus throttling creativity because we're still processing where Kathy went on vacation and what she ate there.
Funded Life, Launching Today – Crowdfund Your Home
Two Catalysts Efficiently Turn Plastic Trash into Diesel
that suggests that once born, an individual could have all of their genes removed, and be perfectly fine, other than not being able to pass on traits to a new individual.
One proud Dad!
Top 16 Machine Learning, Data Mining, and NLP Books for Data Scientists
I need a suitable sized project to implement in a niche language I am learning. I used to use tetris but it isn't big enough. It needs to exercise multi threaded updates of some state consisting of many elements and their relationships based on user or file inputs. I think. I want to write it in c++ then learn Haskell and use that. Then use c++ again and look at the differences.
And of course, it is not "untyped". It is dynamically typed.
multiplayer tetris?
But scientific papers aren't comparing Language X v.2.7.5 vs Language Y v. 16.9.1. They're comparing Algorithm X vs Algorithm Y, and usually also give theoretical results. Unless there is a big dramatic change in computer hardware, results comparing some algorithms using good implementations in a single well-optimized language will likely stand the test of time well.
I set up an online account

The title is missing an important fact: these are not traditional network cameras, they're ones that apparently stream video into the cloud.

Those cameras that do not "phone home" to a cloud service don't have this problem; the ones that you can set up with a username/password and then connect directly to from the network. Ironically it's the cheap no-name ones that usually work like this, as the company just sells the hardware and isn't one to bother with their own set of servers/accounts/etc.

IMHO these cameras that do rely on a third-party service are to be avoided, since what happens to that service is completely out of your control.
Upgrading to Fedora 24
Geoffrey Stone on Snowden