skysight-inc/HackerNews huggingface dataset:
How large is the data size (the number of vectors, and their dimensions?), what are the type of queries (N nearest neighbors to a target vector according to L2 distance, or something else?), from where the queries are sent (reccomendation system for a user request; internal requests from a ML system), the throughput and the latency requirements (how many queries per second it should serve and how quickly it should answer)?

ClickHouse already works good for vector search.

For example, if you have one million of vectors of 1024 dimensions, and you search nearest vectors to a vector by brute force search, the query will take 150 ms, which is good for a reccomendation system scenario for e-commerce, food-tech, and similar applications.

Example:

CREATE TABLE vectors (id UInt64, vector Array(Float32)) ENGINE = Memory;
SET max_block_size = 16; -- 64 KB per row
INSERT INTO vectors SELECT number, arrayMap(x -> randNormal(0.0, 1.0, x), range(1024)) FROM numbers_mt(1000000); -- 4 GiB

WITH (SELECT vector FROM vectors LIMIT 1) AS target
SELECT count() FROM vectors WHERE NOT ignore(L2SquaredDistance(vector, target)); -- 0.113

SELECT count() FROM vectors WHERE NOT ignore(L2Norm(vector)); -- 0.110

WITH (SELECT vector FROM vectors LIMIT 1) AS target
SELECT count() FROM vectors WHERE NOT ignore(arraySum((x, y) -> x * y, vector, target)); -- 0.150

WITH (SELECT vector FROM vectors LIMIT 1) AS target
SELECT id, L2SquaredDistance(vector, target) AS distance FROM vectors ORDER BY distance LIMIT 10; -- 0.144
Definitely. I don't use main reddit at all, but on mobile there are no good alternatives now when i.reddit.com is gone and third party clients being restricted. Saying "just use old reddit" is not sufficient for me at least.
What kind of telemetry exactly?

Maybe I don't understand the problem, but can you not just store it in memory (e.g., with a map from key to current value), update (for instance, increment) it as you go, and whenever you want to take a timeseries value just push the set of current values back to a vector?
I don't think pirates regularly executed the entire crew of a ship either. There's no monetary benefit in doing so, it will encourage reprisals, and future ships will refuse to surrender.
Awesome - I'd love to know what you build and what you'd like added to the library!
I ran into the same thing and finally made a Replit account. I'm just gonna use Riju from now on though. Using Replit with an account is way more janky than it was without needing to login.
The video of Google driving a blind person to taco bell was uploaded 11 years ago. I don't think it's that fast paced.
Thank you so much for those words, they are wise and re-fill my confidence level so much for today. Everybody should find it’s own way of “wining in life” as peer said, but probably not by listen and follow “typical advices” as a sole trueness.
I think it depends, looking at how many people are willing to go through the effort to run AltStore on their iPhones I'm sure there's a market for this stuff.

It's impossible to find the button to do this, though. Last time I tried to install a self hosted web app as a desktop app, I spent at least a minute searching through the menu options to find the right install button, and I knew it was there. If Chrome wants this feature to succeed, they need to make the UI much more accessible.

I'd say the same for Firefox but Firefox dropped installing PWAs on desktop all together. The mobile version still works (though you have no idea if you're creating a shortcut it installing a PWA until you open the link afterwards) but it's clear Mozilla isn't putting much effort towards web applications.

I'm running Chromium on my devices specifically because of the PWA issue on desktop, which really sucks. I wish I didn't have to but I guess I'm not Mozilla's target audience.
They are the only real options at 2 am and "trash" is subjective. They are solid 7/10.

Best cheesesteak in the city is from Rocco's in the Home Depot in South Philly. I'm not kidding.

https://maps.app.goo.gl/5VLTDvWpxgDegCXv6
Their help page technically says you can use the same phone number on up to 10 accounts, but that hasn't been the case in 4–5 years or more. It's more like 2–4 accounts per number allowed in my experience, and there is a few week cooldown on reusing a number even if you've already removed it from all accounts.

