skysight-inc/HackerNews huggingface dataset:
It's hardly a secret knock. Both the linked help article and the system help both tell you step by step what to do and I don't have an app handy to trigger the dialog, but last I looked the dialog while it didn't give you the steps there has a link directly to the system help with the instructions.
DeFi auditor nets $40k for identifying Uniswap vulnerability
I can’t wait to be able to buy these things used
People have trouble dealing with hunger because we frame it all wrong in the western convention. I'm hungry, I should eat a little something, is what most people think. An ascetic from the east who fasts is not immune to the pain of hunger, they just understand that hunger is a sensation that is neither good nor bad, and what they choose to do with that sensation is up to them, and they are not bound to it and do not have to satiate it right then.

I imagine if a prescribed diet from a doctor also came with mental health counseling, that overcoming the satiation issue could be a lot easier for more people. It really is a frame of mind issue that prevents most peoples weight loss from being more successful.
This application screams for diesel hydraulic hybrids.
> The run queue (high load) issue seems the kind of thing that could be an issue with the client kernel

Under Linux, a high load roughly tells you that the system is bottlenecked on something, where that something isn't necessarily CPU cycles. If your system is bottlenecked on pending NFS requests, the load will be high, and that's not the result of any kernel shortcomings (unless one blames blocking file I/O on the difficulty of correct use of exposed async/non-blocking file I/O syscalls).

The high load average is a matter of accounting[0]. Under Linux, tasks (threads) in I/O wait are considered runnable, although they're not scheduled for CPU time. Other OSes (e.g. most Unix descendants, probably WinNT) make other accounting decisions, but either way, tasks blocked on I/O don't affect CPU-bound tasks. The Linux manner of load accounting isn't what I would have implemented at first, but if you're going to collapse system load into a single metric, then it seems best to include blocked tasks. If you've got high load, then it's time to dig deeper into more nuanced metrics anyway, so in retrospect, I agree with Linux's more holistic load accounting.

[0] https://en.wikipedia.org/wiki/Load_(computing)#Unix-style_lo...
I rarely use my phone for internet access, except in emergency or necessity, which is very rare. I have good taste. And have a very good bullshit filter. And no social media accounts, unless HN counts.

Plus adblocking.
This is a bit of a PITA for me as most people use AHK to handle shortcuts for komorebi[1], which led to me generating an AHK library[2] to help people write their configs. Turns out every single line of that generated library (not to mention the entire sample config for newcomers) is now invalid syntax in v2.

I'm taking a month off from development while I'm traveling, maybe I'll feel less salty about this when I get back.

The biggest issue right now is that the Run and RunWait commands require strings for the commands to be executed, and AHK v2 has absolutely garbage support for string interpolation.

Honestly I'm not sure if I'll continue supporting AHK or just develop my own sxhkd (swhkd?) and recommend that for users going forward.

[1]: https://github.com/LGUG2Z/komorebi

[2]: https://github.com/LGUG2Z/komorebi/blob/master/komorebic.lib...
The compiler does analyse the entire codebase and creates a a copy of the function for every type you use the generic with. This is why Rust compiles libraries with your binary rather than using precompiled ones like you would in C.
We could absolutely decimate the Intuit by introducing free Pepsi coolers in every home.
I don't think the issue is whether current LLMs have sufficient data, but whether they will be able to use it sufficiently well to make an improvement.

The question you posed GPT-3 here is a rather leading one, unlikely to be asked except by an entity knowing that the version makes a significant difference in this context, and I am wondering how you envisage this being integrated into Bing.

One way I can imagine is that if the user's query specified a python version, a response like that given by GPT-3 in this case might be used in ranking the candidate replies for relevance: reject it if the user asked about python 2, promote it if python 3 was asked for.

Another way I can imagine for Bing integration is that perhaps the LLM can be prompted with something like "what are the relevant issues in answering <this question> accurately?" in order to interact with the user to strengthen the query.

In either case, Bing's response to the user's query would be a link to some 3rd-party work rather than an answer created by the LLM, so that would answer my biggest concern over being able to check its veracity, though its usefulness would depend on the quality of the LLM's reply to its prompts.

On the other hand, the article says "Microsoft is betting that the more conversational and contextual replies to users’ queries will win over search users by supplying better-quality answers beyond links", apparently saying that they envision giving the user a response created by the LLM, which brings the question of verifiability back to center stage. Did you have some other form of Bing-LLM interaction in mind?
Companies have leverage due to size that individuals do not. Private insurance for worse coverage than I have now (and mine is good) is almost 2x what I and my employer pay.
How many times do you check HN each day instead of doing work?
Illegal immigration from India to US rose in last 2 months, doubled in 2022
No, try the potato only diet and see what happens.
Currently, you need to SSH in and use the sqlite3 CLI on the server. There has been some work in this area but it's all still rough around the edges. I wrote a server called Postlite[1] that exposes remote SQLite databases over the Postgres wire protocol but it's very alpha. :)

