skysight-inc/HackerNews huggingface dataset:
Microsoft is failing to deliver emails that mention newclimate.org
Kagi lets you exclude websites entirely, so… yes with an asterisk that you have to put some legwork in to fully do so.
https://www.aopa.org/news-and-media/all-news/2022/june/15/co...
https://oauth.net/2.1/

> OAuth 2.1 is an in-progress effort to consolidate and simplify the most commonly used features of OAuth 2.0.
I wonder if it would create a singularity in spacetime by posting the GPT answer to "what is cunningham's law" here?
The airplanes this is about mostly are relatively fuel efficient. They burn a lot of gas per hour, but they also go faster than a car and so per distance efficiency is about the same as a gas car.

Jets are different - they go a lot faster. Commercial jets when full are about the same as a small car. Private jets generally have much less people on board, if you filled them to capacity with people they do well.
Probably a negligible amount, 100LL is pretty much only used in single engine GA planes and each one produces the pollution equivalent of a few cars. There might be a measurable effect near GA airports but over the entire country? Basically no change.
It's the difference between optimizing for the sum of followers squared and optimizing for the sum of squared followers.

You want lots of people having a few followers rather than one person having millions.
Unfortunately universities are not immune to the realities of living in a capitalistic society. Money needs to be made, growth needs to be demonstrated, debts need to be paid, and for that grants need to come in. People recognize that unprofitable research is necessary, but no one wants to fund it. And event when by some miracle it does get funded, people complain loudly and mock it ruthlessly. Sometimes the institution stays strong, sometimes it buckles under the pressure.
Unrelated to the article, but I have had great success using LLMs to generate recipe. Here's how it goes:
"I have a ton of onions, what can I make"
(LLM provides like 4 options)
"Ok, give me a recipe for French Onion Soup"
(LLM provides recipe)
"I don't want to use my oven for the bread, can I use my air fryer?"
(LLM provides an alternative approach using the air fryer instead)

Thanks LLM! That was way better than some awful google recipe SEO spam nonsense.
I'm not an expert on this either, but I think it's true that IN GENERAL a lot of the value in soap is just "debulking". It does do that very well.

But in the specific case of COVID-19 soap happens to also destroy the virus particles and that turns out to be pretty valuable too. :)
> Paying to be the default is anti-competitive.

Paying to be default is competing.

It may be leveraging or protecting a monopoly when you already have one, but otherwise its just a mechanism of competition. (Like most mechanisms of conpetition, it favors those who already have an advantage—especially the particular advantage of a bigger pool of money to spend on it—which is essentially why we have rules conditioned on existing market power in the first place.)
That's sweet, will send over an email shortly!
A little of both. The problem is that evaluation of research work is insanely difficult. A lot of people think it's easy because "the world is objective, it either works or doesn't" but research is cutting edge and you're only chipping away at a much larger picture. It can take decades for a work to reveal itself as truly profound or utter shit. The problem, which I rant about in a longer comment, is that instead of acknowledging the noise we've embraced poor metrics and encouraged the hacking of those metrics. I call this Goodhart's Hell. People forget, metrics are models and all models are wrong. You have to constantly be questioning your metrics and determine how well aligned they are with your goals or else you'll drift (the environment moves, so your metric must move too).

