skysight-inc/HackerNews huggingface dataset:
If you could provide screen shots or a writeup of HOW they are better that would be helpful. Kogi fans just seems to say its better without really any examples. Not saying its not better, but no one has really shown how it is better.
The obvious question to me is that if "Full Self-Driving" doesn't imply autonomy, what is it supposed to imply? Here is the relevant quote from the article:

> While testifying last week, Tesla engineer Eloy Rubio Blanco repudiated the allegations that the name “Full Self-Driving” was chosen to deceive the public. Blanco stated that Tesla drivers did not believe that their vehicles were autonomous.

It doesn't say anywhere else how he thinks the public is supposed to interpret "full self-driving." As a native speaker of English, I'm baffled to think of what else it could be intended to mean.
iOS has been driving me batty ever since they decided that you don't actually want a cursor, you must want to select a whole word.
Hm.. I just tried that search for my town and the first result was correct. Wonder what happened.
See the world's 38 time zones:

https://flytrippers.com/number-of-time-zones-in-the-world
You can do autoregressive decoding with KV caching on the Neural Engine. You have to make a bit of a trade off and use fixed size inputs [1] but the speed up over no caching is meaningful.

There's a Whisper (Encoder-Decoder) [2] implementation if you want to see it in practice. Shameless plug, but I have a repo [3] where I'm working on autoregressive text generation on the Neural Engine. I'm running gpt2-xl (1.5B params) locally with KV caching at 120ms/token (vs. 450ms without caching). Will push an update soon.

Without quantization you can't go much higher than 1.5B params on M1's Neural Engine. M2 seems to have a higher ceiling but I haven't measured. I'm optimistic (but have not tried) that the new runtime quantization added to CoreML this year will allow for larger (and maybe faster) models on both.

[1] Technically you should be able to use 1 input with an enumerated set of sizes but I haven't been able to get it to work on the Neural Engine. This would likely be even faster.
[2] https://github.com/wangchou/whisper.coreml/
[3] https://github.com/smpanaro/more-ane-transformers/
Caroline Ellison: SBF's Philosophy Justified Lying and Stealing
do self-research first[1], then, give it a try. small pet project should be. if it really fit your taste. go with it.

[1] https://go.dev/solutions/
Looks like the art from those games - which really is quite stunning - is available directly as posters, an art book, and more (although not until next month, I guess): https://59parks.net/
It's the standard for YouTube, which runs both Opus and AAC.
> I have the hypothesis that the set of measurable effects is smaller than the set of all true things.

This seems to be an indisputable fact, at least for "scientifically measurable" effects that is.

I've been trying to explicitly carve out the phenomena where modern science doesn't cover, and in short, they are the things that are: non-repeatable (on demand) in laboratory settings involving subjective experiences.

Your wife's experiences is a perfect example of that.

It's interesting because one can relax the requirements for evidence and still learn something coherent about the world.
> Do you thing this is doable?

It would be a lot of work, but I think it's possible. (Please do trash my theories if you think I'm wrong though =p)

> Do you have some pathway to suggest?

LLVM generates a bytecode called "IR" for many different languages (Rust and C included). Try and experiment with that, see if you can get bytecode from two languages to run in one binary. From there, the rest should be logistics!

> Do you like it?

Yes! But as a primarily Rust-based dev, I'm not entirely sure what I'd use other languages for. LLVM generates IR for a lot of languages though, so if you can get them working the value prop would increase exponentially.
It is for now, but rest assured that people will be working very hard on fixing that problem. I don’t doubt they will succeed.
The halting problem, as I generally think of it, is to receive a program/specification-of-a-machine and output whether it halts. In this formulation, there is no system in which things need proving. Instead, the analogous thing is that, for any program that returns one of “halts”, “doesn’t halt”, or “unknown” and only returns the first two in cases where those are correct, there are other machines which also do that, but where they answer “unknown” for a smaller set of inputs.
(E.g. you can just augment the program by hard-coding in the correct value for some input that it previously answered “unknown” for.)

