skysight-inc/HackerNews huggingface dataset:
Sure, as a metaphorical device to underline his exceptional contributions to science/mathematics/etc. and lightning-quick intellect. But not in seriousness, as a "first required step to understanding", like you phrased it in your original comment.
Maybe I'm just a bit allergic to the almost cult-like behaviour some von Neumann fans show.
Maybe the more intuitively obvious way to put it is:

probability : distributions :: statistics : expected values
> there are many favorable situations for industry - academia collaborations.

In the same vein there are research institutes as well. One of the best jobs I ever had was in HPC at an institute that was technically under the umbrella of a university.
Tell HN: My experience with ChatGPT for code related tasks
Like everyone else I was impressed by the capabilities of chatGPT. As a dev I also tested for code related tasks.

Initially I used it to teach myself some lua and the love2d game framework. I found that it was really good in that aspect. No need for google, stackoverflow most of the time as I was able to ask clarifying questions when I didn't understand something. However sometimes I did go check some of the documentation as it was faster than formulating a follow up question. (This is when I gained familiarity with the framework where I knew where to look for things).

I then tried to use it to complete full coding tasks. My first attempt was to tell it to build me pong in love2d. It did generate code that ran but the ball wouldn't behave properly. I asked many clarifying questions but still it was hard to get it to correct itself.

My second attempt was to tell it to build a snake game in love2d. Initially, it only implemented player movement. I then insisted on it to implement food spawning, eating and snake growing. It did implement food spawning but somehow it didn't include the logic for making the snake grow despite asking again.

My third attempt was to create a small Flask web app that fetchs data from an API and display an html page with some of the data received. It did generate code that seemed correct at a first glance but needed some tweaks to run correctly.

In conclusion, I've found chatGPT really good for where I would use googling and learning new frameworks/libraries. Things where I don't know what I don't know. However, sometimes you need to be careful as it can spit out answers that looks correct but when trying it out for real doesn't work. (This is somewhat rare. In fact it's impressive that most of the time the code provided at least runs.)

When it comes to asking chatGPT to build things for me, I found it to be less successful. I had to really be careful and do a lot of verification + gluing work stiching the different code answers of the model.

It is somewhat analogus to semi self-driving cars where the human driver is on stand-by but has to immediately take action when things go wrong. This is seemingly harder than just manually driving from the get go as you need to context switch pretty rapidly.

I found that the mental energy spent on verify and correcting the code provided was greated than if I simply wrote the code myself from the get go. (This is valid mostly for things where I already have knowledge of the library/framework/programming language related to the task). I also think using the model as a google replacement to build the thing I want rather than telling it to build what I want would have been less mentally taxing.

Anyway, thought I'd share my thoughts on this. Good job to OpenAI for making this much progress with their model.

Would be curious to know what was your experience with chatGPT?
GIMP has been extremely useful over the years for all sorts of image processing tasks. Krita on the other hand, is the best for image composition (combining several layers) due to its non destructive filters. Imagemagick is great for scripted and complex workflows and large images. All my image needs are fulfilled by these three and it's great to have different tools
There are three ways you can gets for goods and services in this world

i) Pay Money (HNers who claim, i'll-pay-for-no-ads-services are pathetic liars as seen from the adoption rate of YouTube premium which offers exactly that service).

ii) Pay through watching Ads

a) Watch relevant but low volume targeted ads (allow tracking)

or

b) Watch irrelevant but higher volume ads (no tracking -- pihole)

iii) Steal Content

Most HNers who complain have made their choices very vocal. They prefer (ii)b and yet they make sad pikachu face when they are bombarded with Ads.

When Ads aren't effective (not targeted), it's compensated by higher volume. It's, Economics/Math 101.

It is your bed that you have chosen
Reading 2 Short Stories Every Day – Final Week
Ask HN: How do you find your community – developers, creatives, –. friends?
As I get older, I miss having a small group of people to share things with -- this cool website I found (tildeverse.org), or this neat article I read, or 'Has anyone upgraded to Ventura without issue?' or 'could someone try my silly code and tell me how it is'?

Where are your go-to places for finding tight-knit communities, or just friend circles in the virtual world?

I'm currently on several Discords with established communities that are intimidating to participate in, although I am starting to, I'm making friends on SLOWLY.app, and other friendship apps, but where do you go when you want to form closer relationships with other tech-savvy people? (Probably I should join a couple of tildes..)

Thanks!
> Or maybe that crank parents arguing crank causes is super productive and they should have lots of forums to do it in.

