skysight-inc/HackerNews huggingface dataset:
> ChatGPT offers the structure of an explanation, but falls into tautologies and truisms

Proofreading Text for English

Can you proofread the following text?

Sure, here is your text with some suggested edits and comments:

"The cat sat on the mat. It was a warm day, and the sun was shining through the window. The cat closed it's eyes and basked in the warm rays. It was so relaxed that it fell asleep, dreaming of chasing mice and lounging in the sun.

"It's" should be "its" (possessive form of "it")

Consider using a comma after "warm day" for clarity

Consider using a comma after "sun" for clarity

Consider using a comma after "eyes" for clarity

"basked" is past tense, so "was so relaxed" should also be past tense (e.g. "it was so relaxed")

Consider using a comma after "sun" for clarity

"dreaming of chasing mice and lounging in the sun" is a present participle phrase that describes the cat's state while it was asleep, so it should be set off with commas (e.g. "it fell asleep, dreaming of chasing mice and lounging in the sun.")

Here is the revised text with the suggested changes applied:

The cat sat on the mat. It was a warm day, and the sun was shining through the window. The cat closed its eyes and basked in the warm rays. It was so relaxed that it fell asleep, dreaming of chasing mice and lounging in the sun."

Proofread the following text: As a University professor, having reviewed thousands of exams over more than a decade, in my experience this same exact criticism could be applied to many human students. A non negligible percentage of students provide answers that are tautological, or at best answers that merely restate what someone else has written, without really grasping the meaning of it. The way I see it is that we know not enough about how we, humans, process information in our brains to make logical thoughts, to rule out that the current state of the art AI is capable of the same. It seems to me that the current state of the art AI models are getting closer to humans, sometimes mimicking the smarter ones, some others the less smart ones.

Here is your text with some suggested edits and comments:

"As a university professor who has reviewed thousands of exams over more than a decade, I have found in my experience that this same criticism could be applied to many human students.

A non-negligible percentage of students provide tautological answers, or at best, answers that merely restate what someone else has written without really grasping the meaning.

From my perspective, we do not yet know enough about how our brains process information and form logical thoughts to rule out the possibility that current state-of-the-art AI is capable of doing the same.

It seems to me that current state-of-the-art AI models are getting closer to humans, sometimes mimicking the smarter ones and other times the less intelligent ones.
Unlikely - I literally grew up cheek by jowl with traditional hunter gathers in the Kimberleys, on a personal level my consumption is well below the Australian mean, which itself is well below the central north american norm.

I'm comfortable getting by for months on end sans most things - global field geophysics was an extended jolly.
AKA OpenSores. ;)

The Day SunOS Died:

https://www.stokely.com/lighter.side/day.sunos.died.html

"Bye, bye, SunOS 4.1.3!
ATT System V has replaced BSD.
You can cling to the standards of the industry
But only if you pay the right fee --
Only if you pay the right fee..."
Power management does not work at all in windows. It does not really sleep, and randomly starts spinning the fans at full blast during short times.

On linux you might have to fiddle with configuration, and get unacceptable behavior like black screen and needing a restart after wakeup, until you get it working. But at least you can do something about it.

Only macs seem to get it right out of the box.
Agreed it would be interesting to see. If you find any links, please post back.
Relevant high quality and interesting video that dives in to the world of get rich quick book dumping schemes:
https://youtu.be/biYciU1uiUw
I think it's one of those things, where if you have a hammer in your toolset you'll probably bang on a lot more things :)

I've seldom implemented parsing, since we had Lisp, XML, and now YAML. However, I use language translation all the time.
Purity culture is something else and way much more then just having a family.

It, among other things, may mean marrying at 18 to a partner you dated very shortly and never seen alone. Because anything else is sin. And then you are locked in for life.

And that is not nearly the same as marrying when mature and having partner you actually know. It can be special kind of hell.
Why hasn't RFID based self checkout become a thing? It works almost like Amazon Go but you must walk your shopping card through an RFID gate that scans your shopping cart.

The cost of labeling might still be there but you could have a bunch of employees at critical spots where unpackaged products are sold and then attach an RFID tag for the whole bag.
Biblical lifespans seem nice, but only if you wholly believe the stories. Given how often the same stories come up across different civilisations, I'm sceptical they're accurate. For instance, Eve picking an apple is not too dissimilar to Pandora's box. The flood in Noah's lifetime is also part of Babylonian myth where the protagonist was Gilgamesh. I recall even the concept of hell was taken from Greek mythology - notice how we call this mythology today instead of religion.

Answering questions like "where did we come from" and "where are we going" have always existed. Passing knowledge down through generations has always existed. Treating these stories as gospel makes little sense to me.
As someone working in an educational context on the university level, I certainly agree for young kids.

