skysight-inc/HackerNews huggingface dataset:
I feel like I have to rule out some misconceptions and defend Ada a bit, even though I don't use it very often any longer.

Ada is not a magic bullet

1) Nothing is a magic bullet. (And certainly no actual user of Ada has ever claimed that it is a magic bullet.)

Ada is not easy to write, it's around the level of C I grant you.

2) Ada is way harder to write than C, unless you're very proficient with it, of course. It's a much bigger language, and the syntax is not easy. Ada is designed for easy readability and maintainability, not for easy writing. It also requires a lot of repetition if you write good style. (You can write Ada code like C and Pascal, but then you loose most of the language's main advantages.)

Overhead, each of these features like assert adds a lot of overhead into the system, this is just not viable in a lot of systems.

3.) Ada is blazingly fast even without any optimization, and after optimization basically around the performance of C (or C++, if you use tagged types with dynamic dispatch). That's not very surprising, since GNAT uses gcc's backend optimizations. As for overhead, every runtime-check in Ada can be switched off. You can even discard the whole runtime system and use your own minimal runtime system, if you feel ambitious.

There is reason to believe that future versions of Rust (or even the current compiler) are faster than idiomatic, well-styled Ada. The goal of Ada was never to produce the fastest executables, and the fact that GNAT creates so fast ones is merely due to the authors of GCC and Ada's strong focus on compile-time operations and checks that it shares with Rust.)

Toolchain and library support, most of us can't afford expensive toolchains and libraries

4) Absolutely true, library support is not comparable to C and not even remotely comparable to C++. However, see my other remark here, an Ada library that appears to be abandoned will compile and work 100% fine and you can understand it by reading the source code (no documentation needed). But yeah, there are way less libraries, of course.

As for Java or Python, these are bad comparisons. They are both much slower than Ada and way less maintainable.
Which languages before 1980 had an option/maybe type?
1 remote code execution on that server or on the DNS server or domain hijacking and Bitcoin takes a serious hit on social recognition.

That is far from how it's called a distributed ledger.

Not sure the percentage of machines with the capability out of Bitmain's products but it's said Bitmain's products provide about 70% of the global hash rate.
I was curious how does it compare with results from kiwi.com. I tried to fill in a few destinations (London -> Bangkok -> Seoul) and... it gave me no result. So I guess the need to fill in a precise date/number of days is a bit killer here. Having an interval ranges (or a tolerance +-one day) would make a difference.
Does it not strike you as incredibly naive to suggest more spending is the solution to a complex problem like this?

The same thing can be done with almost any liberal policy. Why don't people see raising school taxes as an investment? Why don't people see spending more in infrastructure as an investment? Why don't people see grants for alternative energy projects as an investment? The same argument is made over and over.

They do! We just have disagreements on whether or not that's the best way to solve the problem, and there always seem to be significant diminishing returns as you spend more and more money on these things. If solving complex societal issues were as simple as, "See if you spend $100 more per month, it pays off $50k later," these wouldn't be issues. But it's not that simple.
Also this: https://github.com/pinojs/pino
> Structs/enums are also basically Scala.

How so? Scala class bodies are a mix of ordered constructor statements and unordered declarations/method definitions, while Rust structs can only declare fields (without any sort of initial value). Scala enumerations (both scala.Enumeration and the more common sealed class versions) look nothing like a Rust enum; if anything Rust enums look like ML/Haskell algebraic type definitions.

> It's true, Scala syntax for types is the weirdest part, but once you know what it means it's not hard to decipher.

The part of the type syntax that is like Scala (i.e. the colons and arrows) has its origins in the ML family IIRC. Rust's bootstrapping compiler was written in OCaml, so I suspect that was in fact the inspiration.
"Ok so you are saying that the new solution isn't any worse in terms of security than the current one, so it's fine?"

Yes. You're blowing up the security argument when really it isn't the security of it that is the problem -- our current infrastructure isn't more secure, and we have had only minimal problems with it thus far. The problem is the imminent and looming destruction of various thousands of ecosystems, and the continuing habitability of the planet.

