skysight-inc/HackerNews huggingface dataset:
In my life I've written many a letter never sent.

Sometimes it feels just as good to compose that heartfelt letter telling the other party exactly what you think of them.... then burn that shit rather than dropping it in the mailbox. Sometimes it's best for everyone.

This would have been a perfectly journal entry but it is a very, very poor blog post, especially since he wasn't clear exactly what happened.

(Apparently Lincoln was a big fan of the unsent letter)
We're putting up a mapzen / pelias compatible endpoint soon on our geocoding service.

https://locationiq.org

It's OSM compatible at the moment.
Even in CCL it depends on the compiler settings:

? (declaim (optimize (safety 3)))
NIL
? (defun foo (a) (declare (type (integer 0 100) a)) (+ a 10))
FOO
? (foo "bar")
> Error: The value "bar" is not of the expected type (MOD 101).
> While executing: FOO, in process listener(1).
> Type :POP to abort, :R for a list of available restarts.
> Type :? for other options.
1 >

Type declaration added -> runtime safety increased...

Best read the implementation manual to see how it deals with optimization values and type declarations.
Have you tried a Dell XPS 9350?
I was approached on Twitter by an attorney for a class action against Payfone et al when their demo popped up here. It won’t take much effort to find one who sees a case here.
From TFA:

> As you can see in the above code, the login functionality specifically

> looks for an admin user named "mydlinkBRionyg" and will accept the password

>of "abc12345cba" if found. This is a classic backdoor. Simply login with

> the credentials that I just mentioned from the above code.

Programming mistake? Seriously?
A useful filter when buying laptops is "does this laptop have the service manual accessible to mortals?"

Handily filters down to 2 companies: Dell and Lenovo. I am unsure about Librem and PogoLinux.
I'm not really buying your argument here. Neural networks are just a collection of artificial neurons. There is no requirement for multiple layers or depth of any kind.
Now I know that there needs to be a survival horror game where Nikola Tesla fights eldritch abominations in Gilded Age New York.
What else should I say? Telling people to just join the army OS horrible advice? Do I need to write a 30 page novel about it?
Unfortunately, someone stole it from me, but it was an introduction to philosophy book that really opened up my mind, introducing philosphers including Socrates, Plato, Aristotle, Augustine, Aquinas, Confuscious, Hobbes, Hume, Foucault, Kant, Kierkegaard, Lao Tzu, Locke, Marx, Mill, Rand, and more. It basically covered who they were, how they grew up, and what they've stated that has helped contribute to our society. Very interesting book. Can't recall the exact name of it, but I don't the book anymore to do my research and read any of these philosophers.
We did a study on self-hosting vs saas for geocoding. Here it is: https://view.attach.io/ryiFAKzmb

It's a bit marketing-y though :-)

Disclosure: we host an OSM compatible geocoder at https://locationiq.org
I’ve found coda to be vaguely useful (and prompt to be very useful) but can’t imagine what I’d even use transmit for.
Here[1] is a short video showing the version by version upgrade of Windows 1.01 to Windows 8. Notice how essentially all user programs, system preferences (e.g., theme), and files are preserved throughout the entire process. The guy also runs an installed copy of Wolfenstein 3D on almost every version to demonstrate that it still works.

The first time I saw it made me respect and appreciate the stability Windows has provided over the decades...

Note: there are similar videos that show the exact same process on actual hardware.

[1]: https://www.youtube.com/watch?v=vOzkNtnaS04
I'd say OS X is hostile now - after doing maintenance on a 2015 Macbook over the holidays.
BrainScript was one, though it seems deprecated ATM:

https://docs.microsoft.com/en-us/cognitive-toolkit/brainscri...

Compilers might not be involved, interpreters can work just as well if most of the heavy lifting is in the solving.
Fair enough. One can respect both of them without denigrating either. I'm something of a Tesla fan-boy, but I have no problem saying that Edison was a great inventor who did a lot to make the world a better place.
But isn’t that a failure of their education system?

Compare the kids who grew up on their iPads against a kid in Eastern Europe who grew up hacking on a Linux or even Windows machine using a real keyboard. Wouldn’t the latter have all sorts of advantages in all sorts of jobs?

