skysight-inc/HackerNews huggingface dataset:
A metaphorical fugue on minds and machines in the spirit of Lewis Carroll

The dialogues are supposed to be whimsical and bizarre dream-like riffs on the topic at hand, a la Alice in Wonderland, not sharp teaching instruments.

I think Hofstadter did get the supposed point of Cage’s piece, or why would he have joked about whether people want to hear ambient noise or not?

The review gets good in the middle when it starts talking about Zen, and I agree with some of the conclusions towards the end. As another commenter pointed out, Hofstadter was young. In a way, the whole book is like an amateur piece of music or film or poetry, at times clumsy or campy but generally endearing. I understood this even as a kid.
Yes, Google has radio silence on adopting anything beyond Java 8.

And even for Java 8 you need a latest Oreo device, because not everything can be desugared into Java 6.

There is also the issue that going forward Java 9+ libraries won't be possible in Android.

So the only way forward appears to be indeed Kotlin and Kotlin specific libraries.
The only context in the post I replied was about WhatsApp being E2EE, which is factually wrong and incorrect, and we should not propogate this misbelief any further than it already is.
I mean, this is literally the quote from the post:
>The advantage WhatsApp has over MSN is that the data is E2EE.

Where in my post have I mentioned that Telegram uses their own crypto just for the sake of using their own? I'll save you some time: I did not mention it at all. Why did you then even bother to say anything about "snake oil" and "considered harmful"?

Moreover, if security community (for some reason always represented by 1 person) says that unverifiable, closed-source solution is secure just because they said so, then I'll be better off without trusting them, and the actual common sense tells me to stay away as far as I can from anything they do.
I love Rust. Especially for emudev and embedded development (fields I would traditionally use C or C++). However, it still performs worse than C++ in most cases [1].

[1] https://benchmarksgame-team.pages.debian.net/benchmarksgame/...
I've thought much the same, and I'm really interested in helping out any organization that both increases general literacy and computer literacy for people who have neither. There's so many people in this country who have so little access to basic necessities, but they may have a computer and internet access. Remote work might lift a lot of people out of poverty.
Just because I don't want bad syntax to live on for eternity on HN...

List<Customer> Find(Expression<Func<Customer,T>> predicate)

Should be

List<Customer> Find(Expression<Func<Customer,bool>> predicate)
Problem is, just because something is "in the Play Store" doesn't mean it is harmless. It could, for example, contain trackers. So, yes, we should discuss and link them.
Aside from the obvious loopholes (how do you define two laws as being the same -- and what stops your opponent from intentionally sabotaging a law they know you'd want to pass?) there are some other practical issues.

If it applied to all laws, you could pretty easily imagine some negative consequences (attempts for marriage equality or suffrage could have been delayed by decades if the opposition tried to introduce laws in a way that would be guaranteed to not pass). And what if the circumstances change within that decade so that an old law proposal now makes much more sense.

I do think that the law-making process should have quite a few more safeguards. The way that after-the-fact amendments work (in America or Australia for instance) is quite scary -- though Australia does have double dissolution which intends to prevent deadlocks and the Senate changing laws without authority from the House of Representatives.
Chrome shows an interesting notice in the console.

> Redirecting navigation danreynolds.ca -> www.danreynolds.ca because the server presented a certificate valid for www.danreynolds.ca but not for danreynolds.ca. To disable such redirects launch Chrome with the following flag: --disable-features=SSLCommonNameMismatchHandling
"I am thinking about moving from US to London. So, I am curious to know why you prefer UK to US despite the salary gap."

Because it's not all about the money. People make mistake by comparing salaries on their own which is not correct, you need to compare what's left of your salary after you've afforded the same level of lifestyle.

You might look at $140k as a lot of money and £40k as very little money but you need to put that into perspective. My salary comes with tax deducted and you have to pay someone to do your taxes for you. That's the first difference and it's quite vocal.

I don't mind and honestly prefer to have 40-50% tax taken away from my salary to enjoy certain social benefits which you would need to pay extra for and there are some things that just aren't in the US, like pension. You don't have pension, you have 401k which is a voluntary savings account basically. Besides the state pension that I will get once I retire (and will continue to receive as long as I'm alive), I also get 5% of my gross salary taken away every month and my employer tops it off with another 5%. If nothing else, at least I'm set when I retire and I don't have to worry if I'll have enough money until the day I die after retirement.

