skysight-inc/HackerNews huggingface dataset:
is SeL4 anywhere near usability by regular humans? is that even it's design purpose? Are we going to see the equivalent of Arch Sel4 that I can install, run wayland to get a gui, and replace my linux stuff?
Sure, China can improve "efficiency" by building more green energy plants at the same time as coal plants, if the proportion of new coal plants is lower than existing plants.

But that still increases total emissions.
> But they don’t appear on price comparison sites

Depends on the website. Skyscanner include that kind of thing, as well as seat pitch, if food is included, etc.
As far as my understanding goes, there are multiple parts to what you are bringing up.

In your simplified example of a 2D plane, yeah, you are right, I think.

However that's why we have more than two dimensions. E.g. If we just have a few more dimensions, we could have one dimension per attribute "lion-ness", "bear-ness", "tiger-ness" of the document, so going higher on the "lion-ness" dimension doesn't have any impact on the other two dimensions, and the conflict is resolved.

Of course in practice, we can't spare one dimension per animal, and that's where embedding models come in, which take care of mapping a string of text into a high-dimensional vector space, and in the process compresses topics, context, etc.. If that model were to be constructed badly, it is possible that we may actually end up with such a bug as you described, where mention of multiple topics produces a not-so-optimal embedding.

Another part that's also relevant in practice is that embedding vectors can be very sensitive (depending on model used) to how you "chunk" (= divide the input string). E.g. if you create chunks where each sentence that is about a bear, a tiger and a lion are separated you will of course get clearer embeddings regarding the individual animals. If you chunk all of them together you will probably receive an "apex-predator"-like embedding, that performs better if you are doing vector search on a more generalized level. That can indeed cause a challenge if you'd like to implementa generalized search that can handle both individual word retrieval as well as concept based retrieval.
I'm not sure if I see this line of reasoning. Nature has countless symbionts, parasites etc, are those all unethical?
I just bought the Mac version.

Initial feedback:

It would be nice to have a settings icon before the delete icon. I had to go to the bar menu to find that.

- In the list of models, it would be nice to detect the system RAM and highlight the ones that cannot run, showing how much RAM they would need.

- It would be great to run the same prompt with multiple models. If this would take time and loop through, the use case would evaluate different models using the same prompt.

