skysight-inc/HackerNews huggingface dataset:
That one also bothered me, because it is very much wrong.

The correct result is

Any consistent axiom system that describes the natural numbers cannot be complete or provably consistent.

You pointed out that an inconsistent axiom system is neither. And at the opposite extreme, Gödel proved that the axioms for the real numbers are provably consistent. (However those axioms do not allow for induction, and therefore do not allow one to describe the natural numbers!)
Anecdotal, but a friend of a friend bought the jag. He is having a very poor experience with the car.
I have been using shouldianswer which has this feature. https://www.shouldianswer.com/
I was getting constant spam phone calls before I started using this app. The app was also clear about why it needed certain permissions.
Maybe it's filtering by mod/xm and he only released S3Ms?
If it's the size of a SIM or MicroSD card sure, but if we're talking about credit card sized cards it strikes me as unlikely for packaging reasons. The phone already requires tools for battery replacement, and now it's going to accomodate a durable credit card slot?

Apparently this phone is going to be much bulkier than I imagined.
I know, right?!
Thanks for all these great tips. The site looks the way it does because I learned as I went along. I did some refactoring of the JS when adding the blog section, but a lot more is needed. And the CSS is on a whole other level of ugliness. I'll save this advice for my next big refactoring. Thanks again!
Would you please stop posting political flamebait to HN?
This is the most obvious Golden Age Fallacy I saw in Jarred's text:

> MySpace showed the world that if you make powerful and complicated tools (like coding) accessible to anyone, people are smart enough to figure out how to use them.

My own experience with MySpace was that every page I landed on looked like a dumpster fire. I can't recall a single person who exhibited competence in using the tools MySpace gave you. Everything was always poor contrast with a cockeyed layout.
It is trivial to uniquely fingerprint a browser, even if there are no cookies involved. Surveillance can and should be fought off in the legal sphere.
Birdsong actually isn't a good example, because birds sing less the more noise there is. If there is more activity during certain days of the week, it will be biased. You really can't predict these kind of correlations ahead of time, which is why it is always critical that your data is not collected in a biased way. The data scientists should have randomly subsampled from each day of the week. This is extremely common practice, and there's nothing wrong with it if the subsampled data gives acceptably credible results.

I've never heard of people only using certain days of the week. As a practicing and productive data scientist, that sounds completely insane to me. I would never hire a data scientist who does not understand why such practices are bad.

Data scientist is just a buzzy name for statistician. Data scientists who do not understand basic good statistical techniques are not competent.
This has been said about Tesla since it's inception, and has still yet to be an issue for them. Their supercharging infrastructure is so vast now that, if other automakers want to compete with charging options, they're better off licensing the infra from Tesla.

The comparison of Tesla to other EV options just isn't fair. Tesla models were designed from the ground up as being electric from the start, but other options have been ICE cars transitioned to EV, which makes them less-than-ideal and they lack the low center of gravity and storage capacity a tesla has.

I really do struggle to see how other manufacturers will compete with Tesla. Tesla just does so many things right...
I’m growing more and more convinced that the only real way for employees to enact real
change at their company is for them to become a significant, united group of shareholders and force changes from the top. Unions sure as hell aren’t being encouraged. Unfortunately this would not work in Facebook since Zuck still has a controlling interest but it might work for others. Does that make sense?
I deliberately look for DNT (do not track) header and don't load any analytics for those users. As far as I can tell, the ddg app does not send those headers, which could be helpful.
Ya there are lots of articles on them, but let's start with these:

http://latentflip.com/imperative-vs-declarative

https://stackoverflow.com/questions/45016234/what-is-idempot...

https://en.wikipedia.org/wiki/Side_effect_(computer_science)

The early goal of the web was to create a longterm available, reliable, discoverable network of media over an inherently unreliable transport.

I keep trying to write a concise explanation of these but I can't fit it in a comment. Let's do it DECLARATIVELY haha:

imperative->functional->declarative

for()->foreach()->map()->executables+pipes->spreadsheet

C/BBS->perl/cgi-bin->Apache->HTML/CSS

manual network config->DNS

state machine/brittle long running process/fear of manual retry->idempotent request/response

Always, always, always work towards the rightmost side if you want the least side effects and highest reliability (critical for a distributed system built on unreliable parts!)

I'd like to say that declarative idempotency was an immediately obvious thing to the architects of the www, but what really happened is more like Darwinian evolution where each solution's fitness was measured by reliability. Declarative idempotency was also cheaper because requests/responses could be cached and scaled.

If we flip it around for a moment, imagine a web without these things. Every site would have a complex tangle of brittle code to do even the most trivial operations, and it wouldn't be able to pass data on to other sites (it would be an app). Without idempotency, users would have to be really careful to only click the send button once when they were transferring money (thankfully this hasn't happened much).

