jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
stallman.org ran on FreeBSD once, but OpenBSD is "not free enough", he said.

https://web.archive.org/web/20080225230344/http://blog.unixl...
All of Windows (including the NT kernel) is written using the same basic proof model that Wuffs uses, except that the constraints are specified as annotations on top of C and C++ instead of as a new programming language.

I prefer the annotation approach, TBH, but I'm glad to see people working on safety. Specifically, Wuffs (like Rust) has this problem where it tries to fill the same niche as C and C++ and improve on these older languages in specific ways, but in addition to being different in ways necessary to achieve the language's objective is also different from C and C++ in totally gratuitous ways that are basically just aesthetic differences --- for example, "type var" vs "var: type".

I'm a big believer in technical continuity. IMHO, a lot of recent language developments should have instead been extensions of C, C++, Java, or Python.
I'm with you on all of that, but that's not what the person I'm replying to is saying. They're saying that the subject of the article might be a bad guy so he probably deserves what's happening to him.
Fragmented floating waste isn't the easiest stuff to pick up at the best of times, and normal loading equipment (cranes etc) is attached to the dock rather than the ship.

Obviously it's not impossible, but I imagine it'd take some serious bespoke engineering and investment.
Solves paralysis, until it turns into a subscription service /s
To answer what you intended with your question: "No." I don't want my friends (on HN or otherwise) to fail, I want them to succeed. I want to succeed and I want them to succeed. There's plenty of success to go around. It's not a zero sum game. We can ALL win.

To answer what you literally asked: "Yes." I want them to fail rapidly. I want MYSELF to fail rapidly. It is only through failure that we learn and eventually achieve success. Show me someone who has never failed and I will show you someone who has never tried.
Took me till 4 minutes in to realise the slides are shown below. (I have a small screen)
This kind of argument is exactly the kind which leads to the problems. First, you assume that AO means sex. Second, you assume that if it's AO, it can't be subjectively of high quality.

The easiest way to shoot down your arguments is to google lists of movies rated NC-17, which is the rating which disallows anyone under 18 from watching a movie, and which is the functional equivalent of ESRB's AO.

Among that list you will see movies like Requiem for a Dream, and documentaries like This Film is Not Yet Rated, which is actually very relevant to this whole discussion. (The film actually chose to be unrated, as being rated would have earned the documentary NC-17).
sex != porn. hopefully i'm not here today because of porn.
Well shit, he probably got more done yesterday than I did.

Anyway, if your definition of torture involves reading a book or a magazine while someone asks you every five minutes whether you're okay, you have (a) a pretty low bar for torture and (b) obviously no children.
In the film Matrix you discover an alternative reality and choose to take the red pill. When you are able to think mathematically you discover a new universe and you can choose to take the red pill to evolve, but that universe is only accessible to those that can understand maths.
Also worse is the reason the platform companies do this -- because it is in their best monetary interests to keep the market images of the consoles as "kid friendly." They want that parents can randomly pick a game off a shelf without ever looking at it without fear of putting something inappropriate for a child in the console.

They don't want that a child could ever acquire something inappropriate for the console at all, in any channel, for fear that the reputation of the console would hurt sales in the sub-16 range.

The irony is that they want this so that they can continue selling M rated games to 13 year olds, as that's the most lucrative section of sales for M rated games, as they stand on gaming platforms.

Because really, if you sit back and look at it, the level of 'mature' content that ends up in actual M rated games is the exact kind that appeals to young teens, and everyone knows it.
There are game ideas right now which can never be made, thanks to platform censorship. It holds the industry back.

Uhhh huh. And do you think we're really missing out on some great works of art which can't fit under the sex-and-violence low bar set by the Grand Theft Auto series?

"Adult-themed" games have existed in the past, from Custer's Last Stand to Soft Porn Adventure. As far as I know none has actually been good, and despite the "adults only" label have appealed only to sniggering twelve-year-old boys.
Yep, it's called deflation and it leads to hoarding behavior and a stagnant economy. See Japan in the 1990s for a good example.
You may legally in the right but only your heirs will care.
https://news.ycombinator.com/item?id=8683593
Twitter always makes me sad after going on. It also makes me resent people I otherwise like, because I see them make nasty, jeering comments that they wouldn't on, say, HN. It's not because they're nasty people who jeer. It's hard not to when you have to pack criticism into 140 characters, because the most concise way to do that is to tell a joke. That's lovely, but when discourse consists of joke after joke, it gets pretty empty.

Debate never happens on Twitter. People take stabs at each other and retweet snarky putdowns. When J.K. Rowling makes some witty comeback at some random person spouting their mouth off, everyone applauds it. This kind of discourse makes me nauseous. I often see tweets that make me go, that's wrong! And in my head I start writing counterarguments. But I never get to make them, which breeds resentment. And if by some miracle I do, I don't feel like my audience is a quiet, thoughtful one that will reward me for making good points. I know that's not an empty ideal, because I feel that on HN, and sometimes Reddit.

