skysight-inc/HackerNews huggingface dataset:
Cool! LaTeX is my major workflow nowadays and I even didn't believe there could be other options in terms of scientific paper writing. LaTeX is decades old, and it's time to make some changes with a new typesetting system that has less historical baggage and is simpler and faster.
I know of a hp9000 still doing production work. It wasn't always this way.
This is certainly an interesting tool. Also, it seems that they offer a great API - https://languagetool.org/http-api/.

However, it appears that the self-hosting option only gives access to the basic version (https://news.ycombinator.com/item?id=32238705), which is still impressive, but the premium version supposedly has better grammar and style features.

Honestly, ChatGPT's $0.002 per 1k tokens is quite tempting for me. Even after hundreds of queries, my monthly usage is less than 50 cents.
It means you are not legally allowed to lend them or sell them, even if you lose the original DVD and even though you did have the right to lend or sell the original DVD.
Fairly certain that is not what is going on here. GPT-4 seems genuinely better at reasoning and harder to trick from my testing.
Ask HN: Resources to learn how GUI libraries were/are made?
I want to go deeper into things that amaze me. Modern GUIs amaze me. I want to know about the topic in detail. More detail that using a GUI framework like Qt to make an app.

I know the processor operates in machine/assembly code. Very early on computers were operated using punched cards and tapes and the outputs were printed out. Then came console based black and white GUIs. Then came color GUIs and after that more sophisticated things.

I want to know and study (maybe make my own project) about how a processor can make something appear on a display and how the very first GUIs were made.

Are there books, courses or projects I can look at?
Oh man, I was just at the Monterey Bay Aquarium earlier today reading a sign that said, "This exhibit made possible by Dr. and Mrs. Gordon Moore".
From other people’s and my experiences, GPT-4 can do more than simply memorizing. It can at least interpolate and reason a little bit too.

A few other tests show that GPT-4 would achieve much better results than 67% for something it has sufficient training data on like GRE Verbal and AP Macroeconomics.

https://openai.com/research/gpt-4

Yes, it still can’t generalize properly outside its training distribution. However, when armed with feedback and self-reflection, it seems better at that too.
I'm a writer (copy, social, all-purpose) at a startup. I've been using GPT4 via Lex.page to generate crappy first drafts which I then improve and expand. It can speed up the process quite a bit, but needs handholding and someone to add in personality.
Will you eat a hat if GPT5 and 6 are huge improvements?
Working in some (tbh mostly theatrical) high security environments, I've had to surrender my phone before going into a room. In the organizations that do this, they have lock boxes outside the room for this purpose. You lock your phone in and take the key with you. Still requires some trust but better than just leaving it with a couple guys, and is common practice in some places.
I second it. My brain is also tuned to discard most of the information which is easily available for retrieval through print or online resource. I have to write any new information or concept multiple times In order to retain it for few days.
PDOS: Public Domain Operating System
I doubt you really know what transphobia even is
Rubio: “Capitalism Didn't Change China–China Changed Capitalism”
Code generation such as converting json to F# types.
Phones are little oppressor devices, just leave them home whenever you can.
Logotherapy. See Victor Frankl, Man’s Search for Meaning
What SEO related things?
chatgpt isn't compliant with any regulation including gdpr how much private data are your extension's user sending there?
chess has had engines 100x better than magnus carlsen for years and it's not dead. people who have fun giving these competitions will continue having fun, while people who don't will keep crying that they're useless or dead or whatever.
Initially I'm enraged against the publishers, the judge and the system in general as many of you, but they are not the issue, while I can't talk on behalf of IA, I don't see this as a fight against the publishers, but a fight against broken business models flourishing because and protected by broken laws meant to protect earlier broken business models

The current law is broken, we know that, but most of us don't grasp broken laws as a threat until it is challenged (and we as a society usually lose), and then we expect the judge to "save" us from the broken law instead of holding the legislators accountable

This circuit should be shortened, we need to react better to laws as they are being drafted, not wait out their inevitable harm to society like with DMCA and PATRIOT act

If anything has proven this lately is the Roe v. Wade overturn, we really need to stop relying on courts to "save" us and instead fight for better laws, be more involved in the legislation process and actively propose and push for fixes
I am recording all my calls and building a Q&A bot over the transcripts.
Libgen is not particularly difficult to navigate, although its bare bones which makes it look intimidating. The real problem is some hosts are clearly trying to get me to download viruses.
You and I have very different ideas of what makes a good commit message
Woah. I've never seen someone so self aware of the asch conformity test without literally talking about the asch conformity test.

https://en.wikipedia.org/wiki/Asch_conformity_experiments
Sure I can. The one you were just holding. You are relying on the meaning of the concept of having or owning, thinking that you don’t have to either define that or rely on a preexisting definition. Whoops.
I know, the rich have never been richer and the poor keep getting poorer. Where is the trickle down we were promised?
It's not just banks, this is how limited liability works.
I started note taking in markdown. I used to note take a lot on paper and it always became a mess.

I'm using Obsidian right now for this, although you can just use plain code editor it's nice to have WYSIWYG.
There is a website for such predictions: https://deathlist.net/
You can ask it to rewrite the given prose and make it funnier. If the given text is already kinda funny it should spice it up. If it doesnt have much material, gpt may likely hallucinate some material to get it to be funny
They absolutely do. They print money, and the resulting inflation is an indirect tax; the glory of MMT.
To be honest, TCO being discontinued isn't that big a deal IMO. Maybe I'd feel different if I was a top competitor. However as someone middle of the road, competing is an atrocious experience.

The web portal is awful and barely works. The desktop client looks like it's from the 2000s and also barely works. To my knowledge the system had weird constraints about input size, and instead of reading from stdin like every other serious website they have the weird "write it in a class with this method signature" format.

Personally, the problem quality didn't compare to websites like Atcoder and most Codeforces contests, and i feel like most people (me included) don't enjoy the "hack phase" format. Maybe if i could bring myself to actually compete more often, my mind would change on these things.
The employees toil to create amazing stuff and receive a pittance compared to what it's worth. Most of the profit goes to execs who have had no hand in creating anything of value.
Overemployment is ruining America.
> I don’t want to offend anyone here, but building pages is more than just writing content and placing it somewhere on the page. You should leave this job to a professional, especially if you want to maintain the site on a longer run.

But this use case of simply getting some content accessible on the web is the primary reason why page builders are so popular :)