Some countries in Europe, much like the one I come from, have half smaller salaries than the UK and I would still take £20k salary over $140k in US because you can't put a price on a 5min commute to work and letting your children play outside without supervision, going for a walk at 11pm without having to worry that something might happen to you, not having ghettos or "bad areas" in your city, being able to go to a hospital and have a surgery without paying anything, sending your kids to university without paying anything... like I said, to each their own. If you only look at money itself and nothing else then yes, $140k in US is much better.
Could be true, but a modern language such as Rust has its own problems:

https://news.ycombinator.com/item?id=16442743
As noted in the README, all of the devlopment now occurs in gitlab [0], and github is a mirror.

[0] https://gitlab.com/tezos/tezos
If I have to spend time thinking about a client's work, I bill them for it. Ultimately, writing software is a creative process and they're paying for my brain power. I've never had a client come back to me and say I'm billing too many hours.
I talk to a lot of Android folks. Most have already made the switch, and consider the growth of the language "explosive". That Google is opting in there only makes it better.

F# has been around a long time and while it's experiencing modest growth and I think it has a positive track, I've certainly never seen it hyped and on the tip of every tongue the way Kotlin now is within the Android space.
Well, if you are like I was, you are already looking for other jobs, so by the time HR sits you down to discuss the incident, there's a reasonable possibility you might already have an offer in hand. That could be fun.
Yes, I think you need some distance to look back objectively.
This article has a lot of numbers in it. But it does a pretty poor job of describing what set of people, or even how many people are struggling with the issues it describes.

- 20% of employees leave or lose there jobs every year, but it would be a lot more helpful if that number weren't corrupted by the "leave" part when we're only concerned with the "lose" part.

- Half (or whatever number) of employees do not have union representation. But what fraction of employees want or need a union. Many, for sure, but as a software developer employed by a company I certainly do not need or want one.

