skysight-inc/HackerNews huggingface dataset:
Hi! Devenv user here:

devenv.sh autogenerates Nix specifications of container images for each of the development environments you define with it, and exposes them in a Nix flake for you. But if you don't explicitly ask Nix to build those for you, it doesn't.

My team's most complex devenv environment passes through some packages from Nixpkgs, exposing them in the flake, defines 3 or 4 development environments ('devShells') and also exposed (and includes in some of those devShells) some custom packages that just live in that repo and not in Nixpkgs.

Our simplest just uses all built-ins and defaults, exposes no packages, doesn't have a custom flake... there's basically nothing to it. It just uses devenv/Nixpkgs built-ins to add OpenTofu with some Terraform plugins to the path and plugs a Terraform linter into the project's pre-commit hooks.

There is some support for running long-lived processes via process-compose, which is inspired by docker-compose, but we don't yet need it for anything so we don't use it. (In the past I've rolled my own solution for this with Nix, direnv, and supervisord. Today I'd probably just use devenv.)

What I love about devenv is how cleanly it integrates with the wider Nix ecosystem in a no-nonsense way, as well as its great docs. I like that it

- it uses the Nix module system for configuration, based on a standard implementation (flake-parts) shared by other projects
- what it builds in, i.e., pre-commit hooks integration, exists in a separate repo also usable on its own via flake-parts
- the docs and the tool both support flakes-based setups, non-flakes setups
- if you want to let devenv automagically set up a flake for you, you can, but you can also use most of its features with a handwritten flake.nix customized to your liking
- while it exposes some configuration via yaml for simple uses, the full power of Nix is always available
- it takes care of all the little details you'd have to deal with if rolling your own (e.g., garbage collection, direnv integration) in a sensible way

For me, as a Nix user, it does a good job of keeping simple use cases simple, it has low lock-in, it uses familiar configuration interfaces, and it doesn't have too much magic.

I hope that helps you get a sense of what using devenv is like for simple use cases as well as what the more complex stuff might look like!
The entire article was "I have all these problems, and I use one small trick (aws product) to fix it all!"

It does +1 most of those types of spam farms with a bit more technical discussion, but not really that much.
Happier, more connected neighborhoods start right in the front yard
The young should always try this at least for a little while. If you have it in you.

Living lean is a good way to a fuller self.

Cheaper countries however tend to be chaotic.
He may win over more people if he adapted the architecture to a style that fits the area and enhances the scenery. From a distance the modern glass and ruddy panels make it look like a rusty jagged shack with an iron roof. Local opinion might be amenable if instead it was stonework, or Spanish-style, or Gothic Mormon.

This is his chance to build an American Neuschwanstein, why not bring quality to the table?
For posterity, OpenAI embeddings come pre-normalized so you can immediately dot-product.

Most embeddings providers do normalization by default, and SentenceTransformers has a normalize_embeddings parameter which does that. (it's a wrapper around PyTorch's F.normalize)
They did that to our former HQ and converted it to flats - took them longer and cost more than simply blowing it up and starting from scratch.

The entire building was gutted down to only it's outer frame, the support structure - the concrete slab floors and outer support pillars.

I guess getting planning permission for this was easier to obtain than demolition and building from scratch in that area.
> But if you have them

What if your problem is with your mental health?

It's not like mental health problems are fringe lately.

It feels to me like you're speaking as though you are in the middle of the bell curve, but from my perspective people who can navigate this system are an exception.
Yeah the CO2 bottles and exchange is expensive as hell. It's apparently cost effective if you use a commercial one but the outlay is pretty high. Not worth it either way IMHO. I just put up with flat shit.
As an individual, I love the idea of pushing to simplify even further to understand these core concepts. For the ecosystem, I like that vector stores make these features accessible to environments outside of Python.
I’d say that this expands on MoE really - MoE chooses
dynamically which groups of weights may be needed, but it’s whole matrixes. Here it’s ingle weights.