I like the UI and the speed, good luck!
Don't most of the airfare searching sites let you include your baggage situation into your query? Kayak does, at least. I just assumed the rest did as well.
Exploring LLM Weirdness: A Quiz Game
Another discussion: https://news.ycombinator.com/item?id=39977756
First sentence of the article: “A Bay Area Rapid Transit prototype train poses at the Lake Merritt station in Oakland prior to the start of service, in late 1971 or early 1972.”
I am excited to try, Penpot 1 was sluggish felt like I was painting pixels to the screen manually so I hope that is all resolved now I have a team of people who would eagerly use it if its good
AT&T in SE Oklahoma was practically unusable as well. Ping times were 300-1000ms and packet loss was (didn't run ping for very long) probably 90+%. Loading a webpage just didn't work. Sending a WhatsApp text message worked if you were patient.
Tibber API
Customers, though they usually aren't finding security vulnerabilities.
Even Scott the Woz knew enough to make videos about its death by then…
Bypassing anti-reversing defences in iOS applications (2023)
Except in this case its a single patent attorney lobbying the federal government to mandate something for the past 20 years.
Show HN: TabCrunch Analyses and Categorises the Browser Tabs Using LLMs
Hey HN,

Here is a side project that's the result of several months of work of a small team. We wanted to help people (and ourselves!) get through the piles of unread browser tabs and bookmarks that inevitably build up as we read and research. The idea is to have a single place to organise all tabs across devices and browsers. The really valuable part is the deep understanding of the context of all different topics and their summarisations. This allows you to go much faster through the content.

TabCrunch is a browser extension, so you will have to download it to your browser but after that you will be able to test it immediately and for free. I suggest using this code: TECHDEEPDIVEHNAPRIL24 to get 20 analysis of up to 500 links each. Here is a link to the extension: https://tabcrunch.com/install.html

For anyone interested in the technical side of things, here's a short writeup: https://tabcrunch.com/technical-deep-dive.html
It turns out that this task is super demanding for today’s LLMs so we describe our methodology as well as a lot of what we have learned along the way. I hope it helps others experimenting with LLMs and I hope you find TabCrunch useful too.

Looking forward to hearing your feedback.
https://app.suno.ai/song/b347e1e0-f4c3-4732-9e1a-7cd3426044f...
I haven't tried Penpot yet but I am learning more and more Figma.

But it actually slightly _concerns_ me that they don't have a business model or a way to fund their developers until at least a year from now.

This kind of application is extremely complex to build, so what do the Penpot devs say to address how to keep the talent around? My worry is about locking core assets in a format that's only supported by volunteers.

Even if it's an open format, it isn't a _dev_ tool, it's a design tool, so the "consumers" aren't the ones that can just pick up the complex codebase and take over.

Or am I thinking of this wrong? If penpot went stagnant, would someone hopefully just come around and build a converter for Figma/Adobe XD?
Ignoring any comments about wether or not short videos are good or bad, the demo seems like the subtitles are appearing and disappearing way too quickly, it’s a bit hard to read but maybe that’s just the video
https://googleprojectzero.blogspot.com/ immediately comes to mind (though its not a good example of an anyone set of people)
That doesn't make it not a loophole.
They try to define "conscious content", "conscious attention" and "conscious awareness" in their system (pages 6-8) -- but nothing really convincingly says why a system with this architecture should have an inner experience, i.e. I don't see an answer to the hard problem. I think this is a feature of a lot of models of consciousness that have some "theater" concept -- they just narrow where consciousness happens without providing a complete explanation.

I'm not convinced.
> There's always something 'wrong' with Git because it's incredibly complex. Most developer flows don't require that complexity, but have to pay for it anyway. That's the article.

Nope, that's not it. Sure, git is too complex for any single user or team to effectively use all of its features. That's a consequence of the famous "Everyone only uses 10 (5, 20, whatever) percent of its features -- but it's a different 10 (...) percent for everyone!" dictum.

But this article was a self-contradictory mishmash that showed only that the author doesn't really have any idea what he's talking about. Case in point:

> Dump the decentralized model.

> Pull Request as a first-class citizen.

What would you need pull requests for without a decentralized model?
> Given that we don't understand how and why we are conscious, it is a big leap based on pure speculation to assert that

> LLMs are not a path to AGI

O:)
My spouse or child are the my most likely executors. Maybe they keep the box, maybe they don't. If they keep it, it can just go back in the closet.

Nothing critical has to happen next month and every month thereafter. There's no financial tradeoff to be considered. No need to doom scroll at a computer.

And if there is something that speaks to them, they can hang it on the wall. If you don't print, you don't really care that much about the pictures anyway. There's nothing wrong with that, making pictures is fun.
Well, the way modern A.I works, It won't be able to "Do what it wants" mainly because after all it's a computer and computers do 100% what you tell them to, So unless you personally program it to "enjoy" the afterlife, It'll just stay still
Yes, our brains function similarly to how neural networks work, the difference is we evolve and have free will, meanwhile computers don't
The concern is real but you know what? The last company i was part of, had a TON wtf moments.

Like database unprotected on the internet (very short password too!), md5 for passwords, api key in the apps...
Show HN: File-over-App Directory
Hi all!

I’ve been into the “file-over-app” philosophy lately. The idea of using products through files you can control, in formats that are easy to read and retrieve.

