skysight-inc/HackerNews huggingface dataset:
When I’m writing code, I often switch between an high-level mental description and the code itself. It’s not a one way interaction. The more I code, the more refined my mental solution becomes until they merge together. I don’t need to hold everything in my memory (which is why there are many browser tabs opened). The invariant is that I can hand over my work any time and describe the rest of my solution. And the other advantage is the growing expertise in the tech.
Whats wrong with using FAISS as your single db?

Its like sqlite for vector embeddings, and you can store metadata (the primary data, foreign keys, etc) along with the vectors, preserving the relationship.

Not sure if the metadata is indexxed but at least iirc it's more or less trivial to update the embeddings when your data changes (tho i haven't used it in a while so not sure).
(On a serious note), inside Google you tend to get more easily promoted if you launch new products than if you maintain existing products, so it could be tempting for the employees themselves to follow in that direction.
I do not like to "evangelize" people, and i truly dislike gurus, so i really hate to recommend books other than fiction or old, not actualized philosophy, but if you think what my parent hosh wrote is great but you either don't believe it can do something, or you want to do the same but don't have any idea how, Olivier Hamant books are great, pragmatic, actionable and positive starting points. It's a fantastic starter to think about what you can do. I disagree with him on some points (i started to expand but it's detrimental to my argument and anyway, most of those reading this did not read him, so it's like arguing with wind :/)
My guess is that's because people don't like being colonized. "Modern" industrial farming is also depleting the soil, so I'm not sure the jury is out on it actually being "better" than local practices.
It doesn't matter what the military budget is.

Most of it is spent on personnel and operation.

You'd want to know only what the procurement is - which is ~$146B: https://en.wikipedia.org/wiki/Military_budget_of_the_United_...

And most of that is part of Gross Fixed Capital Formation already...
Four Projects, 45 Days, AI-Augmented Coding
Superhuman Speech
Which dell did you end up going with?
An old coworker used to work on what is basically a Stingray for air platforms with some sort of directional finding capability. Presumably, you'd strap it to a drone and fly it over villages where you suspect bad guys are. Do this every few days and in multiple locations and you'd establish patterns of movements and links between networks of people.
Coatings that don't cut down on reflections is the biggest issue I've had the various times I have used this route.
>What's the military budget of USA?

Somewhere between $900B and $1T this year
Speeding Up MP3 Compilation by 380%
2,000-Year-Old Nabataean Temple Found off the Coast of Italy
Crafting Painterly Shaders
I thought the same, sadly regional pricing…

For half that price I can get a used Dell/HP/Lenovo mico/tiny PC with a full i7 CPU, 16GB RAM, 256SSD.

Still good to see. Great for an office PC or HTPC.
It's fun. Don't take the leaderboards too seriously. The kind of people that would care about high placement at any cost tend not to be the kind of people who care about strava. (mostly)

People that can legitimately get a KOM on a segment tend to be known in a local community. If someone new shows up at #1, it's pretty obvious looking at their workout if its legit or not to someone familiar with the sport.

What's the point of wikipedia? Can't people just easily publish fake information? Like what happens if I make an article about myself?

It's pretty much a solved problem.
I just watched Oh, God! again. She played that role perfectly. Like, "I'm sure my husband is crazy but I love him and, well, I guess we'll see where this goes."
Award for most ambiguous headline. (“cuts” can mean “initiates” or “terminates”!)
> "The source of artificial intelligence is actual intelligence, which is what you find on Reddit."

I love that quote. I find it adorable that he can spin it that way with a straight face, but it is a great quote.
I wonder if it's about more stable glucose levels hence avoidance of cravings. Anecdotally, alcohol and nicotine cravings seem to pass me whenever I have a particularly fast acting (low osmolality) carbohydrate supplement.
How does their embedding model compare in terms of retrieval accuracy to, say `text-embedding-3-small` and `text-embedding-3-large`?
The Vatican unveils official anime girl mascot
Really? In my experience they easily cover the majority of cases - strings versus numbers, min and max length, upper and lower bounds to values, specifying what decimal level you’ll accept, you can even straight up provide a regex in the ‘pattern’ attribute.
Don't worry, UK Met Office are currently shitting the bed on a migration from on-prem HPC to Azure (3+ years late at this point I believe?) so the competition isn't exactly hot.
I still think it’s worth emphasising - LLMs represent a massive capital absorber. Taking gobs of funding into your company is how you grow, how your options become more valuable, how your employees stay with you. If that treadmill were to break bad things happen.

