jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
Ignore the downvotes: there is value in reading and attempting to understand some of this material, despite the inflammatory way the claims are made. Carl Hewitt is presumably in his 70s, so I'll forgive him for being an old man who probably doesn't give a shit what people think.

In particular, I find the discussion of "paradox" attacks to be quite illuminating. Bertrand Russell attempted to remove self-referential and self-applicable paradoxes through the embellishments of types and orders. Hewitt argues that Gödel basically "cheated" in his proofs because the Diagonalization Lemma violated restrictions on orders.

I'm not qualified to evaluate that argument on the basis of mathematical reasoning, but I do believe it points to a mismatch between the way computation is modeled in the abstract and the way it happens in reality. In the purely abstract world of natural numbers, there's really only one kind of thing: the natural number. Statements about natural numbers can be represented by natural numbers, statements about statements about natural numbers can also be represented by natural numbers, etc. While a given natural number can be parsed to compute if it is a valid encoding of a proposition of a certain order, it is always and forever a natural number and nothing else.

However, I'm not entirely convinced that this captures the nature of computation in reality. When computation is embodied in a physical system, is it possible that the output of some computation can itself manifest computational properties that are not mere compositions of the lower level computational model? Where the interactions between the "higher level" objects simply follow a different set of rules and thus form the foundation of a new formalism?

The notion of types seems to be a way to capture this, by introducing the possibility of distinguishing a "thing" from its abstract representation or description. If everything exists only within the world of the abstract representation, then a thing is indeed no different from its description, as any manipulation of the thing is equivalent to some manipulation of its description. But when the thing is, in fact, a physical object, it is clear that construction of the thing can fundamentally alter the model of computation. Why is this?

I suspect that it is because there are no "pure" or "inert" abstractions in the real world; everything is in fact performing computation all the time. So physical constructions are not just compositions of objects, but also compositions of the computational capabilities of those objects. I realize this probably sounds like navel-gazing at this point, but sometimes that can be a useful activity.
Personally, I just can't "handle" when the narrator does voices for characters. Overly-developed fremdschämen on my part, I guess. The only fiction audiobook I've listened to all the way through is The Lord of the Rings read by Rob Inglis, and even there I had to skip forward when he started singing.
My sincere apologies. I find the art itself to be much of a blur, and the tag system the main attraction (if only I could extract just the tagging system...), and I kinda forgot that, err, e621 is very much a size-XL eyeful compared to e926...
It's pretty close but it's not quite the same vowel. Bite (fr) is pronounced [bit], bit (en) is pronounced [bɪt].

But the vowel is also different in cock [kɒk] vs coq [kɔk].

EDIT: I think I missed the point, if I'm reading "32 bits" in a french text then yes of course it sounds exactly like "32 bites".
Are you still with them? If yes, would love to hear why. Otherwise, what made you jump?
Video, please
My parents just purchased a silver HSA plan on healthcare.gov for $2,000 or so per month, with a $13k oop max.

Here’s the source:

https://www.state.nj.us/dobi/division_insurance/ihcseh/ihcra...

A young person’s data points about healthcare costs are useless. It’s the 50s and 60s that get you, and when you actually need healthcare.
It's a puff piece for Ovo Energy. Any old crap to get their name into some news articles.
This is completely untrue. A company can’t get away with paying 20% below market because they used a recruiter. No one would accept their offer.
I'm not sure that's better or not.
Having left FAANG in 2012, what I discovered is you become so highly specialized due to the way those orgs have to scale, that you are no longer the "jack of all trades" type person small-to-medium sized orgs want to hire. For instance, my background is large-scale threat hunting, blue team, red team, penetration testing, APT attribution, and some tool development. I was turned down in a recent interview because I didn't ALSO have reverse engineering experience in addition. At FAANG, we had an entire shop dedicated to just reverse engineering. I ended up joining another large company.
Companies that operate without a firehose of money from advertising or shiny hardware to fund everything.

I came from a series of real world companies struggling to turn a profit to a FAANG, and the difference in, well, everything is pretty vast.
Litigator 2: Judgement Day
You don't even need to go that far. For non-critical applications (i.e., your web app), you can randomly generate a small string, say 12 bytes, using base-62 characters (A-Za-z0-9) to serve as a probably unique user ID (with VERY high probability).
I just noticed workflowy has an export tool at the bottom of the page. Pretty slick.
Wait so the company that's set out to clone BBM is located in the same place as RIM? Dramatic Chipmunk time! http://www.youtube.com/watch?v=a1Y73sPHKxw&feature=playe...
I would love to run something like this on my personal webserver.