Also, this works on top of MoE beautifully - most of the development and testing was done on Mixtral and it was getting (anecdotally) even better results - getting down to 15-18% effort before seriously losing quality.

I decided to release the Mistral version, but Mixtral was fully operational a few commits back :)

Also, the cool thing - because you can load only the top say 70% weights, I was running Mixtral full precision on my MB 96G - there were no bemchmarks for this in other impls because others need to load full model into the memory.

The real question is Q8 performance - I didn’t implement it fully so far.
That's surprising, my local upscale supermarket even has like multiple brands of plain whey protein. I'd probably just order it online then. I like to mix it sometimes with cocoa powder, then just more or less chug it lol
This is really great I learn best from this sort of thing - a bare bones code implementation.

Only suggestions …. add some more providers, some minimal client side code and show how to get some data from the provider api with the token and how to refresh it.
The reason open source maintainers get pissy is because idiots selectively ignore entire paragraphs of the license that explicitly states the project isn't maintained and you shouldn't imply it is under any circumstances. The author is being extremely considerate. The problem is fools have no respect for author or chosen license. They rather do the opposite of what the author's license says. The only reason we're having this discussion is because there's enough fools that think they might be on to something.

The implication is the mistake, not the author for not being explicit enough.
Nestle is an evil company, it has caused deaths of thousands of babies and continues to add to that body count shamelessly. Countries should unite in fighting this evil and prosecute it’s executives with death penalty. Hopefully indian government bans this company
The simplest way to think about it is a form of dropout but instead of dropping weights, you drop an entire path of the network
Low-Code Automation for Image Workflows
That would just be the default configuration. Eventually almost everyone wants to customize according to their own needs, and this adds a lot of value.
every single sub no matter how niche is infested with bots or spam/schill accounts.

every single parenting/mom sub is inundated by formula companies.

every fan niche like comicbooks is full of bot accounts in training (building up karma with low effort posts and repeat copy posts from previous days from other posters).

everything, everywhere.
I get app.tuta.com

Logged in.
As much as I don’t enjoy the inequality its been with humanity since the time of Pharoahs and isn't going away anytime soon.
But Amnon has a better solution...

https://www.youtube.com/watch?v=zJTf4JhGSsI
Government really is where community goes to die huh? The only reason this asshole even has the chance of getting what he wants is that once he buys his approval he will have state backing to protect it. Without violence-as-a-service he's just one guy pitted against a town that hates him that would seemingly happily send him packing. The fact that the people of the town have any means whatsoever to stop him is a feat unto itself.

It truly is amazing how government enables this kind of assholery at an institutional level under the guise of property rights. I can't even imagine trying to join a community with my first move being to piss them all off by building an eyesore right in front of the nature conservation the town just paid for out of their own pockets.
Yeah, these can be cute, but they're not ideal. I think the user feedback mechanism could help naturally align this over time, but it would also be gameable. It's all interesting stuff
Imho, there's difference between "money of a community" vs "money in a community".

Ranch/mineral family money seemed tied to land/place/town in a way that's fundamentally different than corporate wealth.

Which isn't to say that those folks can't be assholes too! But I gotta support rich assholes who have generations of history in a place, over rich assholes who are transplants.
>Guy wants to build a home on land that he owns?

Seems from the article he wants to build something that doesn't adhere to local code restrictions on height and size limits.

It seems to be a part of the human condition to want to say "we should make these rules!" and then say "but I don't mean for me" It's just that people with a lot of money have more options when it comes to that second part.
Because it matters in aggregate. Also, most of those individual categories you listed are, in fact, high IQ outliers, especially when it comes to Fields medalists and Nobel laureates. And you made it evident by your post that you are, in fact, low IQ.
I think the links are tangential to the openness.