Twitter gets arguments started, but ends them abruptly. That's frustrating.

I keep going on, because there are a handful of famous people whose streams of consciousness I'm interested in. If they moved their content to another platform, I'd follow them there. But they don't, presumably because they also use Twitter to follow other famous people's streams of consciousness.
CRDTs match multiplayer collaboration to edit a target free data structure, but they don't match multiplayer competition to put a database through a series of transaction states. Note the word "transaction" is almost the opposite of "conflict-free" in that the whole point of a transaction is to reject certain actions as resulting in an invalid state.

Most of the applications I worked on in the last decade (web saas crud stuff) are dominantly transactional with maybe a thin slice of collaborative functionality. I suppose the next decade could look different but I don't see why that would be the case.
Don't visit this link. It's one of those AI-driven SEO-hacking content aggregators that's ruining the web.
> Using it as leverage with your current employer will damage your relationship with them, even if you win that negotiation.

In larger companies at sufficiently deep levels in the hierarchy, often the person you are really negotiating against is not the line manager you have a tight relationship with (the other party is usually a Director/VP + their HRBP + some remote comp analytics team by proxy). In fact, assuming this is not a high frequency event, bringing a competing offer may make your boss's job easier and give them extra ammunition and help them justify your extra comp request outside the preallocated budget (which can often be too limited or too inflexible).

Of course they can't explicitly tell you this but always watch for the nudges and signals.
Very different ones here.
The Wikipedia example shows something kind of JSON-like but originally VRML was like HTML (SGML).

Something similar to that is A-Frame VR which is built on WebVR.

There used to be a way with at least one VR-enabled browser to navigate without exiting VR (if the other site supported VR). Not sure any still support it. I think this may be because it goes against walled-gardens interests. https://github.com/immersive-web/navigation#api-proposal
Looking at it again, string diff could probably just be a new mode. Since you already have the two input boxes on the left and right of them. Somehow reusing them to work as a diff? I'll make GH issue with a possible design
Would this work for graphical applications? For example, could I make a container and run a linux game under X or Wayland on my Mac?
>because we bridge to the relevant property spaces by being in the world.

Isn't there an implicit conclusion here that the extra dimensions of 'world being' would actually make the manifold hypothesis true, it's just missing data in the training model? Not to say it's trivial to fix, that missing data might be derived laws of physics, smell, shared world models of a society etc. but none the less I fail to see how conceptually any of that couldn't be reduced to data.
I've struggled tremendously with this for years and many ideas I had either have ended up not being published or just forgotten. By now I'm the co-author of ~16 (peer-reviewed or in review...) papers, with varying time investment, contributions and success. I still haven't published any informal writing under my own name, but co-lead the development of a moderately successful software package.

My recommendation would be to focus on one idea or one project and figure out whether you understand the problem space and the existing solutions well enough that you are sure that what you are doing meaningfully improves or goes beyond the current way of doing things. If it does, people with the same problem will take notice, give feedback etc. Some of the research papers I was involved in even lead to several job offers, invitations to give talks, interviews and quotes in popsci literature etc. (and briefly were on the front-page of this site). Twitter is surprisingly useful for this purpose as well, although of course this sort of already implies you have an existing network of people that know you or know what you are working on.

Of course peer-reviewed scientific contributions might be on the extreme end of content production. But at least to some degree my guess would be a similar logic applies to the creation of other content as well. Beginning with an idea, the idea has to pass through several filters for it to be considered worthy of a research effort and ultimate publication. Ideally you should be able to scrutinise an idea yourself, maybe do a prototype or begin writing a few paragraphs based on the premise of a piece. I regard ideas as separate from the actual manifestation in writing or code, however it can be extremely difficult or impossible to get an idea into a concrete instantiation. Ultimately you should be able to trust your own aesthetic or scientific judgement first, otherwise any kind of negative feedback can deter you.

I also strongly believe that quality is really the first thing to focus on, producing high quality content quickly should be a secondary optimisation goal, because as you gain experience, you will (hopefully) be able to naturally produce high quality writing / content with less effort and time investment. People will be able notice attention to detail and especially in the case of software you have to assume that for every issue that is raised a larger number of people encountered the same issue and never returned.

If you are primarily intending to write, there obviously is no better way to get better at writing than to actually write. Even if most of what you write you do not intent to publish.

There is more to be said, but in any case I can only encourage you to start. Since I have had a moderate amount of success in some instances, it has given me confidence to more freely share other work.
The Sun's gravitational influence extends up to about 1-2LY, beyond that the rest of the galaxy would have a stronger tug on things.