Is there any free software solution that provides such a web solution? (I've played with various wikis for a while but it never was never 'addictive' enough.)
It's summed up in the last point. What makes Jobs and Potter magical is their ability to be extraordinary and do things that normal people (or wizards can't) through their creativity ect, and to amaze us with what they can accomplish. However what makes Jobs better is that his magic is real.
Workflowy looks interesting, but the part of the marketing that turns me off is that there is very little information available without signing in, instead we see a video. The video makes claims of being "the first" in a lot of things, but the demo shows workflowy off as a crippled version of mind-mapping software, which honestly makes me think they haven't done their homework.
Look, I don't mean to go all John Gruber here, but a good portion of iPhone users wouldn't want anything changed...until it's actually changed at which point it's the most obvious, most important thing in the world.

If Apple came out with a slider version of the iPhone tomorrow, I suspect there would be a rapid, but remarkably quiet, appreciation of hardware keyboards among many iPhone faithful.

Mileage will definitely vary. I know people who absolutely love their onscreen keyboard. They do tend to be people who actually type very little though, so it's perfect for them.

It's interesting that you mentioned onscreen keyboards giving you a increase in screen space -- yeah, when you don't need to type anything. When you do, suddenly 80% of your screen is all keyboard.
Except for your example to be accurate, "Dove" would be trademarking the first half of their name, "Do", and then going around suing anyone using "Do" in their name.

Look out Nike, can't use "Do" in "Just Do It" any more, people might confuse it with "Do"ve.
Also there's the risk of someone being set up as the fall person for the mistakes.
I have always wondered why these things are a allowed to be called "Air Fresheners". They don't make the air fresher, they mask bad odors, so they should be called Air Scenters. I've always felt a bit alone in this but I much prefer a bit of residual faecal scent left by a ventilation system than the heavy blanked smell of an Air "Freshener", I could only imagine what filth it was hiding. These things are the cheap alternative to true fresh(er) air.
If you have OneNote Win+S instantly transitions to a rectangular-select screen capture mode without stealing focus.
Is it a project that hasn't been released yet ? Or by "clearing layer that can be settled with crypto" you simply mean route ILP payments between two currencies with crypto in the middle ?
> Edit: so incompetent I don’t know how to create a bullet list here

HN has nothing for that. Use multiple newlines like so:

- bla

- foo
That's not really accurate.
Israel accepted the division plan the British offered where part of the land was to be Israel and the other Palestine.
The Palestinians didn't accept it, and 5 Arab armies attacked the newly founded Israel while calling for driving all the jews to the sea. (Mean while Ben Gurion asked the local Arab population to stay and promised equal rights in the new country. Both right wing and left wing Israeli leaders of that time talked about equal rights, while the Arab leaders talked about annihilation, and asked the local Arabs to leave while the clean the land from jews)

Israel fought back, and got territorial gains. Of course there were Jewish militias, Jews in British Mandate era were constantly being attacked by local arabs.

Anyway, even with all the complications of this era and our ability to form a tidy nerrative, the comparison of Israel to American and Chinese empirialism is just crazy talk. This stays true even if you totally accept the Arab narrative.
They could block, and may find themselves required to block transactions from unknown sources if this space becomes more regulated.
There are more than just two parties to plagiarism. In the example given, the student buying an essay has not wronged the student who wrote the essay, anymore than a politician has wronged their speechwriter. However, when they turn in that essay for credit in a class, they have wronged the university by fraudulently representing it as theirs. The cost of the degree is in work that they have personally completed, not work that they have subcontracted out. This is the reputation that has been stolen, that has been inappropriately assigned to the plagiarist.

Where I would agree with your general statement is the concept of "self-plagiarism", typically defined as submitting the same work for credit in multiple forums. Plagiarism requires a third party whose work is being passed off, and self-plagiarism is an oxymoron.
I swim in cold water, every day if possible and ideally before work in the morning. This has been a game changer in terms of reducing anxiety, being much better able to cope with difficulties and frankly, making me into a much happier and healthier version of myself. So much so that if I don't get in the cold water for a day or two then I just feel like .. bleurgh. If you've read "Flowers for Algernon" and recall towards the end where (spoiler alert) the main character has come off the drug that makes him much more intelligent and crucially - he can't remember what it was that had happened to him, just that he had a sense of loss from no longer having some <very very good> - that's what this is like. Can't recommend enough. I also use running for the same purpose, but cold water swimming in just a couple of minutes provides a tremendous dose of <good things.> Also it seems to stop me catching colds.
Sure, people brag about getting a good deal, no matter what it is. But it's usually a brag about finding value, a good bang for the buck, not simply paying less for less. Most airbnb brags I hear are similar to: 'I found a fabulous downtown loft with a view of the city for the same price as a vanilla hotel room.' That is quite a bit different than: 'just got a great deal at the Scranton Motel 8 for agreeing to stay in the room with the peep hole.'