I think most agree that the watch debacle was bad, but what I (and from what I can tell others) may see from that is that the conspiracy theories of "M$ will close it back up as soon as they can capture the users" might have more weight to it than just conjecture, and is clearly out of the hands of anyone in DevDiv. Rebuilding trust is hard, and Microsoft is going to have a hard time reaching escape-velocity from EEE if there are things like this that continue to pop up. The other links where open source projects got moved into the private GH org (and causing issues with github sponsor money going towards the OSS contributors) is also pretty bad. The other divisions aren't helping with things like ads in the Windows start menu, etc.

I'm sure there are other companies that would pull off an open-source heist if they could (I keep an eye on things like GraalVM license changes to see whenever that rug-pull might happen), but agree that because of its past, Microsoft is under a finer microscope than others and the perspective is clouded by what the rest of the company does.

This all being said, I think C# and dotnet as technologies receive quite a bit of praise on HN and other platforms whenever they come up. The threads that make it to the front page about performance improvements and such are usually 80% praise.
First evidence for human occupation of a lava tube in Arabia
Guessing with a higher accuracy is still guessing.
It generally means over-commercialization.
> You're not picking Bob, Bill gets your vote.

In the layoffs I've been through, it's just as often that it is Bob who gets the vote.

Not for any reason, it's just random. Bill rolled a 1 somewhere, in that layoff. Better luck next time … if there is a next time.

Nobody is picking. Nobody is choosing, or making rational decisions. Just one day, hey, this entire subtree of the org is just simply laid off — individual performance had nothing to do with it. Or other versions of this that are just equally as obviously random.

Yes, the survivors might have put in the extra work. But what the person above you is saying is that that wasn't why they survived.
Man I wish my full time job was studying math.
A statement that Race X is "more stupid" than Race Y is almost tautologically racist.

The idea that Nick denigrating an entire race as 'stupid' is "accurate and mild", whereas any suggestion that the statement contains racism requires a "license to denigrate" is truly through the looking glass...
It's a hypothetical deployment but it's reasonable to expect. These robots will be very valuable, and everyone will want one. It's not going to become a housemaid in a few years. But will they be making car parts? Almost certainly. Moravec's paradox is still in play, but advancement in AI chips will slowly overcome it.
> Certainly near the top for most evil company that a median HN user might directly buy the product of.

And a lot of folks don't really know just how many bands Nestle owns.

https://en.wikipedia.org/wiki/List_of_Nestl%C3%A9_brands

They have over 50 brands of water alone. Avoiding their products requires home work and diligence.
Here's a good video showing how a bike actually works, and the relation between steering and leaning:

https://www.youtube.com/watch?v=9cNmUNHSBac
My understanding is that while it is possible to compile Tail Calls to be as efficient as an inline function it is (often) not possible in C.
Tech war:Chinese scientists rigged a low-cost AI chip to power hypersonic weapon
> How does one research and generate insights for what does not exist yet?

It's Zeno's paradox of research: we cannot think about what does not already exist, therefore nothing new can ever be brought into existence!
Related:

PHYS771 Lecture 9: Quantum - https://news.ycombinator.com/item?id=37198673 - Aug 2023 (31 comments)

PHYS771 Lecture 9: Quantum (2007) - https://news.ycombinator.com/item?id=33188276 - Oct 2022 (52 comments)

Quantum mechanics as a generalization of probability (2007) - https://news.ycombinator.com/item?id=8377680 - Sept 2014 (79 comments)

New straighforward approach to teaching quantum mechanics - https://news.ycombinator.com/item?id=4319276 - July 2012 (55 comments - top one just added to https://news.ycombinator.com/highlights)

Quantum mechanics for mathematicians - https://news.ycombinator.com/item?id=83594 - Nov 2007 (12 comments)
Ads when you mute is just absolutely insane (as is the rest).
Without government, this guy would buy an army of goons to violently force his will on us.

