skysight-inc/HackerNews huggingface dataset:
> The "world model" of a human, or any other animal, is built pursuant to predicting the environment

What do you make of Immanuel Kant's claim that all thinking has as a basis the presumption of the "Categories"--fundamental concepts like quantity, quality and causality[1]. Do LLMs need to develop a deep understanding of these?

[1] https://plato.stanford.edu/entries/categories/#KanCon
Voted in America? This Site (Likely) Doxed You
Sure, you still have people making a million dollars pay less in percentage income tax than people making $200k.
Those don't correlate at all. You're bonkers.
Never heard of them, temperature control sounds amazing.
How is this product from a privacy perspective? Is the data kept local or is it some cloud service that tracks all metrics?
They use feedback microphones to tune the output to bounce off of the walls. Or at least that’s what they claim.
This will be a paid feature apparently: https://kagifeedback.org/d/5305-kagi-translate-feedback/9
>The method doesn't matter, just the fact you can get there.

Well, it's been said 80% of success is showing up :)
Maybe because 45% of this country is independent voters. I'll continue writing in Bernie rather than voting for an establishment and nobody owns my vote. I'd rather see the country go to hell under R until blue votes for a progressive leader. If you can't bring true universal single payer healthcare, you're not someone I'll ever vote for. I want principles, not special interests.
Fully agree. This crucial bit of information should be spelled out to young people as not everybody realizes that (soon enough).
> super heavy launch market doesn’t yet exist.

Ye of little imagination!

Just imagine how differently you can do space exploration when launch costs are not in the multi billion (SLS) or hundred million (Falcon Heavy) dollar range, but more like a million dollars.

You can send much bigger, heavier and cheaply constructed probes. And you can give them lots and lots more fuel, especially if you refuel them in-orbit, so less travel time.

Have a heavily shielded/armored Starship that launches small nuclear propulsion units into orbit that are then connected to the probes.

When launching a super heavy ($1 million for 100-150t to LEO) costs a small fraction of what a Falcon 9 launch costs today ($90 million), you can take over that entire segment as well, even without ride sharing.

Or consider CubeSats. They currently weigh around 2kg and ride share with a primary launch.

At $1 million per launch and 100 tons, you could launch 1000 CubeSats at 100 kg each, for $1000 per CubeSat. Though I am not sure if that would work out logistically.

Maybe 200 CubeSats at 500 kg each would be easier, $5000 a pop. Still very doable.
Correction for the title:

They spent more than $15.5 million, according to the article
Amazing stuff! The rebrand is great and it's cool to read the whole story!
I like pickle juice. The vinegar helps the salt go down better.
Despair.
https://eukaryotewritesblog.com/2024/10/21/i-got-dysentery-s... is a writeup of a similar trial that hit HN recently. That person got $4000 for 10 days.
I don't think JS vs HTML would make any difference to caching.

If they are caching by URL you can have dynamic HTML generation or a JS generated page that is the same on every load.

If you are caching by the text then you can do the same for HTML or JS generated (you are just reading the text out of the DOM when the JS seems done).
Oh yeah, walnut is a great dye. No need for mordant, too. And everytime I drink nocino (an italian liqueur made with unripe walnuts), I'm wondering what my insides look like, haha!
Is it _that_ much better than a wifi-controlled two-zone electric blanket?
"jack of all trades, master of one"
It's sad but it might eventually. I would imagine to the end of Trump cadence we'll be paying with x-coin in supermarkets, both he and Elon will be making tons of money. Trumps and Elons x-coin will have tariffs built in to it and you won't be paying taxes if you use it /s
I'm pretty sure it's just a finetuned LLM.

I have some experience experimenting in this space; it's not actually that hard to build a model which surpasses DeepL, and the wide language support is just a consequence of using an LLM trained on the whole Internet, so the model picks up the ability to use a bunch of languages.
It’s nuts using youtube-dl and unwrapping to get the opus files are like 96kbs and sound good. 96kbs mp3 would need to mix to mono and still sound like gravel.
We've built a tool to do the same. We started with a use case of triaging CVEs and SAST findings but our focus has always on accuracy of results. Its been pretty challenging to make a highly accurate reasoning and retrieval engine and I don't think the problem is already solved yet.