I built this directory (https://fileoverapp.latitude.so/) to organize tools following the same principles. The cool thing is most of them are open-source and you can even filter by that.

Now I'm looking for more stuff. If you’re aware of similar software, you can contribute and submit a product.

I’d love to hear your recommendations!
Nvidia Shield is bloody great... though not Google still Android.
> Is there a decent marketplace for used Lithium packs yet?

I feel that BYD has taken steps to enable this. The replaceable battery and swap system they developed makes it orders of magnitude easier to get the battery pack out of the car.

Polestar in theory can have the battery pulled, but I believe it involves pulling cutting the car apart. This raises the cost making recycling less attractive.
Alternatively, we could just whip up a persuasive story to wash our hands clean, and then run a coordinated media blitz to train the public on it - problem solved. There is no shortage of examples available to learn from.
Supreme Commander Graphics Study (2015)
Best weekly event newsletter, calendar San Francisco Bay Area?
Aside from:

FuncheapSF

DoTheBay

The Nudge

Broke Ass Stuart

Eddie's List

Eventbrite
related: is there any second hand market for electric car ? knowing that the battery is a consumable ? I'm able to buy a very good used car for 5-10k€, I'm afraid I will never be able to afford an e-car without second hand market
It's a big strength of embeddings like BERT and later on that they embed not just the "word" but the word plus its context so if the same word is used in two different places with two different meanings the embedding for that token ought to be different.
NASA was showing some views of the shadow from the ISS as part of their coverage.

https://youtu.be/_mnL83o5tBY?si=3xnzJd6eqH2E_ulS
> The Transformer model is evaluated in a deterministic and reproducible way. Hence the result does not depend on the exact GPU or CPU model nor on the number of configured threads. This key point ensures that a compressed file can be decompressed using a different hardware or software configuration.

How is this possible? Does it use floating point and concurrency?

Cross-platform floating point determinism is seriously difficult. The Rapier physics engine could do it [0] at the expense of disabling simd and multithreading. It also works only on platforms that strictly comply to IEEE 754-2008 which I think that GPUs usually don't qualify (regarding subnormal numbers etc). Another thing that may have issues is fused multiply-add which may give higher precision than doing multiplication and addition separately (I think some platforms don't have FMA in hardware)

For example, it seems that TSAC currently runs on CPUs and nvidia GPUs. Could porting to AMD GPUs affect determinism?

[0] https://rapier.rs/docs/user_guides/rust/determinism/
I don't get it. Beck was quite explicit when coining the term "unit tests" that the unit refers to the set of functionality found at the integration point – which seems to be what you refer to as "integration tests", and what everyone else these days call "tests". It's all the same.

If changes to "local functions" calls for tests to be rewritten, that means you've exposed "local functionality", even if by accident, to the outside user. Which means it is not actually local functionality, but something you have exported and are committed to maintaining. Rewriting the tests is not the correct course of action. You need to fix the code that you just broke as the functional contract was violated. With any luck that hard lesson will teach you to be more careful next time.
Fascinating info, and great visualization!

An interesting discontinuity that jumps out to me is that AR dropped 54%, but neighboring LA and MS dropped 0%. AR was in totality, but LA and MS were close.

Part of it is probably related to the distribution of population vs the path of totality. Similarly, VT dropped more than double what neighbor NY did, but VT's population is mostly in Burlington (totality) whereas NY's is in NYC (not totality and not so mobile).

But 54% to 0% seems too dramatic a difference for that to be the full explanation. Any insights? Maybe just inadequate data to calculate?
When I signed up for ad companies they initially showed normal, ad-looking ads. Somewhere down the line it became "Click here" red buttons that used transparent backgrounds so it looked like a button on my site.

It could be the case that the website doesn't know their ad company is allowing these ads.
Quick question, is this just pure C code that can be loaded into an Nvidia gpu and run (via the python code)? I scanned the C and didn't see anything CUDA related (maybe I missed something, I'm not a GPU programmer!). K mentions something about a direct CUDA implementation coming soon, how would that be different than what this is?
Timestamps and other types of in-band network telemetry are sometimes inserted in the frame as a trailer (with a new FCS). If an application isn't looking for the L2 data, it's just ignored by the Linux IP stack.
I am aware of the list, but all these apps are very basic. I was looking for something a but more involved
I don't use Stow, but in learning what it was I did see that they did a release two days ago that sounds like it may have fixed your issue:

https://lists.gnu.org/archive/html/info-stow/2024-04/msg0000...
A Swiss citizen is only entitled to complain at ECHR about the effects of its government. So only about whatever consequences of the Swiss pollution can be traced to the actions of the Swiss government. As other commenters already pointed out, the problem is less about air quality in Switzerland and more about the dirty trade happening in Switzerland. Unfortunately the case is rather about the first point so there's not very much to expect from it.
A Balloon Pilot's Perspective on Microscale Meteorology
There are quite a few Teslas available in my area that are a couple years old; presumably, 2-3 year leases ending. Their batteries are likely to be in pretty good condition, and if you buy them from Tesla there's a warranty.
Works for me in Germany
Yes, the industry is recycling their batteries at a fairly high rate.

Most of the recycling is post-industrial. After a battery is made, it's tested, and if it fails testing, it is recycled.

There hasn't been a large amount of post-consumer car battery recycling because there aren't many 20 year old car batteries out there. The reuse market for old batteries is higher than expected, and people reusing batteries pay more than recyclers. But the post-industrial plants are humming along, and will expand to accept post-consumer batteries once the supply arrives.

Everybody brings up the plastic-recycling bugbear. There are a bunch of reasons why plastic recycling is hard, most of which don't apply to batteries.

A better example is lead-acid battery recycling. The US has a >99% lead acid battery recycling rate. Lithium batteries are much larger and have a much higher content of valuable materials, so will be much more fruitful to recycle than lead acid batteries.

The main materials recovered out of batteries are nickel, copper and manganese, which are quite valuable. Lithium is secondary -- lithium batteries don't actually contain a lot of lithium, and lithium is cheap and common. New plants are set up to recover lithium because the price of lithium has increased, but old plants don't.
> Get my Master's?

No, not worth it. A bachelor's in comp sci can be a handy credential. But anything past that has diminishing returns.
My city requires these $2 stickers per can of garbage. On the surface some people complain, but it’s a way to encourage people to produce less.

I have no idea what the per-bag fee should be, but it seems like a great way to get people thinking about what they actually need to bring and not socializing the cost of those who decide to bring a lot.
While the right to life is a human right, safety from all harm isn't
It was me that was doing that comparison, agree it is not a perfect one because of many reasons, one is that communism is a political system that has an economic system (typically planned economy) and capitalism is an economic system only. Thus you can run a brutal dictatorship, like the communistic China, or benevolent democracy with capitalism.

And this is what I don't agree with the reasoning in this thread, it is a comparison of apples with oranges. Many proponents of capitalism does this error, they assume that capitalism gives political rights somehow, and they typically talk about things like freedom and such. But all of those political freedoms stem from somewhere.

And an continuation on that argument is that private companies a free to do what they want, when in reality private stock companies (in the West at least) has a separate legal entity and reduced liability as a guarantee from the state. Is that true capitalism?

Why I made the comparison between capitalism and communism is that both proponents of those systems usually reply "That is not real communism/capitalism!" about any flaw in these systems (which of course happened in this thread as well). But if every flaw is always theorized away, does it then only exist in theory?

If we look specifically at China for instance we can notice other things that has helped it, one is that greedy capitalist from the West moved industries there, China is also doing industrial espionage on Western companies, China as also aggressively spikes its currency, and it balloons it's GDP numbers by building ghost cities.
You can do covered at grade (e.g. Sofia Metro has a few km section like this - covered to protect against the cold weather in the winter, but at grade to save costs).
Now I understand why the start and ends of eclipse tracks are flat... because of night time...

Obvious now that I've seen it.
That 5000 euro car is going to need a lot more maintenance than a used electric car
> What a nightmare! Now your application code spills into your database and our initial goal of simplifying application development is nothing but a long-forgotten dream. All of that for what? To save a few milliseconds to display a web page.