I'd love to see more work in this area. Ricardo Ander-Egg wrote a remote management tool called litexplore[2] that connects over SSH to the SQLite CLI behind the scenes. I haven't used it but I think there's a lot of potential with that approach.

[1]: https://github.com/benbjohnson/postlite

[2]: https://github.com/litements/litexplore
Yeah NYC really needs to get rid of the garbage trucks. Or figure out something. Garbage is becoming a problem for the city.
Yeah, I use https://github.com/nvm-sh/nvm
It's discussed elsewhere in the thread, but overehead wires seem appealing:

* They solve the power availability problem

* They reduce the need for batteries, reducing cost and waste from manufacturing and disposal.

* They could be used for electrifying other vehicles like buses

* Their ROI seems especially high in dense cities, especially NY: One overhead wire serves all the traffic on the road below. Plus, dense cities like NY already have infrastructure citywide, and experience servicing it.

* What if we could provide power to electric cars in NYC. That could be transformative. I don't know that electric wires would be the best form for that, or how it could be done (is there a safe way to embed something in the ground?).

* Some point out that the garbage trucks need to cover almost every street in the city. The power supply doesn't have to do that; it only has to be available enough to charge the vehicles sufficietly to plow/pickup on the side street and return to the main road.
Thank you! This was my conclusion as well: there's an effect, it's small, and was probably much larger 30 years ago.

I also only have the oil changed every 10K miles which horrifies my friends.
No, ChatGPT doesn't know it's own sources. It's just a trained model. Once the model has been created it's fixed - it can be recreated unlimited times, but it will never tell you the sources for it's output.

Maybe if the network nodes have a source attached to them...

But thinking out loud...

That's not how the number-tokens work. It's at a word level... so "a list of us presidents" is broken down into individual number-tokens for each word, and you can't provide a source for each word.

---

I'm not sure how you combine Google and ChatGPT.

Chat is creative/combinatorial and Google is "just the facts".

ChatGPT and Google are going to have problems going forward. How do both of them determine if the information they find on the internet is from a meat-brain and not a metal-brain.

Happy to be proven wrong.
Who’s the target audience for this? Businesses only? I don’t see consumers plopping down $3k for this in the mass numbers that would matter to Apple’s bottom line.
So do quite a few medical advances. "Cure any infection with this moldy bread!" "Don't want polio? Inject some polio!"
Blink is like a Tesla sports car whereas Qemu is like a locomotive. I think what may be happening, is Qemu has a lot of heavy hitting optimizations that benefit long-running compute intensive programs. But if you just want to run an big program like GCC ephemerally as part of your build system, the cost of the the locomotive gaining speed doesn't pay off, since there's nothing to amortize over.
Blink's JIT also accelerates quickly because it uses a printf-style DSL and it doesn't relocate. The tradeoff is that JIT path construction sometimes fails and needs to be retried.

Another great example of this tinier is better phenomenom, would be v8 vs. quickjs. Fabrice Bellard singlehandedly wrote a JavaScript interpreter that runs the Test262 suite something like 20x faster Google's flagship V8 software, because once again, tests are ephemeral. It's amazing how much quicker QuickJS is. But if you wanted to do something like write a JS MPEG decoder to show television advertisements without a <video> tag then v8 is going to be faster, since it's a locomotive.

Fabrice Bellard wrote Qemu too. But I suspect his Tiny Code Generator has gotten a lot heftier over the years as so many people everywhere contributed to it. I really want to examine his original source code, since I'd imagine what he originally did probably looked a lot more like Blink than it looks like modern Qemu.
It makes more sense to point to the fact that we have a far more calorie dense meal palette and a far less active lifestyle.
Just had a thought - I’d imagine more people are scammed by “You have 3 viruses on computer” pop-ups than would be better off with a visible warning from macOS for background detections.

Perhaps apple made the (reasonable) decision to not alert people to background detection/remediations so as to not get users used to such alerts?
CheckSignatureFrom is a low-level API that can't check anything about the path (including more important constraints such as nested EKUs and Name Constraints) because it can only see the immediate parent.

The high-level certificate verification API is Verify, which does check all of the above, see https://pkg.go.dev/crypto/x509#TooManyIntermediates.

We should probably add a line to the docs, to avoid users getting confused like this, but I haven't seen misused in the wild.