The one thing that I wish the web had though was a layer to make unreliable communication reliable. It would look something like a promise or future with no exceptional logic. That way we could think in terms of wiring up the inputs and outputs of many websites and then "load" it to execute the logic. Kind of like Ansible, where internally the logic is imperative but on the surface is declarative.

I'd also like to see declarative idempotence replace imperative code (especially object-oriented programming) at the developer level.
With rates of prevalence hovering in the 5 people per 1,000, and a standing distribution in the tens of millions, world wide, this one risks reversing cause and effect.

Where there’s smoke there’s fire, not quite.

I’m developing more of an opinion that schizophrenics tend to enjoy the company of cats. And that conceptualization certainly rings truer to me, given how many people have cats and other host animals as pets, and knowing feline behavior for what it is.

If you take a look at schizophrenic homeless people, most descend into hopeless lives of exposure, often smell of horrific body odor, and likely pick up many more illnesses by exposing themselves to unsanitary conditions on the streets.

Look at the behavior of homeless people, and they’re readily characterized as disinhibited. But does that prove the hypothesis?

Look at many pathological pet owners (people with tens of animals in their homes), and they’re desperate for companions. But does that prove the hypothesis?

These two classes of people can skew statistics, without revealing cause and effect.

There are multiple presentations of schizophrenia, and each responds differently to an array of tactics applied as shotgun style therapy, where you spray the afflicted with multiple theraputic efforts, throwing spitballs at the wall, until something sticks.

Theory points to the blanket term of “schizophrenia” serving as an umbrella for multiple diseases in a cluster of symptoms all stemming from harmful, persistent, chronic or developmental brain damaging maladies. Maybe toxoplasmosis is part of the problem, or contributes to uique complications, but more than likely, it is not THE silver bullet smoking gun cause, but more or less one more risk factor, in a set that includes genetics, other CNS insults, and other aspects of patient history including abuse and neglect.
Not very good, that (Capital One) is legitimately the only place worthwhile that reached out to me, but they require a 4 year degree. With that said, Northern Virginia and the DC area is just 1.5 hours away. So not much of a move and plenty tech there.

Richmond as a city is good. It's a small city, but I am from Salt Lake City so that's fine by me. There is enough to do here without the hustle and bustle.
Ask HN: Which JavaScript DataViz package should we use at my company?
I just got a job as the "rails guy" and "data guy" at a small educational app company. I'm interested in the best/worst, opinions, facts, recommendations, horror stories about JS DataViz packages. Bring it on.

It will be used with mostly vanilla JS, pulling data from an in-house (Rails?) API. My familiarity with dataviz is pretty extensive as far as years, but pretty sparse when it comes to JS. I have 2 degrees in Engineering, but <5 years in Web Dev (and <1 attempting data science). Right now the company/customers are super-impressed with just JQuery's datatables, so the bar isn't super high, but I just want to make sure I'm not "that guy" if I pick the worst thing by accident or something.
Dynamic typing boils down to runtime tagging of any value that could be referred to by a "dynamically-typed" variable. That's not "interpreted" in a strict sense, but it requires dispatching on every single value access, which will definitely affect performance.
CFOs are business partners
>What can be done to bring the focus back on quality so everyone’s time can be spent on reading comments on topics on any given post?

I don't at all share your assumption that quality=strictly on topic.

>Doesn’t this render the value of comments useless?

Do you think it does? Well..I guess you're in a very small minority there.

Maybe start a new site where there's a penalty for commenting off-topic? You can be the judge of that - I suppose someone will have to be.

If someone comments more generally, philosophically, 'a level up', is that off-topic? If someone comments on one tiny part of the topic, is that off-topic? I suspect one person's off-topic is another's insightful comment.
Then you can replace the website "chrome"- the headers, the links back to the rest of the site- with doppelgangers that take you to a phishing page that makes it look like you've been logged out. All of those you'd expect to be internal links, so when they show you a "please log in again" screen you will have no reason for suspicion. You can't do that on Facebook today.

Alternatively, you don't need a form tag. Just show a login set of text inputs and an image that looks like a submit button. That button links you to a phishing site that says "oops! try again" and then you put your password in a second time and this time it's a real form. So you'd have to get rid of text inputs entirely.
So the implication here is that if Google bad, Google company, DuckDuckGo company, then DuckDuckDuckGo bad too?
Voter/election manipulation
They also did the fake shingle demo and pushed numbers around to report a quarterly profit.
Fair enough, but it's up to each individual to learn about these details and then make a decision if they still want to use Facebook. The media is doing their job reporting on this, and everyone else can learn from this and decide that hey, maybe using Facebook products are not worth the harm. Or maybe they are fine with it and like the relevant ads and continue to use Facebook.