I'm all for confronting issues with the way our national economy is structured and assessing its pros and cons relative to the world's other countries. But I think these issues deserve better reporting.
Anyone that calls that to Java never programmed in Objective-C, which is like Java's grandfather.
What I don't get is what the motivation is for running the hub, other than "get bought by Medium?"
The incompleteness theorem says that if your logical system is powerful enough to describe the natural numbers (Peano's axioms) then it is also powerful enough to write down self referential paradoxes, like "this theorem cannot be proved". This means that your system either is unsound (if you can prove the paradoxical sentence then you are simultaneously proving it to be true and false) or that it is incomplete (some sentences, including the paradoxical ones, cannot be proved). You can't be sound and complete at the same time in the presence of self-referential paradoxes.

The proof of Godel's theorem involves showing that you can encode theorems and their proofs using just integer arithmetic. For example, you can use tricks like encoding the string "ab" as 2ᵃ3ᵇ.

The incompleteness theorem is very closely related to Turing's undecidability theorem, which shows that by encoding programs as strings and passing them as inputs to other programs you can create paradoxical self-referential problem statements that no program can solve in finite time. It also reminds me of the lambda calculus, which is something that really shows how far you can go by starting out with a barebones system and encoding everything else on top of it. The lambda calculus starts with only anonmour functions and is able to encode numbers, arithmetic, data structures, iteration and everything else with just that. Godel's theorem uses similar tricks to show that if you start with just integer arithmetic you can also go all the way to "turing completeness".
Intel and Apple have gotten out of sync lately. I think this time is worse than usual due to the butterfly keyboard issue.

Apple's size and the fact they are using the butterfly type keyboard throughout their laptop lines, means that inertia in deciding to make a change and then implementing it throughout their manufacturing chain is a fraught and time consuming process.
Define best. Best tasting, no. Heathliest, no. Some combination of taste, nutrients, affordability and convenience? Yes.
Can you give an example of fiction in which there is "something there"?
Second time in this thread I see someone mention GEB in the same breath as TAOCP. I'm curious how they ended up occupying the same kind of mental space for you and apparently others. In the immortal words of Jules Winnfield, it "ain't the same fuckin' ballpark, it ain't the same league, it ain't even the same fuckin' sport". Not that you are under any obligation to read either and plenty of very good arguments can be made you're better off not-reading at least one of them.
"hey, we've made the instruction codes shorter and an IDE that can navigate to line numbers".

That's almost what happened with C. In general I agree with your point though.

"As it has always been in the history of programming, what it takes for this potential to come true is for the current generation of programmers to retire, leaving room for fresh paradigms."

Not so sure about this. I see more of a trend to repeat previous errors because the industry as a whole quickly forgets lessons.
Here is hoping they fix the keyboard, add more ports, get rid of the touchbar, and add magsafe back for the Macbook Pro.

I've been holding on as long as I can with my mid-2012 model and if it dies before the above is done I'll be switching.

Apple needs to get back to being a hardware company because being locked to mediocre hardware because of an OS isn't going to cut it.

Apple needs a consumer model and a developer / pro model that gives developers and creators what they need in a laptop.

Stop butchering the pro line!
Thanks! I didn't really understand all the email specs when I started working on the parser, so it was mostly written using guess and check.

For plaintext emails without forwards, we use a slightly modified version of Email Reply Parser to strip replies. We made a couple changes so that messages with inline replies aren't stripped.

The next step is running everything through through BeautifulSoup. We use this to strip out most of the garbage from the HTML and rewrite it to make it beautiful. For example, paragraph text within divs gets unwrapped and placed within paragraphs. And text within divs that's styled to look like blockquotes gets placed within actual blockquote elements. This is not only good for SEO, but makes it easy for us to normalize the typography and style across threads to create a consistent reading experience.

There's also some logic here for formatting emails from things like Zendesk and Mixmax correctly. And this is also where the highlighting and redaction get applied.

Right now we just unwrap text within tables and place it in paragraph elements, I need to change this algorithm a little though to allow actual tabular data.

The next step is running the text through Bleach, first to linkify any plaintext URLs (and sanitize URLs), and next to remove all the remaining markup and attributes we don't allow.

Then you enter the death field of regex. The algorithm we use to unwrap text within divs and tables creates some extra whitespace before and after the newly created elements, so when you have nested divs and tables some of this needs to be stripped. We also strip out semantically invalid markup and empty elements. E.g. there is a lot of stuff that looks vaguely like this:

body = body.replace('<li></ol>', '</ol>')

The last step is that we run everything through BeautifulSoup again to make sure the whole thing is idempotent. I hear this isn't the Computer Science approved method of guaranteeing idempotence, but in this case it works. (Basically there are just a couple cases where the regex can lead to having unbalanced tags, so we need to make sure it's valid markup again.)

Overall the whole process is pretty easy to read and understand, and it generally produces better results than Gmail so I'm pretty happy with it. If we were processing millions of emails per hour I'd probably put more work into making it more efficient, but for now it's fast enough to feel instantaneous even for threads with dozens of messages.
This article explains how it would work for 3, but I haven't thought about it enough to figure out if it translates to districting.

https://www.scientificamerican.com/article/the-mathematics-o...
The way they self amend is that they literally will just vote to replace a particular file in their implementation with a new one.
Why are you throwing out all kinds of FP languages when Kotlin is not one?
That statement is a bit of an oxymoron, you can't go deep into lots of subjects. You pick one and immerse yourself in it or you cover a wide range to a shallower depth.
Oops! 32 Meg, not K. 4.7 is correct I think though.

