Hacker News new | past | comments | ask | show | jobs | submit | bryanrasmussen's comments login

>I can state incomprehensible sentences or words.

since you can express paradoxes with match, perhaps not that different.


I think you misunderstand what "paradox" means. While it can mean "self-contradictory" it can also mean "contrary to one's expectation." Math uses both, but in very different contexts.

The contradiction is used in proof formulation, specifically to invalidate some claim. I don't think this is what you're implying.

The latter is what it contextually sounds like you're stating; things like the Banach-Tarksi Paradox. There's no self-contradiction in that, but it is an unexpected result and points to the need to refine certain things like the ZFC set theory.

I'd also stress that there are true statements which cannot be proven through axiomatic systems. The Halting Problem is an example of what Godel proved. But that's not contradictory, even if unexpected or frustrating.


>Programming is an expression of logic, which is absolutely mathematics.

and also philosophy.


As in GNU vs. Microsoft? Or something more foundational in logic?

Classes are a platonic ideal representation of reality?

That's another gap: mathematical classes are ideal representation of fantasy, programming classes are leaky representation of reality.

part of why I'm asking is I've seen this spike on the last of the month before. It seems weird unless there are some crawlers that use the last day to gather everything up.


I read that as "A single line of code costs $8000" which, from the comments seems like a few others had the same thought. Reading the article it is not costs and the original title is "One line of code that did cost $8,000", so as some others have pointed out it is a bug that cost $8000.

I was expecting it to be about a good line of code that cost $8,000 in development time to write, which might be an interesting story.

Well, I have some experience with the Danish National Archives, but may be out of date.

First, the rule used to be that they could crawl all Danish sites or having interest to Danish government (so I guess also news reports of Denmark or discussion in other nations) ignoring robots.txt, which yes I found that to be a very wrong headed rule but that's what it was. So obviously they need to put in a good deal of effort to get content into the archives that would be getting blocked otherwise.

At the same time governmental records, including the records and cases in communities around the country get added to archives (but of course are only available to scholars at some future date)

So theoretically this is a lot of data. I suppose other national archives probably have similar rules and situations.

It would seem unlikely that one could rewrite history easily with so much data, without alerting people to what you were doing. But I guess that is actually the lesson of Fascism, they don't care if you see what they're doing.

They will do it and then hope you forget how it got to be like it is.


I believe you mean the year was 64 A.A (Anno Amazon)

should maybe be a show hn, anyway I suppose one downside is that people may be working with something and want to import it - how would that work?

From the perspective of education at least, I see a use case in requiring students to complete all work within this app; similar to other tools for online test-taking. Of course there are always ways to game the system, but creating enough friction would decrease the ease and frequency of AI generated assignments and papers. I find this very interesting given that my institution officially forbids faculty from using any form of AI detection systems to detect academic fraud.

that's true, so basically they deported somebody that one day could become President!

They deported someone with (supposedly) more rights than Elon Musk.

In my experience there are only a few cities in the U.S that literate people are proud enough to live in, that they would be insulted that you put that into your crap town book.

Thus I wonder what demographic that at one time would have bought this book is not going to be buying this book now.


Considering the book is about "crap towns" in the UK, I imagine it could be a very different demographic than the one you're thinking of

hmm, maybe. In the U.S you have often the person who moved from a 'crap' town to some place they consider great, who gets really emotional about the crappiness they escaped to be able to think freely and the like. And often these people are the ones I would think of as customers for a book like this, and if their new town isn't in the book they certainly won't be offended.

A good way to identify which cities suck is to say to a native "<their city> sucks".

If they agree that it sucks, it probably sucks.

If they get really mad and defensive about it, it definitely sucks.

If they're just bemused or laugh it off, it's probably nice.


The funniest thing about that is that the cities where these proudly smug people live have the most actual crap on their streets.

Join us for AI Startup School this June 16-17 in San Francisco!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: