skysight-inc/HackerNews huggingface dataset:
>The question is whether you'd continue to do what you do if you didn't have to. I

It's a dumb question. Would I want to continue to eat, to be warm in the winter, and have the basic tools needed to live? Your question sounds like juvenile fantasy.

>I love my work - I find it challenging and engaging,

My work is a paycheck. I don't have to love it. I don't need it as a lifestyle, or a hobby, or a religion. It's mildly lucrative, long-term, and they seem to get something out of the deal too. If I wanted a family, I've got one at home and those are the people I love.

>Let's think about means-tested financial assistance: seems reasonable to make sure money doesn't go to people who actually don't need it,

Half the people in this thread don't even know what money is. It's been abstracted away beyond their monkey brained ability to understand it's nature. They think billionaires have billions.

>Wouldn't the incentives to get money you don't need vanish if you had something like UBI covering the basics of food, clothing, and shelter?

Never ceases to amaze me that those who grew up comfortably in middle class homes are in such a hurry to go on welfare. "Please, give me the Medicare for everyone". No, I have no great desire to ever be on welfare, and I say in all seriousness that I would prefer to starve to death, slowly and in great pain.

I don't need money for its own sake, but being fungible, it is virtually everything I do need. It is food, it is clothing, it is heat, fuel, tools, household furnishings, shelter, insurance against disaster, security, etc. To hear people talk about "money they don't need" sounds like mental illness. I suspect it actually is.
gpus dont implement complex number fp math, you have to bolt it on as extra logic. cufft works because you can recursively predict the imaginary and real component paths in the butterfly network. between layers you have fft->ifft , is this cost memory locality-wise worth it, or is it better to find ways to tamp down n in n^2 self attention by windowing, batching, gating, many other solutions. im not saying this work isn't cool, FNOs are really cool especially for solving PINNs and related continuous problems, are llms continuous problems, does n have to span the entire context window? I'll probably end up experimenting with this as theyve made the code available, but sometimes good theory is good theory, but not necessarily practical.
Very fun. But I don't understand why the UI got much worse between V1 and the latest version? You had tool tips, audio, better visuals, and everything in V1.

Anyhow, great job.
https://www.microsoft.com/en-us/evalcenter/download-windows-...

While not 100% what you were used to downloaded, I think you should be able to use these ISO’s for you needs.

You’ll need to setup everything up from scratch, luckily it’s not too much. I’d suggest capturing the post configured state of the machine and save it so you can reuse as needed.
https:// seems broken. Need to use: http://www.complexification.net/gallery/
How does excluding opinions Bezos doesn't share make it "more balanced"?
Long division verified via Hoare logic
Yeah, this is along the lines of my thinking as well

Just gotta start figuring out this "networking" thing
Blew my mind! Dimitri talks about it in the video but I love the mention of how this project came to be[0]:

> This engine was built to service a project that aimed to demonstrate why Doom can't run in TypeScript types. Well. The funny thing is.. It can.

[0]: https://github.com/MichiganTypeScript/typescript-types-only-...
Wow, very addictive loop! I instantly played a couple of rounds.

Fyi, the perk to self-destruct the last block didn't seem to work.
Don't worry, at the rate the US is squandering it's political, cultural and economic capitol, the rest of the world won't need to care what the US thinks in a few months.
"easy with just a couple minor adjustments."

Liking that fictional universal star trek, all you would have to do is eradicate pride, greed, lust, anger, gluttoney, envy, and sloth. Then we could all have nice things.

Or if you don't like that set - eradicate acquisitiveness, rivalry, vanity, and love of power.

Then with those easy changes, we could eradicate poverty
It's back in the main exhibit now AFAIK. They completed a 4th hangar some years back and towed it back there:

https://www.youtube.com/watch?v=WptDcLKTYSM
The right way to include all of this context would be to start with the lead and then back it up with the context. I can’t read stuff written like this.
I don't see a functional difference between misremembering details and lying. Sure one is innocent and one malicious, but functionally a compiler doesn't care if the source of your error is evil or not.