Of course, what you are saying about “stronger systems can prove the answers to the questions of the whether the machines from larger sets, halt” is also true, I just, wouldn’t describe this as “the halting problem”, even though they are I guess basically equivalent.
How do I find my profile Id on mobile? It takes me to the app and I can't find it there
That’s actually comical.

I guess the words soon will have no meaning.

“Hey, come to our new casino! Everyone wins always”(by winning we mean everyone has a great time so even when they lose they actually win).
Hah, I’m going to start using “down and to the left” the way people use “up and to the right” now
They've blogged about it: https://blog.kagi.com/status-update-first-three-months#finan...

They are aware that it's not within reach for everyone, and hopefully they'll be able to do something about it (likely with scale: more subscribers, means they can slowly lower the prices as they've done: https://blog.kagi.com/plan-changes)
A lot of people have already mentioned this, but the short answer is that you ultimately need a civil time that approximates local solar time. For example, you want to make sure that day changes happen at a time when there's little activity. Civil time doesn't need to be exact to solar time, and there's room for a fair amount of divergence, but when the divergence gets too great, people will spontaneously create their own civil time instead of using the official civil time (see, e.g., western China).

It's better to have a minimal set of official civil times that are good enough for local purposes than have a large set of unofficial and semiofficial civil times.
Yeah the Sullivan Act. Supreme Court struck it down last year.
Why I'm Glad I Learned to Program – A Blog Post for Your Kids
Okay I see that now, but I think that's referring back to earlier in the article where it says:

> The companies had targeted beta trials at the end of this year following the launch of Starlink V2 satellites, according to CNET.

Which also contains a link to an article from 2022 that was published during the original announcement of the T-Mobile partnership. However those satellites didn't get launched because of the delays of Starship.
Are they? (Were they?) I assumed they were the main Core architecture just with features removed, either by design or after production.
The Amiga smoked PCs when it came out. PCs didn't really come into their own until the 486 became commonplace, but once it did the Amiga was struggling to keep up, games-wise. For example, the PC port of Mortal Kombat was the most arcade-accurate home port of any system. The Amiga port was nearly, but not quite, as good.
I mean its a search engine what are you expecting?

More often than not, their search results are returning useable links.

People aren't going to write an essay as to the nuances.
Totally. Putting Jimmy down was the worst day of my life.
Kelvin Kiptum's Coach Reveals Training Before Marathon World Record
LTE supports a very wide range of bandwidths (0.2 MHz for NB-IoT up to multiples of 20 MHz for carrier aggregation) and modulation rates.

Given the transmit power constraints on both sides of satellite-to-mobile, Starlink/T-Mobile will most likely be targeting the extreme low end on both bandwidth and modulation rates.
The article addresses a huge aspect: It's customizable. I frequently know I'm looking for say, a learn.microsoft.com page. So if I boost that domain, and one of the results is on that site, it moves towards the top of the page. My results are explicitly better for me because I am able to tell the search engine what I want to see.
Did you consider re-testing 16bit vs 24bit?
I hate to say this but it has gotten to the point where I'm starting to farm some of my own food (I'm starting to get fed up with produce quality issues in my hometown).

Still haven't started on the silverware or shoes yet.

I do agree with you though. If you are a non-tech company or a company that lacks the human resources you might as well go with the cloud.
There's another factor here: There's a huge swath of services that private insurance companies outright will not, under any circumstances, cover. They are explicitly exempted from having to cover these things specifically because they are technically available through Medicaid. This very much includes critical things like long-term caregivers/assistive devices. So having access to Medicaid becomes extremely important as soon as you need any of those services.
It's much easier that way to make people self sacrifice for the religion, gives a meaning to their life and pacifies their fear of death.
Broadly speaking, there are interpretative rangers who provide information and education about national parks and there are law enforcement rangers who exist to protect people, park features, and provide emergency services. If you don’t wish to talk to any rangers, go right ahead, but please don’t spread misinformation about them.
She covered both.