If nothing else, growing up using a real keyboard would mean they could type a lot faster than the one who is used to a touch screen.
Not everyone is a leet open source enthusiast lisp-loving kernel-compiling hacker.

People go to the shop down the block, pick a product from the shelf and they are done with it.

This doesn't make them deserving of backdoors.

"Bought the wrong brand of car ... you had that accident coming"

"Visited the wrong doctor ... you had it coming"

"Ate food at the wrong restaurant ... had it coming"

Not everyone is going to be an expert in every field. This is not how a modern society works.
You're right. I softened the reference to functional programming.
> Does anyone care?

Let me answer that for you. In the period of the last 10 years, the world has all but switched to mobile devices. Mobile devices that make windows look like a secure operating system. In theory vendors promise 2 years of "safe" operation, and I am unaware of a single case where they actually shipped phones without major security vulnerabilities (and known, to at least some of their development team).

Internationally, iPhones do not matter. They're like 10% of the market, so I'm focusing on android phones here. And it's not like iPhones don't have exploits for them, it just means a few more years, something more like 4 year, until they're exploitable.

It is regularly reported that 40% of all android phones are vulnerable to individual vulnerabilities. At least half of all active android phones do not receive security updates, even in the case of serious vulnerabilities (and that patched "half" technically is described as anyone who ever got at least a single security update). How many of the total amount of android phones are trivially hackable if you run an app on them ? I'm going to say at least 75%, and at least including all phones more than 2 years since they were released.

So no. Nobody cares. We all know how bad the wintel situation is, and android is worse.

We need a global security disaster to happen so totally that regulators intervene and hold these vendors accountable.
> "so I don't expect any policy written in the past"

The comment I quoted is from 20 days ago, and the mods tweak policies with some regularity. 'dang commented specifically on the WSJ just over two weeks ago here:

> "WSJ is an edge case, but paywalls with workarounds are ok "

https://news.ycombinator.com/item?id=15977257

They're well aware of the situation. Yeah, paywalls are frustrating, and the mods are handling it as they deem best for HN. That's not to say it won't change in the future, of course.
Why it’s so unhelpful to talk about the male or female brain
If you subscribed, wouldn’t you start reading more articles? I think that’s what makes this kind of paywall strategy successful.
$45/yr is probably an hours worth of work in most of the US for software devs. If you work minimum wage that’s probably 5 hours of work.

It literally needs to save you about an hour’s worth of time over its lifetime to be worth it. And that isn’t even including all the other benefits you get from using a more frictionless and pleasing to use software.

I find complaints about the steep cost of tools from professionals when they don’t even cost triple digits quite short sighted, to be honest (an exception could be made for professionals from countries where their pay is significantly lower).
Grant will help Prairie State College take training on the road
Are you talking about a specific feature of it or the whole thing in general?
There will almost certainly be 32GB MBPs this year when Cannon Lake shows up. Assuming it isn’t delayed again, naturally.
Honestly curious, why is it a delusion to want the WWW to be a more powerful platform that offers more than just being a web of shared documents? Why is it bad for there to be an array of purposes or applications available on the Web? Just because you don't see value in it, doesn't really make it fair to call others who do see value in it delusional.
Sadly, my Powerbeats headphones need me to upgrade to it in order to connect with Bluetooth. (???)
I really enjoyed reading this, thanks for sharing. I like the emphasis on primary sources, which I tend not to read enough of.
The current economy including GDP does not account for garbage and co2 emisssions. If we only optimize in one dimension for maximum GDP output then we will have huge economic output and also destroy the planet we are living on.

We should optimize for gross happiness and long term sustainability. Gross happiness include more vacation, using sustainable materials like wood and metal instead of cheap plastics. Recycle more materials in the goods we consume so that its a continuous cycle instead of buy consume and throw.

If we prized the carbon emission on the production and transportation of all goods we would have a totally different economy.

The automation economy allows us to be both rich and have more spare time.
Low end ARM parts keep track of branches to avoid purging cached pages that will be likely be needed soon. That allows them to have decent performance when executing from flash.
\* Compatibility. Which is truly awesome.