If social media makes you unhappy just stop using it.
I have a feeling most of the commenters here did not read the article and are just arguing the headline.

After some brief discussion on the topic a hand, the author gets to the point and introduces their new product, Codeblog:
https://codeblog.app/

It's like Medium and MySpace and Markdown and React had a baby. I don't know what I think about it but I am sad nobody here is discussing it.
As I most recently pointed out in https://news.ycombinator.com/item?id=18712442, there is good reason to believe that all the other car manufacturers are going to learn the hard way that their interests do not align with their dealers. Which means that consumers will learn that they shouldn't go to existing car companies to buy electric cars. Which does not bode well for the future of existing car companies.

(This is a prediction that I've been aware of for around 20 years now. And the form of the problem - that existing tech manufacturer's wind up hamstrung by their existing supply and sales networks, is a common one for companies that get destroyed by disruptive innovation.)
So some incentive to design non-fingerprintable browsers sounds great! Especially since such a product would require widespread deployment to be effective.
> I get the temptation to trace the origin of much of the world's current mess to some douchey thing a 19-year-old said 15 years ago.

How could you not, you just made it up. You're probably the world's primary expert on this thing you just invented.
Turkish government’s jihadist imam trained killer of Russian ambassador
They give me the Heebie-jeebies
Facebook workers hobbled and “angry” after Apple blocks its internal apps
If you feel like Google is excluding certain keywords you very much like to include, you can wrap the word/sentence in double quotes, this tells Google to show results that certainly include these keywords.

For example, searching: "word x" "sentence a" would prompt Google to show only pages that include both the word and the sentence in the same page.
I'll have you know, good sir, that my myspace page was a glimmering magnificent work of art with perfect composition and excellent color balance.
So common that they are known to be a danger to wildlife (here's an article from US magazine wired that even says they are unknown in the US: https://www.wired.com/story/robot-lawnmowers-are-killing-hed... )

I don't know why they are uncommon here as lawns are just as popular as they are in other countries.
This tracker seems to resemble a PC tracker such as Fast Tracker II. Did Amiga play 16bit 32 channel XM files? Hardware mouse cursors on PC were fast, software (custom graphics cursors) were much slower.
A little confused by the word "just" in that sentence. How is finding a community not an almost guaranteed to fail undertaking these days?
iGlass.
I don't think at this stage the number of electric cars being made by other companies is the main threat to Tesla. The main threat is still convincing people that electric cars are a viable alternative to ICE cars, in which case the more alternatives there are a different price points then more people may be convinced to buy one, which actually helps Tesla. Ultimately, if there isn't demand on the level of ICE cars for electric, the Tesla is doomed with or without competition.
You're right Libya was a terrible idea.

[EDIT:] You mean Iraq and Afghanistan, of course. Bush the Lesser was not so much anti-intellectual as he was easily suggestible. If a Wolfowitz or a Paulson or a Cheney had a horrible idea, he didn't have the resources to challenge that idea. Of course all the worst neocons have some sort of Ivy League credentials.
/newcomments is probably contributing to this behavior. As comments there are out of context and people jump to respond within the context each specific comment brings, not the story.
Generating REST APIs from GraphQL Schemas
Free icons by Xicons.co
50 mil USD is not anywhere close to “hitting Google hard in the coffers”. I get it’s a much bigger fine to what was levied before, but let’s be realistic about the impact here...
I just re-read the blog post, is the Kafka engine in use at CF?
Great, just show me where FB got an ethics board approval on both the consent forms and nature of data gathered on underage youth and then maybe I'll believe that people were properly told of the risks involved .
What are you claiming the downside to targeted advertising is? A change in self perception from a single (dubious) study doesn't suggest negative effects.

Why do I say the study was dubious? They showed a small number of undergraduates a luxury watch ad and told them it was being shown to them based on their behavior. Those participants then rated themselves more sophisticated. Of course if someone frames it like that they would say they were sophisticated. What is the negative there?

Most people using FB aren't thinking that though, they're just silently ignoring the ads on the side of the content they actually want.
They've been on the market for years so if they were a real problem we'd know about it (they do run over some small wildlife; I posted a link on another thread).

This is simply one company coming late to a crowded market and hoping for some press.
Startup bug discovered.
You say consciousness can only be experienced indirectly and not indirectly. But I showed in my first post here how to experience it indirectly: just ask other people about their experiences and listen to what they tell you. Do that and you can start doing paradigmatic science on it, as the book I linked to lays out.
"Stevens and his team are determined to keep those hooves pounding for as long as is physically possible."

Gee, and I thought he was trying to sell it... =)