I think "a few milliseconds" vastly understates this: if you want to run your application closer to users, even just across the US, each query is (at least) 70ms just to get over the network and back again.

"Application code spills into your database" was a bad thing when you wrote one language (say, Java, or PHP) and another language (PSQL/TSQL/etc) for your "stored procedures", but that's not what most modern databases are advocating for.

Instead, and not unlike something like React Server Components (RSC), you can choose whether to run code close to the user or closer to the DB (for transactions) in the same language as your application, because it's still part of your application code. This is the model that Durable Objects[1], our coordinated storage service, uses.

Disclaimer: I work on D1 & Durable Objects at Cloudflare, so I'm likely to be called biased here, but it's not like we haven't a) thought about this deeply and b) actually use D1 and Durable Objects to build distributed systems at Cloudflare.

[1]: https://blog.cloudflare.com/durable-objects-easy-fast-correc...
Even in this example, I don’t think that the middle of lions, tigers, and bears would be further away from lions than tigers.

But it might also help to understand that most often your embedding smaller chunks of data, specifically for the reason of specificity. A lot of embedding models have a hard limit of 512 tokens or so.

Embedding text that is incredibly short, or much longer than that, tends to decrease the quality precisely because of what you’re talking about. Although I don’t think to the extent you’re imagining
I really don't feel this. Arc was rough to start with, but the constant news has been consistent and steady improvements in driver reliability and performance. I don't feel like the brand is tainted, people who are very invested will be following the news and knowing the state of things is improving, people who aren't will look up reviews when they go to buy and if the product is good, they won't care about the history.

Especially given the current GPU market which is very lacking in competition, I don't see Intel being unable to sell GPUs if they can deliver.

It isn't like the Radeon brand has a stellar history of software reliability either, but AMD have managed to mostly turn that around more recently.
I got a couple error pages, but it came back.
It’s not, if you look at his X account, he talks about his work adding on the CUDA parts
Running a DNS server lets them know what site you're going to, just like everyone who sees the secured request also knows, right? Otherwise there'd be no way for the request to end up at the right location. I suppose they might have an advantage with an encrypted DNS, but I don't think it's much of a MITM if you're sending your request to them to find out where to go.
Here is a previous eclipse I strung together a few years ago from Himawari-8, a JAXA satellite: https://earth.apawl.com/eclipse/earthimagesequence/1280-h264...
Interesting. I kinda feel that the paint mixing model here is very simplified. Not long ago there was a submission about paint mixing[1] that used a more complex model, where (among other things) you have to consider full spectral properties of the paints getting mixed.

Compressing colors down to a 2D chart that both informs you about color perception and mixing of paints and be 100% accurate is probably impossible, but I guess you can improve on the accuracy of the existing color wheel and be useful as an approximation.

Not sure about how exactly the chart informs about aesthetics and harmonizing colors, that part of dealing with colors just feels overly subjective to me. Apart from this, it's also a third aspect separate from both pure color perception and mixing of paints, so capturing it on the same chart is an additional challenge.

[1] https://news.ycombinator.com/item?id=39515478
I've always thought it was price discrimination, so the people who really want a cheap flight can put up with less bags instead of not flying at all
> There's certainly edge cases here which I assume will remain a gray area unless they're eventually worked out in court as part of some lawsuit.

Alternatively, I could just use Valkey and not worry about being sued.
FCC chair rejects call to impose Universal Service fees on broadband
Also see: https://github.com/simonw/datasette-lite
CLTC range is Chinese funny numbers and will underperform EPA mileage (which already overstate range particularly in cool weather)

Unrelated but I’ve taken a very hard stance personally on buying anything Chinese and have just accepted that it may mean being stuck with inferior technology. Not only are they dumping their high tech goods on the international markets, but I believe money sent over there will come back as bullets for my children or grandchildren.