(I also disagree that maxPathLen does anything about raw key abuse, since once you have the key of an intermediate you can issue leaves arbitrarily, without needing to issue another intermediate, but that's besides the point.)
For what it's worth, I'm responding to this:

There was a recent flurry of buffer overflows in SHA3
implementations. I'm aware of at least PHP being affected.

Wanting Ed448 for political reasons, or purely for psychological
comfort reasons, is a perfectly understandable stance to take as a
non-expert.

Unfortunately, the details that experts are privy to matter a ton, and
severely outweigh any notions of having eggs in multiple
baskets. We're open to having our risk calculus checked, but we're
nearly unanimous on this one.

Who's "we" here? I think Filippo has a mainstream take on the 448 curves, but I don't know that your take on SHA3 is widely shared.
"Pumping entropy out of a system" to me means keeping the system more orderly. To drive such processes, you have to increase entropy elsewhere, which is also known as using energy.
I can’t imagine anyone buying a $3000 headset for “videoconferencing” as the killer feature.

Would Apple build a VR headset & new operating system just to position it similarly to the Pro Display XDR? Because that’s what these rumors sound like - a super high end hardware for a very narrow professional market. I think the rumors must be getting at least one or two key elements very wrong because the overall picture doesn’t make much sense.

Perhaps the rumors conflate an Apple VR Headset - Mass Market ($5XX) with an Apple VR Headset - Developer Kit ($3000)?

On the subject of the belt battery pack, The Information reported that earlier prototypes used a power-tool LiIon battery at the waist; maybe this is incorrect holdover and we don’t see a production device that works that way?
You can attach multiple dbs and join across them and it works very well. The default limit is ten and I think the max is a hundred so there's definitely a limit. But if you really needed to do more I can think of some workarounds.
Fed officials see higher rates for ‘some time’ ahead
There are others; https://en.wikipedia.org/wiki/Topiramate is one. Nowhere near as effective, though.
Thanks for clarifying. And thanks for the article, it was a great read!
It's the timing. For the sake of the argument here I'll give Salesforce the benefit of the doubt that this is the "Smart" thing to do.

If Salesforce does a reduction in force when the economy is strong it get spun by Wall Street as a sign of weakness and their stock takes a hit.

Do it in a down economy and it's a sign of strength and Wall Street rewards them (stock is up 3% today).

Salesforce did fine through COVID, heck the stock price basically doubled from 2020 to 2021. So they hire like crazy knowing it's unsustainable. Now their stock is at pre-pandemic prices and they start letting all those folks go when they're most vulnerable.
> ... there's zero reason to believe that they're substantially unhealthy unless consumed to the point of sustained caloric surplus. We know this ...

Disagree.

> who consume 50% of their diets in sugar (e.g. the Hadza)

"Their diet is made up almost exclusively of food that they forage on the forest and includes fiber rich and highly nutritious berries, bananas and honey while any meat they eat is hunted and caught wild." (https://healthyfocus.org/the-hadza-diet-and-the-key-to-a-hea...)

They don't eat sugar. Fruits & vegetables with lots of fiber, wild game. Nothing like westerners diet ... so not really comparable, imho.

"... the Inuit's bodies have adapted to better handle the process of gluconeogenesis, in which the body turns fat and protein into useable glucose. The Inuit have larger livers and a larger volume of urine than the average human, which helps their bodies to process the byproducts of their diet." (https://oureverydaylife.com/486115-the-inuit-diet.html)

Also ... not applicable to a typical westerner.

> The problem is not the food. The problem is obesity.

The food is the problem.

Eat whole foods, mostly plants, minumum fats & sugar, and obesity is problem no more.

> the development of GLP-1 agonists has maybe cost $20 billion

What's the total cost of obesity? The cost of diabetes ? It is an enormous waste of resources.
But I was thinking of HTML renderer...
Most people's complaints stem from assuming their local schools implementation of common core, and who they purchased the teaching materials from === "Common Core"

There are some SERIOUSLY garbage work books available for common core curricula. Some of them are obviously trying to touch on the understand that common core is trying to push, but seemingly written by someone who never understood that concept themselves, so they are basically nonsense word salad.

I remember when I was a kid, our state pushed a different direction in math education about helping students understand how to turn situations and problems into a mathematical equation to solve. Local parents decried the situation as "New Math" (importantly this stuff was distinct from the actual 70s era "New Math"), and that it was terrible and blah blah blah the same thing that happens any time you have poorly educated parents struggling to understand their children's educational material.

Of course, we children did absurdly well in education terms, literally a stand-out class of students in terms of educational outcomes, maturity, flexibility, and standardized test scores. Unfortunately it would be difficult to tell what the heck caused the improvement because there were MANY weird things to happen to my class (we were called the "Guinea pig class", we had second language schooling from first grade, our middle school scheduling was changed up to give us more specialized teachers and more classroom variety, and we always got brand new curricula to test out, along with just plain notable demographic changes happening in the area at the time)
Show HN: An app that builds stronger employment contracts
I made this app that helps employers make more enforceable employment contracts. Our MVP is for Ontario, Canada only, but we want to expand to the States if we validate Ontario first.
We here is people who don't advise using Ed448. It's tautology.

You don't have to agree with the specific reason I cited. That isn't encapsulated by "we". I was providing an additional argument in case the mainstream take isn't sufficient.

You cut the "To add to what Filippo said" part out of the excerpt you quoted, which was the necessary context to understand I was making an additional, supplementary argument.
They are also a maintenance headache, especially in icy conditions.
Its an article about weight loss and that plays into body image which is a huge mental health issue. People purging themselves need a psychologist, not a biologist, and I'm sure a number of people affected with bulimia will be buying this drug.
>yet have never produced any credible evidence other than a single bogus «ls -l /bin/bash» ages ago

Wait WHAT? I strongly suspect you're confusing me with somebody else I am not.

Please use `size` from binutils, if you're trying to compare code size of binaries.
To add weight to the merits of on demand learning, on the Tim Ferris pod cast, Martine Rothblatt describes how she was able to learn enough to start her own pharmaceutical company to save her daughters life using what sounds like an on demand learning approach. She was also a very well established engineer in unrelated fields, but this was truly inspiring nonetheless, and showed me that you don't need formal education to make a huge impact. https://tim.blog/2020/12/17/martine-rothblatt-transcript/
They work for buses because buses follow set routes. There aren't overhead lines running through every single street. By comparison, garbage trucks do have to patrol essentially every street. Putting overhead lines through every street may be more expensive than batteries.
Gets into fun tradeoff questions of "Would you live an extra 20 years but have diarrhea every day"
Trans fats are indeed unhealthy, but 1) it's been nearly a decade since they were basically removed from fast food, and 2) they don't contribute to obesity.

As for HFCS, there's basically zero evidence that they're a major contributor to obesity versus other types of sugar. (In fact, honey consumed by the Hazda has almost the same balance as sugar as HFCS). We have multiple points of evidence to counteract this. 1) Mexico uses substantially less HFCS compared to other types of sugar, but Mexican obesity rates are as high as the US. 2) HFCS, and sugar in general, consumption has declined over the past 20 years. Yet obesity continues to increase. 3) HFCS was widely consumed in the 1980s, when the obesity rate was de minims.
This one is also amazing. So clean..
https://youtu.be/tW_8iwB96BQ
Is it actually 2x faster or 2x faster at starting up? QEMU does so much stuff, running cc1 on hello world isn't really a stress of the interpreter IMO as much as all the crap that goes around it.
KVM allows you to run guests directly on the CPU and has native performance
Wouldn't the star itself be the closed system? Any lifeforms within it are free to reduce their own entropy so long as they increase entropy within the system.
Is there any good literature discussing the rise of server malware? It seems to me it's much more common now and PC malware (regardless of OS) is more rare.
Another way to look at it is to take your current job and make it "yours".