From wikipedia:
"As of November 12, 2010, Voyager 1 was about 115.251 AU (17.242 billion km, or 10.712 billion miles) or 0.002 of a light-year from the Sun"

The solar system does not end at the heliopause, lots of things still orbit farther out.
Disappointed to see "Teh Womenz" on there - is it so inconceivable that someone wanting to be a hacker is a woman? Or not into women?

Agreed. A better wording would be "Don't forget to develop romantic/sexual relationships with other people, don't spend all your time in front of a computer"
Good luck. I always like to see more hiking sites :)

We used to work on something similar - www.trailbehind.com. It started as a social hiking site, but we turned it into a search engine later. You might find, like we did, that you can link to a lot of cool content. One site we crawled was summit post.com, whihis very relevant to hikify.

As another commenter noted, it's hard to get traction for something like this, especially with several other similar companies so far ahead. It's amazing how well-competed the space is, considering there is no money in it.

We do iPhone apps now instead oh hiking websites :)
And then about w3schools which I had the impression was good:
"w3schools is the single worst 'developer' site on the entire web."

What made you think that?

I learned html and php through w3school and it was a wonderfull experience.
Just because they're auto-generated doesn't change the fact they're taking traffic that previously would have gone to another site and pointing at their pages.
What about human milk? I know I have read articles about breast milk/colostrum containing stem cells. Would this be an easier source than those mentioned in the wikipedia page? Of course, you still have the problem of finding lactating women willing to donate their milk in the name of science...

(Disclaimer: I know nothing about stem cells. I merely have an interest in the science of breast milk as a nursing mother. :) )
And now HIV patients have a choice between manageable and treatable. For most of us, I think the choice would probably be obvious.
Pick a language that you don't have to "brush up" on before your interview -- the one that you work with on a daily basis and know like the back of your hand. Bonus points if it's a language with which the interviewer is less familiar.
FWIW, if you live in San Francisco it is common for your ride to be $10-12. With the recent Uber Pool promos it was $5 (or now $7). So at least in one market, there are many cheap rides being taken.

That said, in-app advertising is not the kind of premium/magical experience that has so far defined the Uber brand. That clash of clans banner looks downright painful. I don't expect ads any time soon; it's more the kind of move I'd expect once they're done being a growth business and shift gears into cash extraction. Years off at the soonest.
It's because they use different criteria than you do to judge the machine, and that's fine.
They're just saying they have not approved it for that use, which doesn't mean much because they also haven't considered it. They also say don't take animal ivermectin, which should really go without saying, but people are doing it anyway.

A dose that's good for a horse is not necessarily a good idea for a human.

Unless maybe you're Eddie the Beast.
Any chance any of this can be made open source? Sounds like a killer feature
Also in related news, "U.S. Forges Ahead on $1 Billion Tariff Plan Over Digital Taxes"

https://news.ycombinator.com/item?id=26703762
Why is that the most important question? To me, the fact that experts are lying to me is more important.

I like science. I wish I could trust it to be presented honestly and fairly. But I can't, so I have to fill in some gaps, do some sanity checks, and read a few studies. That doesn't make me an expert, but it's the best I can do with limited time in a dishonest environment.
Upon watching the video, my first thought was: I should try this! Not because I have RSI (used to though), but because it seems an excellent solution for keeping my hands on the keyboard whilst having a third "hand" for the pointer, thereby increasing overall speed and efficiency. If it is possible to achieve the same accuracy, this should be great.

I even happen to have one of those touchpads.
Or at the very least they have compartmentalized serious mathematical cryptanalytic capabilities.

For instance:

* We know that the NSA has a novel md5 collision capability since they have used it in their malware. None of the Snowden docs, that I have seen, have talked about this.

* It is likely based on public research that the NSA can break 1024-bit RSA, but this has not showed up in the documents either.

My personal belief is that we are missing compartments dealing with cryptanalysis because Snowden did not have access to them. His work and access were focused on Computer Network Operations and not cryptanalysis.
Pity that's entirely negated by the authors' defense of "climate change", for changing the last word from cooling (when I was growing up) to warming, to finally "change", following of course short term temperature patterns, unambiguously signaled that the field of climate "science" had become untestable.