For example, a large number small of businesses just want simple page displaying their working hours and some pictures of inventory. If you go to a "professional development agency" and ask them to build you a site with just these features, you will get a quote for 200 thousand dollars upwards (speaking from experience). With page builders, you can get your nephew to build you a site during school off-season and it will be infinetly better than having no site at all and still probably do the job well enough as a professionally built one.

I get that the original post is basically a sales pitch, but there is huge value to be had from page builders and it's dishonest not to mention it.
Hype has become culturally embedded into the tech world unfortunately. There are whole ecosystems incentivized to hype the next new wave of whatever in hope of monetary or other gain. After this there will be something else so best to practice maintaining a reasonable perspective on tech advancements. I agree its annoying but am trying to use it as a tool where its useful.
Vindicated and excited. Gradient descent is likely not enough. I love it when we get closer to something but are still missing the answer. I would be very happy if "add more parameters and compute" isn't enough to get us to AGI. It means you need talent to get there, and money alone will not suffice. Bad news for OpenAI and other big firms, good news for science and the curious.

I imagine physicists got very excited with things like the ultraviolet catastrophe, and the irreconcilable nature of quantum mechanics and general relativity. It's these mysteries that keep the world exciting.
>If we don't replace the current flavour of democracy with something better there won't be much society in a few years

The current flavour of democracy is already not democratic as practiced in most countries (perhaps Switzerland is an exception).

In the US it's career politicians with little accountability, billionaires and huge coporations with huge influence, paying politicians, media owned by said millionaires or fed BS by the government, a baroque system of chosing President, a failed educational system that doesn't teach kids to be active citizens, fossilized two party system supported by all kinds of powers and structures that the voters aren't allowed to change, and so on. Plus a charade of voting once every five years. If that's democracy, then yes, it should change: to real democracy.

The options you describe would be some of the solutions to that.

Of course those "wise persons in power who know better than us what's good for us" will prevent anything like that.
Yes, you can build static pages very easily in any of those frameworks, they're great for that.

The problem is that as soon as your frontend needs to be dynamic, these frameworks do nothing for you. You can do it on your own by using a library like React and making API calls, but that comes with its own set of issues.

RSCs are a way of addressing these issues by making UI and data streaming a core feature of the framework.

With Django you create an API endpoint that queries the database (this already gets complicated if you want types), then on the frontend fetch that endpoint (using some kind of library to manage the request complexity for you), then render that data.

With RSCs you write a server component that grabs data from the database directly and render it.

GraphQL addresses some of the same problems, but has its own set of issues. It's all about tradeoffs.
Write a blog post and throw your advice into the internet void with everyone else's advice and life experience.

There's alot of context for advice to matter to someone. It's based on your sample size of one.
I’m interested to hear more. Can you give an example or two.
> - Most users don't password protect their SSH keys, but they often have a password manager with a master password that they can keep HTTPS token in.

