skysight-inc/HackerNews huggingface dataset:
> Civil rights groups tracking the trial have previously criticized Mehta for protecting Google's privacy over the public's interest. And last week—as the DOJ claimed Google was hiding evidence by training employees to avoid words monopolists use in office communications—Mehta allowed Google to seal off testimony from a Verizon executive despite the DOJ's objections. The DOJ seems increasingly concerned that blocking public access to key facts in the trial establishing Google's alleged monopoly might hurt its case.

Emphasis mine - it sounds like this judge is leaning quite amenably to Google at this stage. He is giving them quite a few concessions in this case. This is essentially allowing Google to hide some of the DOJ’s most compelling evidence from the public.

That said, this article is a bit hard to follow though exactly what is happening. I suspect even the author isn’t quite sure the exact nature of the evidence, which speaks to the effectiveness, for Google, of conducing the trial with confidentiality.

So more interesting bits:

> "Supporting the conclusion that Google is a monopolist," the DOJ said that its accounting expert, Christine Hammer, will testify "that Google turns an exceptionally high profit margin"—[redacted] percent—"on its search and search advertising businesses." Without knowing the profit margin precisely, the concern is that it might be difficult for the public to come to the same conclusion as the DOJ does about whether those margins are "exceptionally high," and that might make a difference in how the public views Google's alleged monopolistic behaviors.

I mean this is a real phenomenon. I would probably personally feel differently if that number is 5%, 10%, 100%, 1500%… in fact that’s basically one of the only numbers you need to know. If that return is excessively high compared to other non-monopolized businesses, that speaks to monopolistic forces creating barriers to competition flourishing in the space.
Maybe your git repo with 2 stars doesn’t get money but Open Source projects that thousands of people use do get money. Many countries around the world fund developers to work on open source projects
As a percentage of total water on earth, how many of the H2O molecules do you speculate came from comets or industrial processes?

Same question for the biological processes you mention.
> They come from big businesses who see open source as the most effective way of reaching their goals

I think people need to think really hard about what those goals are.

Is it to defeat regulation? To destroy their competitors? Retain talent? Sell their non-free-and-better models?

People don’t just hand millions of dollars out on the street corner.

There’s always a catch.

…and the people using llama and falcon, etc. and enjoying how great it is are being blinded by the shiny toys and not really, imo, thinking about what it means, or how they’re playing someone else’s game.

It’s extremely naive.
The lead jacket is always torn open and the barrel smeared with vaporized lead that comes flying out of the muzzle. There is no bullet that prevents lead poisoning in the environment. I'm a reloader/target marksman that has trapped/recovered plenty of bullets in my time.

The jacket just reduces lead fouling.
Yes, the main benefit of WEBP is for lossless compression, it's reported to be about 25% better, though this would depend on the image. For lossy, there's no reason I can see to prefer it over JPEG.
Not on my research github repo for my paper, no.

[1]: https://github.com/johntiger1/multimodal_fairness
Yes! English isn't always a great language... I do like the meaning behind it though. You are a brother, even if not in biology, we'll embrace you. It just doesn't work well for genealogists.
Only fragile ones, and those will only work until google finally flips the switch and their servers stop validating anything less than true hardware-backed attestation.
Ask HN: When did wireless routers become so expensive?
Amazon released new WiFi7 routers today with eye watering prices: Eero routers, in packs of one ($599.99), two ($1,149.99), or three ($1,699.99).
Out of curiosity, why is it illegal in the US? Is it the decss stuff?
The figure in the article shows a diminishing marginal effect of increasing lead exposure, so this is all quite consistent with the theory.

I sure am wondering how much of the late 20th century Flynn effect was due to diminishing lead poisoning.
GAR - Generation-Augmented Retrieval?

I've actually had some success with getting ChatGPT to create Redshift queries based on user text and then I can run them and render results, which has some interesting use-cases.