Yep, it's that. The author is not arguing in good faith (IMHO), and is mad that crank causes can't easily subvert a school district, if the school district is sufficiently large enough to resist it. The big tell is that the author won't actually list what "community values" or "will of citizens" they think are missing in these democratically-elected school district boards (because if they admitted it honestly, it would be immediately obvious why districts resist it)

And this isn't just a thought-piece, this is a real battle happening at the local level in Michigan right now, during the past election, something like 60% of the candidates for each random district are that district's crazy cranks from school board meetings, intentionally running in bad faith, just to push minority-held crazy religious/political-extremist beliefs onto children via the school board). Districts can't kick them out of the meetings, if they are on the board themselves.
If I do not have children, does that mean that I would not contribute to anyone’s education? It would be great for us childless people.

There are a lot of things in our society that we just do not have a choice on.

- many can’t choose who’s roads they drive on

- many can’t choose who provides their electricity

- many can’t choose who provides their Internet

If we’re advocating for school choice based on the fact that we can choose some things, or we should be able to choose, it would stand to reason that we should also advocate for choice in all the things we consume.

We have the assumption that privatization would improve circumstances. In a lot of cases privatizing produces worse outcomes. America’s multi-payer multi-provider healthcare system has produced the worst health outcomes at the highest cost in the industrialized world. We need to recognize privatization and competition as a social tool, and know when to use it.

There are issues with the school system. Perhaps unions and bureaucrats have too much power. I’m not convinced that radically changing our education system is the right choice for everyone.
It's not only about features, there's a lot of bugs on Safari mobile you don't really see because basically web devs takes enough time to solve them. I've experienced SVG bugs, z-index bugs, form bugs and even a few dom events bugs to name a few.

Fortunately nowadays I don't need to support this browser anymore on my new company.
This is exactly the issue that drives folks from "bad schools." The inability of those schools to control disruptive students.

If public schools were permitted to prevent the harms of disruptive students from impacting classroom management by informing parents, "You child is no longer welcome in our classroom, you are required to find someone who will put up with them" and handing them a voucher; then I strongly suspect we would learn that the quality increased and the number of disruptive students went down as parents were forced to deal with the costs those students had imposed on us.
Android controls the App Store better than email controls side loading. I wouldnt recommend people side load unless they’re capable of auditing packages they’re loading, the equivalent recommendation in the desktop world is application allowlisting.

The general public has proven that they’re not capable of any type of sanity check to the point where I would call sideloading dangerous.
Sometimes the style of writing is part of the message too. Like with qntm's Lena (https://qntm.org/mmacevedo) that looks like a Wikipedia's page. A rushed writing on the topic of going too fast could be appropriate.
Cooking - Look up recipes for what you like to order in restaurants and make them at home. They probably aren't that hard, even for really delicious, expensive stuff. You provide your own feedback, and you get delicious food, and you save money.
Follow enough recipes and you will learn to improvise, and make your own recipes.

Learn to drum on Drumeo.com. Then once you've learned the basics, go find an open jam session in your town. Be humble and receptive. Musicians will probably kindly ask you to give up the sticks after a song or two, but you will get better so much faster than you think, as long as you stick with it. If folks are mean, then keep practicing and find another jam session.
PayPals history of random bans and locking people out of their accounts makes me initially skeptical if I would want to engage with a company like this.

Finance is something I have expectations about as far as service goes.
Not everyone uses velocity correctly. Often expecting this to be a rigid and exact metric to track performance against. It is an approximation. It is a guide and a range to measure and plan work. Not some exact number to compare against.
The marketing side of the market has spoken.

Fixed serving sizes force over-use. Lots of included water means extra volume and weight (perceived value) on the shelf. While powders allow measured use, and reduce turnover.

I buy 20lb boxes of cheap powder and they last for months. Hot water just doesn’t need that much help if you put some in the pre-wash too.
On one hand, SF is probably 1/4 as dense as Manhattan. On the other hand, plenty of international cities have solved this problem. NYC just refuses to address it because they're NYC and nobody tells them what to do, politically.
Is anyone actually surprised that the city with the highest cost of living also spends more per-student than any other city.
I have yet to read Accelerando, but Glasshouse was amazing. It definitely gets my endorsement.

I would further suggest that anyone who likes Glasshouse might like Permutation City by Greg Egan.
I would vote for Larry, the Chief Mouser of UK.
The particulate result is dubious from what I've seen

Most people keyed into this from the Vox article:

https://www.vox.com/energy-and-environment/2020/5/7/21247602...

Which links to:

https://www.osti.gov/biblio/1172959

As evidence for the claim that Gas range put out more PM2.5