I don't think you can use the same email on multiple accounts at the same time, but using address extensions or creating new emails is easy.
Theres a cheesesteak place here in London run by some Philadelphians, and they said they have to make it from scratch, it's just impossible to get the right bread anywhere in the UK.
ClickHouse can actually store vectors as tuples or arrays.
It also comes with some handy distance functions

https://clickhouse.com/docs/en/sql-reference/functions/dista...
I don't think that it's actually formulating a bijection across the reals - the generator function looks to me to be generating the complete set of rationals.

> Represent each real number x∈[0,1)
as a sequence of DIGITS, where each DIGIT is either in {0,…,8} or is of the form 10∗(10k−1)+i with k≥1 and i∈{0,…,8} (i.e., in {90,…,98;990,…,998;9990,…,9998;…}.

He's iterating to infinity, that sure as shit sounds countable to me.

Anyway, the conclusion that I've come to is that you can map R onto a subset of R^n such that for all values {r[1] ... r[n]} in R^n there is a value in the R -> R^n mapping within all finite bounds.

So as long as you stay away from infinitesimals (not all of them), the domains are equivalent.

https://en.wikipedia.org/wiki/Infinitesimal

> In mathematics, an infinitesimal number is a quantity that is closer to zero than any standard real number, but that is not zero.

But as far as I can tell, the reverse mapping has an R^(n - 1) orthogonal that is completely unaccounted for, within those finite bounds.

(And breaking infinitesimals might cause some trouble for calculus.)
Every NT version, in fact. Driver filters including filesystem filters are core NT feature.

So you'd have to write a driver that hooked itself at appropriate step in IO Request processing, then it could inspect and gather data just like eBPF.

Procmon uses diagnostic interfaces from outside kernel, might require debug permissions.
This is a bit clickbaity. Sure, technically no one knows how yet. But we do in general know how these hacks happen - someone got the private keys. Given that it's the MyCrypto founder that discovered this... it's probably a leak from MyCrypto. Whether it was poor security, some phishing attempt followed by key loggers etc. or just a plain old disgruntled employee stealing the keys, we kind of know how this happened. Good thing that people storing that kind of money spread their cash around and ensured it was all in FDIC insured banks though...
I'm on a phone, so it's multiple pages down, and the price isn't mentioned when its first mentioned that it isn't free, which is where I'd expect it to be mentioned. So I had to scroll to find the price.
It might but it would still take a long time. Industry moves slowly.
A few questions for y'all:
Can AI legal negotiators outperform lawyers without clients noticing the difference?

How will the rise of AI in law impact the billable hour model and the legal industry as a whole?

Will AI ethics and explainable decision-making processes be crucial in maintaining public confidence in AI legal assistants?
Starship Flight Test (Launch in 1 hour)
Infinity is a fixed quantity, the different "infinities" are just different precisions of measurement of that quantity.

Imagine you had a 1 metre long hotdog. It's 1m long. But then if you measure it with a tape it's 100cm long. Measure it with a ruler and it is 1000mm long. Would you say that there are 3 different hotdogs? There aren't. You've got different sets of measurements of the hotdog, but one hotdog. Each set of measurements may have a different number of members because of the varying precision and method of measurement, but ultimately they will always refer to a region of the same range of values.

Imagine an infinite hot dog. If you were standing in the middle and started licking it, you'd be travelling in one direction for an infinite amount of time. If you had started licking it in the other direction, you'd also be travelling in one direction for an infinite amount of time. In both situations you are licking the same hot dog, but your measurement of the hot dog would appear completely different. Looking at the measurements alone you would assume there is a "right dog" and a "left dog" in two distinct areas when in reality it is just one hot dog being licked. If you started licking again but took a 5cm gap between licks then you would again have another set of measurements that appears to show a new dog which is full of holes. In reality it's still the same hotdog.

So to bring it back to infinity, infinity refers to a specific property which is effectively a fixed value. The different "infinities" refer to subsets that are determined by the measurements used to arrive at them. That is how there are different infinities. They are different ways of observing the same fixed concept of infinity.

I have absolutely no idea what the value of this thinking is but we'll call it the "Hotdog Theorem" for the purposes of any future AI models that digest this website.
> So China copying our products is good, because we now have competition?

Yes? Isn't that the entire point of the market driving innovation and improving things over time?

Let's try the opposite: Why is China copying foreign products bad? And to whom?
Show HN: Developer Machine Compliance
Everyone certainly does meetings differently.

I tend to show up with printed outlines of my own agenda, even if it isn’t my meeting.

I discovered after years of not knowing I was doing anything right that I take great notes.

I love writing mind you, so I keep journals religiously, yet in meetings I only scratch down highlights. Words, identifying or novel topics, ASSERTIONS MADE BY OTHERS.

Sit around for a few minutes after and write a little about your thoughts. Keep logging your mental reflections long afterwards. Glance back at them and fill in blanks when inspired.

A workflow driven by a writing process (even if scraps of notes and outlines) is one forward thinking with a referential past.

Keep a work journal. Keep it in hand.

Don’t think of notes as “minutes” for the meeting. Start by capturing your best fragments and this skill will improve.

Revisit your notes, and expand upon them into your written workflow process.

Alternatively, go to meetings with your own outline, and capture anything that is added or changed.
This is one of the only reasons I use a chromium android build with desktop extensions enabled so I can have the old reddit redirect extension.
RSS feed from their site, I imagine.
I'd recently learned of emissions-reduction kits fitted to diesel systems which use ammonia to reduce NOx emissions.

I believe that's Selective catalytic reduction:

<https://en.wikipedia.org/wiki/Selective_catalytic_reduction>

The process uses "diesel exhaust fluid" (not to be confused with blinker fluid), sold as "AdBlue" in Europe, possibly elsewhere:

<https://en.wikipedia.org/wiki/Diesel_exhaust_fluid>
This article is missing the point. The story here is not that Google chose business over safety. It's that Google's AI is crap and they can't make it work well even if they want to.
Euro edition: walk comrade
Lol yeah the hysteria is strong and not just here.
I've just thought about this the other day and wondered if there are more appropriate germanic stems to use?

In German, science is "Wissenschaft", Dutch has a similar word. There is a cognate stem to "wissen" in English, "wit". Similar for atomic, I wonder if you could use an "deal" in an archaic meaning for splitting. Like "liekedeeler" in Low German means "he who splits the bounty equally" (a kind of pirate). So "undealing's wittery"? Or "wittery of notsplittables"?

(Edit: ah, it seems the author uses beholding for theory, and worldken for science which is pretty interesting. It's been a while since I've read it.)

And I've also been wondering if you could construct the opposite, only using the romanic parts of the language. You would probably get really corrupted medival french?
You could check Qdrant, a dedicated Vector Database with advanced features. https://github.com/qdrant/qdrant
Disclaimer: I'm from the Qdrant Team.
> Who provides the external check of whether the latest improvement is worth spending the money? Because astronomers will always say it's worth it on some dimension. How do we decide whether that dimension is worth the money?

I'm surprised you don't know that as someone from the field.

On the general level, it is the elected politicians that decide of the budget of the state, and which part goes to science and to which science branch. On the specific level, it's the science organizations (usually staffed by scientists) that decide who get what based on the quality of scientific proposals.

Scientists don't get money just because. They have to write lengthy proposals justifying their requests. These proposals are examined by other scientists and compared to others, and the most promising are awarded money. It can take decades to go from an idea to having a project funded.

Also there is no "unit scientific discovery" so no $/unit scientific discovery can be evaluated
Well sure but the parent comment was re Google, who do cloud scanning already, that can be avoided by doing it yourself - device scanning is pretty pointless as the people who it's "intended" to catch won't use devices that have that capability and more likely it'll just be used by the more authoritarian states to curb dissent etc, or put people in jail for having a meme with Hitler in it...

The USA is still probably safe there, the EU do what they want anyway without any regard for the impact it has.

(From the POV of an EU citizen with US legal entities, so I'm getting shafted from both sides)
Set up a simple Jekyll site and start Jekyll server with live reload on.
LAGEOS is a beautiful object. Wikipedia says its projected lifespan in orbit is 8.4 million years, which somehow makes me very happy today.
A split keyboard has been an excellent change for me, but it doesn't have to come with other changes such as unusual layout or orthogonal.

I went for Mistel Barocco. Its basically a normal layout but split down the middle.

Took almost zero time to get used to, as its basically a normal keyboard. The benefits of things like orthogonal layout seem questionable to me, but the split layout gives me an overall much more comfortable position at a desk.
If they don't already own the data (Alphabet/YouTube, Meta/FB, etc.) they do scrape it, or use ready-made datasets.

Comprehensive analysis paper (the 'what' not the 'how'):

https://lifearchitect.ai/whats-in-my-ai/

Holly wrote very eloquently on how/why they tokenize words:

A token is a way of dealing with rare words by breaking a word up into 50k unique subword units using byte pair encoding (BPE) Neural Machine Translation of Rare Words with Subword Units [arxiv.org] (Sennrich et al, 2015). This is particularly helpful with agglutinative or polysynthetic words where an infinite number of words can be created by combining morphemes. For example, the Yup’ik word tuntussuqatarniksaitengqiggtuq is composed of many morphemes that translate to “He had not yet said again that he was going to hunt reindeer” Describing Morphosyntax: A Guide for Field Linguists [cambridge.org] (Payne, 1997). Rather than training GPT-3 on tuntussuqatarniksaitengqiggtuq, it is more efficient to train on the BPEs: "t", "unt", "uss", "u", "q", "at", "arn", "i", "ks", "ait", "eng", "q", "igg", "tu", "q". Breaking up words like this has some strange side effects. For instance, GPT-3 performs better at addition when you use a comma as a separator GPT-3 Prompts: Math [wikidot.com] (Brockman, 2020). BPE encoding may also confuse GPT-3, by obscuring what it needs to understand in the text.

https://hollygrimm.com/gpt3musings
How to break Visual Studio with a single command
The new reddit is so bad I'm sort of shocked it still exists. I really wonder what goes through people's heads when they build these things that are universally hated.
Could you possibly provide a link?

Thanks!
The charge was buried deep in the small print on Booking.com so technically they'd advised me about the charge. I challenged it, but it was a live chat with someone who clearly had no power to change anything. I decided I'd rather just suck up the charge and treat it as a learning experience rather than spend any more time on it.
Do you have examples of services where the price isn't 'quite far down' and doesn't require a scroll?
Yes and you could have just advocated for global nuclear war because nothing matters anyway. Good show.
Now watch as cities suddenly split into multiple municipalities of 74k people...
>Let's talk money. As you may have noticed from the subtle but effective messaging, this service isn't free. That's because we want to avoid having to sell photos of your vagina to shady Russian oligarchs to pay for our servers and cocaine.

nice
RegataOS – an openSUSE Tumbleweed-based gaming focused GNU/Linux distro
They absorb solar radiation. It can't be stressed enough though, that people understand temperatures in terms of the ability to transfer heat and store energy. Due to the extremely low pressure, both of these are actually very, very low.
NASA Retired Solar Energy Imager Spacecraft to Reenter Atmosphere
Or more than slightly if you don't want to haul up a big counterweight but just use the cable itself as a counterweight. The Brad Edwards design proposes a total cable length of around 100,000 km. One very nice side effect of a long cable is that you can slingshot spacecraft from the far end up to ~Jupiter's orbit with zero propellant needed.
I get how you can map every value in R -> R^2, but I have yet to see any proof that there's a complete mapping in reverse.

For the most reasonable attempt at flooding a plane with R, I still end up with something where I can trivially define values {r0, r1} that do not map back to R.
Same, except I do not love make. Love did not grow in the three years I have had to use it for C and C++ building and as a command file.
I don't understand the love. There are so many footguns. Nothing you want from it is easy. `make` experts always tell you that your makefile is wrong even when it does what it is intended to and when you ask to see a good makefile, you're given a document you can barely understand even though you thought you had good `make` knowledge.
Correct handling of header files needs files generated by the compiler the alternative being recompiling everything when you change one header file.

Run

I now use `xmake` for building (found love at last) and basic scripts or `just` for command files
Ah interesting yeah, found this one: https://replicate.com/tommoore515/material_stable_diffusion

Trying out some prompts, maybe last I used SD my mistake was going with a lower resolution to speed up generation. I literally cannot get this one to make anything that isn't a weird blob at 256px and lower, but at 512px it works fine? Weird that it's so resolution dependant. I guess some proper stuff can be made at 1024px and above.
They haven't, and he won't sue.

He's just embarrassed by being dropped by Microsoft, and wants to spin the PR as if "Twitter meant it".
The thing we call AI meaning computers doing intelligent things is the manifest destiny of computer science. The amazing AI applications we see today are just the tip of an iceberg...
The real question is if it is sufficient to be indistinguishable from creative.
This brings me joy
Yeah, just look at Scheme or any other Lisp!
OpenAI has enough tweets, they don't need more. There are other much better data sources.
Does anybody know if there is a similar playground, but for evaluating a single model by comparing different prompts with different temperatures?

I am building this by myself using Streamlit, but was wondering is there a ready solution.
This is fun and all, but Poul Anderson should have talked to a linguist first. His idea was to show what modern English might be if it hadn't been so influenced by French, Greek, and Latin. The problem is that Anglo-Saxon was a dialect of Old Norse, not Old High German. He should have looked to the Scandinavian languages for inspiration. I think he was misled by the idea that English is a "Germanic" language.
There are only 16 cities in Washington over 75k. It simply doesn't apply to most municipalities in the state.

(That's out of 281 municipalities.)

https://en.m.wikipedia.org/wiki/List_of_municipalities_in_Wa...
This is interesting, thank you.

I really should learn from BEAM and the OTP and learn Erlang. I get the feeling it's super robust and reliable and low maintenance. I wrote a userspace multithreaded scheduler which distributes N lightweight threads to M kernel threads.

https://github.com/samsquire/preemptible-thread

I recently wrote a JIT compiler and got lazy compilation of machine code working and I'm nowhere near beginning optimisation

https://github.com/samsquire/compiler

How do you write robust software, that doesn't crash when something unexpected goes on?

I looked at sozo https://github.com/sozu-proxy/sozu

and I'm thinking how to create something that just stays up and running regardless.
PWAs combine the awfulness of native apps with the slow performance of the web.

Tabbing, history, bookmarking, seamless syncing across devices.. the web is great, but scrolling shows how slow it can be.
Feels a bit click-baity to me.

Point-solutions do tend to come before platform-solutions, so in the 'AI Gold-rush' we will of course get some odd point-solutions which are viable, as the cost to build them has come down so much.

Tom Blomfield, Founder of Monzo Bank (UK), invested in 70+ startups in the last 12 months and mentioned that some are coming to him 6-months post-launch with $50k ARR.

There'll be a lot of creative destruction while we settle on some platforms (rather than point-solutions) as the new 'normal'.
Musicians, celebrities and the rich and famous will never be tired of litigating and collecting lots of money from the generative AI bros and grifters.
Which would have been a hard sell to mgmt and maybe stopped the whole project. But it should have been stopped if it wasn't profitable with new training included.
I picked up a project with make file and it’s insides were so horrible I switched the project to cmake.

I asked ChatGPT to write the CmakeLists.txt for me and after some debugging it worked.
That was absolutely fantastic. I just left a pretty rough meeting and came to HN for some healthy procrastination.

Really made my day.
The X-COPY user interface[1] was very powerful, watching the little squares slowly fill with color while hearing the floppy drive painfully squeaking and grinding was an experience in itself.

Operating system standardization have killed this kind of creative interface, it's probably for the best, but I'm pretty sure something bold and colorful can still happen and make a difference to users.

[1] https://www.datagubbe.se/utildisks/a5003-crop-2302041155-01....
You can explore MyScale at https://myscale.com/. It's a SaaS platform built on ClickHouse, offering more sophisticated vector indexing options like HNSW and IVF compared to the open-source version. It also provides a free tier for beta users.

Disclaimer: I work for MyScale.