It could be done. We got to the moon in about twenty years, which was much more of a technological leap than this will be. With the concentrated effort and enough propaganda, we could make the switch from coal/gas/oil. We are very rapidly running out of runway.
After years of distro hopping, I settled with Elementary: https://elementary.io/
I'd recommend learning a couple of the fields that category theory abstracts over first. It's cool as a generalisation over topology and set theory, for example (and shows you how some theorems from both are "really" the same theorem), but that only works if you know topology and set theory.
Hack the #AirForce bug #bounty initiative
Well, why? Why would a library be bad just because it hasn't been updated in 15 years? Does it spoil? Maybe it doesn't need to be updated.
Introduction to Cake Making

A cake is a baked good containing one or more edible substances, created by a baker. Cakes are made in a kitchen, using appliances, implements and utensils. An appliance is a powered mechanical device used to augment the baker's abilities, different from an implement and a utensil. Implements and utensils are unpowered tools used by hand to produce batter from ingredients. A batter is a mixture produced in stages, consisting of a base starch, proteins and flavoring agents.

For a concrete example of a cake, consider a cake containing one or more fruits. The fruit may be uniformly distributed among the cake's contents or clustered in toppings. This produces the cake's characteristic flavor and color, though color may also result from artificial coloring agents.

Through prolongued exposure to heat, we can transform batter into a cake. Molds may be used for this. Any bowls, spoons or whisks used in the process may contain residual batter suitable for direct consumption. [1]

In some ways I've stopped just when things were about to get good, but now you should have a solid understanding of the fundamentals.

[1] Licking is actually quite natural in this context.
There is one general problem I have with ebooks that limits them for me when it comes to technical books, but is generally not a problem for things like novels.

There is also a problem specific to Amazon ebook readers that holds me back from many technical books I would otherwise buy in ebook format.

First, the general problem. Suppose I am reading a 200 page mathematics book. I'm on page 150, and to understand something I want to review some point that was covered much earlier. I can close my eyes and visualize when I read that earlier point, and I get an image of the page it was on, where it was on that page, and how far it was into the book. I can pretty quickly jump back and find it.

This is not some "photographic memory" type thing. I don't "see" the page word for word, and cannot read the page number to know where to go. But I will get that the page I'm looking for had a diagram on the bottom and was a left side page, and that what I wanted was near the middle...that kind of thing.

It is enough that when combined with the way the pages are laid out in a physical sequence to give a sense of "place" to each page and the information on it. It seems kind of like a weak form of a memory palace.

With an ebook I do not get that sense of place as I read, and so if I need to find something much earlier in the book I have to rely on the search function or the table of contents, and often have to do a lot of paging around (which is slow on eInk readers). It usually takes a lot longer than it would have taken in the paper book.

The second problem, specific to Amazon's ereaders, is very inconsistent handling of images. For example I have some chess books that make extensive use of images for chess diagrams.

On my eInk Kindles, the chess diagrams are about the size of a postage stamp.

On the Kindle application for OS X, they are about the size that they would be in the paper book (in other words, they are the right size).

On the Kindle application for Windows, they are postage stamp sized.

On the Kindle Cloud Reader, the are the right size.

On the Kindle app for iOS they are the right size.

Same problem for math books. They often use images for equations. If those get the postage stamp treatment it makes that book very hard to deal with.

For things where images aren't needed, and where I'm not going to have to do a lot of looking back, I've greatly enjoyed reading on Kindle. Harry Potter was fine, for instance, as was the complete Sherlock Holmes stories.
I didn't, just wanted to try it out.

Now I'm kind of stuck where I have to use Chromium + Chrome apps, which is definitely not the end result I was hoping for.
General rule: writing logs is a means, not an end, so whoever reads it most gets to decide what it should look like.

Corollary 1: allow developers to use whatever they see fit for DEBUG logging.