Max calls out the biggest problem with using something like ChatGPT in a search flow - it is way too slow. I've talked to a lot of people wondering if we can just shove a catalog at ChatGPT and have it magically do a really good job of search, and token limits + latency are two pretty hard stops there (plus I think it would be generally a worse experience in many cases).

What I'm trying to look at now is how LLMs can be used to make documents better suited for search by pulling out useful metadata, summarizing related content, etc. Things that can be done at index time instead of search time, so the latency requirements are less of an issue.
> Go ahead and find a guide showing you how to do a thing that Just Works regardless of the flavor of Linux distro. You can't...

You can, but it's not so much a guide - Ansible roles.

Wise usage of the modules and deconstruction of the personalities (ie: package names, file paths) means a playbook that works for one distribution can work for any.

You can even aim for the stars and support entirely different operating systems!

Not to detract from the cleanliness of BSD - it truly is delightful.
but socat is a process that needs to run, so someone needs to configure it to start at boot. that's what the iptables solution avoids.
> When I first started using Kagi a year ago or so, I compared results with Google every now and then.

Same. I still do attempt a Google fallback if I don't easily find what I want on Kagi, but every single time, the Google results aren't what I'm looking for either.
It was added last year in iOS 16. It’s called Continuity Camera.

It’s a nice feature. The cameras on any iPhone are WAY better than those built into a Mac.

I’m sure that holds for Android/PC.
Mozilla has an interesting sandboxing strategy: They compile some of the C/C++ parts of Firefox (e.g. the ogg parser) to Wasm and then back to C. Because Wasm is memory safe, the resulting C is too.
https://github.com/Hebilicious/reproduire
They said “we compare outcomes for children who are similar across observable characteristics but differ in eligibility for intervention due to blood lead test results.” Economic status is observable, so ide guess it’s I caused; but I only read the abstract.
> My favorite was when they wanted everyone to switch over from Internet Explorer to Edge (this was before support was dropped), so attempting to search "Internet Explorer" in the start menu caused it to override it with Edge instead.

Was this before or after they actually removed iexplore.exe?
This is timely, I signed up last month for the $10 plan and burned through the limit like halfway through the month without even turning it on at work.

When I'm writing code I tend to search a lot, and I'd resigned myself to not using kagi because I didn't really want to bump up to the $25 plan.
Brings a whole new meaning to TCP.

Tornado Cloud Protocol.
Cool idea. Here are about ~30 more that might be of interest. Not all are code proof assistants, just listing extras in case serendipity.

https://pastebin.com/bYXWj7w6
> watching cars and guns kill cyclist friends and children at increasing rates

This chart doesn't break out the data for cyclists and children, but motor vehicle deaths per capita seem to be decreasing over time:

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

Gun suicide rate (per 100K people) seems to be approaching its historical peak from 1977, while murder rate is approaching the local peak from ~1992:

https://www.pewresearch.org/short-reads/2023/04/26/what-the-...

It's still drastically higher than Canada's however.
Yeah, but once you fix the library the system should be safe. Well, except for all of the snaps and docker containers and whatnot. Those will need to be updated as well.
> (Incidentally, this means that 2[x] is a legal expression in C)

Even weirder, for that declaration

int x[2][3];

I think the following are legal expressions:

0[1[x]]
1[x][0]

Or is there something in the language that makes that break parsing?
It drives me bonkers when I am searching a very deep topic (like looking for specific legal decisions), and Google throws up a Captcha at me.

I am fast and good at searching, but I ain’t that good. I’m going to give Kagi a try for this reason, plus ability to prefer or ban specific sites.
For what it's worth, I (mostly) disagree with your detractors in the other comments and agree with your sentiment (I think).

Markets care about "aggregate
demand". Rich people can be lucrative individual customers because they have more to spend and often less price sensitivity. But they have limited capacity for consumption in many areas; they only eat three meals a day and only fill so many airline seats at once. The middle class and even lower classes have much higher capacity for consumption and are worth targeting - think McDonald's or even Google (advertisers want all the eyeballs they can get, even if they prefer wealthy ones)
A quick look at D from data science perspective
A few years back spent a lot of time stripping lead paint using a heat gun and IR emitter thing ("silent paint remover"). It was definitely smelly, but I convinced myself that the temperatures were far too low to vaporize lead.

