skysight-inc/HackerNews huggingface dataset:
I've thought of this before, and it makes a lot of sense! Sometimes one can write a seemingly "correct" proof, but there may be gaps in the argument that isn't obvious until someone else looks at it. Heck, even professional mathematicians get it wrong sometimes.

Another thought I've had to help solve this issue is to supplement learning mathematics with formal methods. Using something like Lean, one may make a mathematical argument that is truly airtight and the student may feel at ease knowing their understanding of a proof is complete. This could be the feedback loop that you mentioned.
It's not us, it's them.

They want our money but can't figure out how to share between them to get it, so they don't and they reap what they sow.

I predict a renaissance in torrents.
https://news.ycombinator.com/item?id=36043312

https://news.ycombinator.com/item?id=34518175
> “hone in” for “home in.”

That's for people that have never used a straight razor.
Oh neat. I have a thermador star burner gas range that makes a wonderful five point star shape oil pattern on a cast iron using a similar technique. I can produce this effect by applying a very thin sheen of high smoke oil point at high heat.

No idea if that’s better for cooking than concentric rings, but it looks really cool.
An unsuspected (to me!) place for good kid friendly games, free of ads and in-app purchases or other predatory patterns, is Apple Arcade on iPad.

My 5 y/o is having great fun with the Crayola app and Cooking Mama, and, honestly, between each round, I'm waiting for an ad to pop, a nag screen to pay for stuff or review, a countdown or some other crap we're accustomed to on mobile games and no. Nothing. Just the full game and nothing else. It's a refreshing experience.
It's the norm in commercial aviation for prices to vary according to order size and timing, delivery slots and whether the buyer is an airline or a leasing company
(i.e. Boeing publishes a "sticker price" but its customers don't actually pay it)

In this case, you've got the added complication the aircraft is still a work in progress, and so what's actually negotiated is likely to depend heavily on timing of payments and cancellation clauses.

I am curious about whether the pricing ballpark is in the "new turboprop" or the "operating economics make it cost-effective to replace ancient piston operated aircraft in a relatively short timescale" range though. That could be a big deal for some low-use routes and in markets like Indonesia and the Philippines.
A much darker problem is that people disagree to extraordinary extents as to what counts as "wrongdoing".
"Wheels are trivial but useless without bearings."

Carts, chariots, and wheelbarrows (to name but a few examples) have been useful for thousands of years without bearings.
"Walk a mile in someone else's shoes"

I suggest you try being a landlord before proclaiming judgement, even as a thought experiment. Find a property you might purchase (with a mortgage) to rent out. Calculate the cost/liability. Look up the renting laws in your area. Look up the market price for renting. Look up maintenance costs and schedules. Estimate time spent interviewing, handling paperwork and accounting, scheduling maintenance. Calculate net profit.
What's new about generative AI in a business context?
I highly recommend reading Blind Descent for the armchair caver.
Microsoft Edge for Business
Clear doesn't let you skip security. It basically just allows you to cut to the front of the line for a fee. You still have to go through the x-ray machines, etc.

TSA Pre actually does reduce security requirements (e.g. you can keep your shoes on...) in exchange for, I've always assumed, a mini-background check when you apply for the program.
Ben & Jerry’s has a very unique origin story. Very Vermont and Bernie Sanders was the governor during part of the wild growth.

When they IPOed the first stock offering were made available exclusively for vermont residents.

I think there is a lot more freedom in the corporate world but very little original thought.
Maybe snaps have improved in performance since I last tried them.

My first awareness of snaps came when I tried to load the calculator app in 18.04 I think. I couldn't understand why it took so long for such a simple app to start. I thought there was a serious problem on my machine.

After spending some hours, I realised this was due to snap.

EDIT: I now regard snap as a serious problem on my machine!
I too found it perplexing, and agree it's the right thing to call it out. As you and hu3 noticed, the methodology and continually spamming the same old posts and websites when the language is mentioned is consistent. When looked at as a whole, it comes across as an continual effort by certain parties (and wherever or whenever possible), to bully others for having different preferences or paint a very misleading and negative picture about Vlang (V-lang) for their benefit or purposes.

It's odd how obvious slanderous remarks and insults directed at developers (like grifter), in addition to provably false statements (like vaporware) are being pushed about the project (like language is unusable), don't seem to get removed. Somehow, that gets left up. Not just here, but other threads too.

Yet, attempts to directly refute or at least push back on the barrage of misinformation about a clearly popular GitHub project get flagged, downvoted, or removed. Don't think that would at all be tolerated if such was done to other open source developers and languages, nor for as long (many years).
It isn't right nor is it fair.
This is propaganda and you don't even know it... People get silenced in the US every day because they have a different opinions on current events, for example the US proxy war with Russia.

I always noticed when certain amount of decades pass it's okay to say certain things, like "Allende was assassinated by the CIA", but back then you'd get persecuted to even mention that.

Yes, when it doesn't matter you can say whatever you want, god bless the USA... Because of opinions like yours is that America is the empire who gets the "Okay" to be the police of the world, and it's terrible at that.
We have different perspectives, you regard Tesla as an automotive company only, I regard it as much more. Time will tell. Even if it doesn't pan out I've only have a small percentage of my total net worth in it so it won't hurt much financially. It will just take an extra decade to FIRE.
I used to be in game development industry before I bailed for (much) better salary in tech. I'll probably start scratching that itch full-time by forming a small indie operation. Also be there to see my children actually grow up =)
It's almost like it's an unimportant distinction for normal speech and that the spoken language is moving on, as it inevitably does.
> I'm not sure the need for it follows from it being public domain?

There's something specific about the public domain that in many places, you can't just decide to release something in the public domain. I guess that's why they actually accept contribution but require an affidavit dedicating the contribution into the public domain. IIUC an affidavit specifically needs to be witnessed by taker of oaths, which probably ensures that the work can indeed be put in public domain.

Not sure it's the whole story, or even the main reason, or the correct analyze, though.
Unless you're in florida and you get run over by a car: https://www.vanityfair.com/news/2021/04/ron-desantis-anti-ri...

There are protest everywhere, west or east, don't be ignorant.
Fixing this issue is basically 90% of my day job, I'll try to summarize the issue:

- The way wordpress theme "templating" (i.e., raw PHP) works it makes very difficult to get a complete overview of the layout issues arising from a full layout even without taking into consideration plugins and extras;

- jquery is the defacto JS framework of wordpress. Until a few weeks ago, it was included without minification. there are also a bunch of compatibility shims that are shipped with wordpress and it's somewhat common for a plugin to enable and include them even if they're not needed.

- You have basically no guarantees on which javascript libraries versions are available at runtime, so plugins tend to include every dependency you need. there's a somewhat primitive redundacy check for common libraries like jquery, but it's very inconsistent.

- It's very common for a stock wordpress theme to use the Bootstrap framework. It's usually the whole package + extras, going for roughly 300kb compressed.

- Wordpress makes heavy usage of url rewriting and aliasing internally for image and url resolution. One wrong setting in nginx or apache and any GET request could stall your web server for half a second or more.

- DB Access is extremely slow due to some architectural choices. If your website is relatively static a decent caching plugin can help but it becomes useless if your content changes very frequently.

- Due to the way classic themes work it's basically impossible in a normal setup to generate a critical CSS path for frequently accessed or above-the-fold resources. The new "Block Themes" philosophy should somewhat fix the issue once they're more commonly available.

- I know I'm sorta generalizing but... the general attitude around the WP developer scene outside the core devs is to prefer the "quick and dirty solutions" over something more organized, so there's very little, if any, attention to performance details. There's quite a lot of inertia into using relatively modern (anything past 2010, really) development paradigms and philosophies. The stereotypical WP dev I've met has learned the basics of PHP in 2006, decided it was good enough, and never really improved from that.
And yet goroutines share the same address space, don’t have a good way for the parent to wait for them and even panic silently.

There’s a reason many projects ban the go keyword in favour of a wrapper that fixes some of this.

Go requires constant vigilance, sadly.
There's a lot of differences. For example, NATO doesn't force countries to join, and doesn't invade countries if they want to leave or join another alliance. See France.

In fact - previous instance of russian CIS - Warsaw Pact - was unique among military alliances in the fact that it only invaded its members (Hungary, Czechoslovakia, Afghanistan). It was a prison not a military alliance.

And in current CIS Russia sent army to Belarus to pacify million-strong protests against faked elections in 2020. And recently did the same in Kazakhstan.

The west isn't innocent. But it is infinitely better than the authoritarian alternative China, Russia, Iran and North Korea offer.
> In other words, being at college doesn't have much of anything to do with anything.

Being in college is associated with not having money for all luxuries and having to prioritize. Plenty of students will think about whether their Netflix account is worth it or perhaps they should invest some time into learning this "torrent" thing.
Amusingly, the original PEP-8 had "When writing English, Strunk and White apply" rather than "applies" (so treating "Strunk & White" as a plural). That subsequently corrected to "When writing English, follow Strunk and White".
Hmm, so the endgame would be the most strongly defined and strict language so LLMs can immediately see and fix mistakes, but automate the tedium of writing it by having them as an intermediary?
Yes, if it's regarding some unimportant foreign entity or just general inconsequential political banter.

Find a controversial topic (covid, January 6th protest, anything non-mainstream lgbt, ukraine, etc.), you get "censored" (in one way or another) in most social networks.

Actually have some real info? You get Epsteined. Or well, the Assange treatment just for reporting it.

But yeah, you can scream "Fuck <that politician>" at the wall, all you like, that's true.
Finland would like to hear from you. IMO the use case is not so different from Hawai'i.
> I have zero respect for these people. If you talk to them for just a few seconds it becomes readily apparent the root is just straight up racism, but they don't wanna own it overtly.

It also becomes readily apparent that they also want to be patted on the back and told that they're good and noble people for "protecting the community" from the scourge of undesirables potentially riding public transit near them.
This is not the result of Climate change. Yes, it's definitely not helping. This is the result of communities growing in places where it is just not realistic for them to do so. It's not like there's any shortage of places where these people could live without the situation getting this precarious ... just not right there.

But if global warming hadn't happened at all, there would only be a very small change in the conclusion of this study.

It seems to be extremely unpalatable for people to consider that there are some limits to scale, imposed by our environment.
And the same goes for rentees, especially with some of the covid exceptions that were put into place.
The car sales growth yes, hasn't happened but its more or less priced-in. But most Tesla long-term investors are much more excited about other things the company does.
> The real problem that author doesn’t call out is that at the end of the day, the people in charge don’t get hurt from these irresponsible boom and bust hiring practices. These companies knew the growth wouldn’t last, nothing lasts forever.

It's one thing for small companies (such as Peloton) - for them, "overhiring" or "overbuilding" can indeed be fatal.

But companies like Google, Microsoft, Facebook? They all were wildly profitable - there was no need to reduce headcount other than making beancounters and stock markets happy. They could have simply cut goose-chase projects and rerouted the staff towards stuff making money without letting a single person go.
Those are sold extra. Also it only has an Apple Socket™ by default, so you'll need a dongle to have it fit common outlets.
Instead of bashing new tech, he's using it to promote his products. Makes sense. If the other pundits had products that could benefit from this tide, they'd be doing the same, why not
Honestly, I think this is a wicked problem, in that it's impossible for us to know in advance what the right decision would have been. Was it foreseeable that the economy would be volatile post-pandemic? Yes. Was it guaranteed that it would mean layoffs? No.

In addition, what about the boom itself? What if you're cautious but, during that boom period, you get outcompeted in key areas as a result? This might put you in a worse situation during the bust phase than if you'd over-hired.

Hindsight is 20/20, so I prefer to avoid being judgemental over these types of decisions, while still holding people accountable to doing the right thing, even in tough times.
Yes. It's useful for the gender-not-specified case, and therefore has been taken up by nonbinary people.

There used to be widespread usage of "he/she" or similar in documentation that was trying to edit out the old assumption of using "he" everywhere to refer to "the user". That was always a bit clunky, and "they" reads better.

Almost everyone who used to use "neopronouns" has given up and settled for "they", as well.
The deck app has mobile apps. Or are you using something else?

https://github.com/nextcloud/deck#mobile-apps
The Big WinRAR lobby /s
You move towards becoming a manager, when you can't handle the work yourself despite working at a high capacity, and your ambition and your aspiration is much higher than what you alone can manage.

So, it is best to setup a vision, start taking on extra work, and aim for larger targets. In the process, you'll get more done, and you'll need people to help you with getting even more done.
> Luckily to prevent everybody interpreting sounds and glyphs as they wish, we -as a civilization- agreed to adhere to certain standards of how things would be interpreted.

Exactly. I'm for using definitions of words as they are commonly understood. The other definition relies on arbitrary conditions totally unrelated to the English meanings of the words being used.
Maybe because I'm from one of the countries that doesn't have school shootings, so everytime I see that shit on the news I think I sure am relieved I can send my kid to school and not have that particular anxiety hanging over me. It's just so senseless. It's less about the raw numbers and more about how bloody horrific such an event is for everyone involved.
> The only criminals on a bike that I'm aware of are bicycle thieves.

And, to be fair, it's only easy to identify them after it's too late.
Interesting.

As a very minor point, calling free(NULL) is well-defined and safe so there is no need for the if-statement in memory_close(). This is very clearly stated in the manual page [1] for instance:

If ptr is a null pointer, no action shall occur.

[1]: https://man7.org/linux/man-pages/man3/free.3p.html
Unable to get a bird eye of the connectome with those transformers.

Something is not right here.
If you're dependend on your status or looks to attract women, you're probably just really boring and unoriginal.
Hacking IP cams using ONVIF protocol
Is not more important, but we can preserve both at the same time.

And those gluing this hands to valuable old master paintings are still imbecile puppets, no matter the alleged reason to do it in their minds.
They Won't Play a Lady-O on Country Radio
GeoVisio: Self-hosted, open-source street view
My main point was that the overwhelming majority of tech job is pretty simple repetitive mostly web-dev stuff where companies and their engineering organizations don't care that much about quality.

In such an environments education doesn't really make much of a difference when you're gluing APIs together. The biggest difference between workers productivity really becomes just straight up dependent on focus and professionalism.

People that are too skilled and educated for the job often go lazy mode and do their tasks quickly and then mind their own business and their motivation goes to hell. It is very simple for bootcampers to be more productive just by being focused and professional. In the long run bootcampers also tend to learn more about the business and have a higher impact.

Point is, in most jobs your skills are in the long run secondary to your willingness to learn and do stuff. The fact that people have done tons of algo exercises or system design is quite irrelevant when your job is writing forms, lists or connecting services to databases. It's no rocket science.
CPG Grey, Which Planet is the Closest?: https://www.youtube.com/watch?v=SumDHcnCRuU
> People get silenced in the US every day because they have a different opinions on current events, for example the US proxy war with Russia.

Uh, sorry what? It was Russia that decided to invade a sovereign country for annexation. Not the other way around.

And of course everyone is free to disagree with your take. You are not being "silenced" or "canceled", you are being told your opinion is completely contrary to facts.
If you have ever used "GPT" (I guess they meant "ChatGPT") you know that's not true, the grammar and it's way too colloquial / lazy for it to be generated by it
So? Those requirements can be specified, holes inferred, and probably stuck to much more closely by a machine than man. If history's shown anything it's that if something takes a lot of mental effort for people it's probably an easy target for automation. The best developer is the one that doesn't get depressed when the requirements change for the 15th time in a month and just rewrites everything again at 2000x the speed of a human dev while costing basically nothing in comparison.

People say, "oh but clients will have to get good at listing specs, that'll never happen". Like bruh the clients will obviously be using LLMs to make the specs too. Eventually the whole B2B workflow will just be LLMs talking to each other or something of the sort.
Here you are tacitly expressing your opinion about “the proxy war”.

Hope you don’t get persecuted too hard.
There is certainly a difference in reaction though. There are people that cannot resist if you slap a percentage on something. It doesn't matter if they need it or the price is even good. There is something to save here and it is all that matters...

And it even affects people that should be adapt at math too.
Status and looks attract women, but your personality keeps them.
The design of current x86s is that multiple regions under 4GB boundary are occupied by I/O regions, some of them tied to processor (as APIC, HPET, etc.) and some to extension cards which reject working in 64-bit mode.

3.2GB is an example figure - it could be 3.5GB, 3.6GB... - but reflects that RAM can't be mapped at all of lower 4GB. Memory controllers typically remap part of it to a range upper than 4GB boundary, so 32-bit PAE-capable or 64-bit OS can still use it.

OTOH using 64-bit OS is recommended with RAM >=1.5GB because if OS can't map all RAM _twice_ and all device memory to virtual address space, tricks with memory banking (frequent page remapping) are getting needed to deal with data move.
Cry me a river, the same people who demand a long-term commitment from their employer will jump ship in an instant for 10k more after 6 months of employment. Companies are full of them.
More propaganda, listen to the other side... oh well it's banned everywhere.
Well yes, because what "wrongdoings" were exactly exposed with the full leaking of diplomatic cables for example?

https://en.m.wikipedia.org/wiki/United_States_diplomatic_cab...

It mostly just embarrassed the US foreign ministry. I mean as a german I can live with that, but I fail to see Assange as a hero in this instance.
What did they risk exactly?

A relatively tiny percentage of people have read this relatively obscure academic paper, an even smaller amount care, and probably none will stop using ChatGPT or investing in OpenAI because of it.

Meanwhile its performance on the bar exam made international headlines which millions if not bilions of people have read.

A lie is halfway across the world before the truth gets out of bed.
Yes but that was when they were focussed on growth pre-IPO. Now they're focussed on rinsing their customers to generate profits for dividends.

Nothing lasts forever.
No worries, yes it does look like quite a mean chip.

Though, please note that NV give their FLOPS as 'sparse flops' which is ~double the FLOPS the chips get for dense matmuls. This can trip you up when comparing numbers!
Most Kernel devs are Python devs.

You ship C code which is extensively tested by Python code.

Python is simple to use, got good C interop and the performance of your test frameworks hardly matters.
gabs [0].

It helps in dealing with dynamic JSONs of unknown structures.

I maintain my own fork of the library (just a single file) for my DSL/lang parser project [1]

[0]: https://github.com/Jeffail/gabs

[1]: https://github.com/HexmosTech/Lama2
The stitching of the mice together is by far worse than anything else I've read in this thread.

One of the worst things I've read in a while, in fact.
That's what it is, but okay, I'll probably get banned here for saying that anyways :), the free world woo!
TL;DR it’s Mercury

The article describes a novel mathematical formula for calculating the average distance between planets orbiting the same star. Using this method (and confirming with computer simulations), the authors determine that Mercury, not Venus, is the closest planet, on average, to Earth.

It’s actually the average closest for all the planets! However it does not really go into the orbital mechanics to offer any intuitive explanation of this surprising result.
Everyone laughs at an empty factory and a warehouse full of products that won't sell.

However the damage from two factories that didn't get built and an empty warehouse that can't deliver more product can be even larger, even though it's usually hidden to outsiders.