Corollary 2: require single-line json for everything else (if your developers have to read lots of production logs, you probably have a bigger problem than your log format)

You will need something to have ops filter DEBUG lines out.

Options:

- disallow having DEBUG logging in production

- separate log file for DEBUG logging

- start each line with the log level

Also: give the developers a tool that converts the 'one json line per event' file to what they want. Configure less and other tooling to know about it.

Optionally, tweak the json serializer used in logging to always output the time stamp, severity, and short description at the start of the line.
Disappointed nobody had an answer here...
> Ops is maybe trying to help developers and increase security (no login on the boxes needed anymore to look at logs).

Can this be handled fine by having tail run as a daemon and forwarding all log entries to somewhere that the developers do have access?

> Better workflow for (certain kind of) alerts, which may then get more complicated.

This is likely to be highly specific as to what sort of alerts you want, but will tailing the log and running it through an awk script work? I assume you'll have to do something much like this with any alert management tool.

Tools like kabana like nice, but this is one of those areas where I think people might be going for the shiny solution (that looks great to management) instead of analyzing what they really need.
Smart Home: Phillips Hue and Ikea's Tradfri Working Together?
Why founders are so fond of The Alchemist?
Last week I saw a study of favourite books among startup founders. The Alchemist topped the list. Personally, I didn't found the book much helpful. Am I missing something?
This affected every single Chromium app I had installed. Signal is just one of them, which was easiest to spot.