But in the back of my mind I always wondered if there was an equivalent of a eutectic mixture for the liquid/vapor phase transition.
Lol back then the US had the gold standard. Currency was backed 1:1 by precious metals.
I wonder if one could build something like SETI@home, but for open source model training. Assuming the model fits on a gaming GPU, it's just data distributed parallel training but with a large distance between training nodes.
Yup, it is legit but old
> yet another stackoverflow copy

I never got why these even ever appear in Google search results (or any search results, really). It feels like it would be super trivial to identify sites that are scraped copies of other sites. Granted, without foreknowledge, the engine doesn't know which is the original. But at the very least this can be determined by a human once, and then the problem goes away forever for that particular site.
Informative, but please refrain from posting Blind links
How come they don't support wire protocols for analytical workloads like arrow streaming or others like Clickhouse. Looks like they don't want to compete with CK.
Canon also released an app during lockdown to make your DSLR or mirrorless camera into a webcam too. Shocking how quick companies can do things when a global pandemic pushes them after years of odd tethering and window screen capturing mess I've had with canon before hand for live streaming.
https://en.m.wikipedia.org/wiki/Scunthorpe_problem
Burning gasoline releases more h2o than co2 - think about that for scale
Its like a 5 hour job to get something that technically works and then a 10,000 hour job to get something that works flawlessly. The Apple integration with the iphone and macbook is the most seamless setup I've seen so far but I've still gone back to just using the built in webcam because its too fiddly to put my phone up on the screen and occasionally have issues where it won't connect.

Phone as webcam just doesn't seem like a long term solution, eventually built in webcams will be cheap and good enough. And tbh I find the built in one on the macbook to be bordering on good enough once you consider how compressed and tiny the output will be on the other persons screen.
What you describe is called the third way, neoliberalism comes from friedman, and is a right wing economic framework also known as https://en.m.wikipedia.org/wiki/Reaganomics
And "as early as you can" usually ends up being years after you IPO cough snapchat GCP cough.
Apple’s MPTCP Story So Far (2020)
Some HTC devices supported AV out on their ExtUSB ports back in the MiniUSB days.
Also, a few more items that I recall being difficult to figure out-

1. FT8 uses a standard frequency setting on each band. The presets are built-in to WSJT-X, or you can find them online. WSJT-X and your SDR client should be set to the same frequency.

2. To decode FT8, your radio should be in USB mode, and your system clock needs to be very accurate (By which I mean, you need NTP)

3. FT8 signals are practically invisible on a normal waterfall display

I had everything hooked up for a few days of head scratching before I realized that I hadn't setup NTP on my PC for reasons that escape me. As soon as my clock was synchronized, messages started pouring in. I have the most luck on the 20 and 40 meter bands.
I'm free to say that he's probably a rapist, because I'm not a court of law and I have free speech.

I really hope that you're not in the UK, if you are you've just exposed yourself to a libel suit which could cost you your house, and that obnoxious turd has enough money already.
Scaled inference isn't cheap either :/
Thanks for the post! I'm the researcher and would be happy to answer questions if people have them!

Here's a brief summary:
Bongard problems are a type of visual reasoning task where the human/AI sees two sets of images: a “positive” set where each image depicts a certain concept and a “negative” set where images don’t depict the concept. The goal is to determine the concept given these sets. Unfortunately, while humans can often solve these problems in the ~90% accuracy range, AI performance is often in the ~60% range.

In our work, we devise simple methods that incorporate "cross-image context" to attain higher performance. "Cross-image context" means that we consider the similarities and differences between multiple positive and negative images. We find that performance of simple existing methods (e.g., k-nearest neighbors on deep features) can be dramatically improved by incorporating cross-image context, sometimes up to 10%!

In all, our work attains state-of-the-art performance on the two main Bongard datasets.

