skysight-inc/HackerNews huggingface dataset:
Just wanted to say thanks for posting this.

It makes a lot of sense to me, and resonates with the experience I've had both as a noob to programming (or to a new role) and as a person responsible for onboarding.

A controlled trial by fire with asking for help if stuck encouraged.
Show HN: My deep dive into "Robotany" and plant intelligence
The Artificial Venus Flyflap (AVF)
serves as an example of merging plant behavior with engineering techniques.
Let's take a closer look at the Venus flytrap and see how it might relate to Al systems like GPT-4. By considering both plant behavior and advancements in robotics, we identify some connections that might alter how we think about intelligence.
> 1. This search space is too large to hit anything by firing shots in the dark.

2. Results will either be completely redundant or ethically questionable.

3. The resources used for optimization should not exceed what performance may be gained.

There is no route around full comprehension of this problem before you can solve it. It is a philosophical event horizon.

My sweet summer child

http://www.incompleteideas.net/IncIdeas/BitterLesson.html
CSS resets are bad idea and shouldn't exist. Every time you see paragraphs without margins, or lists without bullets, it is probably a fault of CSS reset.
I guess we’ll have to agree to disagree on that. I think it is very relevant that while the article called out specific private actors advocating for these fees, and specifically described privately-assessed fees at hotels, it completely missed that the government is the ultimate source of some of the most pervasive junk fees in the hospitality industry.
This one could have the benefit that the "interpreter" is aware of common apple-specific product topics and be able to directly solve problems themselves, advise on stuff, etc.