That machine was probably worth about 3-4 grand at the time (1992)
In the same way as both chocolate ice cream and riding a rollercoaster make me happy, but are totally different. :-)
Talking Customer Success with Marketo's CCO
I went job hunting for the past 8 months and got 30 jobs and all of them rescinded their offers because my reputation is radioactive. So I would love to get a full time job. But it's not my path right now unfortunately. I would absolutely love that though.
Law of natural selection. Good thing is AWS would never depreciate an actively used service.
It is not a "DNA structure" it is a physically separate thing.

And corner cases like Dwight Schrute have nothing to do with it.

Portraying it as an accidental outgrowth, as if someone's body grew a second spleen as an adult, is intellectually dishonest.
And Android devs that would otherwise be stuck using Java 6.

There is partial support for Java 7 and 8, but it is a matter how many Android versions one wants to target.

Don't forget Java is not only the language, rather standard APIs, bytecodes and .class formats.

Also it doesn't appear Android will ever move beyond Java 8.
Are you guys doing jobs in North America as well? This looks like something we need.
What I like about the UK/EU model is that:

1. Yes - fewer episodes. In particular one of the main criticisms of things like the Netflix produced Marvel shows (Daredevil, IronFirst, Defenders, etc.) is that they would be much more effective if there were less episodes / season.

2. Actually having endings. If you skip the need to leave things open ended so you can have a 10 season run, you can actually tell a story arc with a beginning middle and end.

3. The UK TV model seem to allow more creativity. If a good producer/director/writer/actor team puts out a good series, they then move ahead and build out a new series with maybe some of the same "bones".

Good and bad with both systems.
Also missing in this context is the same group who wants to make abortions illegal also wants to reduce access to contraception, sex education (abstinence only) and healthcare for women. If you honestly want to reduce abortions, all of the above ha e shown to work. The one thing that doesn't work to reduce abortions is to make it illegal. Rich people just have abortions elsewhere, while everyone else who really wants one does it anyway illegally.
Worth pointing out: these guys worked for a long time off a very large capital-raise round to implement and run a test net, only to just replace it at the very last moment with a completely new main net.
At the big tech companies the parent references, the PTO and parental leave are pretty competitive.
I'm curious what the other books in the rotation are, if you don't mind sharing.
Thank you! We hope so too. There's so much first hand knowledge locked up in inboxes that people would like to share.
As a Stripe Customer: Less life advice, more focus on making Stripe a better, easier to use product.
I'd love to hear more about the process for proposing amendments to the chain. My understanding is that users can propose code changes to the protocol, and receive bounties for these changes.

My specific questions are:

* How are changes actually proposed technically? Do users submit a transaction with their proposed changes, and then other users vote on them? Can anyone submit proposals?

* Is the voting / upgrade process part of the codebase yet, or is that work still coming?
> worshipping a corpse nailed to a cross

Hmm... I’m not Christian but your comment doesn’t make sense. Jesus on the cross is presumably a symbol of sacrifice and unconditional love. “Greater love has no one than this: to lay down one's life for one's friends” and all that. I don’t see how altruism and self-sacrificial love of that nature is morally corrosive.

The threat of eternal torture, on the other hand, makes more sense.
Yes, and Telegram being open allows us to confirm with absolute certainty that it uses no E2EE by default.

We don't have the WhatsApp source code, but we don't have to do a lot of reverse engineering to see that it uses this:

https://github.com/signalapp/libsignal-protocol-c

But yeah, you're right, it could be sending plaintext or deliberately leaking keys somewhere. Unless someone really reverses it we won't know it doesn't as surely as we know that Telegram doesn't use encryption at all.
I hate this (too common) stupid phrasing for science articles, as if a 1 year old rationally decided that he/she should climb trees more often. Does it bug anyone else?
I'm a very casual gamer and have been very turned off by the recent (?) Hardcore fetish.