In your opinion, is there anything that any of these tools don't already do well?
What do you mean? Does any other translator have such a separate field that you could point to, or could you explain what you're missing?

When I want to give DeepL context, I just write it in the translation field (also, because it's exceptionally bad at single word translations, I do it even if the word should be unambiguous), so not type in "Katze" but "die Katze schnurrt" (the cat purrs). Is that the kind of thing you mean?
Microcontrollers and stepper motors were already controlling 2-D printers in the 01970s and early 01980s at higher speeds and similar powers to currently popular 3-D printers. The first RepRaps did not "use a full-power PC as their host machine"; they were controlled by AVRs, just like Arduino (which didn't exist yet). Generating motor control waveforms on a full-power PC is a nightmare nowadays, and was already a nightmare in 02005. The LinuxCNC people would do it by running Linux under a real-time hypervisor. The first CNC machining was done in the 01950s with IBM 704s, comparable in power to an Intel 8008. The 6502 used by the Commodore 64 to drive its floppy drive would have worked fine, though it is much slower than the AVR and doesn't have built-in PWM generation hardware.

I agree that the pieces did not exist in the 01970s, but the missing pieces weren't the computation.
Claude (Anthropic) for me, but certainly agree on the productivity-boost -- it has saved me a bunch of time on personal projects.
Have you ever seen 1970s CNC gear? I came across a 1970s CNC lathe in a surplus store once. The thing was the size of a small car. The electronics box was the size of two racks. Inside were cards that handled one bit of one register. Input was from a paper tape. No CPU; all special purpose electronics.

Directly controlling industrial machines from a microprocessor was very rare before the 1980s.
I would add an immersion circulator to cook food sous vide as similarly impactful here, though getting a good thermometer is more necessary.

It's made meal prepping incredibly easy and food is always perfectly cooked. You never have to eat a dry or overcooked piece of meat again.
Which robo vaccum did you get?
Man behind AOL's "You've Got Mail" voice dead at 74
For under $100: earplugs, two kinds.

I got a pack of basic foam ones (supposedly 33dB reduction), and it meant that my wife and I could keep sleeping in the same bed without snoring getting in the way. Was only about $10 for 50.

And I got a pair of noise reducing Loop earplugs, which means that the one day a week RTO is no longer a sensory nightmare. They're visually subtle enough that my wife couldn't see them when I first tried them on (important if I was going to wear them in meetings), and recessed enough to wear underneath headphones. They're also great for large events (weddings and the like) to extend how long before my social battery gets wiped out. I imagine this is more tied to my autism than the office being particularly noisy though. I can still easily hold conversations with them in, with the only negative being that they kinda reduce spacial perception, so I can't as easily tell where sounds are coming from. These were about $50, though they've got cheaper options, they also come with extra mutes for more reduction, but the baseline is already plenty, so I'd probably recommend against the "Engage 2 Plus".
I had tons of issues with these Cloudflare checkboxes. I finally figured out it was because I use this extension [1] that disables HTML5 autoplay. I assume Cloudflare is doing some kind of thing where they verify that the client can playback media, as they assume that headless browsers or crawlers won't have that capability

[1] https://addons.mozilla.org/en-US/firefox/addon/disable-autop...
Ah, but in Cursor you (mostly) have to manually choose files to edit and then approve all the changes.

With Codebuff, you just chat from the terminal. After trying it, I think you might not want to go back to Cursor haha.
Social media could include everything including forums and websites were people can leave a comment.

I know that some people here on HN want to go full Unabomber and live in the woods but I kind of like the internet.
> - EightSleep

I would agree. Except that now they seem to make it so that it is pretty pointless without a subscription. Kind of sucks that you have to pay $15/month to actually use the product after paying close to $2000 for the product.

I still use mine only because I was grandfathered in to be able to set temperature set-points without a subscription.

If I were to need another one, I would look for an option without a subscription.
Dometic here in Australia. In the car, I have a lithium battery charged from the alternator.

In the US, I have an Alpicool dual zone fridge/freezer. Powered by a solar-charged lithium battery.
I've really been fascinated with how explicitly people set out to build nations in the 19th Century. I read Christopher Krebs' _A Most Dangerous Book: Tacitus's Germania from the Roman Empire to the Third Reich_ and it traces a different lineage in the same process- the process of turning someone who, say, lived in Mainz and thought of themselves as Hessian in 1800, into the person who lived in the same building in 1900 and thought of themselves as German.

In some ways, I've long suspected that there was a lot of freedom in that to build a culture ideally suited for the then present situation. "Fuenf minuten vor der Zeit, ist des Deutschen Puenktlichkeit" (1) in particular always struck me as something invented because it made the factories and the trains run better. It was first written down in 1880, attributed by a Silesia newspaper to Pomerania, and I really don't know that many people 100 years earlier, say, would have had a conception of what a "German" was in that sense. And before trains and factories, in an era when time is primarily told by the bells of the town clock tower and looking at the angle of the sun, no one would have had a real conception of what five minutes meant. So it couldn't really have been some ancient saying, carried down for hundreds of years. It had to be invented right around 1880.

1: German "on time" is five minutes before it starts.
> I can't use it because I'm not classified as "human" by a computer.

It uses Cloudflare Turnstile captcha.

The service shows no captcha to logged in Kagi users, so you can just create a (trial) Kagi account.
>What do I do with this "Error Code: 600010"?

Cloudfare, the gatekeeper of the internet, strikes again.

The usual suspects are VPN or proxy, javascript, cookies, etc.

https://developers.cloudflare.com/turnstile/troubleshooting/...

Unfortunately, even with the error code, I doubt the above page will help much.
ah do pologize fer that,
havin as were my own twitch inducing triggers,
hate to think of doing that to someone else
Weird, thanks for flagging – we're just using a Youtube embed in an iframe but I'll take a look.

No worries if this isn't a good fit for you. You're welcome to try it out for free anytime if you change your mind!

FWIW I wasn't super excited when James first showed me the project. I had tried so many AI code editors before, but never found them to be _actually usable_. So when James asked me to try, I just thought I'd be humoring him. Once I gave it a real shot, I found Codebuff to be great because of its form factor and deep context awareness: CLI allows for portability and system integration that plugins or extensions really can't do. And when AI actually understands my codebase, I just get a lot more done.

Not trying to convince you to change your mind, just sharing that I was in your shoes not too long ago!
China is enemy number 1 of the west. Meta has only about 250 employees in China nearly all exclusively in their VR division.

The rest have made a choice to work in the west mostly because it is considerably better than China.
To follow on to user infecto’s sibling comment, for most U. S. homes, it is probably fifteen minutes of work. Shut off water, connect t-line, bolt down new toilet seat, sorted. It shouldn’t be complicated for most installations.
Kagi develops lots of features, but they seem to often be quarter-baked.

Maps for example is basically unusable and has been for a while. (at least in Germany)

Trying to search for an address often leads Kagi maps to go to a different random address.

Still love the search, but Id love for Kagi to concentrate on one thing at a time.
Ear wax can vary a lot from hard to sticky depending on your genetic makeup.

For the folks with extra sticky wax, softeners don't help.
Sorry Will try an external keyboard next time!
Also I wonder how many applications really need more real time responsiveness than you can get out of Linux. We even have

https://arstechnica.com/gadgets/2024/09/real-time-linux-is-o...

If I use Linux I know I won't have to have a discussion about licensing, I know I won't get rug pulled, etc.

Also the ban on commercial use is heinous. I am going through this with Arangodb right now. I love the product, but I have no budget for a cloud instance they manage and I have no budget to talk with their sales people about a commercial license. I have several systems that use it (including one that's about 80% of a way to a "too big for free" database) and I don't know if their fate will be (a) open sourcing, (b) a product or (c) a system that makes money for me directly but for me the short path is to switch to postgres, not talk to people whose business model doesn't necessarily allow my business model.
Neither Afghanistan nor Iraq were a threat to Israel.
Only of you have something to feed into the power formula and you don't unless you collect data more personal than what people are used to having collected.

Some people even object to paying with cards today because they don't want their transactions to be tied together to their identity.

So alternatives to power formula that achieve similar effect in different ways might be worth considering.
@JohnAtQNX can you remove the "everybody needs an account" restriction from your website downloads, and also remove the license mechanism from qcc? That would go a long way towards encouraging hobbyists to try it out.

Your money comes from high-volume licensing deals, where you presumably get a per-unit license fee. That revenue stream is jeopardized by pissing off the CI/CD teams that have to support QNX product lines.
This was just Justin Timberlake's idea, right.
"Unwokeified" AIs weren't precluded by AI safeguards, but rather heavily insecure companies that would rather not be seen as the bad-guy by the public.
Anything that removes friction from getting you to consistently strength train with progressive overload will do more for your health, quality of life, and appearance than damn near any other possible intervention.

A squat rack, weights, and a bench is probably the biggest bang for your buck version of this and if you can set up a basic home gym, it's a total game changer.
Ear loops. They're a cheap, portable solution for dampening noise. I live in a big city and I also like to go out to bars and noisy places. I can walk around with noisy traffic and it doesn't really bother me anymore.
I asked some inappropriate things and it was "translated" to I cannot assist with that request. It definitely needs to be more clear when it's refusing to translate. But, then again, I don't even use kagi.
Now I'm very tempted to build a 3D printer with an 8-bit home computer and vintage parts.
As someone who knows only that QNX is a RTOS and that "real time" is good in some vague hand-wavy way, I found this 2015 comment a very succinct, concrete and illuminating description of one aspect of QNX's architecture that makes it properly real-time.

So thank you very much for the link.
i did this for some time. I'm probably due to again as I check my phone often. Apple watch does have standalone navigation which is a win. It got annoying not being able to do things sometimes, such as checking a groupme etc.
Yup, they are called Human Challenge Studies. Compensation is typically modest. Most participants are students at universities.

https://en.wikipedia.org/wiki/Human_challenge_study
They should probably buy skibidi.com
Please consider bringing back some legacy software.

When I was learning computers, we learned on QNX (poor kids younger than I started on Windows!) and there were some very interesting software packages that I think don't exist anymore.

For example, QPaint. What made it interesting, is that you could save your image in a few image formats, or as a C header for inclusion in a C program. It could also import/export Logo generated images.

There was also a software voice module. I assume it had different voices because when it was demoed to us, it was a robot guy voice, but later there was an educational graphical interface that looked like a girl's face, and it of course had a female voice when it spoke. It would be strange to have two things do exactly the same thing, so I suspect they were the same software for speech.

I think it was simply invoked with 'speak'. We used to prank other students by speak -something- /dev/tty.... where the tty pointed to other people's nodes on the server network. Fun times!
Wow, I didn't know this! Thanks for sharing!
Typical marketing euphemism:
"Built-in Support for Open-Source Components"

Read: we take free things thankfully, but we don't live by the same standards.
> However, we also try to leverage prompt-caching as much as possible to lower costs and improve latency.

Interesting! That does have 5 minute expiry on Claude, and your users can use Codebuff in an unoptimal way. Do you have plans in aligning your users towards using the tool in a way that makes the most use of prompt caches?
I don't understand how can this work. Is it the shame of marking the "nein" checkbox?
Not sure about the privacy but afaik you can’t use the thing without the app and being connected to the internet. That was a dealbreaker for me
Toronto crypto company CEO kidnapped, held for $1M ransom before being released
One can go further:

- The Democratic party is the one that wants to reduce the use of electoral politics (i.e. democracy) for policymaking

- The Republican party is the one that wants to reduce the scope of the commonly-held institutions that execute policy (i.e. the republic)
they should autopaste "talk dirty to me" prompt for everyone redirected from it
Im pretty sure they used to be less money, as I don’t think I’d pay $130 sight-unseen. But now that I have one…
I would say that the most obvious definition of "win Presidential elections" is winning Presidential elections.
I just call it "cat".
Beware the dunning-kruger effect. There is a lot more to colonizing mars than reusable rockets. Just saying..
A skilled surgeon is a great analogy! We actually instruct Codebuff to focus on making the most minimal edits, so that it does precisely what you want.
Under $100:

- NEXUS ($50 for 5 years). Comes with TSA Pre and Global Entry.

- ChatGPT $20/mth and Claude $20/mth. Completely changed how I ideate and work.

- Cosori Air Fryer $70 + a stack of wax paper. Changes my food bill and health. I can buy a bunch of healthy stuff from Costco, and make delicious meals daily in under 20 mins.

- AirTags ($28/piece). I tag my car, my luggage, my wallet, my keys, etc. And I never get anxious again.

- Black socks from Amazon. I bought 17 pairs of identical black socks, so I don’t ever have to match socks again. I can just grab any two.

- Samsers folding Bluetooth Keyboard $60. I pair this compact foldable keyboard with my iPhone and iPad, so I can type with an actual keyboard anywhere I go.

There are also a bunch of high quality grooming tools like a Panasonic electric razor, Tweezerman tweezers, rounded scissors, etc. that improveme my quality of life. There’s also a clever porcelain $4 toothbrush holder from Muji that is amazing. There’s also a toothpaste squeezer from Amazon.

Health wise, I’ve gotten better sleep from heavy curtains which blocks street noise. Also a wedge pillow has helped decrease snoring. An Aroma USB heated eye mask has helped with dry eye.

Under $1000:

- $180 per pair - 2 pairs of AirPods Pro 2. ANC for 10 hour work day, peace of mind.

- $200 Apple Watch Series 7. I charge it twice a day when I shower but otherwise I wear it all the time. Great for health tracking and sleep alarm, but it’s most useful feature for me is Apple Pay. I pay for stuff with a double click on the dial, no need to whip out my phone. It also unlocks my Mac automatically. I used to wear Tissots but no more. I’m sold on Apple Watch.

- $180 Levoit humidifier

- $200 Coway Air purifier.

- $100 Allbirds shoes. They’re expensive but I’ve had mine for 4 years, worn daily. They’re tech bro shoes but they do live up to their reputation.

- $120 Patagonia Better Sweater vest. This is more of a finance bro getup but it is warm and pairs with anything and still looks smarter than a hoodie. This matters. As much as tech people don’t care about dressing well, the person who dresses just a bit better gets taken just a bit more seriously. Humans are hardwired for superficial things unfortunately.

- $150/week up to deductible (I have HSA so high deductible but folks on FSA can get therapy for more cheaper plus most therapists have sliding scale). Best investment ever is weekly therapy sessions. I’ve worked through so many things that I’m a much more regulated person and am able to heal from a lot of stuff that were affecting new relationships. I wish I did this 20 years sooner.
You can also (if your sink accommodates it), pile your dishes as you're done with them, in the kitchen sink -- then wash your hands over them, thus "pre-soaking" them.

At the end of the day, when you load them into the dishwasher, they're much more likely to come out completely clean.
I bought a Tushy during the pandemic, it took about 10 minutes and a flathead screwdriver.

I liked it so much that when I had a new bathroom installed a year later I put in a Toto Washlet.
Start with https://gitlab.com/elahav/qnx-rpi-book/-/blob/master/pdf/qnx... as an intro to tinkering at home.
The pre-print: https://arxiv.org/abs/2401.06625
Under $1000:

Voice lessons at the local community school of music. I'm a lifelong musician, but was an almost entirely solitary one. I taught myself different instruments, but I never felt like I could get to basic competency teaching myself to sing. I decided to spend ~$200 for a semester of weekly 30 minute lessons. (The community school cooperates with the local university to offer lessons taught by university students for a low rate.)

My singing improved (more work is needed), but the life-changing thing was getting involved with the local music community. It turns out they have a shortage of piano teachers--I had mistakenly assumed there would be plenty in my town! So I started teaching piano, which had long been a dream of mine. The school also connected me to local performance opportunities that are now a part of my regular music routine. And ultimately, the experience encouraged me to enroll as a (part-time) music student at the university, which itself has been extremely enriching and a tremendously positive community experience.