Search has been stuttering for a while - Google’s growth and investment has been flattening - at some point they absorbed all the worlds stored information.

OpenAI showed the new growth - we need billions of dollars to build and the run the LLMs (at a loss one assumes) - the treadmill can keep going
Not sure if the format for this article is standard these days, but oh man do I hate it.
The Great Bagel Chase: Capture the Flag Across NYC
It is just more of this...

https://www.amd.com/en/newsroom/press-releases/2024-5-21-amd...
I would agree, but try and buy Dell, HP and Lenovo instead imo.
The point, which seems to be routinely massively downvoted on here, is that both things can be true at once:

- these drugs are good and a paradigm shift in the treatment of obesity (and have other benefits)

- we must not lose sight of the need to address a thoroughly sick food industry that necessitate so many people needing to use these. Junk food advertising, lack of subsidies for fresh vegetables, HFCS, food deserts, etc.

Chile is experimenting with banning junk food ads to children and is seeing some early behaviour changes.

The point which people seem to be wilfully missing is that we can have both these drugs and advocate for cracking down on a food system that deliberately poisons everyone in society. Having everyone be on this drug because we shrug and say "free market innit" while big corps continue to feed us crap is not a solution, obviously.
Losing muscle mass is just what happens when you're in a calorie deficit. The same thing happens if you're in a calorie deficit without the aid of a GLP-1.

Making sure each meal contains substantial protein will help negate this.
Pretty smart. Why is the DB api the abstraction layer though? Why not two columns and a microservice. I assume you are making async calls to get the embeddings?

I say that because it seems n
unsual. Index would suit sync better. But async things like embeddings, geo for an address, is this email considered a spammer etc. feel like app level stuff.
Reducing two mathematical proofs to being 'essentially the same' just because they reach the same conclusion overlooks something crucial: each proof isn’t merely a path to a result but a unique expression of understanding. A proof has its own logical and conceptual structure, and that structure isn’t interchangeable without losing some of its inherent value. Comparing proofs shouldn’t just focus on a shared outcome: the path taken, the relationships it establishes, and the concepts it explores are as fundamental as the conclusion itself. Perhaps it’s time to view mathematics not just as calculation, but as a real act of knowledge that in its diversity deepens our grasp of reality
I'm talking about web/app UI validation, are we talking about the same thing?

Does F# provide ability to display validation errors with good UX to users using your app? How does it know what user friendly error messages look like?

Okay very simple example prompt that will generate 100+ lines of code.

"Give CRUD example using shadcn, react-hook-form, zod, trpc to create an example of a TODO app"

Which programming language would be able to replace the UI at this level of quality and how the UI looks?

Now this is very basic example, and it's a "todo app" without existing project, but I find it can give me a lot various different 100+ lines of boilerplate, from charts to sql explorers, to much else.

Also most web app developers and especially juniors usually have terrible error, loading, validation handling, and SOTA seems far superior to that, handling those cases everytime with ease and most intuitive error messages.

It will patiently always do "isLoading", checks for error, etc.
I’m quite sure what model revision their API quotes, though serious users rapidly discover that like any distributed system, it has a rhythm to it.

And I’m not sure we disagree.

Vercel demo but Pets is copy paste.
Marauder – Toroidal Plasma Railgun
I do some offshore but mostly on the great lakes.

I don't use GFS just by looking at the wind layer though. Wind layer forecasts do not include terrain or local effects as you noted. But the necessary info is in the forecast and is accurate.

