skysight-inc/HackerNews huggingface dataset:
You might be able fine tune a model on pull requests if they have really high quality descriptions, high quality commit messages, and the code is well documented and organized.
Wow. How did I miss this gem. It seems the course is already finished so we can't participate in it anymore but we can still watch the lectures.

Thank you for sharing!
I would have though the other way around: marketing buzzword for a non-problem solved by engineers since Maxwell's times by variations of applying the concept of hysteresis.

At least my recollection of fuzzy logic are from around the late eighties / early nineties and always involved the example of a thermostat that can only turn fully on or fully off. :)
It was linked in the "related" section of the original bug.
well I see topics like NLP in ethics, healthcare, etc, which I think is a sign they don't have much to do here.
How do you figure out anything about them? You can't really tell from an interview right?
Trump doesn't read the news (he watches cable TV), and he got elected.

Palin doesn't come across as much of a reader, and it would not surprise me at all if she really didn't read the news.
French! Would love to have this in French.

Between Italian, German, Spanish and French I find it's the most difficult language to parse by ear. The lack of pauses between words, the omnipresent en and y, their numerous contracted forms and generally speaking as if they are being charged by the millisecond makes it for an extremely frustrating experience sometimes.
> Or perhaps they saw what happened to Serbia, Libya, Afghanistan, Iraq and Syria. When the Soviets tried to install their bases in Cuba in 1962, we threatened all out nuclear war to prevent them from stationing their missiles and troops on our border. They wisely retreated.

None of those countries have nuclear stock piles or strike capabilities of Russia, no one is invading Russia because of this reason.

> Russia has spent the last 15 months trying to conquer the eastern 20% of Ukraine. No matter how dastardly you think Russia is, it is delusional to believe they have the military might, let alone the desire, to conquer "all of Eastern Europe".

They keep talking like they are mere minutes from launching an attack on all of Europe itself, at least weekly on tv.

Do they have the capability? no, its clear they barely have the capability to project power past 300km of there borders, but that does not mean that they don't want to.

> For the record, I don't think Russia is "the good guys" - any more than we are.

The Russians are the invaders, the US and most of the rest of the western world are helping the invaded resist the invasion.

This war is as clear cut as WW2, theres bad guys, and good guys.

> That is why if we want a peaceful world we need a neutral, universal standard of international law that applies equally to the actions of all countries. Unless we want world war 3 and nuclear holocaust, the current "rules based international order" that allows NATO/US to bomb and invade whoever they want while branding others who do so evil villains is not sustainable.

This will never happen when you have countries that can unilaterally ignore agreements they sign because they have the threat of nuclear weapons up their sleeve. Honestly, if you want any kinda semblance of a world that doesn't have insane levels of nuclear proliferation then you must root for Ukraine to win.

Otherwise why else would anyone give up nuclear weapons (like Ukraine did, when they gave up thousands of weapons and there strike capability), if the world will not help them when people will nukes do want to invade.
But that's the thing - why are these all suddenly "national issues"? Even healthcare can be done state by state (Canada of all places did it that way, and their system is still fundamentally province-centric), never mind all the culture war stuff. Is it really the most local level on which these matters need to be resolved? Or are they deliberately pushed there for political games?
You could be correct. I haven't worked in academia for about 12 years; and I mostly worked on other types of logic. I do remember miniSAT being praised for its openness and readability, and it seems to predate the Glucose solver by some years. I.e. "in my day" miniSAT had all the praise, but perhaps Glucose was a more important contribution to the field.
Dr Nick Andronis' replica is currently on display at the WA Museum in Perth, Australia. https://visit.museum.wa.gov.au/boolabardip/reconstructing-an...
I'm working on upgrading my internal network to be able to take advantage of upgrading to 10gig.

I'm curious about the best way to do that. What are the upgrades you're thinking about doing?
It's not just GPU. There are not even good multicore SAT solvers. State of the art SAT algorithms are serial and they don't parallelize.
Just counting them, sure, but do they really? Most Auto makers cover reach segment, sub-compact, compact, full-size, and SUV, and just vary the offering within that class. Eg the Honda Civic sub-compact comes in EX, EX-L, LX, Type-R, Sport, Touring, and more. But meanwhile the Model S comes in a plethora of combinations of battery sizes and motor configs. Tesla covers 4 segments, full-size, compact, SUV (X) and SUV (Y). Other automakers do cover more eg sports and truck, but there's the roadster and the Cybertruck to contend with. Point being, if you just consider segments and configuration s per-segment, I'm not convinced Tesla is that far behind.
I’d really like some explanation about what I’m misunderstanding, downvoting without explaining anything doesn’t help anyone.
Huh? Apple’s apps are consistent with their design system to a large and tangible extent. The typography styles, semantic colors, and UI components all exist in their SDKs for both UIKit and Swift. And when something changes (typically every WWDC), the HIG website gets updated. What do you mean they ignore it all the time?
These are still a thing.