But at some point people need to learn how to put themselves through boring mindnumbing stuff as well, because this will sometimes be part of what you need to do if you wanna reach your goals (e.g. reading the datasheets, reading some specification, looking at some source text that hasn't been simplified to digestive bits by someone else, gather boring data that is needed, ...).

In my subjective observation students over the past 10 years have become less willing to put in mental footwork themselves if there is not an entertaining youtube video that lays it out for them. I work in art university, so most of the topics people will work on are entirely their own choice. But if e.g. a student wants to work with electronics, they would rather try to mimik what some guy in some youtube video did for a year (without understanding it at all), than grabbing a foundational book and work through it over the course of a month.

The latter is less instant reward and more boring work, but pays off for a long time and will allow them to judge what makes sense and what is bullshit. The former feels like the direct solution, but will leave you coming back for help whenever you deviate from that precise solution someone else made.

I have nothing against entertaining education at all, I just think that for many being able to go through the boring stuff (on their own terms) might be a valuable ability as well. And this is not about the media at all. The above example with the foundational electronics book would have worked as well if they have chosen to watch a foundational series of youtube videos as well. But these videos are not leading directly to the result.

I have seen single students who have fooled around for years with try and error in electronics without ever having the idea to learn the basics..

Do they have "boring week" at Montessori's?
> I do not understand why homotopy type theory posts are so popular on this website.

It's easy. When you don't know a lot of math beyond college, but you see a post like this one, voting it up lets you pretend that you're in-the-know. "Oh yeah, I'm competent enough to upvote this. I know math." You may even end up fooling yourself into believing it. Same thing happens with physics, chemistry, linguistics... posts.
> These lyrics always bothered me for their apparent vacuousness. Christ was born on Christmas Day – well, yeah. Christmas just is the day that Christ was born, right?

Isn’t the reason that the church makes such a big deal of repeating this whole “Christmas day is when Jesus was born” and “Jesus was born on Christmas Day” due to exactly the point that it wasn’t the day he was born.

The church moved the celebration to better match the pagan celebrations, so they needed to push this lie a lot to get people on board with the fact that they moved the birthday to make the sales pitch for Christianity better match the pagan traditions.

You would have though that the god of all existence could have timed the birth of his divine child a bit better, but I guess we all know that it’s easy to sometimes miss deadlines and be off by a month or so. Also the biology of virgin pregnancies, though unexplored scientifically likely followed the biology of regular pregnancies, so there might be a bit of uncertainty on the exact time of arrival even if god did impregnate Mary with the intention that she’d give birth around what is today Christmas Day.
This is not really correct. Humans make systematic errors of judgement (bias), which is reflected in texts. But you could still imagine an AI unbiased, "perfectly modelling" this "biased" data (retrieving the "true model" behind this data).

Not that I endorse this article either.
Because a lot of them became Christian after the excesses of the drug and sexual revolutions.
How do you even publish a game that will resist kids at a school? They will bend the cards, lose the pieces, tear up the manual.
Counter is Zähler, not Zahlen, though.
Yup I used to use this all the time. Tedious when you have a bunch of tabs open but useful nonetheless.

And thanks! I am glad you find it interesting!
It's still a social construct. As knowledge and science advance, the need for religion decreases and it's really on us to accept there are some questions we cannot answer.
> The professional Unix workstation now runs Linux and there are lots of them.

Come on, macOS is Unix certified. Linux is not.
You are a cool guy!
> Where does one build 3.5 million houses? The housing needs to be where jobs / etc, are.

With the resources of an entire state government, or a lot of private equity, this is very solvable.

Take a place like Sunol, CA or Livermore, CA, either one about an hour east of San Francisco and trivial to connect to public transit.

https://www.google.com/maps/@37.5871047,-121.8716321,3a,75y,...

(California has nowhere to build they say... see above link.)

Build several hundred high-rise apartments with several thousand of residents each. There you go. Housing for a million people in the space of not even a square mile probably. Add in generous amounts of entertainment venues, coffee shops, live music, some parks, and a bunch of office buildings.

Done. Solved. But they don't do it. Why?
For the avid self hoster, SeaweedFS:

https://github.com/seaweedfs/seaweedfs
Similar searching behaviour is supported in all major browsers including Safari:

Press CMD + L and enter the name of a Tab. One of the results will be an option to switch to an open tab.

In Safari, CMD + UP/Down jumps between sections, so that usually selects the "Switch to Tab" option.
Life is short if you’re enjoying it. If it’s full of unbearable torture, the opposite is true.
I was at SUN in the mid/late 90s, when Java and the E10K were released. It was a glorious place to work, with an amazing corporate culture.

Their sale to Oracle was a tragedy.
Yes. The best race car drivers use an automatic transmission if that’s 0.5 seconds faster per lap.

In fact driver aids had to be actively banned in many racing series. Just to make it more fun for spectators.
I think this is more of the case of not turning on playstation or tv while they do homework.

The ticket is literally about distraction - the kid intends to do work, the game is literally placed in the middle and the kid forgets what was original goal. 100% normal for kids and I would not blamed neither them nor teachers.
Not mentioned in the article, but possibly the most awesome baked product ever is the „laugencroissant“ - a croissant with the pretzel-style lye coating.

I'm curious why lye is not more widely used outside of Europe; it really add an amazing flavor to baked goods.

https://en.wikipedia.org/wiki/Lye_roll
There's at least one such command I saw out there: https://www.learngpt.com/prompts/generating-a-complex-ffmpeg...
This isn't representative of the UK as a whole though and, likely, never will be. Providing charging points for middle-class homeowners at the expense of basic infrastructure and countless other spending 'priorities' would be considered political suicide in most high-density locations outside of London.
For those who are unaware of how big of a problem fingerprinting is, there is an EFF website [1]. EU cookie policy is nothing compared to this. There are libraries like fingerprintjs [2] which can generate a pretty stable visitor ID.

If you change or alter some browser APIs in order to make your browser less unique, some payment processors webs may stop working. And webs proxied through CloudFlare will constantly display "Checking if the site connection is secure" page, sometimes in an infinite loop where even solving their captchas won't help.

[1] https://coveryourtracks.eff.org/

[2] https://fingerprint.com/
> In addition to what the other replies mentioned, it's also possible to fall back to other methods like flatpak or a container

That, or simply using pkgsrc.

It also provides versioning and decoupling from the system, but also has the benefits of working on any Unix and to be predictably updated. It's also far more KISS than any aforementioned solution.

The only real downside is the build time, as pkgsrc is more or less a managed federation of Makefiles. Installing software can take more time than would solutions based on binary packages, but it's totally worth it for the technical simplicity it brings to reproducible userlands.
Automate everything and make all human activity irrelevant
> I have my eye on Chicago. There’s always something going on

You're right about that part
Ok, but the heat index is not the temperature
Well yes, but watching American car reviews(as European) leaves me puzzled - reviewers often describing 3.0L V6, 200bhp engine as small and low power, and discussing if it's not dangerous to merge on the highway with it, while over here you get a 1.0L 110bhp engine in a large family SUV and it isn't even brought up as an issue. In my last car the base option was 90bhp, and the "high performance" model was 160bhp. I guess in US that would be described as a horse cart. That's despite the fact that even the 90bhp model had no issue keeping up with 80mph traffic.
You just described the UK
I can never remember things. That's why my history file has 100k lines in it.

$ do create linux bridge
brctl addbr <bridge_name>
ip link set <bridge_name> up

$ do git reverse last commit
git reset --hard HEAD~1

$ do gcc show optimizations
gcc -O -Q --help=optimizers
Nothing stops that! It just has to be done. I’m working on exactly this: taking GPT output and making sure a second layer of AI can run and verify that output.
No way. The left, the right and the center have their puritan (in the modern sense) factions, and always have. Appearances and the overt goals may differ a bit, but what to think of radical feminism?
> except serve as a basis for practical formalization of proofs

I do formalized mathematics as a hobby and I can not see any basis for that opinion.

Freek Wiedijk wrote an interesting paper [0] where he compared the complexity of various foundations as encoded in Automath.

Mizar, which is based on Tarski–Grothendieck set theory (an extension of ZFC) is a proof assistant whose library was the largest for a couple of decades, only recently surpassed by Lean's Mathlib (perhaps). Metamath is mentioned below in comments and of course my favorite Isabelle/ZF are also based on ZFC.

[0] [Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics] (https://www.sciencedirect.com/science/article/pii/S157086830...)
Yes, Vitalik asks everyone to download a new version with the protocol patched. Previously it was "pretty please do this", now it is "do this, or you lose all your staked ETH".
California is great. It's a shame about the people though.
While this is cool, using an MD5 of users’ email addresses is not cool. Given a large rainbow table you could likely find the identity of lots of users and tie them to specific comments where they thought they were anonymous… not th intention when enabling funny avatars…
Well, when it was cheaper I bought various garbage board games and encountered a nice different problem: they take a lot of space.

So, no matter the price, space is a problem.

That being said, I wish they costed just 50$: plenty of them (especially those with miniatures) cost 100+ and maybe you have to buy sleeves and maybe some "adapter" to fit everything in one box once expansion are bought.

Another lesson learned is: never buy expansions. There are some very rare exceptions.
A bigger concern is additional wear and tear. Dryers seem to be harsh on clothing and will reduce the lifespan vs just hanging.
I'll still say don't give up yet. Rest and look at it again. There might be something you ain't seeing yet.
A good enough AI should be able to breach the airgap, cause your friends to break in and deliver more power to it, and also reverse all SHA-256 hashes by just “deep learning them”!
Same great state, now with fewer people! :)
Nothing would happen. Like the other commenter said, you trust your package repo like with any other distro.
Indeed, harsh reality.

Movie theater pricing is extreme.
I have the same problem in the office where I work. Mostly I’m relatively stoic about it. Sometimes it makes me sad.

I built my career in the post tech boom 2000s in a culture where engineering and product were hands-down the most important people in the business.

If I wanted to bolt a cool second hand espresso grinder to the mini kitchen wall — one bought with my own massively over egged salary — then no one could stop me. Paint a mural paying homage to a map(parseInt) type bug that took down the site? Sure! Here’s a sculpture made of empty beer cans from Friday night drinks in the office. All very silly, hit/miss sometimes on taste, but all part of the flavour. Everyone did things like this: hosted silly parties, brought in weird food, etc etc. The sense of eccentric character was strong. Hackers were hackers in everything, not just their codebase.

Now I get admonished by HR anytime I do anything which they perceive as being equivalent to daubing crayon in the walls. Merry Christmas HN. Keep the spirit of hacker-past alive!
>instinctive reaction

I had my septum deviated for doing similar to the above in Word 97 in the 2000s.

Must be nice to do things the way you describe, but unfortunately the process you go through in America to become a K12 teacher basically snags the sociopaths too intelligent to be cops and gives them a steady stream of narcissistic supply.

https://abcnews.go.com/US/court-oks-barring-high-iqs-cops/st...
What got you interested in life extension? And how long would you want to live for?

I’ve never understood the philosophy behind life extension research, because to me it seems like a case of spending a lot of resources in the hope of improving something that isn’t really broken. However I love people with passion and I value freedom, so I’m glad that people get to work on it even if I feel like it’s probably a bit of a waste.
That's mainly because activity in the prefrontal cortex is very low - that's the part of the brain that handles problem solving, comprehension etc. and reasoning.
Can someone help me with how the words are pronounced for DEER and CHOIR to rhyme
So youre a Californian who left and can't stand being thought of as Republican?
Why merge them at all? Can a lazy merge increase performance by the fact you are usually iterating over them and at that point most work will be done by the iteration and not by the merger. That gives you some time to work out which thread/machine to pull from next while the main thread works on the result of the last iteration (ie, preempt the iteratie). You could even buffer/stream them from each thread much faster than any code could do real work.

In my experience, lock-free solutions tend to not do well when threads share a physical core (vs virtual cores), but ymmv.
Vici 3 is fun, for a more modern setting and a bit more realistic check out democracy 4
> Vörtbröd with or without raisins

Oh, what a horrid thing to do to Vört! Leave that poor bread out of your raisin-infested schemes.
> I've lived in the Bay Area for my entire life and am considering leaving only because it's not progressive enough.

Where will you go? Wakanda?
But by buying a house they're not buying the whole city and the right to prevent others from living there.

If these are REALLY the objections, we could find ways to mitigate these issues.

A reasonable discussion could be had about how fast neighborhoods should change, or what reasonable expectations buyers should have about the neighborhood changing over what period of time around them.

However, if more people move in, their single family home in the period of 10-20 years will probably double in value and they'd probably be able to sell it and move to the outskirts of the now-expanded city with a similar character to what they had before, which has become the center of the growing city.
You will still be able to buy and drive ICE cars. What’s the problem?
> If we knew the formula of fibonacci that didn't depend on previous iterations, we could parallelise fibonacci. But I'm not a mathematician so I I'm not sure how to find out that formula.

You find it on Wikipedia! The insight that a closed-form solution might exist - "knowing what to Google" - is really all the mathematical insight you need.

But maybe Fibonacci is a stand in for something else in your explanation. I don't follow the definition of the integer updates problem.
Should twenty-eight dollars a two-week period be the base price for a daily professional or leisure tool?
The switch I was trying to describe was from an appreciation of the content as a consumer of it - to appreciating its existence as an external observer of the process that created it. There is an implicit dismissal of the content itself in the second one, that I found funny. I was trying to be lighthearted, anyway... :-)
Yeah, every time I go home to the Georgian suburbs I have to patiently explain that—while San Francisco certainly has its fair share of obvious and well-publicized problems—if it were really all that bad, people wouldn't be lining up to pay exorbitant amounts in order to live there.
> Also, Do smart people really think the nation’s richest collection of businesses owners, VCs and executives are a bunch of lefties?

You mean a portion of the 1% ?
AGEN JUDI ONLINE SLOT NOMOR 1
He's lucky that his boss is not Musk and he's still working!
Where did I ask for putting the means of production into the hands of the workers?
Pub-crawling Santas get armoured vehicle stuck in Cornish hedge
PHEVs really seem like the best of both worlds. What's the downside?
> This isn’t necessarily a CA thing as people keep positioning it, it’s a high taxes among other things (like housing, and high mobility)

So a CA thing