(Evolution, on the other hand, is sort of testable, in for example molecular genetics. Weasel words because the biggest argument is metaphysical, or as I poise it, "Who are we to say how God created the earth?" I'm agnostic, but as someone put it in a discussion I just read, not very good at it. :-)
Both, the gym I belong to has an indoor track which comes in handy but outdoors is more fun of course.
Cool! Once you have federated comments why wouldn't you just distribute a popularity index and torrent magnet links via the same mechanism?

Once you get all that stuff functional you end up with a truly decentralized platform and there's no reason for anyone to "host" their own cordoned-off copy in the first place. It actually /solves/ the problem.
Of course there is evidence that Matthew was originally written in Hebrew.

http://hebrewgospel.com/Matthew%20Two%20Gospels%20Main%20Evi...

http://hebrewgospel.com/Matthew%20Two%20Gospels%20More%20Evi...

I don't know if it is enough to in the end establish that for sure, but how do you not call it evidence?
My case is anecdotal for sure, but I do feel that once I learned the right form it became much easier and I have really enjoyed running because of that I think.
Saying the US "participated in the Iraq war" is putting it rather euphemistically. The US government lied and engineered the Iraq War, which was an illegal war of aggression. It led to the deaths of hundreds of thousands of people. ISIS probably would never have come into existence without the Iraq war.

> The US hasn't kidnapped and tortured any consulate employees recently, which China just did.

Perhaps not (though it does have a recent history of kidnapping and torturing people on a global scale), but the US is busy blasting away pine nut farmers in Afghanistan.[1]

1. https://www.reuters.com/article/us-afghanistan-attack-drones...
And OLEDs in particular, where black stops transmitting light at all. (And saves power, too.)
Ok so it's an all or nothing type thing? I'm either sharing my whole screen or none of it?

Still definitely useful! Just trying to learn the limitations.

This is awesome by the way, I'll definitely be checking it out!
Oh wow! You are right! This is very similar. Thanks
Hypothesis: In a liberal democracy, when leaders adopts a persona of master morality, the slaves are threatened. If leaders instead project a slave morality, the slaves are peaceable and content.
But behind the scenes, it seems like a state needs to rule with master morality, but for peaceableness, promote the adoption of slave morality among the slaves.

Controversial view: Christianity is a perfect ruling tool because it incentivizes slave morality which keeps people peaceful.

Caveat: I'm not saying Christ wasn't real nor an amazing person. Just noting how the religion could be co-opted for ruling purpose.
I've worked at a large e-commerce company before and it's surprising how many of the basic techniques like embedding, seed accounts, round robin diversification are exactly the same. I used to wonder if some of the apparent idiosyncrasies in our system were shared by other companies. It's uncanny how much of it is industry standard.
Where do you get lsd for microdosing? Do you have to know someone? How do you know what it is you're getting? Or do you make it yourself?
I agree that her environment was a huge part of her success, and don't separate her success from the environment she was in and what it afforded her, but there's also definitely an unusual fixation on her sex-tape and trying to reduce her accomplishments to a simple result of it.

I mean the comment I replied to is trying to imply, out of all the factors involved, the sex-tape is what young adults would take out of it.

Meanwhile I don't see people saying all they expect young adults to get out of Bill Gates' success is you should drop out of school...
If you're looking to do some dependently-typed programming and theorem proving, Coq is perhaps the most mature tool to learn. It's actually two different languages, Gallina, which is what is shown in OP, and Ltac, which is the tactic language. I enjoyed Software Foundations[1], which, if you have the time, lets you self-study theorem proving starting from scratch. Somewhat less known is the book Formal Reasoning About Programs[2] which is more advanced but informative as well.

[1] https://softwarefoundations.cis.upenn.edu/lf-current/index.h...

[2] http://adam.chlipala.net/frap/
I find it pretty incredible that anyone who posts on HN and uses an iPhone doesn't know blue vs. green. If you go up to any random iPhone user on the street and mention "green texters" there's a very good chance they will know exactly what you're talking about.
The thrust of it is nuclear power takes long enough to build that if we try to meet the 1.5C goal using principally nuclear power by the time the plants come online we will have put enough carbon into the air from the existing power sources that we'll blow past 1.5C and get into the 'absolutely catastrophic sea level rise' territory instead of just causing whole island nations to disappear and the largest displacement in human history we're currently aiming for.
Jobs wasn't perfect - rumor was the one button mouse exists because he picked it from an unfinished mock. The magic mouse also sucks (though I do like the large trackpad).

I think their argument for the charging port on the bottom is because they didn't want people to be able to use it plugged in (so people wouldn't just leave it plugged in), it was intentional.
Not sure about getting cancelled.

But I recently submitted a link containing an uncomfortable truth from Pew Research titled
"U.S. has world’s highest rate of children living in single-parent households".

It got 30 upvotes in one hour, and quickly reached the front page. It seemed to have gotten shadowbanned by a moderator, as it disappeared to the 5th page despite its quickly gained popularity. It was not flagged, or at least not normally as it would show "[flagged]". I suspect someone with special powers demoted it for whatever reason.

This was the post: https://news.ycombinator.com/item?id=26100329
I love my Apple pencil in combination with the iPad
Wow.. thank you for the English lesson! I'll take your corrections into account next time I'm writing something :)