Let us know what you think!
my oldest didn't wean off until past 2 years of age despite my wife working full time. she was pumping milk and the kids got the bottle during the day, but the kids also slept in our bed and mostly nursed at night.
Eley makes really good (but expensive) stuff. It bugs me that they moved their production overseas though. I could understand if they were selling a $5 sprayer or $15 hose reel. I think they could still make a good profit if their stuff was made back in Nebraska.
Only loosely related, but are there any affordable non-invasive tests for past lead exposure?

I have a cluster of symptoms that are consistent with lead exposure[1], along with a lot of past activities involving lead (stained glass, old-school electric cars, soldering with lead-based solder, stripping lead-based paint), but my current blood lead levels are normal.

My neurological symptoms also flared up when I was supplementing with kind of a lot of Calcium and Vitamin D.

[1]mostly high blood pressure, somewhat high cholesterol (despite having normal BMI, sleeping reasonably well, exercising regularly) and demyelinating lesions visible on MRI (but no oligoclonal bands, negative AQP4).
this is welcome news, and i will likely reinstate my subscription.

however, i'd like to point out that in my understanding, most of my $10 will go to google, in kagi's payment for their search service, rather than support kagi or their mission.

please correct me if that's not the case.
Wi-Fi 7 is expected to have a maximum speed of 46 Gbps for a single client
When did wireless routers become so expensive?

Just anecdotally I think this has been the case every time a new WiFi standard is commercially available. WiFi 6 TP-Link AX1800 WiFi 6 right now is $80 unless one wants the 2.5Gb ethernet ports and that one is $230. I want to say that one was about $500 not that long ago. When WiFi 8 is commercially available I would expect 7 to be the same as 6 is right now.

Just me personally, I avoid anything that new. There are usually serious bug and compatibility issues in my limited experience. Unless one has a special need for 7 I think right now 6 would be a safer move in my opinion. I see several different WiFi 6 brands that range from $50 to $90.
This is a nice-to-have feature, but most people are going to want to be able to have their phone at hand still while on Zoom. But then again, I suppose most people have an extra phone.
It's been in the works for years. Very good in some ways, a bit rough round the edges though, but it's time I make a substantial demo, docs and marketing website for it. SSR was built into it from the start.
Well, kinda, eventually. The book of 2001 points Discovery 1 at Iapetus, a moon of Saturn. Evidently, the special effects crew for the movie couldn't do a convincing job of faking Saturn because of the rings so they did Jupiter instead.

Then when Clarke did the book for 2010 he retcon'd it to match the movie.
This article claims that since most current business uses of LLM's don't require high reasoning (summarization, semantic analysis), that high level reasoning won't be important for businesses, thus they would prefer smaller models, thus open source will win, etc.

This is very naive and assume that all the use cases for LLMs now will remain the same, and the enormous benefits and eventual agentic magic of higher reasoning won't soon overtake the easier LLM stuff in economic value. If OpenAI releases a model that can design, build, deploy, maintain, act as support staff for and do independent research for an entire product line of a tech company, no company is going to prefer sticking to smaller models that can summarize PDFs for them.
Mars Landers use VXWorks. Servers are definitely Linux.
And that is precisely why those services are not obviously thinking of abandoning their free tiers.
Not to mention the government is still actively involved through programs like Essential Air Service [1]

It wasn't fully deregulated and left alone, some aspects were deregulated. As usual people like to bucket government policy as black and white but in reality it's usually somewhere in the middle.

[1] https://www.transportation.gov/policy/aviation-policy/small-...
I gave up and use a unlimited 2% cash back card. It's much easier and gets me about the same as most without any extra work.
Only if you're wasteful does food depreciate, but I'd argue that's not the correct word. Food is consumed after you buy it. It was used precisely for what it was intended. That's not depreciation, but I'm guessing you know this and trying to be cute?
Sure, you can mostly do that today with saved segments, merge tags and data variables. Would love to understand how we could do better though!
Also see https://www.youtube.com/watch?v=C4BnJ5QLeTY
New York Rent Control: Could the End Be Near?
I love Kagi! Happy customer since they started asking for money! I tried so hard to use ddg but I always found myself just banging to Google. I actually use Kagi results!
> Era 2:62.

