skysight-inc/HackerNews huggingface dataset:
I’m curios as to why you think the hype isn’t warranted. If you go through my history (you don’t have too I’ll sum it up), you’ll see that I’m not impressed by the capabilities of LLM to actually do my work. Not for a lack of trying, but because ChatGPT simply tells too many lies. We’ve yet to get it to really do anything that wasn’t fairly basic, or solved a billion times on the internet anyway. Similarly we’ve stopped using co-pilot because it takes too much time to make it go away when it’s being bad to make up for the good it does.

Or to put it differently in SWE the LLM seem very bad at building things. What they are good at, however, is helping us build things. I’m not sure I’ll ever need to write JSDoc again on anything that isn’t too sensitive to share. Which is a significant efficiency and quality improvement on the work I do. I think of them as Swagger generators, but instead of being for an OpenAPI standard they are for everything. I imagine they’ll become very good at automating testing as another example, which will again be a further improvement on the work a single developer does.

In terms management might understand. I think you can view LLMs similarity to the way we’ve seen frameworks and tooling reduce the team size needed to build an application significantly over the previous 30 years. If you wanted to build a web-portal for asset management in 1999 you’d need a large team to do what a single developer and a good PO can do today. Maybe we won’t see the same reduction manpower, but instead an increase in quality.
So, LLMs aligned with the interests of our corporate overlords and that nebulous "national security" thing that somehow always translates to more surveillance and less due process?
Depends on your definition of non-trivial and reasonably convex.

After playing with the tiles a little bit it seems to me that placing 4 (maybe even 3) hats on top of each other is one such configuration. You can place 1-2 more tiles on each side, but you quickly endup with state where the dead end is obvious.
Macros aren't the only thing that make wxWidgets like MFC. Things like using new but not delete on objects. The method and event names. The use of DCs in paint events. Etc.
It's not clear that _every_ problem has a solution.

NP=P? There are many other famous math problems. No one found solutions yet and it is also unclear whether one is able to find a solution. And it's unclear if there is even a solution.
Everyone seems to be pretty ok with those guys just kinda chillin around them. I think the weather would be higher on my list of things to be afraid of in Australia
Out of curiosity, did you register as an individual? And if so, do recall how much the course cost you? His courses seem very interesting.
If you look at my post history, you will see a lot of angry posts about Teams and other Microsoft products, but after reading this I'm probably going to take it easier on them.

Legitimately turned me around on them, thanks for sharing.
Is it possible to view the lectures online?
Are agents not just a natural extension of ChatGPT as a product with chat being a universal language interface for the plugins which connect to tools and skills?
Interesting! I tend to use gron to bring JSON into (and out of) the line-based bailiwick of sed and awk where I'm most comfortable, rather than a custom query language like jq that I'd use much more rarely. But I guess that's at the opposite extreme of (in)efficiency than both this and the original jq.

There might be a nice 'edit just this path in-place in gron-style' recipe to be had out of jj/jq + gron together...
Not only it is available, but people have been fine-tuning LLaMA using GPT-4 outputs and training data generated by it for a while now; that's why you see models with names like gpt4-x-alpaca on HuggingFace.
LightGPT-Instruct-6B Model
They put "stealing" in scare quotes, so it's probably not worth getting fired up about.
Can't edit the parent comment.

2. Hypothesis. The set of all functions that form the basis of intelligence is computable and all members of this set are computable functions
I refer you to Mark-Jason Dominus's original explanation of what X and Y had to be. It got renamed "XY Problem" after the fact, and that name didn't take off for a long time, really not until Stack Overflow appeared and became popular, well over a decade after MJD posted about this and well after many of us had for that time not been calling it this on volunteer-support mailing lists and Usenet newsgroups.

* https://jdebp.uk/FGA/put-down-the-chocolate-covered-banana.h...
You're missing the point. Many places won't be able to grow food anymore, not in sufficient quantities.

It's irrelevant if Ukraine produces 20% extra if other countries can't make enough food. You can't always assume international trade is there or that poor countries, especially, can afford it.
There are dozens of us! Dozens!