For instance, in the great lakes we tend to have large diurnal temperature swings and therefore strong sea/shore breezes. If the model is forecasting big temperature changes and an anticyclone with low wind-layer forecast, this is ripe for strong sea/shore breezes.

The biggest hazard we have in the great lakes is convective storms (squalls). They do not show up in forecasts because convective cells are very small. However, The GFS gribs do have pressure forecasts, and perception, and most importantly CAPE and CIN forecast layers. Combined with WPC synaptic charts you have the info needed to determine if 1) convective storms are likely to occur and 2) if they do occur, the probability that they will be severe.
$7T can buy a hell of a lot of human intelligence. At that price I'm not sure AS/GI is cost competitive.
It could have been strategy instead of insanity. By starting conversations at $7T you anchor high and potentially drive a greater outcome than starting an order of magnitude lower.
I used FAISS as it also allowed me to trivially store them together.

Idk how well it scales though, it's just doing it's job on my hobby project scale

For my few 100'000s embeddings I must say the performance was satisfactory.
We have entered the era of generic fashionable CRUD framework demo Too Cheap To Hawk.
Specifically, NOAA's global model, the UFS, is now in third or fourth place behind the European Center, the UK Meteorology Office, and often the Canadians.

So there's been no decline. In fact US weather prediction is getting better (by the article own chart). It's just The author is upset the US isn't moving ahead as quickly as other weather services. Maybe they should be upset by this but the way it's framed seems a bit dishonest.
When you are very big (like an elephant), gravity is all important and surface tension barely matters.

When you are very small (like an ant), it is the other way around.

Toss a mouse from a building. It will land, shake itself off and scamper away. But if similarly dropped, “… a rat is killed, a man is broken, a horse splashes.” So wrote J.B.S. Haldane in his 1926 essay "On Being the Right Size."
https://www.edge.org/response-detail/27082
Why would anyone buy an ebook from Amazon in this world where books are free?

There are lots of things produced without a copyright-like legal structure that gives retained property rights.
This is such an excellent reflection, especially the iterative nature.

“Yes but” is now a part of my toolkit to help me authentically unpack all the justifications that come to mind & convert them into learning.

I’ve lead B2B SaaS revenue efforts a number of times. You correctly identified all the things that are hard and how customer size is a major factor in choosing what to build and how to sell.

My general recommendation for a tool like yours is to sell to the professional who would use it in a “b2b2c” format like Slack.

First win the champion, then the market they live in.

Excited to see what you choose next!
And yet it takes a non-zero amount of time. I think an apt comparison is a language like C++ vs Python. Yea, technically you can write the same logic in both, but you can't genuinely say that "spelling out the code" takes the same amount of time in each. It becomes a meaningful difference across weeks of work.

With LLM-pair-programing, you can basically say "add a button to this widget that calls this callback" or "call this API with the result of this operation", and the LLM will spit out code that does that thing. If your change is entirely within 1-2 files, and < 300 LOC, in a few seconds, and it can be in your IDE, probably syntactically correct.

It's human-driven, and the LLM just handles the writing. The LLM isn't doing large refactors, nor is it designing scalable systems on its own. A human is doing that still. But it does speed up the process noticeably.
Exactly.

I ended up asking about half pound ball I would throw with a 3600rpm spin and the acceleration phase was 4ms.

It had no issue with that but it was stupid.
Right, but you continually conflate "unified experience" with "using custom UI controls".
Fortunately we will just be able to ask AI what to do about it. I’m sure it will come up with something.
Your points are just reforcing my initial point.
Old paradigms of nutrition have clearly failed. If we could acknowledge that we could move forward and be open to very promosing alternative paradigms.

Which currently are not studied enough, to create clear nutritional guidelines for the public.

Gpl1 and those paradigms work through the same mechanisms action (autophagy, ketones, reducing food intake).

If there is acute problem with health such as (morbidly)obesity then gpl-1 could be a great intervention.

But its not long term solution, nutrition and a healthy relationship with food and lifestyle is.