And then fall back to interpreting when more expertise is needed - with the added benefit of having a baseline understanding of the topics discussed.
World owes it to Tanzania to keep Eastern Arc forests standing, study shows
Ideally, you don't have blocking APIs at all. There isn't any reason nowadays. Every blocking API in your system is there for historic reasons (ie it's >20 years old) or because somebody made a terrible design decision in the last 20 years.

I am obviously referring to operations that do actual IO or wait for work on other threads only.
When you use a good build system like Bazel modules do not save 10 minutes a day. The time saving is negligible. That's why large C++ shops do not care about modules and only volunteers are working on them.
"Disclosure

We have advised Amazon on various competition matters including ones relating to cloud services. More generally, we have worked on competition matters involving various tech platforms and other organizations with an interest in cloud services, including matters for Microsoft and adverse to Google. We were provided compensation for our time researching this subject. The findings in this paper reflect our own views."

Not that it matters but good that it is disclosed.
Reset removes all default styles, so paragraphs become without margins, lists without bullets, tables without borders etc. Normalize tries to fix default styles so that they look the same in every browser.
There is also a good video from Kurzgesagt explaining the great filter; for if video is more your thing. https://www.youtube.com/watch?v=UjtOGPJ0URM
"Winning" depends on what your goal is.

I dont think that impressing third parties is really a healthy or useful goal for internet discourse. Omniscient/logical third-parties dont exist and the esteem of anonymous peers is hollow, so it usually reduces to self-aggrandizement and ego-stroking.

I dont even think it is helpful to approach discourse as arguments. The best approach IMHO is to strive for a mutual exchange of information.

Of course, this runs counter to most intuitive behaviors. As a result, you rarely see people asking questions to the opposition, aside from sarcasm, or Socratic debate.

Do you think persuasion is more valuable than being persuaded?
That's a salient detail! Cities have their downsides but people put up with them for proximity to other people.
Futures are nicely equivalent to one shot channels with threads.
Data Science/AI application to the aero design of WRC cars
Do you have a friend in any of those field? Sometimes academia ask for the number of published papers and if you can collaborate with a friend to publish a few papers it may help. It's also useful to see if you enjoy the process when you know how the sausages are made.
> If they are criminal they should be prosecuted.

You should be a bit more careful about your word choice, since making hate speech a crime would make Neo-Nazis criminals.
For what it’s worth, my undergraduate was in Economics with an emphasis in econometrics and this article touched on probably 80% of the curriculum.

The only problem is by the time I graduated I was somewhat disillusioned with most causal inference methods. It takes a perfect storm natural experiment to get any good results. Plus every 5 years a paper comes out that refutes all previous papers that use whatever method was in vogue at the time.

This article makes me want to get back into this type of thinking though. It’s refreshing after years of reading hand-wavy deep learning papers where SOTA is king and most theoretical thinking seems to occur post hoc, the day of the submission deadline.
How the Costs of Car Ownership Add Up
Not going to help with acidification of oceans :(
That is true, but it's the subparts that break and require a whole sealed assembly to be replaced.
Show HN: Pg_yregress, Structured Testing for Postgres
Originally inspired by pg_regress, pg_yregress provides a TAP-compatible test executor that allows for better test organization, easier instance management, native JSON handling and so on.
No, I don't know, I am talking about general concept.

In Java, Future.get() blocks current thread, and it is trivially integrated into explicit threading programming. In Rust, Future.poll() is not blocking, and one would need to rely on some async framework, or build own event loop which can potentially block thread.
One good thing that comes from it is that templated code can now go into a module and be compiled only once.

Before, you had to put template classes into headers, so you effectively had to recompile, for example, the class std::vector<T>, for each file you included the header <vector> in, because a new compiler process compiles each .cpp file from scratch, knowing nothing. If two separate files instantiated std::vector<int>, then it would be instantiated and defined separately at compile time, and at link time, one of the definitions would be discarded. The only way to speed it up before modules was to use pre-compiled headers, which are compiler-specific.

Modules let the compiler share state across files, so it doesn't have to recompile template instantiations unnecessarily.

I think this guy's blog explains it well: https://blog.ecosta.dev/en/tech/explaining-cpp20-modules
As their github page says, based on https://ffmpegwasm.netlify.app ...

I'm guessing no one did GPU-optimizations? I saw a web app (not an ffmpeg transpilation) that went clever and used WebGL so it can access the GPU and use its parallel processing capabilities...
(I'm hoping my tone is getting this across but, I like geeking out about PLs so I'm going whole hog haha. I like this language a lot FWIW; feels pretty advanced and very thoughtful :)

I like result types, but I do think they're clunky because you have to handle them in a generic way (pattern matching) or add some (incongruous, IMO [0]) syntax sugar to handle them. Modeling them w/ a keyword and some syntax avoids that weird layering violation so I can support this. I guess my only beef here is giving any access to "breakelse" at all. Like, if you need the concept in the compiler OK, but I'm worried that outside the need to support "?", "breakelse" is a mental model annihilation machine. A better name would be "justkidding" or "sike" haha.

> Sort of - I'm specifically avoiding/getting rid of result types.

Whaaaaaa? I think you still have them because you wrote:

> That is, if would see that there was a possibility of an :else return type, and use this opportunity to jump to the else block instead of declaring a variable.

Or in the "eatLine" example, "eatLine" has to return Result<string> because you don't know if it'll always be called with "?". That's the ":else return type". You either need some kind of--very narrow--checked exceptions or whatever to enforce "?", or code has to know about the :else return type.

OK with that in mind, I now think you're talking about exceptions because of the type conundrum. There's another example someone posted about their language and a "while" loop (which is a pretty cool idea). After working with it a bit in this context, I didn't find it really any different than a try, e.g.:

try {
string line := eatLine()
string[] words := split(line)
int[] swear_words := get_swear_word_indices(words))
...
catch { ... }

Maybe there's an argument here that like, all Neat is doing is some implicit Result typing and exceptions are a world away, but I think they're closer than they seem because the behavior you're aiming at is the essence of exceptions: short-circuit on error. I will admit there's a significant difference between what you've implemented and the rest of exceptions (unwinding, sending metadata through a side channel, etc.) but I think a lot of people find that full exceptions are very useful in the general case and naked "catch" satisfies the YOLO subset case. Plus, bubbling enables you to quarantine the result types to non-error code.

[0]: "?" has to know there's a Result type, and which fields are the good/bad fields--it's odd for an operator to know anything about complex, generic types defined at compile time, let alone rely on their semantics.
MySQL can actually do one better which is semisync. The transactions get replicated synchronously but applying them is async. You can't lose data anymore due to a primary failure.
I'm saying that the story reads like the type of thing I enjoyed reading and writing about when I was around 12 years old. I think I recognise lots of narrative tricks in play, to get the excitement levels up. Which is entirely unlike reality.

You are of course free to defend this article as truth or whatever. However, if I see these sorts of tricks in play, I reserve the right to dismiss it as a manipulative narrative. I also reserve the right to express my opinion, esp if I am able to easily support my assertion using the provided text itself.

Do you realise that even the news is a manipulation? You are free to be curious about the 'facts' that are presented to you.
It's even weirder when you notice the names. I remember a few instances where the person who replied to my post turned out to be the creator of a major programming language.

I try to avoid looking at the names until after the discussion is over. When I remember the fact I'm posting among giants, I find it difficult to post at all. HN is a place where the person who created an algorithm shows up to explain it to you. The fact such people post here is the number one reason to come here.
Oceans are big, and water has a high heat capacity.

IIRC the temperature in the oceans is lagging by decades, so they'll likely continue rising even if we fixed everything
Do you know anyone from these states? I know a bunch of folks and your characterization is inaccurate -- the talent that you have accessible from non-"premium" US markets is generally also not as good as what you'd find in NYC or the Bay Area. The set of people you're describing are those from these states that are both competent enough to work at a FAANG but also unwilling to move to an existing city that FAANG hires in. What I've found is that population in general is not that big -- people that have the ambition and grind to get into a top software shop in general are also willing to relocate for it.
Are LLMs capable of any form of innovation or discovery that is not a simple mix of existing concepts?

(It could be argued that all innovation or discovery is a simple mix of existing concepts, but I don't believe this to be true).
the Parliament does the vetting, the countries Parliaments propose the candidates. It's all done by elected officials, what more do you want? the commission is a place for technicians, it's not a political entity.

it would be like electing the people in the HR department because the board of directors cast votes.
My thoughts as well, just measuring temperature and humidity.
> both lack critical features and are broken by design

I bet AWS gets a lot of money for their DMS service for fixing this.
My point isn’t that they are incorrect (calculations of the historical temperatures), but that they are not true (readings from the thermometers).
Are you saying the Teslas eat more tyres than an ICE car?

What is the reason? Extra weight of batteries? Special low resistance tyres? Increased torque spinning wheels from start?
Previous discussion (83 comments): https://news.ycombinator.com/item?id=31455968
Why Bill Gates Thinks Planting Trees to Fight Climate Crisis Is "Nonsense"
Leiden University location in the Hague to reopen Monday after security concerns
One thing I’ve wanted to do for end to end testing purposes is to be able to make pretend Bluetooth devices from my Mac. I’ve not seen much to suggest a simple way to do this, does anyone know of anything that I can use to make my Mac Bluetooth look like a heart rate monitor, for example?
It's the language that puts the C in Cthulhu.
> what enterprise sales person is OK selling something for $2k/month/$24k/year when they carry a quota 20-50x that amount

probably someone who spends no more than one man-week on this sale, which doesn't seem that hard if the customer is a small org and only wants to buy one feature? sure, if you expect to spend months negotiating and years implementing, you'll need to charge a lot to make up for the time, but we're not talking about that case here.
> Whoever is making Craftsman tools isn't Sears and Roebuck anymore

It never was. Sears, even many decades ago, always contracted other vendors to make their products, just like Costco does with their house brand now. The product numbers even used the first three digits to identify the vendor.

A Kenmore appliance would be made by Whirlpool, Maytag, LG, Samsung, whatever. It would be a distinct product, with its own exterior design and feature set (rather than just changing a logo). It definitely was worth finding out who made which, to favor manufacturers like LG over Whirlpool.

Craftsman was made by the Stanley/Black&Decker/DeWalt corporation for a long time before they finally bought the brand during the final Sears collapse a few years ago.

Here's the prefix list for appliances, but there are larger ones for all products: https://www.applianceaid.com/sears-manufacturing-codes.php

I recall seeing references to companies like "Tandy" for some electronic products, which should indicate that this practice goes back well into the 70s and 80s...
Stalkers will probably love it.

"Hey, GPT! Locate where this person is standing from the image I just uploaded."
I always admired how simple, yet clever the SI prefix scheme is: use Roman numerals for sub-units (centi-, mili-), and Greek numerals for multiplies (deka-, hecto-, kilo-). Although I guess a century ago average well educated person was much more familiar with Latin and Greek languages.
And "where" that land is. But I do accept the argument that solar is more egalitarian than fossil fuels.
There are better ways to manage and measure queues, IMHO, by using basic queuing theory such as 'ρ' for utilization, 'ε' for error rate, 'Aθ' for activity step time, and Little's Law.

My queuing theory notes and notation are here:

https://github.com/joelparkerhenderson/queueing-theory
just use propensity scores + ipw and you have the same thing as a rct. :)
Unlikely to be fixed. The module files are basically AST dumps and no compiler keeps that stable over time.

Even flag selections make incompatible BMIs. So if one TU uses C++20 and another uses C++23, they'll each need their own BMI of anything they import.

FD: CMake developer that implemented the modules support
And this will fit in 6GB of VRAM with very little quality loss:

https://huggingface.co/LoneStriker/zephyr-7b-alpha-4.0bpw-h6...
Given our busy lives, who has time to visit people in person that frequently? One of my closest friends lives 45 minutes drive away from me. We text and call every couple of days, facetime every so often, but we see each other in person maybe once a month. With all the technology available to us, I don't think you have to see people in person for them to have an important place in your life these days.

I wish we lived < 15-minute walk to each other so we could visit in person all the time, but that's not possible, so we make do with what's available.
Sometimes you use Futures with full phat threads, see

https://docs.oracle.com/en/java/javase/17/docs/api/java.base...
That's just paying for the DB through a vending machine. You don't have a relationship with the DB vendor but the cloud vendor absolutely does.
Agreed! However, I also wonder what their ratio of spam vs. actual ASL-requiring-customer calls is. Since it's so easy and quick to connect to a real human with comolete audio and video enabled on both ends, won't it be prone to abuse?

The more such a service gets attention from regular media (instead of the niche, targeted audience it aims to serve), I fear it'll be another case of "why we can't have good things".
Murdle
not to strangers.
I've been hearing it since 1995. Still didn't happen in a way all these fear mongers describe it.
I am prepared to give my testimony and state that Belgium exists. I have been there, and they make delicious chips and chocolate. Perhaps the best chips I've had.

Your point about verification is valid. People should explain what verification they have undertaken. This article is full of hyperbole. I don't trust these sorts of imaginative excursions to deliver me the truth about WW2, any more than I expect rambo to tell me about Vietnam or whatever. Both are plainly way over exuberant. Quite entertaining I guess, but not much more than that.
> In Social Sciences, on the other hand, causal inference is being completely willfully ignored.

This conflicts with what the article says:

> Economists and social scientists were among the first to recognize the advantages of these emerging causal inference techniques and incorporated in their research.
Minecraft crosses 300M copies sold
I applaud your pragmatism. And I wish this pragmatic attitude was more common here, it’s refreshing in a sea of negativity whenever anything about web dev is posted.

Re: CSS layout. It’s actually just a very big, complex practice to become proficient in. If you’re ever inclined to go back and relearn it, it helps to accept that from the outset. Once you’ve accepted that it’s a fairly involved learning process, the successes should feel more significant and the failures hopefully more temporary. But!

Re tailwind: if it’s working for you, and you never feel compelled to drop into lower level styling concerns, that’s fine. Great even. You’re getting stuff done that you want to do, with tooling that addresses your needs! I don’t personally love tailwind, and I much prefer to write styles directly… but it’s obvious tailwind solves this well for you and others who don’t share my preference.

Re CSS vis tailwind: probably overly pedantic, but you are still using CSS. You’re just not authoring it directly. I’m only pointing this out because you may find a time when tailwind doesn’t do everything you want/need, and it’ll help to know it isn’t some styling black box. It’s just a very thoroughly robust abstraction around the styles you could write directly if you choose. And if that abstraction, however robust, doesn’t fit your needs, plain CSS is always there to supplement it.
IMO the title is a bit misleading:

> Zephyr-7B-α has not been aligned to human preferences with techniques like RLHF or deployed with in-the-loop filtering of responses like ChatGPT, so the model can produce problematic outputs (especially when prompted to do so). It is also unknown what the size and composition of the corpus was used to train the base model (mistralai/Mistral-7B-v0.1), however it is likely to have included a mix of Web data and technical sources like books and code.

Its very deliberately unlike ChatGPT, which is what makes its performance interesting.
Whether they are or they aren't, we can get very far with discovery that is a simple mix of existing concepts
Remember how Marissa Mayer in her bid to rescue Yahoo made everyone come to office. Even to relocate entire teams to US.
Please add (2013) to the title.
It is not productive to declare that the people who don't agree with your policy goals are emotional, uneducated, and unsophisticated, clinging to "irrationality."

People have different values. They may not be able to articulate those values as well as you or I; they may not want to articulate them, because they don't think they'd be received well. But this is the root of the problem: people with different value systems see the same facts and come to different conclusions.

It's entirely possible even for an unemotional, educated, and sophisticated person to see "all the facts and logic" and disagree that your desired outcome is the "optimal" one. This tone just alienates.
I also personally experienced this today as well. I was trying to find the codename for my friends phone on his phone, which has Google as the default browser. I tried 3 different search queries, which gave me nothing but utter garbage. Then I searched it on my phone, which has Yandex as its default browser.

Boom, it just gave me it, straight at the top, on the quick answer dialog. Same for Kagi, which is a paid but good search engine.

Google is ruined, was so much better 6 years ago.
But maybe they did have a good reason to be distraught, they just couldn't articulate it.
Probably because things that don't get "used" can still affect things. There's a lot of detail in name lookup algorithms and SFINAE where computing what you end up using and giving each TU its own view is probably not much savings over using the headers as-is.
I think the requirement here is that the owner of the user account needs to be able to register their own attestation keys. The owner of the account may be an employer or an end user.

It must not be a hardware manufacturer.
i disagree (or there's nuance needed here) but am declining to engage
for $25K I could get an off grid shelter that I could drive around!
"Poland has a law called “election silence”. It makes it illegal for anyone currently residing within Poland to do any kind of political campaigning on Election Day or the day before. This includes making speeches, putting up posters, airing political commercials, even public posts on social media, though not private conversations or messages in non-public groups. If there's also a referendum that is only valid when a big enough quorum of voters is present, you're not even allowed to encourage people to vote, as that can impact the referendum results. This law supposedly exists to give voters a chance to make their decisions in peace, without constantly being bombarded with propaganda from all sides. Many people (often from opposing political factions) claim that the law is outdated and should be repealed, but it doesn't seem to favor one particular side over any other, so nothing has been done about it so far."

Many countries (such as, say, France) have similar laws. Sounds okay to me. So what's the issue here?
First, I love the idea, and thank you for building this.

I have some accessibility feedback on your blog, though, which I'm just now reading. The visited link color is nearly indistinguishable from the body text. I returned to some pages to revisit links and couldn't find them without close inspection.