But stability means it doesn't crash, or have driver issues or basically interfere with a user trying to use it.
Correct. Warrants aren’t needed at border crossings, since customs represents reasonable search and seizure.

The premise is that it’s not unreasonable to consider smuggling as a common behavior at border crossings, and civilian citizens are only protected from an unreasonable search by the fourth amendment.

They can hold you for long periods of time, irradiate you with x-rays and inspect bodily cavities with gloved fingers, or have medical personnel do it for them, and that’s all considered “reasonable” given the context of an international boundary.
What about a scenario where a company decides a law about censorship or a gagging order is not okay?

I think there's usually a lot of gray areas with regard to morality.
Ask HN: Any recommended books on how to use Twitter?
Your argument is that because one thing which some people considered a conspiracy theory, but most experts did not, was true we should believe all of them?

Yes, there’s a hardcoded password. The field has a long history of people adding those to make support easier, and I’d bet a lot more that that password means someone with that name worked on the mydlink project than that the NSA put it there, just as most burglaries are routine crime even if the CIA or FBI has been known to quietly bug houses.
JetBrains Developer Ecosystem Survey 2018
I enjoy seeing new experimental languages. I really enjoyed working through the README exercises. It's the perfect way to document and teach a language all in one go. The REPL worked great.

First, I love how you've chosen to have functions wait for the correct number of arguments to exist on the stack before executing. I've often pondered how to make Forth-like languages less painful to program - your solution is very clever!

Speaking of clever, I felt very clever indeed when I took your infix equality example:

| 42 == 42
[#t]

and it worked when re-ordered as postfix:

| 42 42 ==
[#t]

...indicating two things: 1) I actually understood what was happening and 2) the language is coherent.

It's great that basic IO so simple with 'say' and 'ask'. That allows somebody to jump in immediately and start making fun things!

| let name ask 'Who are you? ';
say $name

Love the syntax for lambdas: { ... }

What is the rationale for requiring function implementations of the same name to have the same arity? Nevermind! I just answered my own question: because functions need to know how many parameters to seek from the stack.

The literal values for function arguments is awesome - pattern matching!

I don't understand this example demonstrating an "index" for the function parameter types:

func: baz(x y Int z T0) $x + $y + $z;

I assume 'T0' is the aforementioned index? But I'm struggling to see how it works from this example. Maybe I'm just missing an idiom from some other language?

Bizarro Question: Is there any way you can 'delete' a function in the REPL? For example, to be able to re-use the name 'foo' as a function with a different arity. (It's fine if you can't. The ability would be useless in an actual program.)

You have an error in the README example for "Argument types may be specified in angle brackets...":

| &+<Int>
...
Error in row 1, col 6:
Func imp not found

But at least I was able to guess the correct syntax, yay!:

| &+<Int Int>
...
[Fimp(+ Int Int)]

Dates: I'm confused about the lack of a function called 'year' (singular) since 'day' and 'month' exist. Otherwise, I'm impressed. Dates are damned hard.

Everything about this language seems to be aimed at maximum brevity without sacrificing clarity. I like that a lot. Congratulations for getting this far and I'll definitely be bookmarking this.

I would love to see some longer programs written in Cixl to get a sense for what they look like and how they'd be structured.

How long have you been working on this? How long have you been dreaming about it? And how it is pronounced (SIX-el, KIX-el)?
You forgot to say that succ is injective.
Ask HN: Why haven't processor manufacturers been sued yet?
Why haven't Intel, AMD, and other processor manufacturers been sued for preventing processor owners from securing the processors they own?

These processors are effectively running two complex operating systems of which only one can be updated and secured by the processor's owner. Owners are not allowed to update or secure the other operating system themselves leaving them vulnerable and susceptible to malicious software and actors. Unless the manufacturer is incentivised to prevent this by releasing an update, owners will be stuck with a defective device that they can not fix.

Why haven't the EFF and similar groups taken action yet?