My son needed to provide specific documentation from his school to his university if he wanted the possibility of accommodations.

Separately she walked through what my son would need to do to get an adult diagnosis that would let him continue to be prescribed Adderall.
More like "Fool, Self-Driving".
I visited Yellowstone back in the early 80's, and that's probably about right for me, and for good reason. I got there late at night and pulled off on a forest road to sleep and early in the morning I got up to take a pee. I walked about 20 feet from my van and started peeing and then heard a loud "whoosh" noise and then two big billows of what looked like steam blew by me.

I'd been looking at my feet while peeing so I watched the billows blow by and then heard another big whoosh noise. My first thought was there must be some kind of little geyser around so I looked to find the source of the steam and saw it wasn't a geyser, it was a giant bull moose not more than 20 from me and it was snorting at me and basically telling me it was about ready to kill me.

Pretty much every year we hear about someone getting killed by bears there. I have spent many nights in many national forests and bushwhacked many miles off trail in them, but not Yellowstone. I'll leave that to the bears and those giant freaking moose.
Yep, this is very doable and plenty of folks do live on public land for long stretches of time. Just be clean and don't mess things up and it's totally fine. Most national forest land also allows camping in disturbed areas.

This mostly applies to the west coast though. The eastern US has very little public land that is freely accessible.
AVX10/256 allows you to use the EVEX encoding with 256-bit registers without assuming that you'll have 512-bit register support. And if I have to be honest, it's all the things that EVEX encoding adds (double the number of registers, per-instruction rounding modes, masked vector operations) that are interesting, not the fact that you have 512-bit registers.
Not just half, but most of them will be below the horizon at any point in time – their orbits are pretty low.

But since mobile phones don't really have directional antennas anyway (unlike Starlink terminals), having more than one satellite in sight above the horizon doesn't really help with capacity anyway. (You need steerable beams on both sides to make use of spatial multiplexing.)
I will say in earlier tests I found location-specific queries sort of lacking on Kagi, but I feel like they've improved it. You absolutely do have to be explicit about your location though, because it isn't run by the company tracking your phone.
Ask HN: Has anyone gotten complete, permanent relief from tinnitus?
As far as I can tell, there's no universally accepted "cure" for tinnitus, but there are a number of "therapies" out there, some of which seem to prey upon people looking for relief but some of which seem plausible.

I'm wondering if any subscribers here have had tinnitus and experience permanent relief from the ringing? Not just reduction, but actual permanent relief that never comes back even when doing things that previously worsened the tinnitus.

If you can't tell, I'm trying to establish an "existence proof" here, if no one has ever gotten permanent relief then it seems like it might not be worth bothering with the "symptom reduction" therapies since they would most likely lead to focusing on the symptoms more intensely.
I think Kagi search quality has a coding bias. Searches related to physics,hardware,math are basically identical to google or noticeably worse.
My coding related searches are usually much better with much less SEO spam than google. This might be a function of just how much larger the market for coding related content is online.
I'd say the closest description is like you're constantly supervising a 15 year old learning to drive for the first time.

This is precisely it. It'll work a lot of the time, deceptively well, but you need to be as attentive as a driving instructor to intervene when it makes a mistake.
Even if this does have a slight tinge of flamebait, Lit is technically a lot closer to the metal, when compared to something like React.

It works through standard custom elements (not Yet Another Protocol), which brings quite a lot of advantages (less coupling, interoperability, etc.) while also providing helpful utilities for creating and managing instances of custom elements. Lit is... well, lit.
I’ve found running Samba as a Domain Controller pretty straightforward for this exact use case.
If they manage to screw up so bad as to get delisted, the stock will no longer go to the right
I believe the real threat here is to Verizon and AT&T in rural areas, if they actually make it work.