Muscles are very important for health, but let's not go into that. For muscle size I linked to meta study about muscle size and all cause mortality (longevity)

> Conclusions: Low SMI(skeletal muscle mass Index) was significantly associated with the increased risk of all-cause mortality.

https://pubmed.ncbi.nlm.nih.gov/37285331/
(post co-author here)

We agree a lot of stuff still needs to be figured out. Which is why we made vectorizer very configurable. You can configure chunking strategies, formatting (which is a way to add context back into chunks). You can mix semantic and lexical search on the results. That handles your 1,2,3. Versioning can mean a different version of the data (in which case the versioning info lives with the source data) OR a different embedding config, which we also support[1].

Admittedly, right now we have predefined chunking strategies. But we plan to add custom-code options very soon.

Our broader point is that the things you highlight above are the right things to worry about, not the data workflow ops and babysitting your lambda jobs. That's what we want to handle for you.

[1]: https://www.timescale.com/blog/which-rag-chunking-and-format...
You could make the same argument for any non-AI driven productivity tool/technique. If we can't trust the user to determine what is and is not time-saving then time-saving isn't a useful thing to discuss outside of an academic setting.

My issue with most AI discussions is they seem to completely change the dimensions we use to evaluate basic things. I believe if we replaced "AI" with "new useful tool" then people would be much more eager to adopt it.

What clicked for me is when I started treating it more like a tool and less like some sort of nebulous pandora's box.

Now to me it's no different than auto completing code, fuzzy finding files, regular expressions, garbage collection, unit testing, UI frameworks, design patterns, etc. It's just a tool. It has weaknesses and it has strengths. Use it for the strengths and account for the weaknesses.

Like any tool it can be destructive in the hands of an inexperienced person or a person who's asking it to do too much. But in the hands of someone who knows what they're doing and knows what they want out of it - it's so freakin' awesome.

Sorry for the digression. All that to say that if someone believes it's a productivity boost for them then I don't think they're being misled.
I wish Dell would come out with a refreshed version of the UP3218K that's cheaper and fixes its various little glitches.
The useful Mandela effect
Usually when doing anchoring you want to end up at a result less than what you originally asked for but crucially more than zero, and OpenAI immediately folded on building any fabs whatsoever, so I don't think it worked.
A comprehensive list of alternatives to Mint for personal finance
FFS. An anecdote is one piece of data, when those pieces of data come together it provides evidence.

For example we see the same behaviors in mice

https://www.niaaa.nih.gov/news-events/research-update/semagl...

>In the current study, the researchers demonstrated that semaglutide reduced binge-like alcohol drinking in both male and female mice, and that the effect was dose-dependent (i.e., greater amounts of semaglutide led to greater reductions in binge alcohol intake). The researchers also tested semaglutide in rats that were made dependent on alcohol through long-term exposure to alcohol vapor. They found that semaglutide reduced alcohol intake in this animal model, again with no sex differences.
This is something I have a difficult time agreeing on. I expect a certain level of information density and configurability in desktop UIs, which shoehorned mobile-style UIs don't do well to provide. Deep modality is also a peeve; on desktop there's often no benefit to burying things in mulitple layers of modals — within reason, the most important things should never be more than one click away and great consideration should be put into putting upwards of 2 clicks between the user and their destination.

That said, I do think it's fine to have a simplified mobile-ish UI as an option, but it shouldn't come at the cost of more classical desktop style layouts for those who can leverage them well.

As a sidenote, this is part of why apps like the mac version of Apple Mail and Thunderbird have a considerable number of hardcore adherents, particularly among power users.
China's Secretive New Space Station
I want a US train route that functions like a cruise ship: You travel at night, sleep on board, and then the train stops for a few days at points of interest and you get out and wander around.
I have completely the opposite perspective.

Unit tests actually need to be correct, down to individual characters. Same goes with API calls. The API needs to actually exist.

Contrast that with "high level design, rough outlines". Those can be quite vague and hand-wavy. That's where these fuzzy LLMs shine.