Hm. Custom SemVer, custom language, custom GUI framework? It's a lot.
Yeah, there's a lot of games where I don't care about lag. Donut County is a little drifty? Great, that fits the aesthetic. But some games really need to be tight.
> Older people are throw-aways in society, and will be served, like anyone or anything else, when there's a buck to me made.

There's a wide chasm between being a societal throw-away and "we need to indulge people into their 80s and even 90s having the power to impact millions of people's lives". No-one is entitled to a position of power or influence.
It would be interesting to know how that compares with other fighters in the arsenal.
Sequent calculus trees [1] are straightforward. Essentially read them as: for each horizontal line, the judgment (assumptions ⊢ conclusion) below the line is valid if-and-only-if the judgments above the line are valid, by grace of the syntactic transformation rule named to the right of the line. These are stacked atop one another to form a tree, the leaves at the top (with nothing above the lines) being axioms of the system, the root at the bottom being the judgment whose proof is the tree.

Sometimes the trees are upside down from this, for reasons I haven't been able to divine. Some logics also permit multiple (alternative) conclusions in a judgment, which is then properly called a sequent.

Nearly the same notation is used for type judgements in type theory as well, with "assumptions ⊢ conclusion" being replaced by "environment ⊢ type assignments". [2]

[1] https://en.wikipedia.org/wiki/Sequent_calculus#The_system_LK (The preceding section introduces the notation but uses the upside-down variant, for unclear reasons -- I've rarely seen it elsewhere.)

[2] https://en.wikipedia.org/wiki/Type_theory#Technical_details
I'm doing the same thing, but specifically for reviews/recommendations. I can't remember the last time I had even an inkling of trust for a review published on a website. Reddit is basically the only source I have for potentially trustworthy opinions about products
Thanks for using Loops!
If you are a native English speaker and are surprised a relationship label might translate with difficulty into another language/culture, consider:

Brother-in-law

It’s my sibling’s husband, OR my spouse’s brother.

In many non-English-speaking cultures, that juxtaposition appears bizarre.
Hydrogen is mostly made by steam reforming methane, with half the hydrogen coming from the water and half from the methane.

But then the fossil methane was made by bacteria decomposing carbohydrates and the carbohydrates were made by plants photosynthesising water and carbon dioxide.

So it all comes from water in the end, but some of it has not been water for hundreds of millions of years!
There are dashcam apps in the play store.
I am not the gp but yes. I had the same concern last time I evaluated Kagi and now I expect to become a paying customer this weekend when I have some time to do all my reading and reconfigure my main devices.
Not having to worry about minor transactions seems reasonable, but it's still a hassle to go looking around for a wallet service, figure out the bank linking, track down whatever ID number they want you to have, etc, people might not go through all the trouble for most services.
My family didn't have this phone, but the description of the janky voice recognition, timeframe, and current-day obscurity reminds me of the Texas Instruments Voyager edutainment headset (kind of a pain to search for because TI currently has a "Voyage" calculator family that people routinely misspell as "Voyager"). It combined speech synthesis and voice recognition, and I think you were supposed to follow along with each cartridge-based program in a booklet (which I'm not sure I ever had). The only really distinct memory I have of it is that you could change the voice to one of several presets and it would ask in each voice "to sound like this?".
The phone from the article actually has a pretty slick design - retro-futuristic like a delorean.

https://www.ebay.com/itm/254811165013
I don’t even make 10,000 searches in a year. I just did a search of my browser history: 8881 visits to DDG in the past 12 months, including many duplicates where I hit the back button to click a different link on the same SERP.

How much do you think it would be reasonable for them to charge for 10,000 searches? I assume this fee is supposed to sustain the company and fund all development and growth with a 100% ad-free business model, forever!