The monopoly on force protects us from billionaires taking over even more than they already have.
Right, it requires intimate past knowledge to be the foundation of the future knowledge and weighted biases. There isn't enough memory or disk today to accomplish this. It would be no more helpful than training a goldfish to react to a feeding time. It is why we instead substitute memory for an existing compendium of knowledge to query.
What do you mean by "second order consequences?" Also, what if this is caused by a bug in Google's search engine? Would that also be illegal? Is it anti-competitive if Google made a mistake?
Could Stripe have been started in Ireland? (2012)
Made that 4m last a long time eh ^_^
Thank for you for sharing.

What do you think are the next steps for a next generation event loop?

I've been experimenting with barriers/phasers, LMAX Disruptors and my own lock free algorithms.

I think some form of multithreaded structured concurrency with coroutines and io_uring.

I've been experimenting with decoupling the making sending and recv independently parallel with multiple io_urings "split parallel io" - so you can process incoming traffic separately from the stream that generates data to send. Generating sends is unblocked by receive parsing and vice versa.

Interested in seastar and reactors.
100k records is still pretty small!

It feels a bit like the hype that happended with "big data". People ended up creating spark clusters to query a few million records. Or using Hadoop for a dataset you could process with awk.

Professionally I've only ever worked with dataset sizes in the region of low millions and have never needed specialist tooling to cope.

I assume these tools do serve a purpose but perhaps one that only kicks in at a scale approaching billions.
Emergence literally means to create more potential than the mere sum of parts.

By this technical definition, the moment it did something useful which the parts themselves could not do was an emergent moment.

Remember the very first release? GPT scared OpenAI so much they didn't release it to the public until after pressure from competing open source alternatives began to surface.

Maybe you want to check the basic algorithms? When where they first demonstrating non gibberish?

Most changes since have been refinements.
Nice writeup! Very curious about the performance per VRAM with this compared to just quantization. Any plans to implement a cross platform version?
Florida Fish Are Mysteriously Dying After 'Spinning and Whirling,'
>SEO optimizations are just "make this better for humans, especially disabled humans"

I'm gonna embroider that on a throw pillow and use it to hit webdevs.
Behind the scenes: This is a teenager
Dennis Ritchie, Unix, and clarity (2011)
AI traces mysterious metastatic cancers to their source
Should a marketing person be “full stop”-ing the criticism of the product? Yes, I get it’s an affinity exercise, but one I don’t think marketing should be doing unless there’s something tragically wrong about it.

If I was working on the product, I’d probably feel okay full stopping. If I saw the person representing us full stopping Id probably think something like hey, nobody died here. And also I feel like a full stop is reserved for maybe one or two people at a company.
Building an interactive 3D event badge with React Three Fiber
Gravity: EV Infrastructure
This whole discussion is pointless - categorizing people by skin colour is ridiculous for almost all purposes, and also, considering history, racist.

Also, didn't "black" and "n-word" switch meanings as slur/non-slur less than a century ago (and might switch them again in less than a century) ?
I see. I suppose in a perfect world, devs would just follow general best practices and search engines would reward that, and nobody would be looking for evil voodoo to boost traffic. And I would have a pet unicorn!
This is where I got started too. Glove embedding stored in Postgres.

Pgvector is nice, and it's cool seeing quick tutorials using it. Back then, we only had cube, which didn't do cosine similarity indexing out of the box (you had to normalize vectors and use euclidean indexes) and only supported up to 100 dimensions. And there were maybe other inconveniences I don't remember, cause front page AI tutorials weren't using it.
A thesaurus - sort of.
Manuscript of Ismail al-Jazarī's Ingenious Mechanical Devices (ca. 17th century)
I don't understand how they still have mods. Reddits boss hates them. Everyone else, too. They have 100% a negative impact. The site would be wonderful without moderation as that's already covered by the voting mechanism.
Use the query parameter trick then.
The headline is completely backward, it should be "global electricity supply threatens booming AI demand" if anything.