If you hate politics, don't play them.

If you hate ambiguity, create clarity.

If you hate people stuff, leave it to people managers.

You can be a successful PM and focus more on the creative sides, but only you will be able to do that. Most people just do the job as their managers think it should be done, and that's super fixed minded. Create your own definition of what a PM could be capable of doing that matches your intuition.

Otherwise just look to pivot to a IC coding role as PMs do this all the time and vice-versa.
To your second point, I would disagree that we learn maths that we may likely never directly use not because of historical fascination, but because progressively expanding student's mathematical knowledge serves the purpose of meta-learning, learning to learn.

As to your question I've touched on a little for manipulation of some of the classic equations in ecology and population biology, growth curves, population growth, etc. Barely needed to crack an introductory textbook to do it though. Had I learned real calculus and maybe differential equations there is some really interesting modelling I'd be able to do in this space, but instead I'm stuck seeing the diffuse shadow of the idea on the wall of Plato's cave. That's not a wistful lament though because to your point, time spent boning up on linear algebra instead of calculus would provide at least an order of magnitude more utility for my work.
I think this is a user mode emulator, so qemu with kvm isn't a great comparison.
I think that toxin exposure - unavoidable in the modern world - is likely the biggest culprit here. There are plenty of ideas about which toxins are causing the problem, but there are so many that it would be nigh on impossible to regulate them all out of the environment.
Wasn't this promoted from the very top? Marc Benioff's fetishization of Hawaiian culture and the whole Ohana thing. They only slowed down with it a few years ago. But they were always awkwardly promoting a prosocial conscious image.

https://www.thedailybeast.com/salesforce-is-ditching-its-awk...
I’m the author.
I wasn't expecting for this to spark such an interesting conversation, but I’m very glad it did.

Thank you all for the thoughtful and eloquent comments.