I'm just trying to say that the livestreaming part of staying at the hotel will be a whole lot easier to market if it's not something people have to do to get the deal but something they want to do (and is in fact the reason they came there). Otherwise you are just reinventing the timeshare (that shitty meeting our parents had to sit through while we were out skiing). But i concede, the youtube channel will need to be quite popular already.

Honestly, would any of you stay there? It doesn't appeal to me at all; but then again, I don't have an instagram account.
The original point was that there’s a difference between a rich entity and fellow citizens. I took it to imply the people around most people who would benefit, and support such a scheme.

A large majority of citizens don’t own property, most have debt. And I would argue, mostly due to legislative capture from the few people who do own property. So when I think of the word “fellow citizens” attribute the word to how people in the first group relate to each other. The latter group would be fellow plutocrats.
Hm, sounds worrying, do you have a source for that?
It's completely open. They can decide internally.What would you advise?
The best way to solve a problem is not to have it in the first place. Great programmers aren't better at dealing with complexity, they are better at reducing non inherent complexity and finding ways to break inherent complexity down into pieces that are easy to reason about. That takes experience and dedication to the craft. The latter I think is a huge difference between 10x programmers and others. The simple desire to be the best you can is a powerful force.
A lot of that is abstracted out od Sway, which aiui is supposed to help alleviate that issue: https://github.com/swaywm/wlroots
Thanks, that's useful to know :).
How is it that all ~2000 comments are under one discussion thread?
idk, those examples seem justified. The second one was someone ressurecting an old issue with a request for config information that was _in the issue_.

RTFM is sometimes a valid response, and if you're having an issue finding the documentation then that's a bug.
Crossed more of this manager type in my life I care for. As you mentioned, common traits are selling, self-promoting, vision not grounded in reality. At one point I kind of learned to see through it, and the sheer amount of people like that is mind blowing. That only a rare few of those have any qualification to speak of only makes matters worth. I just don't know how many of them I didn't see or even fall for in the early days of my career.
hey, I went to one of the best uni in my country and that makes me regret too as I picked that uni & major because my friend said it was very hard to come and I have should pick the other.
my advice to you is: you should ask yourself which professional career you want to take & talk to professional people working in that field to seek advice. Don't compare with your friends, they may have reasons for their choices. You 'd better have deep understanding of yourself first.
If you want to be Software engineer you can pick online courses & make your own products as your porfolio is more important than your CS degree, but if your type is more about researching, think to take a degree.
Not at this stage, but I've got them all in a git repo in Keybase. The problem is that I've had pretty sloppy discipline re: storing secrets in them (... because Keybase makes that less bad), so I'll need to put some effort in to share them.
It wasn't really special moderation treatment, though I understand why it looks like that way now.