Rocking the 2.5G service, but occasionally getting up to 2.7 if they're feeling nice. Do wish that they would get IPv6 rolled out already.

https://shx.nyoom.io/2023/05/r6ro6SZtV3.png
When I have an open-ended problem without an obvious solution, I often start by systematically questioning all of my assumptions. Why do I believe something is true? We often smuggle in beliefs about the problem that are of questionable provenance or are not actually true on careful inspection.

I find that this kind of first principles approach gives me a much better understanding of the nature of the problem. I may still not know how to solve it but it usually gives me insight into how to attack it most effectively.
In my org there are a few persons who really like to link to this site.

It often comes of as condescending. Like, “are you sure you really know what you’re doing?”.

In their case, it’s also a giveaway that they are not good at seeing things from someone else’s perspective. Because if they were, they could approach the question in a much more constructive and graceful manner.
You will enjoy "Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations". It prompts LLM to generate tree of explanations and run MAX-SAT solver over it: https://arxiv.org/abs/2205.11822
How will we know if it is actually worrying, or if it's just regurgitating our own worries like a VHS tape of the famous Bladerunner or Hamlet soliloquies?

When it can provide its own answer, it will have already been smart for a long time.
Sadly, in countries where no Tesla dealerships exist, it's next to impossible to buy unless you have truly unlimited budget. Model Y is in the same effective price range as Bentley: pay $100K in cash then pay $20K for each service or repair (because car has to be shipped 500 miles away on a boat and serviced there, takes 2 months and $20K). And you keep driving your Bentley in the meantime :)

That's situation here in Cyprus, thus in spite of a lot of people with money willing to buy, only 0.8% of cars sold are electric vs ~20% in poorer countries that do have Tesla dealerships. Because when Tesla is there, everyone else tries hard to sell their electrics too.
Deploy Serverless Generative AI on AWS Lambda with OpenLLaMa
For something with more capabilities, check out https://github.com/Significant-Gravitas/Auto-GPT

I recently used it to have it find a source of data and scrape it as a test, and it works. Took only 30 min or so.

Could have done it in under 5 min by myself, but taking 20s to write the prompt is still faster than spending the 5 min doing it myself
Writing it in natively compiled language would produce a lean product - Rust, Go, etc.

... Java?

You can natively compile Java these days.
You say that, meanwhile just yesterday we had someone drive-by to tell us a 2021 Honda uses computing technology from 2012[1].

So pardon me if I lend more credence to the notion that tech companies outstrip car companies when it comes to technology.

[1]: https://news.ycombinator.com/item?id=36052753
It's incredible how HP is destroying its brand. At this point I will never buy an HP printer again, not just because of the terrible practices, but (mostly) because of uncertainty: I definitely do not need printer drama in my life.
> You need to enable JavaScript to run this app.

What app? Why don’t folks do the bare minimum in their <noscript> elements to actually describe what it is that I’m missing out on.
Uh, I have no idea what you're saying here. Particularly can't see any relationship between what you quote and my post.
I reference the 'Cutting the Gordian Knot' section in the Pragmatic Programmer[0] when dealing with tough problems.

Cutting the Gordian Knot [1]
When solving impossible problems, ask yourself:

* Is there an easier way?

* Am I solving the right problem?

* Why is this a problem?

* What makes it hard?

* Do I have to do it this way?

* Does it have to be done at all?

[0] - https://en.wikipedia.org/wiki/The_Pragmatic_Programmer

[1] - https://github.com/HugoMatilla/The-Pragmatic-Programmer#cutt...
I'm against the hype that every storm is "omg gobal warming", getting a stream of existential dread in news headlines and personal discussions or posts is tiring.

That said, the globe will be easier to live on if the +x degrees C is minimized from pre-industrial temperatures. Like I'm sure humans will make it but it's up to us the quality of that existence and if we'll share it with current species.