But if you consult table 3 of that article you will see it doesn't show that at all. The food (especially frying) swamps differences between electric vs gas ranges, which themselves aren't even significant.
The "attacked by all sides" comment is quite bizarre. Every pain the company experienced was self-inflicted.

They lied about how many students get jobs, which damaged their reputation and is a source of active lawsuits.

They dodged California regulators and then lied to students about it. This invalidated every ISA in California before 2020.

They launched an unpaid intern program, which created a backlash in the tech community.

They told students they couldn't discharge their debt, which was a lie that go them in even more legal trouble.

I could go on and on, but the recurring pattern is them doing something reprehensible and the "attack" is "getting caught."
We have a whole home water softener. Rinse aid does nothing for us. (Similar principle as using vinegar)
WireGuard is a recent and prominent example of a system that has been formally verified (https://www.wireguard.com/formal-verification/). There are implementations in a variety of languages due to integration considerations.

You will find at the bottom of that page C implementations of curve25519 that are proofed and derived from F* and Coq. Curve25519 is a relatively simple implementation and only one part of any system that uses it. As you can see in both of these implementations the papers recognize a team of contributors each - this should provide some insight as to the cost of such work. That doesn't make it unimportant, it just makes it rare.
Which were also cringe
Faster than radix sort?
They don't have to do it by themselves. Technology services could be provided can be provided at a county level for example.
Ahh, I have so many good memories of BBSing as a kid in the 707.

Seeing that dot matrix printout of the BBS list brings me right back. The lure of a BBS that was a toll call was strong.
Some vinegar in the dispenser will fix the spots.
What are the “six sublanguages”?

Your question also doesn’t include if you are willing to compromise on any of Rust’s goals. Doing so would certainly let you make a simpler language, but then you don’t have what makes Rust Rust.

Here’s an example of someone who was involved in the design of Rust for a long time grappling with this question: https://boats.gitlab.io/blog/post/notes-on-a-smaller-rust/
Good to know. Hopefully it won't affect the reverse chron feed!
In some cases it is also going to redistribute misfortune as well. Is that fair or desirable?
>The majority of parents who advocate against public schooling [edit: in America] are objecting to their public schools on ideological or religious grounds, not on the quality of the education it provides. And the majority of schools these parents run to with voucher money are going to teach their kids exactly the ideology they want. Educationally stunted young-earth creationists growing up to make sure their kids are educationally stunted young-earth creationists, too. That's not a good end result for society, and not one that a constitutionally-limited government should be funding or promoting.

It's easy to make the argument against charter schools when the "majority" of people supposedly using them are using it for "bad" reasons, but what if the situation were reversed? Would you be pro charter schools in a jurisdiction where the public school system is shoving young-earth creationism down student's throats or refusing to teach sex-ed? Does your support for charter schools hinge on whether they're being used to teach "bad" things to kids, or do you believe whoever has political control over the school system should be able to dictate what kids are taught and parents cannot opt out?
https://s3files.core77.com/blog/images/1103794_81_102208_N_A...
I'm not a fan of ads at all. But I am curious, is there an alternative way to provide a free service while still making money?

Unrelated, it would be cool to be able to self host an actual search engine (not talking about privacy-focused front ends like Searx -- but I'm grateful for projects like it) without having to store petabytes of data. Is there a self-hostable search engine alternative that doesn't just use another backend search engine service like Bing?
Perhaps the problem is more our lack of engagement in civil society and local government such that those single loud voices are so powerful?
There's no transparency or real studies if there's some effective malware filtering by forcing the app store model so at this point it's difficult to take it seriously.

> You might not want them, but the reason more and more and more apps are written for the platform is because of market power that comes from being content friendly

[Citations needed] again basically, there's only two platforms on mobile, it's not like developers can get the luxury to chose a platform.
If I were to pick it would be Elixir or Lua. Lua because it can be used as an embedded language and it is pretty fast for an interpreted language. Elixir because I have written tiny scripts in it and was impressed that even though it wasn't the fastest looking way of doing stuff it didn't impact the speed on the machine I was using (a low spec NUC). I feel like Elixir has the potential to keep growing and Lua is certainly a language that can get stuff done or can be embedded as that last bit that probably can be scripted instead of compiled.
There's so much to unpack here, I'd love to have a longer form discussion in a place where we won't run out of thread depth, but I can't dig into all of the points in this format.

This all gets very philosophical, but seriously, optimism is much better than pessimism here.

> There are awesome things on earth besides humans

Like what? Nature is cool, we shouldn't destroy it, but nothing else is truly sentient on this planet besides us. Nothing else on this planet can ponder and understand the world like we can, this is a good thing that the universe should have more of. A meteor (like the one that killed the dinosaurs) could hit this planet at any time, in fact it's pretty likely that it will happen again. And on a long enough timeline, the sun will die and ALL life and ALL nature will die.
In the interim what should we do? Should we just sit around on this planet and wait it out trying to preserve things the way they were when humans first evolved? What's the point?

I prefer to take the humanist approach, I like to think that humans and intelligence will make an incredibly cool, adventure-filled future for the universe and that we can and will do great things with more people.
> you'll get to hear rant after rant from that side's best and brightest.

Nothing endears me to school choice more than hearing this kind of condescension and dismissiveness towards people who want what is best for their children.
The tweet says 48 people, where does the 10% come from?
Vinegar is a perfectly satisfactory rinse aid. The only downside it costs less, and the steam will smell funny if you open the door too soon.
> I’ve never met a single boot camp person, and absolutely zero staff engineers are boot camp grads that I know of, unless they scrubbed it from their LinkedIn and never talk about it.

This comment has the same energy as the person I once worked with who told me (a lesbian) with total confidence that they'd never met a gay person before. Just because you aren't aware doesn't mean it's not happening all around you.

It's very common for graduates to not talk about it, precisely because of the attitudes you see in these comments. It's easily left off LinkedIn because the experience only lasts a few months. And after you've had some success at the first job, it's not relevant anyway.

How many people do you know in the industry without CS degrees? A lot of those folks came in through bootcamps, whether they cop to it or not.

I considered it a shameful secret for years, and it's only now as I approach my tenth anniversary in the industry that I've become more open about it -- I'm confident my work now speaks for itself.
They weren't even happy with my verification using a live selfie with my passport (i.e. by live video camera stream). I think they didn't like that I ran my dedicated server for about 6 hours and then shut it down.

I was testing software for the upcoming macOS Ventura release, and I only needed 6 hours of initial usage, and then 6 further hours a few weeks later (when a new developer beta dropped) but they closed down my account on the second day.

AWS had no trouble taking my money, so with some finagling I was able to use them instead: https://github.com/thenickdude/proxmox-on-ec2
> It's hard to explain that, no, I will not give them a raise to match what we're paying people with 5+ years of experience after their bootcamp promised them $200K comp after a couple years in the industry.

I dunno, I think what you have right there is pretty good explanation wise, haha.
Sideloading is the most important feature of any SmartPhone
I wonder if the sanitize button on a residential unit is good enough. (The machines in the article are pressurized, but that is a new technology. The GP post’s machines were probably older.)
I get where you're coming from but, just as example, leather has its own set of issues.

Trying to avoid this stuff is a bit like Night of the Living Dead -- it's everywhere.
> AMA.

Were you aware of YC before attending Lambda (ie, did the association lend credibility to Lambda) or did you find YC after attending?
Why weren't lambda grads able to get good jobs? I think that was the main controversy. Was it the instruction or what went wrong there?
Well I'm not a woman, so I don't have direct experience. But I think that young girls, for example, are frequently told in school and at home that they can be anything they want, doctors, lawyers, scientists, etc. and that is great, but I think very little is said about being a mother and their biological clock and the tradeoffs that entails, or if it is addressed it is sort of glossed over with a "you can have it all" message.

So girls grow up with a career-oriented mindset, and don't do any careful thinking about what they want, or think about kids/family as something they will do "later" or "when I'm ready" and before they know it they find themselves at 35 years old and unable to get pregnant.
Seems to me you managed to post this on a highly moderated web site.

If this web sites allowed flame wars would we all be better informed on this topic?
I thought protection rackets were illegal? 30% is insane.
That's the core issue. Are schools public goods or private goods? Considering property taxes as user fees or de facto tuition definitely falls on the private goods side.
> A bad workman blames his tools, because workmen are reponsible for their tools. A large part of being a good workman is identifying what tools are good and using them.

As I said in the comment to which you are responding, "selecting the correct tool for a job is more important than figuring out which tool is better in some abstract way."

> C++ is a terrible tool for any task where you are not forced to use it

Many game developers, OS developers, and massive hardware-software makers doing embedded programming who use C++ would disagree. What would you say to them?

> If you need fast and efficient code, why on earth would you be doing OOP?

For small projects, I could agree. What would your recommended alternative be for massive codebases in large tech companies that need fast and efficient code?

P.S. Please read https://news.ycombinator.com/newsguidelines.html about snarky comments. Thanks.