https://en.m.wikipedia.org/wiki/HM_Prison_Weare
Do you strictly need that level of tokenisation precision to meet your high-level goals?
The inverse of this strategy also works well sometimes: try to solve a more general (i.e. "harder") version of the problem. Examples:

* https://math.stackexchange.com/questions/899109/problems-tha...

* https://mathoverflow.net/questions/21214/particular-problem-...

The second link has the neat particular example of showing that something is nonzero by showing that it is odd, which I quite like.
I'm using air cooling. Gigabyte X570 Pro, RTX 3090 FE, be quiet! Pure Base 500DX mesh case with four 140mm fans currently. It's not quiet under heavy load!

The GPUs have gotten improved thermal pads. The 8 core Ryzen 3700X is a 65W model. It appears to be fast enough not to be a bottleneck for this purpose. 1200W PSU.

I may swap the fan in front of the GPUs for a high-rpm model.

Also for longer runs i throttle the GPU power draw. It doesn't cost much performance.
I think the greater point is people can have a reasonable debate over that, since Americans were actually attacked on American soil. There is no reasonable debate over the other 100+ wars and invasions we've been involved in over the last two centuries where all of the hostilities, from start to finish, took place outside of our own borders.
Given that so often the people claiming GPT4 is a stochastic parrot don't understand what stochastic parrots are, it can be said that they are the stochastic parrots themselves.
The Pursuit of Programming #2: Variables, Operators and Data Types
Almost non-existing. A couple of excerpts from man page:

{"a":1,"b":[true,false,null,"str"],"c":{"d":4,"e":5}}
jshon [actions] < sample.json
jshon -e c -> {"d":4,"e":5}
jshon -e c -e d -u -p -e e -u -> 4 5

Yet this covers like ~50% of possible use cases for jq.
Stars are a weird thing. Some people seem to believe they're like likes on social media, or even that they indicate actual use. There's probably sites selling you fake stars, like they sell fake Instagram followers. However, many people, myself included, treat Github stars as just bookmarks, and star things they found interesting or possibly worth coming back to, regardless of the quality or whether one has any use for it.
All google does is take. If you are popular they clone instead of sending you the views
Why I can't sign up my submission with Metamask !!
Contrary to popular belief, perhaps we are not yet ready for fuzzy logic-based mathematics†. Like asking that does Boolean logic do in the 13th century, before Leibniz had any glimpse of characteristica universalis [1] (software, as opposed to calculus ratiocinator, hardware). If cryptocurrencies are solutions in search of a problem, fuzzy logic, and especially fuzzy dual numbers logic [2] [3] [4], doesn't even know it is a solution.

† one speculative use would be to assign degrees(?) of agency, some kind of a future unit of measurement: a person can be 100% evolved, or maybe 49% evolved and 51% designed (prosthetics, neural implants, and so on).

[1] https://en.wikipedia.org/wiki/Characteristica_universalis

[2] 2017, Fuzzy Dual Numbers: Theory and Applications, https://dl.acm.org/doi/book/10.5555/3172931

[3] "Fuzzy Dual Dynamic Programming", https://hal-enac.archives-ouvertes.fr/hal-01372543/document

[4] "Dual Numbers & Automatic Differentiation", https://blog.demofox.org/2014/12/30/dual-numbers-automatic-d...
Everyone carries one with them all the time now because the technology became miniaturized while quality shot way up? Man, I'd love for George Jetson's briefcase car to be a reality!
> Wasnt c created in 2 weeks

No, because C was derived from B. B was created in 1969 and was much of the basis of what would become C, which is given the release date of 1972. So we can make the argument of at least around 3 years of development, of what would be named C, before reaching a stable or usable enough state.

Languages and goals were much simpler in the past. Stages of development like alpha, beta, or what was 1.0 get kind of mixed up. It's not as clear a process, as we have today.

> Except for jai, because jblow has other things todo

Surely the other language creators had/have other things going on too. One of the main differences, that was attempting to clarify in the previous post, is that certain programming languages have huge corporate backing, which affects their development time. C (AT&T), Go (Google), Rust (Mozilla), and Swift (Apple) have reached 1.0 or stability faster, because of who they have supporting and pushing them.

Independent and more grassroots projects can sometimes achieve 1.0 in comparable times. But, this seems related to how exceptionally talented the lead developers are, experienced (as created other languages before), goals of the project (simpler is often easier), popularity, or how many contributors and sponsors got involved.