An LLM doesn't know when it lies, but a human also doesn't know when they are (innocently) wrong.
There was no way to make it upgradable because of the architecture of the chip itself. They had no choice, but they are still delivering exceptional value in this design.
MITRE's Offensive Security Evaluation Framework for LLMs
Show HN: I made a service that helps content creators create paid communities
Still, it was the canary in the coal mine.

I was a big Elon fan boy until that whole incident. I had even invested some money in TSLA and made a small fortune. However, that changed my mind completely about him. Clearly just another bully.
People would be surprised how much of the software world relies on low-pay PHP/wordpress developers. I know a few people who started their careers like that.

No-code and low-code solutions have been getting better so the demand for those jobs is drying up though, but there are still massive operations running on top of some wordpress server that people FTP files to.
I've thought about this and am very interested in this problem. Specifically, how can you efficiently come up with a kernel function that maps a "classic" embedding space to answer a specific ranking problem?

With enough data, you could train a classic ml model, or you could keep the llm in the inference pipeline, but is there another way?
JD Salinger took a lot of heat over his reticence to publish any more of his writings after Catcher In the Rye and the Glass family stories. In 1974, he responded to the NY Times, "There is a marvelous peace in not publishing. It's peaceful. Still. Publishing is a terrible invasion of my privacy. I like to write. I live to write. But I write just for myself and my own pleasure. I don't necessarily intend to publish posthumously, but I do like to write for myself. I pay for this kind of attitude. I'm known as a strange, aloof kind of man. But all I'm doing is trying to protect myself and my work."
You mean for the group operation to be standard modular addition? In that case (as a sibling comment says) you'll recover the classic discrete Fourier transform.
When the only way you’re able to see education is through the lens of job training and value production, you won’t give a shit about the experience of students. How can one measure the students’ suffering in terms of dollar bills? Same attitude used everywhere, but more egregious because it’s done to kids.
There are three official post in HN about jobs. They will be posted automatically on Monday. Take a look in case you find something useful and you also may post in the correct thread.

You can peek the last month edition in https://news.ycombinator.com/submitted?id=whoishiring but they are read only now.
RAG is basically a fancy name to augment a prompt with data.

Companies are being sold they can augment their LLM with their unstructured massive dataset but it's all wishful thinking.
I guess that's an inherent weakness of language models, they do the recognition by using association. So things strongly associated might be hallucinated in place of each other.
US Navy research labs developed onion routing and the core of Tor

arguably, one of the reasons it was released to the public was to get large amounts of traffic using onion routing. because if it's just 50 data steams that are entirely ONI or NSA then it's easy to hit them with timing attacks.

but 2+ million streams from all over makes it a lot easier to hide.
I think they were noting the precision of the estimate.
Looks like it's staying:
https://www.lfgss.com/conversations/401988/#comment17640529
Markdown isn’t really meant to be a universal markup format. Its primary goal is to document conventions of annotating plain text which keep the plaintext semi-consistent and readable.

So the purpose of , * etc is purely emphasis. If you need to represent something specific (bold, italic etc) then that’s a job for the Markdown parser (or embedded HTML etc). The result of the parser (HTML, etc) will be less human readable, but actually able to specify formatting.

I agree that CommonMark could be extended, but I think the focus should be on semantic* relevance rather than markup specification.
Elicit Reports
All I am saying is that if you are expecting it to fail for you, that is absolutely what it will do. You weren't good at typing on your first day either. I went from a decent engineer with 20 years experience to a 10x engineer able to take on any problem, in less than a year. All because I learned how to use the tool effectively.

Just dont give up, get back on that bike and keep peddling. I promise it will amaze you if you give it a chance.

This is a tool, just like all the other ones you have learned, but it will make you a far better engineer. It can fill all those gaps in your understanding of code. You can ask it all those questions you are unwilling to ask your colleagues, because you think you will sound dumb for not knowing. You can ask it to explain everything again if you still dont get it. It is powerful if you know how to use it.
I went through my third joule and I share the annoyance you feel, what did you ended up using instead? I do value its compact form factor.
> It does, because uptake is the proof of suitability to purpose. There's no credit to just being first to think of an idea, only in being first to implement it well enough that everyone wants to use it.