Why are processor manufacturer even allowed to do this?
Google property is in North Bayshore which is an office park wasteland. People are stealing them from parking lots on these office parks and riding them over the freeway into the residential and commercial areas of Mountain View. I wouldn't do the same because I am not a thief.
Generally when it's something this obvious I think it's a backdoor for debugging that got left in due to bad development practices. [1]

If someone actually wanted to implant a "secret" backdoor it would be disguised as a subtle bug and/or obfuscated in some way.

"Never attribute to malice that which is adequately explained by stupidity." Hanlon's Razor -
https://en.wikipedia.org/wiki/Hanlon%27s_razor

[1] "[...] it turns out the error was caused due to buggy code and nothing I was or wasn't doing wrong." - if the code is so obviously buggy and the backdoor part isn't obviously a bug, the developers are probably just being sloppy, not malicious (bad or rushed development).
Robert Whitaker's presentation on Psychiatry at the Hippocrates Institute
iOS has matured some and continues to do so. The Files app and drag and drop enhancements in iOS 11 are good examples of this. I don’t know if iOS will ever meet all of the use cases of a desktop OS, but it has definitely become capable of doing a lot more than it could a few years ago.
I'm thinking much the same, though I do think of tests as looking after the dynamic behaviour and types after the static behaviour. Which seems obvious in retrospect, but once you wrap your head around it you can build neat abstractions like lightweight static capabilities: https://github.com/yawaramin/lightweght-static-capabilities
Without knowing your background, Pugh's and Abbott's are usually good choices as are Schramm's Dover, and while not really analysis texts, don't forget the classic fundamentals/foundations books by Courant/Robbins What is Mathematics, Ian Stewart/D Tall Foundations of Math, Felix Klein etc

Here's lots of reviews: https://www.maa.org/tags/real-analysis

https://math.stackexchange.com/questions/tagged/real-analysi...

https://www.reddit.com/r/math/wiki/faq#wiki_what_are_some_go...
Well, shit. I've had one of these as a stand-in for hopefully eventually getting a Synology NAS, and now I'm paranoid about continuing to use my WD MyCloud. The thing is, I do believe I have a lot of reasons to believe I can trust Synology more, I don't even want to trust anyone. Not Intel or AMD, not WD or Synology. Computers are quickly becoming a source of implicit distrust for me.
No he doesn't, but who cares?
20 Year Usenet Timeline (2002)
Poker Online Indonesia – Domino QQ – Dewa Poker – Bandar Ceme Terpercaya
ASETQQ.COM MERUPAKAN SITUS POKER TERPERCAYA DAN DI JAMIN UNTUK KEAMANAN DATA MEMBER SERTA SISTEM YANG SANGGAT CANGGIH UNTUK MEMANJAKAN PARA PEMAIN POKER UNTUK BISA MERAIH BANYAK KEMENANGAN, AYO SEGERA DAFTARKAN DIRI ANDA BERSAMA KAMI AGEN POKER ONLINE TERBAIK DI ASIA
Mostly because the loss function space is not well understood, we need to do some kind of descent
My idea of working on a computer involves the ability to at bare minimum select, edit, and copy and paste text without struggle. As does any kid exposed to one of these 'magic' devices, of which I can assure you they ARE exposed.

Attaching a keyboard to an iPad does not make those tasks significantly easier in iOS, unlike a Chromebook - a device which outsells the iPad and continues to grow each year.

K-12 Sales Chart -> https://d3e7x39d4i7wbe.cloudfront.net/uploads/photo/image/53...
> It's not all black and white, oppressed against the oppressor.

How's it not so? (Asking, not flaming. I know this is a complex topic and invariably leads to shouting matches.)