Mostly it's just FUD. Data centers are very flexible about where they can be established. The most generous read on this article is that it's gesturing at issues with capacity and sustainability of the grid, and using AI as a cheap hook to do so.
Hmmm. Very interesting. I wonder if you could speed up your clever approximation still further with this approach https://arxiv.org/pdf/2205.09120.pdf
I wonder how much sugar craving depends on age. As a child I would happily eat spoonfuls of plain sugar. Children seem much happier eating candy, etc. than adults. I wonder if sugar provides some additional value to children.

So when adults say, 'I discovered I didn't need as much sugar', maybe they, like the children, are just following their biological urges.

I did a very quick look for research on the question but didn't find anything.
With that attitude, nothing will ever change.
> There are of course some rotten outliers, but those are the exceptions which prove the rule.

Oh please. This could be used to justify anything. I could say that murder is uncommon, and when it does happen, that's "the exception that proves the rule." Moreover, the prison system is corrupt and violent. Therefore we should stop prosecuting murderers.

> Because generally parents care a lot about their children. That has been a universal experience.

"In the 2012, Canadian Community Health Survey- Mental Health, 32% of Canadian adults reported that they had experienced some form of abuse before the age of 16. 26% had experienced physical abuse; 10% had experienced sexual abuse; 8% had experienced exposure to intimate partner violence." [1] Clearly this is a massive problem, and I don't accept "well what if we pretended it didn't happen" as a solution. If you believe parents are "universally" caring, I suggest you open your eyes and stop relying on your preconceptions.

Besides, being caring is not the issue. If a caring but misguided parent raised their children in the woods, cutting them off from society and education, that would still be an evil act. I have no interest in allowing extreme moral relativism to get in the way of preventing things which we all agree are evil.

> Whereas governments are mostly comprised of faceless bureaucrats who will generally care far less about a child.

I'm sure faceless bureaucrats don't care much about murder victims either. Again, that's not an excuse to stop prosecuting murderers. A bureaucracy does not depend on the enthusiasm of its participants to serve a purpose.

> And you may not believe me, but just look at referendums or bills about parental rights and public's reaction to those.

Which ones? If you've got a referendum to the effect that the public largely does not believe that CPS should ever intervene in families, I'd love to see it. Alas, I suspect you're referring to something much narrower and less relevant.

[1]: https://www.canada.ca/en/public-health/services/health-promo...
Which god figure are you referring to?

For example, Abrahamic religious leaders have made the concept of god toxic. But if you go by their dogma, then their god is responsible for the state of things.

Many of the non-abrahamic religions in the USA don't even have a god in the same sense, or they see their (equivalent to) god as the fabric of the cosmos and thereby not able to be abandoned.

I agree about the money though. It is the leading religion now.
Terribly written article (there's no flow to the writing, the author seemed to have just listed bullet points off a PowerPoint notes section), and a blurry video with cringy narration. To complete it, here's an HD video tour of the Vector W8's screens: https://youtu.be/3WEhsS9ybwk?t=631 , presented by a slightly annoying YouTuber.
Wheels are useless in this world. If you’ve ever tried using a pushchair or a wheelchair on much of the planet, built environment or no, you’ll find wheels are useless.
Can someone point out where "powered rollerskates" are strictly worse than legs in civilized urban human environments, to an extent that a few extra hundred billion dollars of R&D are warranted? The "approximate capabilities" of a human are: moving around, and picking things up / fine manipulation. Wheels + arms does that just fine, and eliminates a lot of power, complexity, fragility. And it also potentially adds.

This is one of those 80/20 things that is just glaringly obvious. Like lvl 5 autonomous cars vs lvl 3-4.
Reminds me to how high framerate made (makes?) people think "Soap Opera", even though it's technically higher quality.
As a materialist, do you believe in laws of physics?
Annie Besant and Charles Leadbeater's Occult Chemistry (1908)
And porn on BBSs predated modern Internet porn by a few decades and, as I recall, it was even a Time cover story once--when the weekly news mags were still relevant.