And conversely, as Garmin I'd be more concerned about Apple than about Starlink/T-Mobile.
It's hilarious seeing hn turn on Musk and Tesla (and self-driving cars in general) after years of being told here that "you just don't get it" when pointing out the absurdity of Tesla being worth more than all the other auto companies combined.
No it wouldn't because promotion of a process from an E core to a P core isn't free. Microsoft and Intel could literally do this today on existing hardware by trapping unsupported instructions and then having the OS scheduler promote the process but they don't because it takes so stupidly long and requires an immense burst of resources. All this AVX10/128 is a necessary evil because the far better option is for an E core to be able to at least run the code, even if it's not performant.
So, one meta-layer of discussion up: do we think the recent surge of Kagi discussion on HN is indicative of a real wave?

Or is “picking a different search engine” gonna be something only 1% of users ever do again?

I honestly think that even if Kagi does remain pretty niche (<1% of internet searches, for a ballpark), that’s great if it can really serve that niche (so far… mostly HN-user-types, I would bet).

But it seems hard to make money at that scale and with a non-advertising business model. So godspeed Kagi, I guess.
https://projecttbr.com/?goodreadsProfile=7203584&library=vpl...

Gives me zero results :(
What Apple Silicon brings to the table is not simply just performance, but a large amount of unified memory that can be used by the GPU (which are needed for inference of large deep neural networks like LLMs).

A top-of-the-line Mac Studio will give you 192 GB of unified RAM in less than $7000. Meanwhile a H100 from NVIDIA with 80 GB of VRAM will cost you like $30000...
What is your best suggestion to keep them in business then?
M2 Ultra runs codellama 34B F16 at 150 token per second
Newfie here. Newfoundland dropped the NLFD abbreviation for just NL about 20 years or so ago.

I’ve always heard that we painted the houses with whatever paint was on hand because the wind is strong that it strips away every couple of years. And we’re not a rich group of people, so whatever paint you have is the right paint!

My grandfather used to remark on the houses “they were crap when the went up, but somehow lasted 50 years, so I guess they’re heritage now”.

But, they do look pretty in the summer!
Also, purchased data can be low quality, of unknown correctness and completeness, and not include everything you need in its schema.

For one startup, which addressed problems for brands like counterfeiting and gray market diversion, we needed to monitor online marketplaces over time.

Off-the-shelf scraping products we tried, which supposedly targeted one of the biggest marketplaces, were very poor, even when operated in their manually-invoked modes (nevermind scheduled).

I ended up building a scraper that was correct and reliable, and captured all the data that we needed. And cost around $5/month to run.

(This superior capability was not only useful in general for our services, but I understand it helped with cold enterprise sales approaches, from a tiny startup, e.g., maybe something like: "Here's an analysis of impact of X to your brand, based on data we monitor with some of our technology. Would love to discuss with you.")

Controlling and understanding the software also gave us the flexibility to add capability quickly, as soon we had a need. For example, since the problems we were addressing were global, as soon as we needed to be able to see what different geopolitical instances of that marketplace were showing to shoppers from those same geopolitical areas, I was able to implement scraping of that.

This was remarkably stable/resilient over time, as well. The biggest risk I perceived was something I warned the team about: "The first rule of Scrape Club is: Don't Talk About Scrape Club." I didn't want to get on the radar of the marketplace's lawyers, given that they were profiting from counterfeits and gray market, and possibly have public information turn into something that burns up the remainder of our meager Covid-time runway on lawyer billable hours. (Having data get cut off due to lawyers also seems a risk if using a vendor for the data.)

Of course, there are often good reasons to buy data dumps/feeds. Just giving an example of when it wasn't the best choice.
This is pretty cool. Understanding the downstream components of the pathway will be critical for developing a more targeted therapeutic approach. IFN-gamma is a cytokine - a signaling molecule that turns on your inflammatory / immune response. That is a pretty heavy hammer.
The Pi cameras might seem like a good choice because they're cheap, and might be a good way to start. But with all of the work required to build, install, and maintain one, the cost of the camera is a drop in the bucket. I used a much better camera from ZWO (ASI462MC) for about $300 (I actually ended up building a second one with the ASI462MM (monochrome)). It even comes with an all sky lens. IMHO it doesn't make a lot of sense to cheap out on the camera with all the effort involved in building one. I also needed to add a short length of Nichrome wire (1amp at 12v) to fight condensation.

I started with the color camera, but had to give up on any real meteor detection due to the amount of light pollution, and the fact that I live directly in line with the airport in Louisville. I built the second monochrome version, since the monochrome versions are roughly 3x as sensitive, hoping it'd be better at detecting meteors at shorter exposure lengths. But it still required exposures of a few seconds, much longer that you're typical meteor. So, now I just have two all sky cameras doing 20 second exposures. The monochrome one will still pull out the Milky Way from my Bortle 7/8 skies, so I just like the pictures it takes and don't plan to change it.
Seems more like SlowGPT right now.
Search isn’t really something I can show you one result to say it’s better.

I just use it for a week and feel the difference.

Magi has a free trial of 100 searches. Sign up and try it. I did, and when I ran out of my 100 searches, I went and got my credit card and paid $5/month.

When I tried DDG, I ended up back at Google within a week.

I can’t actually explain how it’s better, other than to encourage you to try it and see for yourself. If you run out of searches and don’t feel it’s better, then you can go back to DDG
It's possible, but if that's the case then it wasn't the earthquake which this story has been linked to, since that earthquake was in Japan.
we fix that internally by having names for accounts and having stages for accounts in a meta tool. There's a tampermonkey script that pulls that in and shows it on screen and a red banner if it's prod. Could be a json file in a github repo. And yes it could be a console feature but everyone's got different concepts of prod. I think a ton of companies use like 2 total accounts as well.
Before making bold claims, it might be useful to get more familiar with a mess that are myriad of RISC-V extensions and seemingly insane/backwards decisions it makes completely ignoring the hard lessons learned by both ARM and x86.
I'm compassionate towards the problem, but I don't really understand the doctor analogy.

A doctor doesn't demand that a full battery of blood-tests is ran to determine whether or not I have FIV before he/she stitches together a small flesh wound or before he palpates my skin for tumors; a vet has no problem with creating artificial barriers to care by their own doing as long as it produces additional transaction profit -- now doctors and insurance and medical care might be backwards in the United States, but I haven't been refused medical treatment simply by saying "No, I don't think an HIV test is going to help you set my broken arm, so I won't do it, please set my broken limb.", but this is routine type of behavior around vets and animals, and I speak from years upon years of depressing personal and community service revolving around dogs and cats.

Frankly speaking, if my career enforced that kind of behavior and left me to my own devices to extort potential customers in a time of dire need with their dying pets as hostage/collateral, i'd probably edge towards suicide, too. I don't have a solution, but it feels like an unfair profession even as a spectator looking in, so their grief and anger doesn't come as a surprise to me -- the professionals are as much victims of the 'routine' as are the marks.

I think that MDs are insulated from this issue a bit more-so by their standardized (and pretty regulated) ethical and philosophical guarantees towards medical compassion and care; not knowing what vets are required to do within that regards, it seems lacking given the broad levels of quality of vet care you can find by calling a dozen local numbers -- maybe it helps that MD patients receive the 'hard decisions' usually from their insurance people.
This story has been cemented in my mind since I was a teenager, and no matter how many times I read it, when someone posts it I always go out of my way to read it one more time.
OpenAI plans major updates to lure developers with lower costs
Many of them also raised tens of millions (or more) in VC funding, which helped them achieve their size and popularity.

In a post-ZIRP world, many public tech company valuations have been slashed, and tech IPOs have slowed. Not-yet-profitable private tech companies can struggle to raise funding rounds now at favorable valuations, compared to their last funding round. If you're a VC-funded open source company with no deep moat, this is not a good time. I agree with the GP, we'll likely see more new companies choosing non-open-source but still source-available (e.g. BSL or SSPL) from the start.