It was because, when the thread was getting going, it flooded with crap comments (e.g. https://news.ycombinator.com/item?id=32769222, https://news.ycombinator.com/item?id=32769043). I decided to come down hard on those to try to stave off a shitshow. It would have been the same in any thread that was filling up that way, but which we weren't going to downweight off the front page. And we weren't going to do that because (a) the story was on-topic, and (b) it's such a big story that we couldn't get rid of it if we wanted to—people would just repost it until one got past us.

I posted https://news.ycombinator.com/item?id=32769925 at the top of the thread as a bulwark against the crap comments. That's also standard moderation. At some point, though, the thread started to fill with plenty of more substantive comments and then it looked to people like I was taking a side on the royalist question. Nothing was further from my mind.

It took me a long time to figure this out, probably because after 4 hours of doing nothing but refreshing this page and posting moderation scoldings, my brain was fried. Eventually I got it and the fix was simply to unpin https://news.ycombinator.com/item?id=32769925 from the top and demote it as offtopic. That seems to have calmed things down (except maybe for https://news.ycombinator.com/threads?id=theirishrover).
When you issue a single charge for a webapp, what kind of legal language have you provided in the EULA that states something to the effect of "I can take the webapp down whenever I want and you will no longer be able to access the service you paid for"?

It's for that reason that paying for a webapp one time feels odd to me. It's like purchasing a product, except the product can be taken away from me at any time, which is unsettling.
Like my co-founder said, "if you price it too low, customers would think it is worthless." However, this is totally different from the micro-pricing ecosystem so don't get me wrong.
I like that the title of his post reinforces his point, using "2 bucks" instead of the common "2 cents." It suggests that this information is worth more than a typical opinion (and given the detail and outcome of the post I think he's right).
Is there a good novice to pro book on HTML5/CSS(latest)? I have basic knowledge of both, but wouldn't mind starting from the basics again. I prefer not to read HTML4 books, as I hate trying to then parse out what got deprecated or has a fundamentally superior approach in the new version of the technology.
I agree, I don't think it does. $50 feels like a lot even for a commercial-grade game, $60 feels like a fortune; gaming also has an enormous piracy problem (look up what happened to Paradox Interactive with the release of _Demigod_).

Gaming isn't really the same field as commercial software; a product is released once, and that's the end of it, as opposed to needing long-term support like a commercial product does. Put another way: after people buy Halo 3, they aren't likely to upgrade to Halo 3.11 for Workgroups.
Video: http://upload.wikimedia.org/wikipedia/commons/7/7d/Stallman_...
Someone should do a start-up comparison in 5 or so cities around the world. Pick something silly and compare costs vs. Functionality delivered over time.
I was in the Beta since the very early versions, probably patch 4 or 5, not sure. To be honest, I'm not a super hardcore player. I play every day, and I play a lot, but I'm not all gungho on clans and stuff. To me, Battle.net was just a clever way to keep piracy under control.

The game is still super fun, and I still will buy it when it comes out.

If I wanted a more social game, I'd play an MMO.
The later incarnations of the C64 had a much reduced chip-count in relation to the first ones.

http://www.commodore.ca/products/c64/commodore_64_motherboar... and http://www.commodore.ca/gallery/hardware/c65.jpg

Even if you don't get to 4 chips, a simple and elegant design is very desirable. And, in the case of PCs, quite impossible.
I was amazed how Politico was making it a banner news.
I assume it is because those websites are orginally developed for left to right languages like English. Also, I'm not sure it makes much difference which hand is controlling your mouse in those examples.
Just curious, do other people really consider Zynga products to be games? There's little to no gameplay, not really a skill progression, no storyline... To me, they're just activities that have been finely tuned for maximum addictiveness and profitability.

Getting back to your point, I think previous MMO developers didn't build Farmville because their primary focus (and I really think this is true if you ever listen to game developers/designers) is to make a fun game. Maybe I'm just cynical, but I really don't think that that's Zynga's goal.
Bitcoins could be embedded in the game. The players would start out getting very small sums as actual in-game rewards, so it'd look like just a regular in-game currency at first. Then later they'd notice that a much bigger sum of bitcoins (say, 3$ worth instead of 0.1 cents worth) can buy more game content, and they'd be nudged towards out-of-game means for getting them.
Acar.
There's a big difference between and teacher and an advisor. Teachers are absolutely a dime a dozen, and the capable student can teach themselves anything a teacher might. However, my research advisor (and more informal "advisors" who I've come across in open source contribution, TAing, etc.) have been absolutely invaluable. You can absolutely teach yourself to program, but you'll never be heads and shoulders above the rest without seeking out people who really know what they're talking about and absorbing the best they have to offer.
If Matthew mcConaughey docked to a spinnig station and sandra bullock re-entered to earth like that, then Matt damon can survive that, also Andy Wier reseached a lot about the plausability of every situtation, but I'm sure "hollywood" will make this stupidly unbelievable or magically believable.
If only there were a method used daily in industry to move data back and forth from secure systems in a write-once fashion. Hear me out - you could construct some sort of polycarbonate disc that would contain a substrate. You could then permanently encode your data onto this substrate - so it couldn't be changed - with a "laser" perhaps. Then said disc could be read on another machine without worry of sneaky things hiding in your USB. On second thought that sounds way too complicated and I'd probably stick with the QR code-camera thing.
I use them as default search on my Android devices, to avoid the cookie banner of Google in private browsing mode.
KEPLER Window Films and Coating is one of the most significant worldwide phenomenal
companies that continue to provide window tinting services in Perryville, Missouri.
I've been following developments in solar energy since the seventies and I've never heard of this before. For those in the Northern climes this makes far more sense than roof mounted solar cells.

You may be wondering as I was how do they get the power to the ground? Here's an article than explains the technology:

https://en.wikipedia.org/wiki/Space-based_solar_power

What it doesn't say is what amount of power is lost getting transmitted back to earth. Anyone have an idea?
Which is their choice
This approach doesn't have any relationship to democracy that I can see.

It is very common to delegate organizational work. But it only works if the manager exercises their competence to check and guide the work.
cant this be said about any language as popular as javascript?
Oh, I don't blame Torvalds -- but I do think it's coming out of that same NIH culture that seems deliberately unwilling to look beyond their own system.

As for illumos, we already have SMF. I have often said that the only thing worse than SMF is not having SMF -- and at some point I intend to tell the full story there: it wasn't always pretty, and it actually makes for an interesting comparison with the systemd adventure.
There seems to be some serious confusion here if this dev thinks you can spin up EC2 instances with the S3 API.

Perhaps one lesson here aside from keeping keys outside of public repositories is to learn how an API works (IAM, arns, etc) before using it.