I also get that the globe goes through cycles and the suns heating up in solar cycles, etc. Still pushing more ocean water into the atmosphere, sinking thermal energy into the oceans where we are using up the latent energy of ice melt, (after which there is less cooling capacity available in liquid water than surface ice at constant temperature), acid-ification of oceans that provide food for much of the globe, accelerating arid-ification of already progressing geological areas like US southwest or sub-Saharan Africa, all of these could in part be natural progressions. But if its in our control to reduce the greenhouse gas concentration (that has mechanistic explanation for heat capture, it is not blind correlation) in air or do something crazy like atmospheric geoengineering more people and plants and animals would face a better shot.

Global average temperatures are one part of the story. There is high-frequency temporal variance and spatial variance. Its possible to make a rough order-of-magnitude approximation for energy released in a hurricane. Higher incidence of high wind and heavy rain hurricanes is a measured (~100 years) value. We won't get rid of storms or famine & flood magically. But maybe transitioning from burning stuff for all energy and adopting more scalable living models wrt density and transportation could slow down the bad effects. Its not a conspiracy. Plenty of companies want to capitalize on teh movement but that doesn't invalidate the underlying motivation to change from the current state.
that is what gets me, why did the file get to 20g? At that point just ship a SQLite file.
I just let it roll around in the back of my mind for a few days or even weeks. Eventually some new perspective will present it's self. Something will unlock it.
1. Having a "growth mindset" is important, it's a mindset that a mistake/failure isn't the end of the world, but instead it's an opportunity for us to grow and get better.