Pocket, Kindle Cloud Reader, Duolingo, and Floating for YouTube are also gone.
This is explicitly a syntactic approach. It's treating this as a game you play with symbols. I found it very helpful, so maybe some brains work differently from others.
I think I like gRPC, but have several reservations regarding replacing REST with it. REST web services often return multiple mime formats, not just pure structured data. Some services return images, others return HTML, and then you also have cache... Maybe I just don't know enough about gRPC, but I can already imagine many people passing images around as byte arrays inside protocol buffers and when we look back, we have reinvented SOAP, which reinvented Corba.
I don't know if this qualifies as hack, but as a kid I was pretty proud about changing the code of qbasic's nibble.bas to get infinite lives. If I remember correctly it lead to some further experiments (snake's length, level editing) and eventually I managed to break it completely.
yeah they do sell seo :P
"The discussions were confirmed by the ESA’s Pal Hvistendahl, speaking to Bloomberg on Wednesday"

Pal Hvistendahl wasn't talking to Bloomberg. The original article is from the AP (which is noted in the byline on Bloomberg too).

http://bigstory.ap.org/article/c7d78ca284eb4347821fe2825e347...
He's slightly left-of-centre politician that the the media has basically painted as the reincarnation of Trotsky, and of course with Britain lurching ever further to the hard right wing the people lap it up.

The only problem I can see with Corbyn is that he hasn't spoken up over things like the Investigatory Powers Act, Brexit and (bad) education reforms. I like his policies but I do not like his inaction over things important to me, so I cannot support him.

I'll never vote Tory though. Never in my life.
This is strange.

The total number of cases seems to line up between the two reports (5700 in 2015, not including PTAB).

But only 2281 cases involving NPEs were decided between 1996 and 2015[1]. If 66% are filed by NPEs, then this should be much more. Unless the vast majority are dropped I guess?

[1] https://www.pwc.com/us/en/forensic-services/publications/ass..., page 16
Oh thank you rfz, I did not know that. Signal is the only chromium app that I am using. Are they making a stand alone app?
So you are saying "Dragon's Den" is responsible for the backdoor? How?
We're in the age of disruption and with your cold reason you've just crushed an attempt for disruption in history itself! How dare you wiping California off the middle paleolithic map?
George Osborne knew nothing about economics and yet found himself Chancellor.

Most of our politicians know precisely fuck all about the cabinet offices they inhabit.
These complexes of artificial intelligences will for sure be able to exceed us in many dimensions, but no one entity will do all we do better.

Hah, I don't think so. For sure future systems we design will have multiple kind of intelligence. And then we'll slap on some pattern matching onto the front end to help it recognise what intelligence to apply to what situation. Much like how you recognise a math problem and pick up a calculator, or encounter a concept you don't recognise, and pick up a dictionary.

So we'll develop systems that have many more of these intelligences, which will each have superior abilities to what we have now (think infinite precision math library vs a cheap handheld calculator) running at high speed and in general able to handle much larger problems.

How is this not a superintelligence by any reasonable definition?
Why WordPress Themes Are Ideal for Building Website
> "It looks like you're poor. Being poor is really stupid! You shouldn't be poor. I have a lot of money saved up, and I face much less problems than you do!"

Being poor is usually stupid if you are earning a lot of money (which most developers are). There are plenty of ways you can go from wealthy to poor (I've done it myself), but if that happens in a 24 hour period then there is probably some very poor financial management going on.
How OnRamp Plans to Educate 1000 New Tech Founders
SkySave finds you the cheapest route when visiting multiple destinations. So if you want to visit LA, New York and Miami and you're in London it'll tell you the cheapest route (ie. go from London to LA then NY then Miami and then back to London) and if you tried going first to NY and then LA etc. it could be a lot more expensive. You need to pick a result from the auto-suggestion dropdown and you just need to say how many days you want to stay at each place. We will be adding in tolerance though! Nice suggestion
> assuming the police act to keep the peace.

They act to maintain the status quo.
I wonder, if the moon becomes a habitable location in my lifetime, will all those people who bought 'an acre of the moon' have their contract upheld? [0]

[0] https://www.moonestates.com
I'd argue it probably happens less in the US (and the western world) than in many other places with much more strict seniority rules.
This makes me wonder how banks deal with this issue.
The demo which I'd really need to see to judge this is here: https://github.com/jarun/Buku

I'm still not sure this fits my needs or workflow, though that's more useful than the project link itself.

I'm tremendously interested in this or related tools, as I've got an exploding research problem that nothing I've seen yet comes close to addressing, and most of which introduces numerous additional problems. See:

https://ello.co/dredmorbius/post/fj5rzi8zmouyrmvg8yzzva

Short version: I've got a library of a few thousand articles, plus another few thousand books, plus another few thousand online references, which I've gathered, am continuing to gather, am trying to assess, prioritise reading of, and generate a number of outputs from, as well as use in what's likely to be a several-decades-long research and writing project.

Online services simply don't offer sufficient longevity, even should they meet my other requirements, which they don't.

Assigning metadata is a significant pain point. Coming to some aggreement as to what metadata to assign is a signficant pain point.

I'm coming to see librarians and library cataloguing as essential domain knowledge and experience. In all seriousness, I suggest any project looking to make use of categories and classification look to the US Library of Congress Classification System: it's extant, expert, unencumbered, comprehensive, hierarchical, extensible, has a change management process, and is applied to a store comprising 164 million works.

https://mammouth.cafe/@dredmorbius/56485
http://www.loc.gov/catdir/cpso/lcco/

There's also a top-level reduction to 21 distinct categories, and the possibility of, say, coming up with a short-list of frequently-used classifications, as well as of assigning multiple classifications to works.

The rationale for only storing bookmarks is ... generally not valid. There are a few types of online resources, generally:

1. Interactive or volatile pages.

2. Static pages.

For the first, search engines, web apps, landing pages, etc., storing a static instance isn't tremendously useful (though it can be more useful than you'd think). For the second, a locally-stored version is almost always more useful than the online instance.

And space for text is now beyond cheap.

I'm looking at this problem in terms of desired outputs, workflow, various states of resources, how to (reasonably) uniquely and persistently identify a given document, managing media (images, audio, video, other interactive elements), etc.

And yes, this starts to look rather much like Memex, for similar reasons.
Do not invent your own formats.

There is an RFC for structured logging [1]

Also, journald does structured logging, plus indexing and searching like a simple database and it's designed for your use case. It can receive the logs and forward them using a connector for ElasticSearch [2]

[1] https://tools.ietf.org/html/rfc5424
[2] https://www.loggly.com/blog/why-journald/
I use Zim Wiki. Also, it has version control plugin, so you can store your notes on the GitHub or BitBucket or GitLab if you want. I prefer plain old backups.
We pool events together from multiple sources including facebook and eventbright. Unlike some apps which are their own ticketing platforms our goal is to be as comprehensive as we can. Is it working where you are?
You could, with practice

>I'm sure any dollar store calculator spends way less energy performing long division than the average human

Thats the comment.

A calculator is a one role device, with exactly specified rules.

Similarly, with training you can too. You don't need to be special, other than being practiced,which is a fair requirement for a human being.

Here is a human being who could out perform it:
https://en.wikipedia.org/wiki/Shakuntala_Devi

>In 1977, at Southern Methodist University, she gave the 23rd root of a 201-digit number in 50 seconds.[1][4] Her answer—546,372,891—was confirmed by calculations done at the US Bureau of Standards by the UNIVAC 1101 computer, for which a special program had to be written to perform such a large calculation.[10]

She could easily out-perform calculators because she never needed time to key in the commands (she needs to hear the problem to solve it).

If we exclude that restriction, and the commands magically float into the calculator, and that the problem is small enough to match the calculators limits, then yes, if those arbitrary conditions are met the calculator can out-perform her brain.

Which is precisely the type of “cows are round spheres” thinking that’s being decried in the article.

People can and regularly do out-perform calculators in speed, energy and complexity of computation.

Do note that calculators weren’t allowed as exam tools in a lot of countries till a decade or so ago. Students learnt mental math techniques which were known since ancient times (think Greece).

For a human brain the answer isn’t even calculation, it becomes pattern recognition. The square root of 25 is 5, which takes about the same neural load as it takes to recognize a letter.

The calculation you provided is harder, but thats a function of lack of training/practice, not complexity.

----

AI is not in the realm of what a calculator can pull off, is what I meant to say by the compute part.

edit: I tried your computation on a store calculator, its beyond its ability to calculate,(0.0000000027)
I would say if an web developer does not follow updates for 3 months he/she is a bit outdated, in 6 months out of web development and you try to make an comeback you will find it very difficult to catch up. 1year or more out there are entirly new stacks, new libraries, new versions, new ways of building things etc.

It not necessary to keep writing stuff following trends you just have to follow updates, newsletters, articles, so you dont struggle when you reenter the market.
One of the awesome things about Lisp is how easy it is to build DSLs with. I used to think this wasn't that useful of a feature, but recently I've had an idea for a few web apps and instead of writing all the tedious GUI logic I've written a DSL in Clojure instead. This has allowed me to jump straight into the feature building, and quickly build prototype versions of my ideas. For example, when working with code, switching between a list structure and tree structure is trivial. But in a GUI you need to write a load of boiler plate to change how it displays, how selection works and so on.

Additionally the hotswapping allows me to interact with the application in real time, just like a GUI. Pretty powerful stuff.
Diet drinks and possible association with stroke and dementia
Evidently all Chrome apps are being phased out for Windows/Linux/Mac, so I can only assume they will. Not that Signal is a very feature-filled app or concept (it doesn't need to be), but it could definitely stand to be a bit more polished.

http://www.omgchrome.com/not-joke-google-killing-chrome-apps...
Actually these high energy particles tend to be order of size of proton or less - so make that 6 orders of magnitude smaller than smallest transistor.
132 Recommended Books – James Altucher – BookAdvice – Medium
Ah, I see it's been a while since I've used Scala. I think I should have referred to case classes. Weak point nonetheless.

I did fail to mention the other very Scala thing: match expressions. Most complicated Rust match expressions could almost compile without errors in Scala.
I don't think anyone is suggesting it is binary.