Crystal, looks to have took around 7 years to reach 1.0 (though with Windows support issues). Julia, comes in at about 9 years. Nim, another notable project, appears to have took around 11 years. We might can expect things to go a bit faster now, than back then, but within reason. And referring to programming languages that are reasonably well known and used.
Oh wow, what a terrible design. Viewing from mobile and I did not know that the upper left icon is a hamburger menu.
That doesn’t work very well when you’re an employee and the project manager asks: “when it will be finished?”
How is Longmont as a place to live? I'm talking about quality of life issues.
Dark knowledge: buy your own domain and slowly migrate away from Gmail. I recommend a western European ccTLD. Buy 10 years worth of renewals and hand the domain into the care of your trustee. Start a mailbox.org subscription and connect the domain with wildcard aliasing.

Now when you sign up for Xservice, use xservice@mydomain.example. You'll both be able to learn who is selling your email and black-holing aliases that get overrun with spam.
RCP 4.5 is still quite horrible in terms of consequences anyway
If you want to go a bit off the traditional path, you can look into BPC-157 which is a peptide that was designed to help heal the gut. Nowadays it's mostly used by athletes and anti-aging people to help heal soft tissue damage, but the original purpose was to heal your gut.

If you're in the US, you can probably find an anti-aging clinic with a doctor that you could ask about it.
> Finding a specific version of a package is also really difficult. It requires you to find the commit hash in the Nixpkgs repo that last contained it, and there isn't a central search engine that lets you map version to commit.

I don't understand this: Nixpkgs can only ever contain a tiny proportion of package versions. It's meant as a mostly-consistent set: e.g. if you want packages "foo", "bar" and "baz", that should work.

It's not intended for "foo-1.2", "bar-0.2" and "baz-99"; let alone toggling the super-duper compiler flag and applying Alice's stability patches. However, the latter are intended by the functions which define those packages; and it's exactly why so many "override" functions are provided (to do all of the above, we usually just need '.overrideAttrs').

If you want a consistent set of packages, the usual approach is to run some sort of dependency solver (e.g. many of the 'foo2nix' tools), and map over its result. For example, at work our Scala projects run 'mvn2nix' during their build; use import-from-derivation to turn the results into a local Maven repository; and use that to build the project in Maven's "offline mode".
This is the simplistic explanation.

I think that besides that, some people are paid for complexity. That would justify the evolution of SW in the last 10 years.
That reminds me, I have an out-of-copyright book by a namesake where I took the photos years ago — before I had a smartphone let alone one with built-in OCR — and still have not gotten around to transferring the text to wiki… source? wikibooks? One of them.

I should do that.
On problems that might not have a solution? Not much chance with the current (chat)gpt. There are many technical problems that have currently no solution and chatgpt will just keep repeating, over and over again, ways to attack the problem. Helpful, maybe, at first, but after 2-3 prompts, it'll just be more of the same as it cannot help solving it further.
I am honestly shocked that this hasn't happened, what with how the world has been going in recent decades.
Recently I just started asking ChatGPT.

It does a very good job guiding me in areas where I'm less familiar.

That's assuming we're talking about technical problems.
For non-technical problems I'd reach out to friends (or even better - a therapist).
But asking on HN and/or Reddit might be a good idea too, depending on the context.
Isn't AI more like a personal instructor etc and not a social
media? Weird comparison imo.
We didn't get search engines too wrong and there are good search engines too as well as corporate ones.
That is what function parameters are for.

If you want a parameter "not if already loading", make it part of the post() function. No reason to make it an attribute on the html element.
Perhaps you will find inspiration in Dave Snowden's framework "Cynefin"
Ask HN: Best tools to create LLM prodcuts?
I'd like to maximize DX. I'm looking for reasonable pricing for embedding databases, fine-tuning models and chatbot interfaces. What's the best game in town for those?
In twenty years the air bags (and potentially the pump side fittings) have been replaced once. That's about on par with a conventional coil spring suspension and pretty typical for an E39. Coil springs sag, rust, and break over time (especially in areas where the roads are salted). If Tesla can't make a reliable air suspension that seems more like a Tesla problem.
So any manager who's started studying Agile
The best part of that story is this quote from Dantzig himself, IMO:

> A year later, when I began to worry about a thesis topic, Neyman just shrugged and told me to wrap the two problems in a binder and he would accept them as my thesis.

The "two problems" being referenced here are, of course, the two unsolved problems he solved as homework.
You mean "private enterprise natural forces" that result in drivers being forced to urinate in bottles, tips stolen, unionising workers essentially fired, and then list goes on?

Yeah you can stick that. Hard.

People and companies will always try to screw over the little person. Government's role is to mitigate that.
Or maybe drivers are like that exist in similar amounts across brands and models, but human nature means we only think to attach a driver's behaviour to the brand/class of vehicle when we're primed to do so.

I've noticed that with taxis. In my city, taxi drivers have a reputation for driving like arseholes. I thought this too, but I started paying more attention and I realised that the vast majority of taxi drivers were driving entirely unremarkably. Before when I saw something which confirmed a prejudice, I thought it was more evidence in favour of that prejudice; now I realise that it was the Texas sharpshooter fallacy all along.