By which I mean a combination of games that are increasingly difficult with no meaningfully fun easier mode and the disdain for anyone wanting such a thing.

In particular I miss out on some awesome story and design work by authors and artists because I lack the reflexes and/or hours of dedication needed to be able to truly experience these games. When I ask (or find where someone else asks) about how to deal with difficulty and the NICE responses are "this game is not for you" it is a real letdown.
You didn't exclude C++, so I'll vote for that. Like you said - it isn't dying off and there are lots of C++ programmers out there so hiring is easier than with less popular languages.
Actually I think most happy and fulfilled people find that outside of work, risking your wellbeing on the whims of an employer or the current state of the job market is a fools errand.
CarePaths | Application Engineer VueJS and More | Full Time | Remote

CarePaths specializes in web/mobile applications for behavioral health including Social Work, Psychology and Psychiatry. Our primary product is the eRecord, a federally-certified Electronic Health Record for Ambulatory Behavioral Health.

We are a small, creative team with an established product and over 10 years on the web. Our technology stack is Linux/PostgreSQL/Ruby/Javascript. We have an opening for an experienced application developer to help design, implement, and support new and existing code across several projects.

The successful applicant will have a significant history of working remotely in a full-stack/full-charge web application environment. Working independently and effectively while remaining responsive to the team is critical to our development process. Part of the job involves being able to effectively communicate design and other technical details not just to other developers, but also to non-technical team members and customers. Applicants should be prepared to engage with us, show us code samples, and perform a short remote hands on problem solving scenario.

Job Type: Full-time

Mention you found the job on Hacker News

https://www.indeed.com/viewjob?t=remote+application+develope...
So what is the justification for this being acceptable behavior (beyond the usual "read the 20 page, graduate-reading-level privacy policy)?

Sites like Google and Facebook provide free services in exchange for ads.

Personally I think it is ludicrous that a company thinks it OK to use my personal information to enrich themselves, via a device that I paid for.
The critiques here are spot on. The dialogues at the beginning of chapters were tedious and mostly unhelpful. The treatment of anything far afield from math was pretty shallow and cursory.

That said, I still loved this book in spite of its imperfections. I think it’s important to read it at the correct time in one’s life. When I first read it (at 19 or so), it showed me a lot of things I’d never thought about before. The topics it didn’t really do justice, it at least hinted at things that were new and interesting to me.

It doesn’t hold up quite so well to subsequent readings by my older self, but I’ll always have a soft spot for it.
Malware creator sentenced
I was thinking about something similar this morning.

This last year I've been making a special audio player for studying languages. There's no screen, but audio input/output and 15 buttons that can glow different colors. I've programmed it to navigate through a tree structure of 'cards', where each card is (an audio clip of) a sentence in the target language and a recorded translation. The interface is all audio-based, with buttons.. hence 'TAPIR' player. Tactile Audio Player/Instructional Resource. Also it's a cute animal. :-).

The SOC has an Arm Cortex M3 with 128kB of ram, so you can run JS or lua interpreter (started looking into adding Duktape JS interpreter to the firmware a couple of days ago), and program your own interface in JS. Also planning to make a bluetooth version, where the code runs on your smartphone, and the player is rather just a special keyboard with controllable lights and a mic. Maybe it's useful for creating new notes quickly. If you wanted a visual representation of your notes however, still need a screen.

I'll make a proper demo video in the next few days, maybe I'll make a 'Show HN.' I've only got one working board atm, but I'm planning to solder up some more soon, could drop one in the post to you, if you'd like to mess around with one.

Couple of photos here:

https://photos.app.goo.gl/XWsxtQieKtixfEEJ9
https://photos.app.goo.gl/uvyfh2EYEz1G8kh88