I think actually the better way to solve this, which may seem paradoxical, is to actually increase funding. Not in size of single prizes for grants (well... we need that too, but that's another discussion), but in the availability. The reason being that the hacking is partially encouraged by the competition for a very scarce resource. A resource that compounds. Due to this (and some nuances, see other post) we're not actually rewarding those who perform the best work (we may actually be discouraging that) but those who become lucky. A "good work" is simply one with high citation counts, which is heavily weighted on the publicity around that work. Which is why top universities have big media departments, pay news publishers to advertise their works, and why survey papers generate huge counts.

The problem is that the system is rather complex and there are no simple or "obvious" solutions. "Good enough" is also not clear because too low order of an approximation can actually take you away from your intended goals, not a small step towards as one might think.
> But a segmentation fault is also controlled

A segmentation fault may not happen (which is to say, we may corrupt memory or worse) if the null pointer is mapped into memory (as in an embedded or kernel context) or if it's accessed at a large offset, which results in a pointer that's mapped into memory. This may be rotten luck or it may be exploited by an attacker.

> No, I am thinking in Delphi terms.

Fair enough, I don't know Delphi. I'll take what you're saying about it as read.
The Naive don't have to worry about that. They just have to deal with it if it happens.
There's a strong overlap of these people also doing stupid stuff like flying near and on the final approach courses of instrument approaches.
Most specifically the design of Wayland was designed in such a way as to actually create this situation by not having a functional reference implementation or capable libraries for individual environments for the first decade of development.
Why bother with the safety checker if the model is running locally? I wonder how much faster it would be if the safety checks were skipped.
I think most people will just stick with the default option, very few people will change the search engine even if there is another one better.

I remember the first years of chrome, people were using IE regardless of the fact that chrome was a superior browser.

In general, I would prefer no default and the choice of the search engine be done by the user on the first access but, from the point of view of google, i think it's the best way for them to spend those moneys.
Instead of an iPhone, use a Pixel with GrapheneOS.
> But my favorite incident will forever be the time they had to drill out a safe because they were disaster-testing the password vault system

Great story to be sure—-but I’m going to call it a success. They did the end-to-end testing and caught it then instead of real life.
IIRC 16 is just the minimum age to be allowed to drink in public, or purchase alcohol (except spirits, that's 18). In private there's no limit.

Also 16 is to buy or drink unaccompanied, if accompanied by a legal guardian it's 14 (again excepting spirits).
The amount of lead taken up from leaded avgas in the community is so close to zero
(compared to other sources) that it hasn't outweighed the damage done by essentially banning general aviation. Which is what banning leaded avgas would do without an alternative.

It's already nearly choked to death by regulation, but that was a step too far.

But they also clearly have been working to mitigate it, and now that they have an alternate are banning leaded avgas and launching it.

So what is your rant about exactly?
Oh that's one of the big hidden costs is just the amount of paperwork ( in many cases physical paper ) to document, submit in triplicate, and then waiting and waiting and waiting
I don't think I would describe the CTF Pro Leagues as "boring office work"!
it is often unjustly low in compensation to the land owner

How often is that true? In my very limited exposure to the process (2 friends over 25 years, both in VA) the result was fair. Obviously there are cases that make the news, but I assume these are the outliers.
The semantic search uses the BGE model here (https://huggingface.co/BAAI/bge-large-en-v1.5). The summarizer response attempts to avoid context outside of verses provided to Claude's API. By default, Claude has a tendency to start quoting other verses not included in the search context (which it was generally trained on).
Phosphates.. We ingest phosphates from soaps.
Would be cool if Kagi had a way to share, or to locate others lists.
>What you don't seem to understand is there are some who are not motivated by that.

Yes, and the classical solution was to deny those people tenure. The system worked pretty well, for a large institutional system, until roughly the early 90's.

What we have now is an impossibly high standard that prevents well-motivated researchers from accomplishing the very goals that the institution is meant to serve.

Edit: now do me a favor and analyze whether university administrators have a track-record of using funds with prudence.
Oh. ... Okay, then. In that case I regret to inform you that your previous comment was extremely poorly phrased, to the point of seeming to mean almost the opposite of what you apparently intended. (Particularly in that double negatives are fine in conversation or writing, and can in fact be used, wherever they actually make sense - which is relatively rare in general, but occurs in the case we were originally discussing, since "can imagine it would be" means something different.)
Not so fast. G100UL can be approved for all piston engine aircraft. There is not a blanket approval.

You still have to go here (https://stc.g100ul.com/aircraft/) and buy paperwork that makes your individual airframe and engine legal. What the FAA approved was for GAMI to sell that paperwork for all piston aircraft.
That's essentially how things are likely to go with CXL, though the latency isn't likely to be quite as good as on a dedicated DIMM connection or even as "good" as it was with IBM's OMI. The future (imminent in enterprise and sometime around when PCIe 6.0 hits consumer machines) looks to be mostly a combination of HBM and CXL memory.
Can you point me to some of the concrete bugs in formal specs with associated proofs that you are thinking of? Specifically in the part that was formally verified, not in a larger project that incorporates both verified and unverified components. Because my experience is that when asked to actually provide concrete examples of how formally verified code has bugs in practice, people find it quite difficult to do so. Formal verification is about as close to a silver bullet as it gets for eliminating bugs, even if it's not 100% (nothing is). It's certainly far better at eliminating bugs than vague philosophical positions like "making things safe by default" (what does that mean?) or "abort when you're in a bad state" (how do you know you're in a "bad" state? Isn't it in general at least as difficult as figuring out what the correct formal spec is? How easy is it to detect? Is the performance cost acceptable?).

In fact, what usually happens is the opposite of a formal proof being undermined by a bad spec--when an informal spec is formally verified, inconsistencies are often found in the original spec during the course of the proof process, and bugs are subsequently found in older implementations of that spec. Fixes are then incorporated into both the original spec and the existing implementations. Formal verification is a spec-hardening process.
4. Document procedures and methodically test the docs as well
> What? Property taxes are maybe $5000 per year for a typical property, maybe more maybe less shrug. How do you hire a full-time (24/7) armed guard for your house for $5000 per year?

You hire it for the neighborhood jointly. I mean 12 neighbors cover a single guard. That means a neighborhood can have several of them patrolling. And you don’t need 1/12. So you pocket the savings. So you get maybe $4,000 cash per year and one guard per street.

Obviously not personal security detail.
Overwhelmingly the Air Force
I've just recorded a video tutorial on using color mixing and palette without photos <https://youtu.be/fmQO177shoQ?feature=shared>.
> I don't want to argue about the exact semantics of the word theft and what kinds of "misuse of funds" it includes. Nothing went in his pocket; it wasn't embezzlement.

See, the law very much disagrees with you here. It went into his pocket, and from there on a card table at Vegas. The moment he had decided to use company money like this, it was taken from its rightful owner.
> All internet and telecommunications cut in Gaza

This seems to be factual

> Israel begins ground invasion

I haven't seen this confirmed anywhere
Great Algorithms Aren't Enough
I've been a happy subscriber since the beginning. People have been talking about Kagi for a while.
The devs have released a lot of figures on their blog blog.kagi.com and the feedback website is very active too. kagifeedback.org
As a non-writer, I don't know those apps, I saw this on HN, tried it for 30 secs, and loved it. I'll never be a customer btw.
I question your metaphor - SQLite has been popular here since I started reading this site. Wave suggests a rise and fall of popularity (possibly in a long lasting cycle)... sqlite has always just been popular and well regarded.

You may be noticing it more out of a frequency bias (baader-meinhoff effect) situation.
Not much faster tbh, but it's a bit of virtue signaling you're often required to do with generative AI.
The great thing about that idea is that I don't care about personal air travel, so a ban costs me nothing. I can feel good about myself without needing to think about my own excesses.
Huh? Leaded fuel or recently produced engines? Honestly, that's shockng. Zero excuse, should have been outlawed decades ago.
> I do not know why pilots would be giving you a hard time with a truck given that most general aviation aircraft in operation are older than your truck.

The airframe likely is older than the truck, but the engine is usually considerably newer. GA aircraft engines require overhauls or replacement be done every 1200-2000 hours of run time.
>Women and children

Dunno about the Tube but women and children routinely take the Paris Metro.

>grifters

This just means you look like a tourist.
Perhaps the FAA could remove the requirement to buy an STC to use unleaded fuel? If they want wider adoption, removing the STC requirement would help.
I am equally terrified of Chrome's dominance in the browser market.

I don't agree that forcing WebKit on iOS is the solution, however. The law should seek to break Chrome's monopoly, not enforce another.
I absolutely adore when anyone accidentally does this. It should be a RedditSubbreddit and a LemmingCommunity
There's no commitment, you only pay for what you use and we don't charge any margin on top
They do publish global leaderboards.

https://kagi.com/stats?stat=leaderboard
These kinds of arrangements are all over the commercial industry. For example, grocery stores charge slot fees to determine which products go on which shelves. Pepsi and Coke have exclusive distribution deals at thousands of retail points-of-sale. Companies have been paying to be included in Bundleware as long as the internet has been around. Medications, towards either generics or brand-names, are defaulted to in all sorts of scenarios. Dealerships only use OEM parts.

Should all of those arrangements be illegal also?

> However, we know from years of study on consumer behavior they don't.

Internet Explorer was the default.
lol not even close in USA...

(yes in some other countries)
I have no idea why I constantly hear the claim that Texas (for some reason it's always texas) is diametrically opposed to renewables. The data, as you've pointed out, indicate completely otherwise. I can't help but think it's people just projecting their idea of what a 'red' state is like, instead of actually thinking critically about the reality.
int64?
I don't understand this comment. So basically, I have a bunch of dirty money, I give it to a university, who then use all of it to buy a bunch of stuff that my own company sells, thus cleaning the money? So basically what I've done is I've given away $X million of stuff, and my company gets its 5% margin out of it?

This makes zero sense to me.
They are probably looking for markers of terrorism and criminal activity. One thing that I learned from my work with the SPLC was that extremists self-snitch on social media all the time. Transparency in law enforcement is always a good thing though so hopefully we'll learn more from the lawsuit.
> and use volumetric measurements instead of weights

Sorry to pick up on one sentence of an interesting long comment, but this is a pet peeve on mine when having to rely on American recipes. There seems to be an obsession on using volumetric measurements for things which really should be done in mass units - flour, sugar, sometimes even ingrediants like grated cheese.

European recipes in my experience tend to use most 'natural' units - mass for solids, volume for liquids - but you still get the silly culturally specific units sometimes - '1 medium onion' ... well how big is that? Would two small onions be too much? Or half a large onion?
3) Stephen Cook was denied tenure position at UCB: https://en.m.wikipedia.org/wiki/Stephen_Cook
I think it's possible that it means both.
What are you quoting? I don't see that sentence anywhere in parent's linked twitter thread
I don't think requiring everyone speak the same language is racism, necessarily. If it's "speak English to include everyone in work conversation" then it's fine. If it's "don't speak Hungarian on the phone to your parents because fuck you" then no, that's bad.

I have worked in environments where teammates speak in their native language (spoken by a small minority of people at the company) and it has an exclusionary effect. Once a team (perhaps unintentionally) begins to favour those with the right native language, and a critical mass of speakers is reached, it can sometimes result in mono lingual, mono cultural teams who find it hard to hire or retain other people.

It really depends on the specific criticism and how it was phrased.
He deserves to get caught for abusing public trust to do disgusting and awful things. Would you be fine with this if he hadn't been caught?
Cells At Work was a primer on how the immune system works. It is good for people that have no idea.
The difference is that the tyre manufacturers don't pay Ford to stick their tyres on Ford's vehicles.
Regarding your first point, was the parent comment edited or did you miss this part as they clearly address this issue:

> (50-100%! btw this doubles the "cost" of the grant, it doesn't lessen the amount the professor gets).

Parent comment isn't making the claim that "schools are greedily taking away poor Petey PhD's hard-earned grant money."

Rather bemoaning the fact that academic success (and even entry into the field at all) is very, very closely tied to the ability to generate revenue and more so the corollary that quality of research performed always at best takes a back seat, or at worst becomes a liability if it gets in the way of bringing in more money.
Great post. I’m dying to know what company you have/work for? Theo by any chance? AFAIK bean to bar is highly unusual, done by only a dozen or so companies. You appear to be living the dream!
Dose makes the poison. A little bit of residue won't do much. Eat a whole bar of soap and you'll feel it.
>since I'm paying them rather than the advertisers.

You don't pay advertisers with Google. Advertisers pay Google. Google is incentivized to give you useful results so that you continue coming back and using them for search. If they gave poor results people would stop bothering to use their search and they would get less ad impressions. By paying a flat rate to kagi there is less incontive to maximize the amount of searches people do over time.
So, at the code link

> Code will come soon.

Disappointing, but also:

> 6 forks

That's... eager.
The implementation is not even optimized for Macs. LCM is just very easy to be fast (batch size = 1 and only 2 to 8 steps, depending on what kind of headline you are trying to make).
That's easy enough to adjust if you'd like, redefine typewriter-roll--scroll-up to call (recenter-top-bottom 2) instead of 0.
You don’t think so?

It sounds like something that would happen. Where I was there were complex arrangements to avoid breaking grant rules while also spending every last cent.
I like this idea — I think we should tax consumer fuel based on its CCS; so, about 2$/gallon. I don't think that'd happen any time soon...
The FAA recently approved unleaded avgas. The EPA never had a problem with unleaded gas.
Unfortunately, Notes is incredibly slow. Even with just a few hundred pages of text in a note, and no images or complex formatting, it stutters on text input on an iPhone 15 and, while not stuttering in input, is jerky and slow to scroll on an M1 MacBook Pro. That means that there’s management overhead — going back and editing notes to split them up — to keep it usable, which is almost exactly contrary to the point of this article’s type of writing-and-writing-alone tool.
Ive been using it for around 40 days to test. So far i like it, i do not notice much difference versus google in general. But i also got to bump quality sites in my niche up the listings (and reddit). So far i dig it
>I haven't seen this confirmed anywhere

Except everywhere from everyone.

https://twitter.com/i/status/1717956633320448215
You just said, the SSD is $20 more. So a HDD for the OS is less money, and maybe-worse performance.
Many millennials are worse off than their parents
No one should even consider doing this in the first place. I can't imagine any reward that would make it worth my while to even think about such a thing. It is totally a lose-lose situation, and throwing yourself into such a situation is the height of stupidity.
Here's a naive bash implementation of this, just for fun:

while true; do
clear
tail -n 5 /tmp/notes
read line
echo "$line" >> /tmp/notes
done
Happy paying user here. Managed to even convert some friends to it.
Exactly. Remove the STC requirement. If the fuel is unreliable that it won’t work in every 100LL aircraft, then it shouldn’t be forced upon us. If it is completely safe, then an STC should be unnecessary.
Better quality control?
Pinterest is the real MVP for most hated and most prevalent SEO spam.

I would say 7 of the top 10 are just Pinterest, but it’s really 7 of the top 7. Yeesh.
Would that or mandatory breathalyser to start the car do more?
> Quality is an after thought taken care of __by what passes for peer review__.

I can feel the strong disdain in these words that can only be expressed by someone close to the academic world. I've honestly decided to just stop using the phrase all together because it's just a misnomer and not meaningful at this point other than a metrics for the bureaucrats.
They also have a decent advantage for LLMs because of their memory bandwidth to system memory vs GPU's with limited VRAM limited over PCIE to the system memory.
I seriously doubt ARM will hit consumer desktops any time soon. Servers, where people care about power efficiency? Yes. Laptops, where people care about power efficiency? Yes.

But on "gaming rigs" where people are content to eat nvidia's absolute bed-shitting power consumption, and where replacing ram is a rallying cry? Not going to happen. It'll take until they're dragged along by the other two segments, sometime in 2-3 hardware generations. Maybe 2029-30 at the earliest.
How would that explain the massive difference in obesity rates between countries?
> Twitter content will forever remain fundamentally ephemeral:

I've bookmarked a "thread of threads" from a user or two. Even that was a half-baked solution though. Since they've started limiting public (not logged in) access again i haven't bothered.
> The last results are some strange redirect to the login page of chat.openai.com

How about show us instead, since Google removed proper pagination I'm not gonna press "More results" tons of times.