It seems to be true for just about every prejudice I've ever been told about. BMW drivers use their indicators just as often as anyone else. Owners of cheap Toyotas are just as likely to drive unreasonably fast as owners of high powered sports cars.
Buy a thermal printer!

It just burns the paper and is usually good enough for majority of your needs.

Keep a cheap ink based printer handy because the world hasn't moved on yet
How’s that going?

https://amp.theguardian.com/technology/2022/nov/15/china-el-...
https://www.usenix.org/system/files/sec19-zimmermann.pdf
I am wondering what are some good use cases for this algorithm.
> 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.

So only new technology is technology? What a daft definition.
Classic elitist response. Ryanair has done more to democratise travel than anyone else in the world.
Relax the problem - remove one constraint and try again.
It's a good guess but i don't think it's true

Check here under Display

https://www.notebookcheck.net/Huawei-MateBook-16-AMD-Review-...

It's a 16 inch 3:2 display. The Display model is listed as "BOE TV160DKT-NH0 X-Rite i1Pro 2"

Same BOE they claim to be working with
From your sample size of N=1, it seems that BMW cannot either.
I know everyone complains about the US being the world police, but they actively do good stuff. They do break things too.
Given the other announcement today, an F-150 Lightning, if you can get your hands on one.
No reason to make it part of the post() function either.
Every problem has a solution. When it is hard take a step back and return to the problem. Eventually you will find a solution or a quick hack
And what about people that already own CCS cars?
Spanish please :)
Kinda cheating to play an instrument you didn't make yourself. I think you're missing the appeal of self expression... /s
I have this quite often (most of the stuff my company has not been done before, or at least not properly/usable; for good or for bad) and I get this paralysis sometimes (more in the past than I do now). My mental way of solving it, is to imagine a product that does something similar to the actual 'perfect' solution, but does it far more crappy. Simply put; I make a shitty prototype first (with the thought that the perfect thing will come 'some time' after) that is not perfect. Often will transpire that this shitty prototype is as close to what we set out to do as we can get without unrealistic spending and effort and we leave it at that (we refactor it before launch though). This takes away my anxiety about 'finally doing the perfect' thing.
Wow this is a really nice idea. I also have been learning italian with Duolingo for quite a while but have hit a plateau once I finished the course.

So far I've only listened to the beginning, but that sounds like exactly the right difficulty to improve my listening comprehension.

Do you have an approach to improve speaking italian (not only understanding)? Because that is the end goal for me and something that Duolingo doesn't really teach that much.
xml2[1] turns xml into line-based output. and 2xml reverses.

[1] https://github.com/clone/xml2
Danksharding
Am I right that the source does not count pollutions created from warheads explosions? Those are also exploating fossil fuels and exposing the greenhouse gases and amount of warheads spent is not being declared anywhere.
That's disingenuous. You provided link to a legal framework, but not any use of it. Your source doesn't even mention a single delivery under this act.

> Can you provide a source for your statement that these were donations?

You made the first claim, it's on you to prove it because disproving something is harder than making false claim. But you can have my source anyway.

https://www.politico.com/newsletters/national-security-daily...
Some of the comments here seem absolutely ridiculous. What is the probability that a perfect flute just happened by accident and survived until this day?

For whatever reason, a lot of people have this fixation that humans were somehow significantly less intelligent all the way until the modern industrial era. Based on what I've read, human brain hasn't significantly changed in tens of thousands of years. People in the stone age didn't have significantly lower cognitive abilities.
Maybe they're pissed off that, during COVID, the world turned to https://coronavirus.jhu.edu/data

Now that's up and CDC and every other nation has one too.

Fun fact: before they got going I already had open source visualizations being regularly delivered to Wikipedia Commons from https://github.com/globalcitizen/2019-wuhan-coronavirus-data
The main problem is with stress + gut issues, it's a downward spiraling feedback loop. Stress causes gut irritation, gut irritation makes you more stressed.
I suggest going to a gastroenterolog, that knows about gut flora restoration. Basically you'll get a Low-FODMAP diet for a month, then RENEW diet for ~1 year, but you will also get a bunch of special probiotics, mostly based on Bacillus Subtilis.

During this time the negative feedback loop is being broken, the gut will have a chance to recover and the symptoms should improve/disappear.

I am slowly finishing this diet and I have to say that apart from a few ups and downs, it helped me tremendously. I have much more energy during the day, less oily skin and hair, smoother skin on my face, and consistent stool.
They’re definitely Toyota cars but not really sports cars. They’re just hot versions of the Corolla and Yaris, which are definitely not sports cars. Unless we also define the Tesla Model S Plaid, BMW M3 and the Mercedes-Benz E63 AMG as sports cars.