Depends on how the sales pitch of those selling the new stack goes.

> Empty sophistry is a poor substitute for thought. Are you going to post any evidence of your earlier claim, or just let it waft around like a fart in an elevator?

Creative writing, some USENET flavour, loving it.

> In particular, your reference to ANDF is absurd and makes me think you're having this discussion in bad faith. I remember ANDF, and TenDRA -- I lost a lot of hours fighting the TenDRA C compiler. Nobody with any familiarity with ANDF would put it in the same category as WebAssembly, or for that matter any other reasonable bytecode.

It is a matter of prior art, not what they achieved in practice.

> I want to see you explain why you think the CLR pre-dates the JVM. Or explain why you think C++/CLI is the same as compiling actual standard C/C++ to WebAssembly.

I never written that the CLR predates the JVM, where is that can you please point us out?

C++/CLI is as standard C and C++, as using emscripten clang extensions for WebAssembly integration with JavaScript.

But I tend to forget at the eyes of FOSS folks, clang and GCC language extensions are considered regular C and C++, as if defined by ISO themselves.

> Yes, it is in fact normal to celebrate when advances in compiler implementation, security research and hardware performance enable a new technology that solves many problems without any of the downsides that affected previous attempts in the same topic.

Naturally, when folks are honest about the actual capabilities and the past they build upon.

I love WebAssembly Kubernetes clusters reinventing application servers, by the way, what a cool idea!
That sounds just like Particle Mesh Ewald, which we use in molecular dynamics to approximate the forces of pairwise interactions (interpolated on a grid). Ihttps://en.wikipedia.org/wiki/P3M
The false narrative that 'there wasn't a choice at the ballot box' needs to end. It is now abundantly clear that the two offerings in the US election were vastly different. Your vote matters and the candidates matter.
I think of blogs like that as "blogs", not "reverse blogs". They used to be very common, but I suspect that they became less popular as noncommercial blogging itself became less popular.
Just tried your version on Firefox on Android, but it seems to go into a reload loop (I keep seeing the Detenator loading page), then the device becomes unresponsive and Firefox crashes.
Elon Musk has borrowed a lot of money with Tesla stock as collateral. If Tesla tanks, he is in deep trouble.
Man in highschool I interned as a technician for a school computer lab.

Never in my life do I want to run Cat6 cables around again. I was freaking 17 and already getting back aches from leaning down so often.
Isabelle is a generic theorem prover. It supports the standard set theory on first order logic as well, but it's most popular logic is HOL, which is a kind of type theory. Isabelle is well integrated with LaTeX, so its support for mathematical symbols goes beyond unicode. One can write complete well typeset mathematical papers inside Isabelle, and people do. So it's not that. Yet, the dynamics of Lean uptake among mathematicians is much better, so I am curious why is that. I would really like to see an opinion of someone who knows both Lean and Isabelle well, but prefers Lean for formalized mathematics. Or is that all coincidence and hype?
lupyuen, you advocate for NuttX it seems. What are its advantages over other choices like FreeRTOS, Zephyr, and such?

I’d appreciate your thoughts. Perhaps if they’re detailed enough you could blog about it. Thanks.
I have two Tesla Powerwalls in my garage, and they (among other things) do just this.

I look at the size of those, and the size of a random Tesla, and I can easily see two of these shoved into the baseboard of a Tesla, much less the larger vehicles.

I know the Ford Lightning was advertised as a potential back up power source for the home.

The real trick is getting the power out of the battery and in to the home itself. It's one thing to run an extension cord to the refrigerator, quite another to get the battery plugged into your home circuitry. That requires more preparation, as well as an electrician.
In general failures like this aren't so much because of a single point of failure but because they trigger cascading failures across the network.