https://www.youtube.com/watch?v=dbfmkna8Yh4
I think because all his modules are .it and .s3m, so they are excluded. This tracker can only play .mod and .xm
I use it, but it fails in several areas. It has no filter to limit searches to a year, their options stop after 1 month. Their image search results also lack the depth of Google's. These are features I actually use heavily. So even though I have my browser defaulted to DDG, I find myself having to go to Google several times a day. I really hope they improve this.
It's not common lisp, but most of my Emacs use has been as a shell scripting alternative.

Workflow being based around interactive improvement of a script from a simple interactive-macro through to things that are effectively done as shell scripts.

The end result is something that can be run as a shell script, although translating to another language i.e. CL, Ruby, Go, etc. is the usual path for me to make better use / performance.

The old joke about Emacs being an operating system that needs a good editor is on need of a reboot.

Emacs is an interactive computing and development environment with half a dozen good text editors.

Factual isn't as funny though.
Great post. I started reading it thinking it was just a nice nostalgic rant. Then he goes all twist ending and announces he actually did something about it. Bravo.
It has been my experience that people actually have no clue what they're signing up for. In a few reddit conversations today, I found people saying things like "sure they can see what websites I'm connected to, but my important information is encrypted, so I don't really mind". Sorry mate, they can see that too.
Not mine (Honda Jazz). But you physically can't do it, as the reverse gear has no synchro and won't mesh unless stationary.
I don't have the code to these, at least. I wish I did. I worked for the publishing company, and we never got the actual code, just the builds. I think I still have a few older builds around somewhere, though.

I still have a copy of the code for a game for another defunct startup, and every once in awhile I get the urge to try to contact someone and see if they don't mind me porting it (I don't see how they could, they barely cared about the game even back then). I have tons of other projects that are higher priority, though. Still pains me that that one isn't still available for people to play, though.

Honestly, I wish all of these things that I put so much of my life could still be playable. Basically my entire professional career in the game industry is a black hole, whereas the games I made and released on my own 6 years previous to that are still playable online, and I'm currently working porting and updating a game I made and released on the Xbox 360. Trying to get that out in time for its 10th year anniversary next year.

Part of the reason why I started getting into board game design is because once they're made, they're out there, and people can play them, they can't be taken down by a company or become obsolete due to dying platforms, and if I ever want to show them to new people, I can just bring them to a party. And I can always put a print and play copy up that people can mess about with.
I'm also on the T-Mobile $30 plan from some Walmart promotion from years back!
I'm somewhat baffled that Hy didn't gain any traction.

Let's review the facts:

- A lot of people love Python.

- Plenty of people love Lisps, afaict with a sizeable overlap with the first group.

- Hy, which is a Lisp on the Python platform, has no popularity whatsoever compared to other Lisps like Clojure.

The heck?
Yes, but that's only to support its goal of efficient lock-free data structures, not for Rust's goal of memory safety.
The internet is like sex: if it isn't fun and weird, you're doing it wrong.
> isn't their entire business model manufacturing other people's R&D?

I tend to assume that everyone with that business model dreams of getting out of that business model. You want to develop your own tech and move upmarket somebody else bids a penny less per widget to steal your manufacturing customers.
Yes, sending closures over channels is a very convenient and flexible concurrency framework. In fact it would be handy for all channels to have a standard handler attached, that pulls closures from the channel and executes them. Among other benefits that would mean you didn’t need a separate “go” keyword; to execute a function in the background you just post it to a channel. That’s basically how Java thread pools and Grand Central Dispatch work.

The idiom of defining message types that you post to a channel so that you can pull them from the channel and execute them strikes me as boilerplate. What you really want to do is run some code in a particular thread context; so why not just do that directly?

Are there useful things you do with channels that can’t easily be done with thread pools?
So your point is that people must care about it, and if they don't it doesn't matter because we'll take away Facebook anyway?
The Ryanair booking website has several bugs exactly like what you describe. If you use it too quickly it won't sell you plane tickets. If you use it more slowly it works fine.
> For me the next couple of years are going to make or break Tesla.

Maybe, but haven't people been saying that about Tesla for 15 years now?
I'm starting to think the wider community has no idea how bad the possible outcomes of mass surveillance are.

Lucky for them, they have nothing to hide so don't need to worry! /s
Facebook is a weird mass-market product because the average American tech industry pundit has very little visibility into how it’s actually used around the world.

Take Facebook Watch. Ask a journalist or HN commenter, and they’ll tell you that it’s a content wasteland, a flop, a waste of investment. Here’s what Zuckerberg said about Watch on the earnings call:

"There are now 400 million people who use it every month, and people spend on average over 20 minutes on Watch daily."

That’s a lot more monthly active users than Snapchat has — for a part of the app which everyone automatically assumes to be a flop. That’s what global 2.3 billion users looks like: your local anecdata doesn’t tell anything.
How many of the lost users were part of the Facebook account purge?