skysight-inc/HackerNews huggingface dataset:
Yeah, I misunderstood your post—sorry about that. I thought you said “Guix and Nix show us that scheme is the answer”. In any case, I don’t know how you conclude that Guix won over Nix nor how you conclude that the winner is superior to all other configuration languages. It’s especially counter-intuitive that it should be an intermediate representation—the IR should not be executable, it should only be descriptive. The IaC technology shouldn’t need to interpret anything, and the language you pass into it therefore shouldn’t support evaluation/execution.
I switched from rapidjson to this library (nlohmann's) because it is so simple to use and integrates into C++ very cleanly.

If I had enormous globs of JSON to read I might use something faster (I believe there's a very fast library that uses SIMD instructions) but my needs are quite limited: basically exchanging snippets of JSON with a network service. So clarity was far more important than performance.
The professor, author of this article, misses the point that the whistleblower is an "intelligence officer". Intelligence officers very regularly write extensive yet concise reports to their leads or higher up management, so it's not surprising that s/he wrote the memo well.
Facebook popularity (among others) challenges your guarantee :)

I recently lost a domestic argument over Google Home Minis in my kid's rooms... we just sound like conspiracy theorists, even in this post-Snowden era. The response is a shrug of the shoulders more often than not. Honestly it's just going to be played out. The masses will need to get screwed badly before we collectively wake up.

I'm opting to simply prepare myself for the fallout, like rampant identity theft, loss of privacy, lack of objective / critical news coverage, etc. As an example, the SASS service I built and run does absolutely zero user tracking / analytics, anticipating that some day this will be appreciated.
That would defeat the purpose of the key design, which is to ensure that you lock the door behind you.
These three licenses all conform with both the Open Source Definition AND the Free Software Definition.
That's a really low bar, and does not even rise to the level of preponderance of evidence. It might be something that a grand jury might look at, but that's about it.

We have an anonymous whistle blower making hearsay claims, coincident with the allowing of hearsay claims as whistle blower claims.

We have the Speaker of the House instigating impeachment proceedings without following established process of calling a roll call vote. Instead, calling it based on her own authority. This unjustifiable departure from precedent and good governance is really revealing her motivations.

We have Senators Leahy, Menendez, and Durbin leaning on the prosecutor in Ukraine. Are they going to be impeached?

https://www.foreign.senate.gov/imo/media/doc/5-4-18%20Menend...

We have President Obama doing the exact same thing, leaning on Ukraine.

https://www.nationalreview.com/2019/09/double-standards-on-u...

And then there is the behavior of the Bidens, enriching themselves by selling foreign influence.

Obviously, the Speaker can exercise her power and could impeach a president for waking up on the wrong side of the bed as long as she could get enough votes, but that doesn't mean that this is anywhere close to being a wise idea.
How does it reappear? Wouldn't the site catch the duplicate link?
> I'm not entirely sure if PHP was fast at acquiring new features.

You really have turn back the clock; languages didn't have package management back then. They didn't have packages. The only exception, at the time, was Perl (which had CPAN). PHP acquiring features was not just about language features but also how quickly it's standard library grew to accomplish anything you needed on the web.

> PHP didn't have classes until version 4 iirc. Namespace in 5.4? And 5.x is around NodeJS early days where RoR and Python Django/Pylon/Pyramid was around.

I'm actually talking about the PHP3 era; by the time we're talking about PHP5 then there was already plenty of competition and the "early days" were already long over.
Excel is a requirement for the integration I want to do to another program: bartender

To print barcodes and labels in serial with an ODBC connection... so libre won’t work
Absolutely.

It's a problem with academia in general. Academics don't get rewarded for explaining things in an easy to understand way. Moreover, it is often a huge amount of work to distill results down like this. And if you succeed the response you may get is "well that is obvious".

Anyway, this is my counter argument to the "formalization of mathematics": why don't we incentivize people to bring some clarity to the exposition? If mathematics is suffering from faulty proofs, then I have little sympathy. Make it simpler, organize the concepts. Muscular calculations only go so far.
As an American living in Switzerland one thing that has consistently surprised me is the difference in fire safety rules: not having any smoke alarm or fire extinguishers in homes is common, and it's also common to be able to lock people inside rooms/apartments/buildings so that they can't leave without having a key. It's possible to lock someone in my apartment even if they have the key if the door is locked with the key left in on the other side.

In the US if I checked out a rental home as a possible place to live and it had any one room where you could lock someone in and they would be trapped I'd wonder what weird shit happened there.
exactly this. The people who are at the top of their field in anything (including AI) .. did it when nobody else was working on it.
> My impression often was that a lot of this stuff isn't so hard if you "get to it", but it's clouded in a lot of complicated language that makes it sound harder than it really is. I never dared to postulate that this is a more general problem of math, but your words sound like that's exactly what is happening.

I "only" have a masters degree in Math, but this sounds really wrong to me. Most advanced math concepts are complex and can take months to understand for someone with an unrelated math background (e.g., say, Lebesgue measure theory or Galois theory). I wouldn't even know how to start teaching something like that to someone who doesn't have a formal mathematical background.
Differentiable SAT solvers is a thing.
https://news.ycombinator.com/newsfaq.html

> But please don't post complaints about paywalls. Those are off topic.
I mean, yeah, you can't do causal inference without a causal model. Uh, what's new about that?
And if they live in California 200k does not seem like a lot.
Ahead of 2020, Facebook Falls Short on Plan to Share Data on Disinformation
Why Is Perfectly Fine Not to Write and Publish Every Day
(Note: I co-created the product, manage the business that produces it, and wrote the original blog post)

In many ways I'd say the answer is still in flux. On the one hand this is a part-time business that has not, by any means, made either myself or my partner rich. On the other hand, we sold our first units in 2014 and are in continuous production today. It's a weird side business to have, but we've figured out a way to make it fit into our careers/lives.

In other words, I'm continuously surprised that The Public Radio continues to be a _thing_ and am always slightly shocked when I see one in the wild. And it's nice to have something like that.
Electrify Canada opens first EV charging station in drive for national network
Perl was just as inscrutable then as it is now.
Are you (technical/non-technical) interested in AI?
Welcome, and thanks for the click!

Network, get actionable information, and participate in intelligent dialog on a standard platform:

https://www.linkedin.com/groups/12299309/

Join us!
Don't forget Andrew Mellon ;)
Why are you using a JSON streamer for this? Why not just read it with json_decode.
I had just come out of the peak of an acid trip so intense that I was in the fetal position under my covers. 1-2 hours had passed but it felt like an entire day. And it took me 10 minutes just to finally message my friend the profound admission: "im trippin".

I was pretty hungry after all this and glad the peak was behind me. Got a grapefruit out of the fridge. Wasn't even halfway through when I found myself back in the peak. Had to crawl back into my bed where the curtains were closed and endured another 20 minutes of that.

Grapefruit + <drug> has always been the source of superstitious arguments in uni among my drug-using friends. Does it enhance the effect? Kill the effect? Do anything at all? But my acid experience confirmed one pairing beyond all doubt.
Worth asking: how does wasting your time on being interviewed for this fits into this framework?
Pulumi comes the closest that I’ve seen — https://www.pulumi.com/
There are over 2.5 billion active Android devices (https://twitter.com/Android/status/1125822326183014401). There were over 700 million active iPhones in 2017, likely more today (https://fortune.com/2017/03/06/apple-iphone-use-worldwide/). So conservatively there are over 3 billion smartphones.

Microsoft claims there are over 1 billion Windows 10 installations (https://news.microsoft.com/bythenumbers/en/windowsdevices/) and over half are running Windows 10; so that means that less than 2 billion Windows installations are in existence.

The numbers are pretty clear at this point.
Back in the 1990s, UC Berkeley's computer hardware quals exam used to require the test taker to design a microcoded RISC processor out of NAND gates, from the bottom up. It was kind of like Little Alchemy, once you created every kind of primitive gate you needed, you could assemble them to make larger and larger things. This included building latches, registers, static RAM, bottom to top. NOR is just NAND with 0's and 1's reversed.
That's not the point. Consider reading the article.
Amazon Echo Wall Clock
Starship Prototype Unveiled
The problem with math is that the only strategy we’ve discovered (with any success) for making a concept easier to learn is to connect it with a concrete, real-world analogy. This works because people find it easier to learn something if they can connect it to something else they already know. The Achilles heel of this approach is that it discards the abstract form of the concept such that the full generality is lost on the student.

One example I see frequently around here is the much-maligned monad tutorial. Writers keep trying to connect it by analogy to concepts with which imperative programmers are already familiar. As a math student, I would much prefer to be given a basic statement of the definition of a monad, a list of properties, and maybe a theorem to prove that some structure is a monad instead of having to fall back to the definition. From there, I would just work through a few exercises and start to understand what it is and how it works. Most people don’t work this way, however. People seem to be extremely resistant to learning by experimentation. Instead, they prefer to be given all the answers.

I suppose this isn’t really a problem that’s unique to math. We’ve also discussed how a lot of computer users fail to truly understand how the software works and instead prefer to follow steps by rote in order to carry out one particular task.
Free Illustrations for Your Website UI or Product Design
visit https://freellustrations.com/
This is a fantastic point that may not be relevant now, but may be extraordinarily relevant in the future.

I’m not aware of any work or even sci-fi that addresses AGI with regards to this question, and would be curious if there’s stuff out there?
Have you considered London? Google, Facebook, Amazon and a lot of Big N companies have significant presence there.

The startup scene is great! Monzo, GoCardless, OakNorthAI etc are some startups that are doing well.

You'll get PR in five years and citizenship in 6. If you are in a Big N you can ask to be transferred to the American office if you want to after 18 months.

There will be plenty of flights to India and if you fly via the Middle East they will be really cheap flights. As someone(Indian) who lived there for a bit, I had so many people visit me! You will find Indian food easily and will easily make friends.
I've mentioned to others this already, but I'd pay good money for real APL pocket calculator.
I think that's a good part of ADA that should have been copied 30 years ago. That and you should be able to define overflow semantics as well.
Background is white and the text is #333. Contrast ratio is 12.63:1, which isn’t bad at all.

Can’t really fault the author here
Though harsh and (of course) generalized, I think the word "empty" is a useful description here. Think of these meanings of empty:

- "containing nothing; not filled or occupied"
- "lacking meaning or sincerity"
- "having no value or purpose"

In the context of academia, there is an expectation of a certain fundamental motivation; namely, to pursue knowledge in a particular field and share it back via writing and/or teaching.

If one lacks that primary motivation, they certainly "lack" it and are "not filled" with the academic ethos. So "empty" is a fair term.

Now, I understand the realities as well -- seeking publications, recognition, tenure, and funding are also political activities. But this does not contradict the underlying community norm that I mention above. In fact, it supports it -- it explains why so many people endure a tough, grueling, political process despite it not being their wheelhouse.
Undefined behaviour is undefined only by the standard - an implementation may choose to handle undefined behaviour in some documented, specific fashion. Undefined behaviour exists to give implementations exactly this flexibility.
HN discussion of Bloomberg story (with denial from head of Whatsapp): https://news.ycombinator.com/item?id=21100588
Didn’t Black & Sholes win a Nobel Prize? I don’t think it’s fair to compare their pay to that of “mere” experts, even in the same field.
Microsoft Stops Trusting SSD Makers
So you’re posting from “EDay” and “ExhibitDayAdmin”? Is it the same person?
> He ... has helped started business like ... Managed By Q (acquired by WeWork)

I’m wondering if it’s a good time to praise WeWork ties. On Managed by Q’s website (https://www.managedbyq.com/):

> We Manage, We run, We design, We staff
If you had 'truly general sci-fi AI', I would think it would know what questions to ask you like a normal human would.

Or if we're talking serious AGI level, just feed it your codebase/email/slack history and have it learn all of that hidden info.
My German learning experience has been exactly the same. It is frustrating to have plateaued at a certain level.

In Berlin I found a tandem partner who grew up under the DDR and spoke Russian instead of English which is how I practised.

Something I also found is that if you start off speaking English with someone, it is nearly impossible to change your relationship into a German one, whereas if you start off speaking German, it seems to reoccur again in the future.

It's like your first impression cements which language you're associated with.
> just like you cannot have your macOS password be the same as your Apple ID password.

Huh, yes you can? http://osxdaily.com/2015/03/24/use-icloud-password-as-mac-lo...
I am not that perturbed by whatever framework they use, tools to translate the bulk of the majority of proofs from Lean to MetaMath to [...] and back will be made,

the more important thing is that the number of humans aware of the existence of this tech and the more actually use it the better society will be off in the long run

the following may seem totally impossible today but seems a lot less impossible to people who have been thinking about this for a long time: once sufficient mathematics has been translated, people can start adding physics postulates, one most physics has been inserted we can start formally verifying (up to validity of postulates on top of axioms) not just proper operation of digital circuits etc but also power plants and so on, and once interacting with proof systems becomes as widespread as alphabetic literacy, people might one day be able to formalize and vote on their requirements of society and policy, see predicted perverse incentives, or decide that policy can only be enacted when facets of their consequences can be proven. We might one day not vote on promises of strategy, also not vote on strategy, but rather on outcomes!

I know it sounds absurd.
That's an example of what I call "stupid terse".

When comparing program length, we should count tokens, not characters.

We should give a penalty to excessively long tokens, of course, like pointlessly_long_variable_or_function_names. Say, any token longer than 8 characters counts as two tokens. Any longer than 16 counts as 4 and so on, exponentially. Pairing tokens like { } and ( ) can count as one for the pair. In syntax like f(x, y), the () are essentialy one operator denoting function application, spread out to enclose the arguments.

Your APL

fib←{1≥⍵:⍵⋄(∇⍵-1)+∇⍵-2}

has 19 tokens. jodrelllblank's Python:

def fib(n):
if (1 >= n):
return n
else:
return fib(n-1) + fib(n - 2)

has 27. There is a bit of verbiage with the colons, the else punctuation and the explicit return commands.

TXR Lisp:

(defun fib (n) (if (plusp n) n (fib (+ (pred n) (ppred n)))))

has 21 tokens (or, if you will, nodes in the syntax tree). Only two more over APL, and provides a clear function definition from which we know it takes exactly one required argument, which is given a name. It exhibits no ambiguities.
Maybe you're not the target market. I only listen to radio in the car, so I'm not that market either.

That said, it's a brilliant idea and I can see the appeal to many who do listen to one public station all day.
Contract numbers shouldn't be directly compared to employee compensation numbers. A contractor has additional expenses and taxes and can have periods between contracts with nothing coming in, so needs to be making more money to have equivalent net income after taxes and expenses.
Is eventgeek target to the host of the event or the participants.

Because the value is in gathering attention from the attendees to your space at the event, correct?
Text is a must-have for me and videos can be a nice addition.
Want to Code? A University Degree Might Be a Waste of Time
I would say OR (operations research) is really what's meant here.
https://www.youtube.com/watch?v=vrJRmIvHF0k
This is pretty much the approach I took a few months back after reading _But how do it Know?_ by J. Clark Scott, although I wrote it in software [1]

[1] https://medium.com/swlh/i-dont-know-how-cpus-work-so-i-simul...
Fair. I didn't mean to disparage open source in general. My issue is that I think there are a bunch of positions that certain prominent open source folks have taken that, if you were to advocate for them in the workplace, would likely trigger a discrimination lawsuit.
Why would that be a misuse you asshole, keep your insights to yourself!
That's not the suggestion. Proof verification is easy (for a proof written in a formal system). Proof search is hard. Many (most/all?) proof assistants heavily use heuristics to guide the proof search. Machine learning on a database of proofs could lead to superior heuristics and make proving stuff in the formal systems easier.

Proving stuff in these systems is still harder than natural language proofs, so making them easier could increase adoption, which would make mathematicians' results more robust/rigorous.
Please add (2018) to the title. Also, these are celebrities, with some of the most important contributions in the field. They are like the top 0.001% of the field or something equally ridiculous.
This gels with my experience of compensation here, but just to add another data point: when earning €70k & being functionally the sole breadwinner of a family of 4 I managed to save almost 40% of my net pay while not trying to live particularly frugally.

Despite recent price hikes Berlin remains a remarkably inexpensive western major-city.
> With the word "encrypted," the article makes no sense – it would take legislation to force US companies to build backdoors to encryption, not an international accord.

It makes sense if you take it to mean that WhatsApp with share the encrypted messages, without any means to decrypt. It's not a very meaningful statement though, and will only confuse people.
Yeah, I think Dhall is the right idea, but I think it’s going to have the same syntax/ergonomics issues that Haskell and OCaml suffer from. Our company invested heavily in Nix, but the developers really struggled with the expression language which seems quite similar to Dhall both syntactically and ergonomically. While Dhall might be great for Haskell/OCaml/F# shops, a configuration language isn’t the right place to push for new idioms or ways to think about programming.
I am leading the Meltano project at GitLab and would love to collaborate. Could you drop me a note dmorrill@gitlab.com?
There is no prevention from one person submitting multiple sets of responses. The descriptions are the same for Awesome and sucky. And 3 levels of granularity isn't enough.

Nice idea... just needs work before it is ready to use.
Don't know about Switzerland, but as an European living in the US, I think the American fire safety rules are what they are mainly because most houses here are basically matchstick houses built from prefab low quality wood which would get devoured by flames in minutes. And the fire-resistant building materials are super toxic when they actually burn. So fire is a very big deal...

Anecdotal, we had a fire in my building because the wrong type of lightbulbs were installed in the hallways and because of their size, they were too close to the drywall which in turn caught fire. So.. yeah. Matchstick.
Stallman launched the GNU Project in September 1983.

So it took him seven years to get that money. Meanwhile, he was intermittently homeless and only succeeded in registering to vote while homeless due to his fame for his work. He submitted his voter application and listed himself as a "squatter" at his work address. The registrar of voters refused to accept this and changed their mind when an article about him came out in a national publication and said the same thing.

Meanwhile, I routinely hear that software engineers at FANG companies can make upwards of a quarter million annually in salary and he lives in Boston, not known for its low cost of living.

That should be common knowledge for the HN crowd, so I'm not going to try to back that up with a source.

https://en.m.wikipedia.org/wiki/Richard_Stallman
Nope. I use Firefox + uBO from multiple machines/IPs in the US and I never see a paywall either.
Have you ever used a Mac?
The key part seems to be this:

> In other words: We’re making a piece of consumer electronics just-in-time in the US.

It is indeed hard to bring down costs that way, but when each unit needs to be individually programmed, as in this situation, this is a sensible way of doing it.

This is also a good way to do low volume production in general for hardware side-projects and the like. My own Relay (https://foundrytechnologies.com/relay.php) is made in the same way - the components come from China but the assembly and firmware upload is done in the US. This also keeps the firmware confidential, which works well for IP protection. For higher volumes, I'd think we'd eventually move the assembly offshore, but not the firmware upload.
Just out of curiosity why only these two choices? Why not London for example? Just trying to understand your rationale behind your choice.
Yes, also on medication for high-blood pressure.

(luckily I never had a great liking for grapefruit)
We just need to get past the mindset that e-bikes are cheating. This is one of the big impediments for anyone that I've talked to about e-bikes, they say they would feel embarrassed riding them (since the main purpose of a bicycle that many people see is as a form of exercise, not transportation).

The answer to that, of course, is e-bikes aren't cheating, but driving a car is.
Makes me wonder: how are prisons handling fire safety?