One piece of infrastructure trips offline, causing an abnormal situation at another, which then trips etc.
The number of chunks would be the same regardless of either approach.

The generation of questions can be done out-of-band by a cheaper model.

Their current implementation approach seems to require some computation per request. It would be a balance to see which strategy provides the most value.

The speed of responses overall would be faster.
You can measure "pencilness" a number of ways depending on how you operationalize the term. It could be a measure of how well it achieves the function of a pencil, how well it matches the collective understanding of the form of a pencil, how closely it materially relates to an existing reference pencil.

These are all proxy measures, but all of science is done by proxy.
I see in the readme you investigated tournament style, but didn't see results.

How'd it perform compared to listwise?

Also curious about whether you tried schema-based querying to the llm (function calling / structured output). I recently tried to have a discussion about this exact topic with someone who posted about pairwise ranking with llms.

https://lobste.rs/s/yxlisx/llm_sort_sort_input_lines_semanti...
He doesn't know how to cook though, and at this point it's generational... his grandparents quite possibly never really learned how to cook. Worse still, he doesn't want to spend 1-2 hours every day doing meal preperation... cue the "if I do that I won't have any time at all to watch anime without staying up til 4 am!" stuff.

Eating well and making someone else do the work is expensive. For the lazy, this means eating well really is expensive.
Scott's article is mostly on point here, but he dismisses the "respect" idea too quickly. As humans we are confronted with an overwhelming array of information and opinions from a huge number of sources. It's natural to apply a filtering based on our perceived reputation of said sources. And hearing that someone does not believe that HIV causes Aids despite extremely compelling evidence to the contrary is good cause for decreasing that reputation value.
They do if you do the same type of motion over and over for years on end.
Not to butt in, but if the emergent phenomena only exists in the mind of the observer, and the mind is a material phenomenon, the where in the observer-snowflake system is there anything not fully decomposable to atoms, particle motion, so on?
Nice, Ted had a previous less complete version of this called LizardLadder [1]
That inspired me to build something vaguely similar while learning Rust and Bevy - Terp [2]

[1] https://www.tedwiggin.com/LizardLadder/
[2] https://github.com/rectalogic/terp
These ultra fast embeddings are really cool, because you can just spam them at everything and it's pretty much instant.

I was able to get them to answer very simple questions without any vector database or pre indexing, just expanding the search query to synonyms, then using normal fulltext search, using embeddings to match article titles to the query, plus adding a few "Personality documents" that are always in every result set no matter what.

Then I do chunking on the fly based on similarity to to query.

Retrieval takes about 1 second on a CPU, but then the actual LLM call takes 10 to 40 seconds, because you need about 1500 bytes of context to consistently get something that has the answers in it... Not exactly useful at the moment on cheap consumer hardware but still very interesting.

https://huggingface.co/blog/static-embeddings
One thing to consider is that Many people simply do not have the time, energy, and/or equipment to cook food from raw ingredients. These factors are common in poorer households where people are working multiple jobs, etc.
There must be something to it since eagles have been used as symbols for thousands of years alongside the likes of lions and dragons. If anything, media undersells how big and intimidating they are in real life.
I mean practically this take is so wrong. If the (US) government is just so hell bent on taxation how the heck did we get to the point where taxes on income went from 90% (~1950) on top bracket to less than 35%? Business tax was (35% 2008) -> 20% (2020).

Empirically in the US in the last 70 years this just never has played out this why. The government did not cause and rarely causes major inflation either at least in this time period. Usually its the economy explodes due to a private industry bubble exploding or natural resources crunch due to foreign governments reducing oil production or pandemics.

Its pretty childish to use communist as a tag line when I qualified the claim you can believe that benefits should not exist but if you do you have to own saying you want to cut benefits for poor people and give a tax break to rich people (at least that is what happens when you cut taxes in a progressive system)
This comment didn't age well. WB has closed down Monolith :(
My literal LOL of the month. Love the types scale graphics/animation. :mind-blown:
There’s another angle about ML systems: say this is some issue with a model having two terms too close to each other, how would you prove it wasn’t malice or offer assurances that something like that won’t happen again? A lot of our traditional practices around change management and testing are based on a different model.
Isn’t this the same as a single point of failure, just “spread out”?
On photography, in no real order, and probably overweight on street photography.