That said, these LLM-based systems are great at writing "change detection" unit tests that offer ~zero value (or negative).
How does AI learn from it's mistakes ?
Genuine question as i have only briefly used ChatGpt and found it interesting but not usefull.
I normally work with a 40", I'm using a a hammerspoon to divide the screen, but normally I end using one main window, with some smaller window at the side and cmd-tabbing between info. How do you manage the distraction of so many information at the same time? Do you switch between apps? use the mouse? don't you loose track of where the focused window is?
I have worked on social dynamics on social media particularly how why certain kinds of content/people become viral. To that end, I have been working on a large-scale simulation that simulates twitter. It pulls data from a random distribution, generates users with specific interest vectors. its modelled as a Agent based modelling with the users as agents, posting every timestep, reading content posted by others, recommended to them by a recommendation engine. all of this this then generates data for research.
I have no idea why you bring that up? NNUE has no bearing on the search.
it's no longer Broadcom

Avago Technologies (owned by corporate raiders) bought Broadcom, then took its name for itself

its ticker is still AVAG
Taking inspiration from your nickname, how do you explain the many technical aspects of Japan that are still stuck in the 90s? They surely know how to look around and they surely know better things have been battle tested for decades in other countries, and yet...
Federated networks like Mastodon and Lemmy are going to get people well-acquainted with websites shutting down. It's hard work (time, money, etc.) to run these things for people, and people start to really lean on them.

It's almost novel now days getting sucked into something that shuts down. killedbygoogle.com is a meme partly I think because websites shutting down is just so uncommon in areas that we get personally invested in.

I run my own Lemmy instance just for my self and even that can be trying sometimes. I enjoy using it instead of reddit, but one day I will probably shut it down and be sad.
Broadcom also builds xPUs for Google, Meta and Bytedance. Maybe these companies know a thing or two.
How long would take them to get a new chip into production and then used for training/inference?
I'm not sure how many people are like me, but my attempts to use Copilot have largely been the context of writing code as usual, occasionally getting end-of-line or handful-of-lines completions from it.
I suspect there's probably a bigger shift needed, but I haven't seen anyone (besides AI "influencers" I don't trust..?) showing what their day-to-day workflows look like.

Is there a Vimcasts equivalent for learning the AI editor tips and tricks?
The current AI craze doesn’t feel like it’s really about AI. It’s Silicon Valley being desperate for (growing) growth and shareholder value.

Another obvious aspect it that it may help do work that could be done by people, thus helping to keep the worker class - that’s you! - subdued, fighting amongst yourselves.

Meanwhile the ‘good stuff’ can only be offered by those large companies, who have the power to make them ‘good enough’ thus making the rest more dependent.

It’s been a while since 2007, all the incentives are there to keep the ball rolling, but it will stop at some point.

Then we IT people with six figure salaries will learn that we should have listened more to David Graeber.
The Nexus Trilogy is extremely entertaining fast paced sci fi you can't put down with very interesting ideas on upgrading humans.
The conquistadors praised Tenochtitlan, viewing it as an advanced city equal to the Spanish cities of the time.
I’m not sure this has been true since the advent of the internet. I don’t believe there’s an entire shadow sphere of academia that is decades ahead of what’s openly published.

For nuclear energy, this might be true. But for nearly any other topic I’m very skeptical.
We've always lived amongst abundant EM radiation.
Sadly there's basically zero chance of that. We don't find dinosaur pottery sherds or cola bottles embedded in sedimentary rock anywhere.
It doesn't have to be difficult, for example when developing user interfaces I have a secret key combo for triggering the latest test, and another for running all tests. And I make mock functions that will trigger user interaction automatically. I inline the tests so they are next to the code being tested. I also place them inside comments so I can regexp remove the tests for the release because I don't want my program to be more then two MB, but if you don't care about size you could just leave the tests there so that they can be triggered by users in a prod environment as well. The problem with modern development is that the frameworks makes everything more complicated. Just ditch the leaky abstractions and increase your productivity 100x