2. They way we "judge" other people could indirectly be the way we "judge" ourselves. When you encountered somebody else making the same PR mistake what would you do or think about the person? I encountered a very similar humbling experience and I found out that I judged people very easily (although I didn't verbalize it) and it affected how I perceive the mistake I made myself. In my case, I learned to be more compassionate and passionate, and to judge people less based off their mistakes
precisely, with waymo partnering with uber you know that personal car ownership with all the headaches that entails is drawing to a close
This might sound like an easy out but I consider that there is a choice of doing nothing. Sunsetting a problem can be as simple as forgetting it exists in the first place. This is not merely "giving up" but rather deciding the best action take at the moment is do actively do nothing about the problem.

Over the past few years when I have had problems that pop up or what really happens is that I go looking for problems, the most often solution has been to literally do nothing.

And having that as an active option when I first start looking at the problem and listing solutions ends up having far more options to me for the problem than if I was like "I MUST SOLVE THIS".

It could also mean "wait" is the best possible action I can take now. And instead of being perturbed by waiting it is an active decision to wait.
That is nice and great if true. However, what if I moved the goalpost just tiny bit to include all the emissions, that MS' ever more resource demanding OSes and the bad engineering and unwanted stuff inside them causes? That would include the emissions and environmental harm caused by not too technical people being forced to buy new computers every 3 years, because their old ones become unbearably slow by normal usage or become slow due to being tricked into upgrading to the next Windows version, which is more demanding on the hardware.

MS would probably be bankrupt soon, if they paid for repairing that damage to the environment.
I’ve often wondered if huge amounts of stress as a child could cause celiac disease, or be one of the factors. As the child’s body is developing, having parents go through a divorce or experiencing a death in the family, could create life long physiological effects.
You only need the rear view for keeping an eye on traffic behind while on the road, so basically the window should be the size of the FoV in your rear view mirror.

For parking, I don't think I have looked at anything but cameras for the last 15 years. The camera is so much better than both looking backwards and using the center mirror. The rear window doesn't show the most important thing you want to see when parking: the area of ground closest to your car.
Especially with 360 cameras because you can then "look" backwards without missing anything happening elsewhere. I definitely bought my last car without 360 cameras several years ago.
Of all tue existing OEMs, Toyota propably botched the EV transition the most. Which actually is quite a surprise for me, to be honest.

Regarding cheap (-ish) EVs, you have Stelantis (Peugeot, Opel, Fiat, Alfa Romeo, Citroen, Chrysler). They sell a small hatchback, VW Polo sized, as an EV with, if memory serves well, a range of 300 km, for about 25k € in Germany. It is available as a Peugeot 208e, a Opel Corsa e and, more expensive and a cross-over SUV thingy, a Peugeot 2008e.

So it sure is possible. And a prime choice for a second car, in our case an EV for four, decent range and luggage space is simply out of budget for now. A smaller one, the classic second car, totally possible. But hey, you only replace cars if you have to, and now that is the big one. So no EV yet...
It says "Usage of Chaosnet presumably waned as Lisp machines became less and less popular." That's basically true, but there was substantial Chaosnet usage from multi-user machines (e.g., UNIX, VMS, TOPS-20). Once you had a Sun-3 or MicroVAX, though, you probably left Chaosnet behind.
Do whistleblowers receive some kind of protection if they are involved in the crime they snitch?

AFAIK criminal organisations make sure that those with privileged information get dirty as well, especially in the mafia making them commit a murder or something unforgivable. Sure, in a telco bribing public officials case this wouldn't be something drastic but all the people involved must be already corrupt. You don't pitch bribery as a business idea in an open meeting with the interns.
This would imply wolves, dogs, whales and songbirds are all spiritual.

I don't know either way, and would be willing to accept either way, but that's the implication I see.
> Would the article be useful for someone who _is_ proficient in the field?

Yes, it is a very well written summary of what has been going on with SAT solvers in the last decades. I personally think most of this (r)evolution can be attributed to miniSAT. A relatively easy to read (at least compared to other theorem provers), free software implementation of a SAT solver, with instantiations if I remember correctly. Since variables only have two possible valuations (true/false) in boolean logic, they can be instantiated and the problem can be split up, and sometimes greatly simplified in doing so. I.e. we can replace each occurrence of variable 'a' with 'true' to make a new smaller problem, and then replace each occurrence variable 'a' with 'false' to make another smaller problem. I.e. split 1 problem into 2 simpler problems, and solve them in parallel etc.
Hmm ... I wish with all these new agents my regular tasks become a bit easier, but so far it didn't work, it 'ran out of loops in the free plan'. Not going to pay without even executing one successful example (I know this one is a pretty tough problem, but I was willing to give some easier 'research' tasks too). My query was :

"Find out the cheapest per unit Pampers New Born diapers from the ones available on amazon.in, flipkart.com, bigbasket.com, dmart.in, firstcry.com considering all the available card discounts, coupon codes, shipping and other charges etc. "
At this point, individual, corporate and even national actions are totally pointless. It's a binding international agreement or we all just do our own thing.
I had this tab open for awhile and was just re-reading the comments after talking to a retired Intel director. It's interesting to look at other innovative Apple posts here, maybe you'd like to check them:

AirPods Max:
https://news.ycombinator.com/item?id=25344762

AirPods (general):
https://news.ycombinator.com/item?id=21985239

AirPods Pro:
https://news.ycombinator.com/item?id=21378197

M1:
https://news.ycombinator.com/item?id=25049079

M1 (Max/Pro):
https://news.ycombinator.com/item?id=28908031

Something interesting is that a lot of the most popular links for these from algolia are not the announcement. The M1 in particular surprised me. The announcement discussion is a few pages behind many other posts about various M1 things.

I've long thought that there's a lot of interesting research opportunities for hn discussions (see Dropbox announcement). Maybe ChatGPT can summarize it.
Cars haven't changed in any fundamental manner for the better part of a century at the very least, so no cars are not so-called "technology" at this point. Not even the EV fad, because electric vehicles predate cars powered by combustion engines.

What has changed is the technology behind controlling those cars. On that front, it surprises me in absolutely no way that Tesla, an information technology company, does business in ways that the car industry can't even dream of.
Tales of the Tongue
https://i.postimg.cc/Hk7Hv5sh/Untitled.png
Like that story about a Tesla driver driving off a cliff in California and everyone surviving the crash? A story that even ended up in french and German newspapers
Chinese cars like Korean cars used to be joke - the new Haval SUV is cheaper and quality wise from the looks on par with my Hyundai SUV.
No idea what Kubernetes are, and I am serious here, since I am no software dev. On the hardware side of things, there is redundancy and complexity. Those two might look similar on the surface, they are totally different beasts so.
Cargo-deny: a cargo plugin for linting Rust project dependencies
Thanks, have passed the info along
As a native Italian speaker I can tell you two things:

1. The translation is great. I actually never used ChatGPT for translating content and this opens a new world for me.

2. The text-to-speech is good, but less so than the translation itself. It still is completely understandable, but if you are a learner I believe it could cause some bad habits over time. For instance, at around the 30 second mark, the translation includes the word "immergervi" (immerse yourselves). The voice puts the accent on the 2nd "e", while it should be on the first one.

Anyway, great tool. And I would help to chime in for different languages (trying to improve my Spanish). Put a tip jar somewhere as others suggested :)
For the past few years, I've had gut issues with a very unclear root cause. I was definitely under an insane amount of chronic stress due to the pandemic and isolation when the issues started, but after isolation ended and my life should have been less stressful the issues persisted. Some doctors seemed to take this gut-brain connection thing to mean that it was all in my head since they couldn't find anything medically wrong with me. That was incredibly frustrating because I was experiencing real physical issues like weight loss, hair loss, bloating, indigestion, etc. But all of the tests and biopsies they did came back normal. With functional medicine and a lot of trial and error with diet and lifestyle changes I've gotten to a point where I feel pretty much recovered, though still with a very sensitive gut. I never discovered the root cause of my problems. My leading theories are long-covid, non-celiac gluten sensitivity, or chronic stress. Possibly a combo of those things.