Are there password managers that actually seamlessly do that? GitHub's official docs (https://docs.github.com/en/authentication/keeping-your-accou...) for example recommends using the GitHub CLI to cache your authentication token for you and as far as I can tell the token is stored unencrypted (https://github.com/cli/cli/issues/1773), unlike SSH keys which should be encrypted behind a password. If you don't do this you have to enter your password every single time you use you Git, which is not good even if you have a password manager (it adds steps, and passwords aren't great to begin with because you send them in plain text to the server and it is why Apple etc are moving away from password-based authentication for websites).

> - Nobody ever commits a private TLS key to a GitHub repo, but apparently they do with SSH private keys...

I think the key issue here is this really shouldn't have happened. There is no reason why GitHub couldn't secure their SSH private key just like their TLS key.

---

Edit: Thinking more about it, I think the situation would have been much worse if GitHub leaked a TLS key instead.

With SSH, an attacker who stole GitHub's private SSH key actually *cannot* MITM the user. They can pretend to be GitHub to the user, but they cannot pretend to be the user to GitHub, because with SSH both sides have a private/public key known to the other side. In a normal usage scenario, it would actually take some social engineering to do a real attack, because a simple Git fetch from the attacker would fail when trying to fetch a private repo (since the attacker does not have the permission to fetch it from GitHub).

With HTTPS, under current setups of username/password or an auth token, the user has no real way to protect themselves from a MITM attack. The token isn't a private key as it's shared directly to the server. That means the attack could actually MITM the server/user connection and do much much more damage.
It's an appeal to a written system of laws that has continuity. China doesn't have this, it has Xi and the Party. These whataboutisms are tiresome because they're so shallow. They're shallow in that they evoke a criticism of some aspect of how the United States manages itself as a method of deflecting from the quite awful and well evidenced way that CCP runs China.
Was there an edit? I don't see any name-calling in GP.
I’m a programmer, not a philosopher, so I never actually heard of him, but from his Wikipedia entry I learned that “he rejected the notion of inalienable rights advanced by Locke and most contemporary capitalist-oriented libertarian academics,” and let’s just say it didn’t say anything about him getting fired from his job.
Today, LLMs learn from a codebase that has mostly insightful comments from well-meaning humans.

In the future, the training sets will contain more and more automatically generated stuff I believe will not be curated well, leading to a spiral of ever declining quality.
archive version: https://archive.is/ujuhq
So on my coding problems I haven't had much luck. It doesn't seem to know Bazel, the Rust code I asked about was completely hallucinated, but it did solve a problem with Azure DevOps I had.

I think if the training set did not contain enough of something it can't really think of a solution.

What is really nice though it's as you say the refinement of questions. Sometimes it's hard to think of the right query, maybe you're missing the words to express yourself, and to chatGPT you can say yes, but not quite.
But then you don't get the goodwill of helping the open-source library fixing the bug, contributing back to the community.
And $173 billion (current equivalent) in aid, in Europe alone:

<https://en.wikipedia.org/wiki/Marshall_Plan>

Japan's recovery benefitted as well from US post-war assistance, though also from a deliberate government-led economic policy as well.

<https://en.wikipedia.org/wiki/Japanese_economic_miracle>
speaking as someone with mild dyslexia and high ADHD. I would say that my analytical skills, abilty to focus, spatial awareness (I could go on here but I think you get the gist) are well above average based on my work/ university experience

i do take offense of people implying my "mind is weak" based soley on my writing skills. Yes, I know writing skills are important at communicating, but humans have seriously many skills to offer than just writing or even communicating for that matter. yet people seem to be condensing their opinion of other people into a very highlevel simplistic rule. Are we going back in time here? whats next? basing if peoples minds are weak on DNA/ race?

>I need to take a lot of time to edit my writing and to re-evaluate the content that I write because it is easy for me to slip into a multi-paragraph tangent. Fundamentally that happens because my thinking is not sharp/focused.

same here on the first part, but not because I can't focus, its because I have to juggle many train of thoughts whilst writing slowing into one stream of communication. to the point I give up on many things that i really want to say
Same reasoning suggests to make a copy of Wikipedia before it’s too late :)
"I re-read my messages when sending them to someone to ensure they are clear."

Kudos for doing that! I hate when people treat writing messages like a second hand skill that doesn't deserve any effort, especially when explaining technical stuff.
Yes! I love hotwire, that's Rails answer to modern frontend expectations.

I'm glad we have several options for building modern frontends, I'm very excited to see how things will shake up in the next few years.
Gpt-4 and plugins that allow it to have fresh data off from live sources
Here's an argument that GPT does actually build an internal representation of the game Othello, it's not just token selection: https://thegradient.pub/othello/
Absolute monarchy doesn't work at all as an example of a thoroughly discredited intellectual concept. It's the political reality in various countries across the globe right now and frequently polls highly in all others. The word "king" has been dropped and replaced by "president" or "strong leader", but the concept is the same.