- Henri Cartier Bresson
- Joseph Koudelka
- Gordon Parks
- Phil Penman
- Alan Schiller
- Annie Leibovitz
- Micha bar Am
- Bruce Gilden
- Steve McCurry
- Constantine Manos
- Dorothea Lange
Yeah, but the savings are theoretical. You turn a O(n^2) operation into O(nlog n). Sounds great until you realize that n is three on average. To boot, you have to use complex numbers for calculations which are also less numerically stable. So, to the best of my knowledge, FFT is not a win for ordinary convolution.

Maybe for self-attention and for their use cases n is much larger, I didn't read the article. But you still have to deal with complex numbers.
Ad block: https://ublockorigin.com/

Skipping sponsored sections: https://sponsor.ajay.app/

Remove shorts: https://addons.mozilla.org/en-US/firefox/addon/remove-youtub...

Return dislike: https://www.returnyoutubedislike.com/

Forgot to mention returning the dislike in my original comment.

At least I can use these extensions and get something resembling the service I want to pay for.
Except that the paper is written as if they discovered that you can use an fft for attention. They even have a "proof". It's in the title. Then you discover everyone already knew this and all they do is as some extra learnable parameters.

Pretty lame.
excellent, would love to hear more about resources you used while implementing
I just created a Hide my Email forwarding account on iCloud
dandies.tapir7y@icloud.com
Moosewood cookbook is a good one.

Alice Waters is controversial in the cooking community, but her cookbooks are probably good, especially Simple Food
Is it possible for you to add color theme/icon theme/keymap only extensions, without any executable code? I think, it will improve the security situation a bit. I don't see why the mentioned kinds of extensions should have any code.
It does not seem to speak SQL:

$ git clone git@github.com:Sahilb315/AtomixDB.git
Cloning into 'AtomixDB'...
$ cd AtomixDB/
$ go run .
Welcome to AtomixDB
Available Commands:
CREATE - Create a new table
INSERT - Add a record to a table
DELETE - Delete a record from a table
GET - Retrieve a record from a table
UPDATE - Update a record in a table
BEGIN - Begin new transaction
COMMIT - Commit transaction
ABORT - Rollback transaction
EXIT - Exit the program

> create
Enter table name: foo
Enter column names (comma-separated): bar,baz
Enter column types (comma-separated as numbers): 1,2
Enter indexes (format: col1+col2,col3, ... or leave empty):
Table 'foo' created successfully.
> get
Enter table name: foo

Select query type:
1. Index lookup (primary/secondary key)
2. Range query
3. Column filter
Enter choice (1, 2 or 3):

It looks like records are stored in rows: https://github.com/Sahilb315/AtomixDB/blob/64c95afa8e574595c...

I do find the source to be well organized and quite readable. Especially if you runs the commands in the cli and then trace how they are each implemented.
It’s surprising how common this is.

Other examples: https://en.wikipedia.org/wiki/River_bifurcation#Examples
Food motivation isn’t merely “does it want food”, it is more “will it do a complex action for food”. My GSD will spin, sit, stay, speak, shake hands, play dead and do a whole host of back to back commands for a tennis ball, but do maybe half a command for a standard treat. The GSD would not be considered to be very food motivated unless a “high value treat” like a hot dog is being offered.

Even in a mostly smooth walnut brain, there exists a genetically diverse hierarchy of desires. My dog was the runt of the litter, a different puppy was the glutton that ate every scrap in 10 seconds.
Yeah, I’ll be honest the UI looks like it was churned out by Claude.
This seems pretty wasteful. Going without electricity for a day really isn't such a burden and a freezer can last pretty long or if it doesn't there's rarely much of a problem with waste if you just eat the food in order.
Yes, in Britain it is, you fanny.