All of that being context, the thing I wonder about this is, if chronic stress does indeed inflame the gut, what does the process of reversing that inflammation look like? It doesn't seem like you can simply remove environmental stressors to undo the inflammation. It seems that there are feedback loops and damage that occur that can take awhile to undo. When someone has a stressful life, it can be difficult just to reduce the amount of stress, much less completely redesign their life to be less stressful. And gut inflammation makes it even harder. Even if they manage to do so, say perhaps by taking a year long sabbatical if they can afford to do so, removing the stress may not be an instant solution.

I hope more research is done in the area of healing from gut inflammation triggered by chronic stress.
I disagree but that's okay :)
Real-life problems always have a solution, but sometimes it isn't a technical one. Or a technical solutions exist, but is too expensive. To take your math example, e(x) = 0 have no solution, but in real life, taking x = -100 could be close enough for your purpose.
I am not to optimistic about privacy law in the US when you have a significant part of the political landscape in the US trying to pave the road to the Christian equivalent of Sharia law.

There are political ideas of fundamental religious, socialist or fascist nature¹ which rely a lot on subjects snitching and telling on their neighbors, kids telling on their parents and so on. They don't want stricter privacy law for all. Maybe for the political leadership, but not for commoners and people whom they disagree with.

Thinking about privacy makes no sense, if you have a considerable amount of the voting population that would be fine with abolishing the democratic process. How would one expect those people to respect your privacy (law or not) if they can't even be bothered to respect the democratic vote of the people they have been taught to hate?

¹: As someone living in Germany which has seen this twice (under the Nazis and under the GDR) I can't help but noticing the US slipping into a similar direction: There have been politicians toying with the idea that a dictator is needed in the US, others have "joked" about hunting their opposition with dogs: https://support.mozilla.org/en-US/kb/profile-manager-create-...
This. Keep probing until you’re able to form hypotheses, and keep testing those. Worst case you learn; best case, with each experiment you change something for the better.

One thing I would add is the perspectives and ideally the participation of other people. Absolutely essential if the challenge has any kind of social dimension.
Instead of spending time on this, Microsoft should be focused on creating a theming system so that older classic themes like win 2000 can be natively supported.

But no, they will close it down like apple. I swear companies are such sheep.