And I think that's an important development to keep in mind when arguing against something like intellectual property, because these debates also frequently shift to battles over words instead of realities.
If I were standing in Times Square with you and I asked you to point out the women as they walked down the street, would you reply "I can't, I can't see their vaginas"?

There's more to being a "woman" than having female reproductive organs.

That doesn't render the term "woman" meaningless. It just means there are a large number of characteristics that define "woman" and each woman exhibits a varying set of them.

And unless you're planning to mate with them, their vagina is none of your business.
still might not be the right descriptor - the USA seems to be in the process of backsliding on social issues right now.
If they want to make money, they should stop listening to the community and start asking themselves "What would Oracle do?"

I think a lot of companies would not really be capable to setup an alternative in time and would just have to start paying instead. Which would not be a bad thing. The opportunity cost of switching might be higher than just paying Docker for their services.
I think the point is that anyone in America can do this. The fact that some rando on TikTok did it is just a feature of that particular social media company's algorithmic reach. You can find criticisms of congress and their "constituent" investors all across the American media ecosystem.

Can't find that in China, though.
Is it that hard for a company like Twitter to setup their own payment gateway or even a personal "Bank"? I know it's just kicking the can down the road, because ultimately Visa and MasterCard will block them for hosting porn.
It takes time to understand who is the true giant. Robert Metcalfe just received the ACM Turing award last week and his contributions where from the 70's. It's the same with Nobel laureates, it takes year for your work to be recognized.
What's lacking here is any sort of definition for 'porn', just another 'porn bad' regurgitation
I think most app using redis-py rarely cancel async redis command. Python async web frameworks is gaining popularity, but the majority of people using python for their web application is not using an async framework. And of those people that do use them, not many of them canceling async redis requests often enough to trigger the bug.
Here medium to larger businesses are not the size as those in the US, but many of them here use page builders as well. There has been quite some backlash to the 'professionally coded web-presence'; long and frustrating processes and the end result is less maintainable than if they had used a page builder so it has to be redone every so many years because 'the tech is outdated' aka the team moved on.
But we didn’t give people more money, there was the largest in history redistribution of wealth from the poor to the rich. I really don’t believe supply is 100% the problem here and there’s just no need for 20% hikes on some goods. The compound interest on this is insane 1 -> 1.20 -> 1.44 -> 1.728 —> 2.0736 so more than doubling in cost every 5 years.

People seem to think inflation is temporary but it seems much more stubborn and central banks are very scared of it, hence rate rises when the banks might collapse.
Seems like not only the obviously correct answer, but probably the only workable one.
The US let Meta whatever they want and do all the harmful things to our youths psych. Like increased suicide rates, body issues and much more.

I agree with the poster before, I don't see the big difference here
Somewhat pedantic, but I would note that Sunday isn't the Sabbath, Saturday is. Most Christians don't observe the Sabbath (citing Jesus's defense of the woman who was supposed to be stoned because she had collected wood on the Sabbath). Instead, they rest on the Lord's day, commemorating Jesus's resurrection the day after the Sabbath, while still recognizing that their god rested after creating the world on a Saturday.
Hiring professionals is often about transferring liabilities to knowledgeable people. I wouldn't want to respond for something done by some automatic tool whose output I don't fully understand.
So he basically predicted "high inflation". He's been predicting that since at least 2010, probably earlier. Over a long enough period there is bound to be some episode of "high inflation", so sooner or later the prediction of "high inflation" will become true. This doesn't mean that the individual who made the prediction is some kind of visionary.
> For generating reports :
I dumped a few SQL definitions in the prompt, then started asking questions like: "Write an SQL statement to check how many users signed up last week?".

Then used these commands in Postgres.

> For proofreading, adding emojis and changing tones :
ChatGPT doesn't have a personality. It's prose generation is not bold. So I write the text myself, and ask Siri to proofread it, add emojis etc.

I call ChatGPT Siri. It doesn't seem to mind. It never acknowledges it though.

> For repetitive typing tasks ⌨:
Convert Markdown text to org mode, add a quote around all variable names, add a tab in every closure.

> For writing code :
This is a hit or a miss, but I have realized that Chat GPT points me to correct APIs, or variables that I can look up on Google

> For learning paths :
I'm learning Emacs and cooking. I tell GPT my current state, things that I know, and the place where I want to be. It fills in the next steps. Not ideal, but I hope this improves. This will make AI an excellent teacher.

> For generating content ideas :
It kills the writer's block. Chat GPT generates enough good ideas for me to pick and write tweets on. But I refrain from using GPT content directly because it's bland.