The idea of caste being used as a means and justification for oppression, violence etc is just plain wrong. I don't think it could be more black and white - to borrow another loaded figure of speech.
Ask HN: What's your way of saving/recollecting important career notes?
I read a good amount of articles every day and whenever I find something useful I note them down digitally. Once a week I go over my notes and filter out the ones I want to retain and look back after a while (let's call them 'important-notes'). My 'important-notes' are filled with 'mistakes-not-to-repeat', 'career-advice', 'motivational-stuff', 'quotes', 'things-experience-taught-me' and so on.

When I am starting out on new things (like learning a new framework), or just lacking motivation, or looking to improve productivity I go back to my 'important-notes' and read them over.

This has been super helpful for me. I can give a bunch of reasons as to why it's helpful but they all boil down to this: It helps me avoid repeating mistakes, and to avoid stupidity.

In theory, it's perfect but I do not execute it well. I do not go back to them every week to filter. I do not read the 'important-notes' often. A lot of times I still make mistakes which I should not because I have clearly written about those in 'important-notes'.

Anyone else in similar situation? Do you take notes that you want to go back and read?
If yes, what's your model to deal with this? Any tools that you found helpful?
Any better solution to the whole idea of 'important-notes' and going back to them?
For one thing, to sue for damages, you have to show actual, quantifiable damages.
Oh! Sorry I just assumed they weren't around then. That's really interesting to know. Hey could I have a chat with somewhere, IM, or something? Would be really good to hear your story with this.
> inability to run linux on the USB-C macbook pros

What have you tried?

I have a MacBookPro14,1 (2017) and had a bit more of a problem than expected triple-booting Windows, Linux, and High Sierra, but I got it working.

My main issue seemed to be that nvme wasn't supported for many of the Linux installers. I think it was a newer Fedora I finally got working. I may have had to manually mount the drive before running the installer (I cant remember). I haven't used it as my primary OS, but everything seemed to be working (hi-dpi, wifi, trackpad).

I think like any other new hardware, it'll take a couple years before Linux works out of the box.
Don't kill your CISO is he doesn't know how a virus works
Plus with cocktails and entrees, most people order their own. With deserts I've noticed a lot of people tend to share. I bet appetizers are similar (though a little more profitable) for restaurants.
If you leave Facebook for example you can request that all the data on your account be sent to you. This can be done even if the account is deleted without the ability to reactivate it.

Their "model" is akin to paying money so they will let you out of a bear trap. Why would I pay them anything if they are going to turn around and trick someone else into the same scheme and do so with the money that I gave them.
How a CISO should deal with XSS?
I agree, in principle, but when the nutjob in question correctly predicts a dozen things in a row with no misses, you have to wonder if you might be missing something important.
> Real numbers can actually be logically constructed as sets. So yes, Pi is a set.

You missed the point. The point is that while X (e.g. the real numbers) can be encoded as Y (e.g. Cauchy sequences), this doesn't mean that X is literally Y. That would entail that Cauchy sequences and Dedekind cuts, for example, are the exact same thing, which they are not. Rather, they are two different ways of encoding the same abstract structure (a Dedekind-complete ordered field).

> Pi being a set doesn't mean that it is a set of real numbers.

This is dodging the question. Is the set containing the empty set a member of pi? Such a question is meaningless without fixing a particular encoding, and it has nothing to do with the intrinsic properties of a real number.
This is something I'd expect Apple & Google to fix in their JS engines, so I don't see why it's more of a risk for web apps than native apps. If anything it's easier to fix.
With the right new instructions inserted at the right place, assisted by a good type system, and a processor that does not share its resources like crazy in highly uncontrolled ways, this seems fixable.

Sadly, I feel the only part that won't happen will be the programming language part, but who knows.
Thanks for trying. Yes the iTerm keybindings are a known problem. Like I said, I've completely rewritten Texttop from scratch - it's now merely a lightweight Go binary (to receive a websocket and print to STDOUT) and a webextension. So it's significantly more performant.
Rely on decentralized solutions.
"How many people are doing that?"

Probably very few. Wired keyboards were never officially supported. Plus one needed the "Camera Connection Kit" adapter (later rebranded as Lighting to USB connector). Plus some USB keyboards would not work.

The only officially supported keyboard option was bluetooth keyboards.

In the real world, I have never seen anyone plug a keyboard into an iPad. I have only seen people use bluetoth keyboards.
Could you share some more information about generalized sorting in O(n)? Are you talking about algorithms like radix sort?
> generalized sorting is O(n)

What do you mean by generalized sorting and how isn't this affected by the comparison sorting lower bound?

Do you have a source?
Gerbil/Gambit do this already. Fully static binaries, and are a ton faster than Chicken.