skysight-inc/HackerNews huggingface dataset:
Shit, how do I protect myself from evolving AI-based scams? I'm middle-aged and not in the IT industry anymore, and scams like the Booking.com (I think it was?) one where the scammers were able to send valid emails almost got me already.
Here is perhaps a better way of looking at it.

Imagine that all the big corporations are owned by Chinese entities.

Does Congress still think it is a good idea to treat personal data as raw materials?
We are forced to relax one of the four named properties that we desire for the measure function. (And, well, Banach-Tarski rules out one of those options.) So we relax the requirement that mu be defined on all inputs.

But I wonder, isn't there an implicit 5th property that could be relaxed? That's the property that the codomain of mu is the reals. Is it viable to use, say, the hyperreals instead, or some other exotic extension that would allow us to name the (nonzero and nonreal!) number mu(V) such that a countable sum of mu(V) comes out to 1?
It's open source, why not give it a try to overcome the skepticism.

To clarify, it doesn't magically generate Terraform, it uses concrete Terraform modules that you define and maintain and maps them to resource declarations that are made in the application code using CDKTF.
Copyright doesn't cover facts
Datadog Announces On-Call Product
There’s a nice writeup on group hashes here: https://cronokirby.com/posts/2021/07/on_multi_set_hashing/

In particular, if you choose a group where discrete log is hard (such as prime order elliptic curves), multiset hashing falls out for free
I've edited the title to add more information on macOS. With this release we now implement Podman 5.1.0 which includes a MASSIVE speedup for AMD64 builds / running containers as well as improvements to the podman networking stack.
I don't believe that's true, they have pkl in other languages, too, and I double checked it doesn't require the jre https://news.ycombinator.com/item?id=40146077 (tl;dr = https://github.com/apple/pkl-go/blob/v0.6.0/.circleci/config... which shows both pkl-go as well as how they, themselves, use a single-binary in a circleci setup)

I haven't tried to integrate pkl-go into something like glasskube so I am open to that part being painful because software gonna software, but I believe the general statement of pkl being Java-only is incorrect
1. Telling people about their shortcomings will result in them retaliating, instead of improving or explaining why this isn't possible. So you just secretly hate them for being stupid instead of creating dialogue

2. The HR officially encourages people to escalate all and any issues, instead of having people deal with things between themselves. This makes me distrustful because people can be smiling towards me while gathering evidence about my mistakes to make a complaint

3. All conflicts are resolved according to "who is technically right" instead of "who is a better human". Think of all the people who got a promotion by throwing their coworker under a bus because technically speaking they didn't break any rules. This is selective breeding of shitty people

4. Negative behaviors are heavily punished, while positive behaviors are not rewarded. Nobody cares that you helped out many people in need, if you said something mean because you were having a bad day or you simply misread the situation, you're out

5. Companies discourage employees from discussing difficult topics that could potentially bridge gaps between people

6. We collectively accept "at work pretend to be whoever your employer wants you to be" as a normal thing
Jira Daily – AI generate Jira status reports
Just wanted to share a little hobby app I built on the side called Jira Daily. Jira is pretty popular as a project management tool in many tech companies and trying to figure out what has happened the day before can take some wading to do.

Jira Daily syncs with your Jira account, and generates a report of what happened the day before with OpenAI. It generates a readable report and then posts it to your slack channels for your team members to see and keep in sync of what's going on in your projects.
Thats nice :) Hopefully someone with less or more experience will.
Dataset Providers Alliance
"The DPA brings together a diverse range of AI data licensing providers and intellectual property owners, including those specializing in music, voice, text, video, and images. By establishing a unified voice for dataset providers, the alliance advocates for the interests of rights holders and works to create a sustainable and equitable ecosystem for the licensing of intellectual property content in the AI and ML industries."
> R2R is a lightweight repository that you can install locally with `pip install r2r`, or run with Docker

Lightweight is good, and running it without having to deal with Docker is excellent.

But your quickstart guide is still huge! It feels very much not "quick". How do you:

* Install via Python

* Throw a folder of documents at it

* Have it set there providing a REST API to get results?

Eg suppose I have an AI service already, so I throw up a private Railway instance of this as a Python app. There's a DB somewhere. As simple as possible. I can mimic it at home just running a local Python server. How do I do that? _That's_ the real quickstart.
If you are on macOS, give OrbStack a shot. It works surprisingly well and fast.
Blood donations might be a better example to use as a basis for reasoning about the horrid information commerce we've given existence to.
All the pipelines are async, so for ingestion we have typically seen that R2R can saturate the vector db or embedding provider. We don't yet have backpressure so it is up to the client to rate limit.

Ingestion is pretty straightforward, you can call R2R directly or use the client-server interface to pass the html files in directly to the ingest_files endpoint (https://r2r-docs.sciphi.ai/api-reference/endpoint/ingest_fil...).

The data parsers are all fairly simple and easy to customize. Right now we use bs4 for handling HTML but have been considering other approaches.

What specific features around ingestion have you found lacking?
Books I have and recommend:

Introduction to the theory of computation - Michael Sipser

Computational complexity - Arora, Barak

Computational Complexity - Christos H. Papadimitriou

Computers and intractability - Michael R. Garey, David S. Johnson
Original report:

https://www.ghsa.org/resources/Pedestrians24

Non-paywalled article:

https://usa.streetsblog.org/2024/06/26/pedestrian-deaths-dro...

> Yes, fewer pedestrians died on America's roads last year than in 2022. But was it because we saved their lives, or because fewer people dared to walk, or both?
Fake Tesla YouTube live with crypto doubling scam all over YouTube
161,664 people are watching right now on this one fake channel, and the stream is showing a deepfake Musk announcing a doubling of any Bitcoin or Ethereum you send him, with a QR Code.

https://www.youtube.com/watch?v=ygUltE1bctM
> Developers can indeed request Gitcode to remove their projects, but this requires developers to authorize Gitcode using their Github accounts to verify their identity.

https://www.landiannews.com/archives/104677.html

Some users have reported that despite authorizing through GitHub, they are still unable to claim their namespace.
I liked Multipass until I ran into storage corruption issues like many others [1][2] and broke all my VMs. On MacOS, Multipass uses qemu in which the apple-hvf support isn't getting much updates after 2021 [3].

[1]: https://github.com/canonical/multipass/issues/3455
[2]: https://github.com/canonical/multipass/issues/3235
[3]: https://github.com/qemu/qemu/commits/master/accel/hvf
Also relevant: the paradox doesn't apply in point-free topology, because it allows for "locales" that doesn't contain any points but still have nonzero measure. So rather than giving up axiom of choice, we may instead accept that "a set of points" doesn't quite correspond to the intuitive notion of a shape.
this is very neat, I love this kind of experiments!
could I ask you what's your hardware configuration for handling so many WebSocket connections? I'm just curious to know what's the maximum capacity of WS connections you can reach now that you posted on HN :)
It's a little less specific than that. While the ruling officially only addresses standing and doesn't decide merit, there are several footnotes that basically go "the underlying theory of government action here is just wrong."

And they're ultimately saying that the plaintiffs don't have standing because they couldn't trace their bans to government action... which is pretty close to a merits finding, as the lack of a government role is pretty dispositive as to whether or not that role was impermissible.
Besides, you missed my point, isn't it deceitful to be allowed to advertise an online masters as a regular one? Doesn't that do disservice to those who went ahead and got a regular one?

I myself don't have a masters from NYU.
Ask HN: Complexity Theory for SSMs
Hi HN!

TLDR: How important are complexity-based arguments for limitations of SSMs in the real world?

With all the discussion right now on Mamba vs transformers, I am reminded of the Big Bird paper from late 2020 (https://arxiv.org/pdf/2007.14062). Big Bird introduces a nice sparse attention implementation, and goes on to provide a strong example of its limitations. Specifically, it leverages the Orthogonal Vector Conjecture to show there are tasks a full transformer can do in a single layer that a sparse transformer cannot solve with a fixed number of layers.

I think a lot of the critiques of Mamba fall into the same category, specifically there are tasks that cannot be solved by a model that runs in linear time with sequence length. You can frame it as, there are some tasks for which to know what parts of the start of the sequence are important to remember you need to know the end of the sequence, or as, a model with a fixed memory bank will for some length not be able to store all information, but I think it all boils down to complexity theory.

The question I have is, do we care? There are also tasks that a transformer cannot solve in a fixed number of layers by the same logic, trivially including any NP-hard problem, but we don't necessarily see that as meaning we should not rely on transformers.
I would love to see this used in a FIPS-compliant variant of age[1] for archival file encryption use cases. We had banking industry auditors veto age for this use case due to the use of ChaCha instead of AES (they were fine with the X25519 public key part of age which I think was somewhat recently approved by NIST).

I’ve no experience with golang but it seems like it should drop right in based on the age spec. I might give it a shot if time ever permits. I guess I should call it “cage” as in “compliant actually good encryption”

1: https://github.com/FiloSottile/age
I don't think Deleuze and Guattari actually talk about it directly, but barbed wire seems like a perfect example of a technology that turns smooth space into striated space. Basically smooth spaces are vast and open, like the sea or the great plains, whereas striated spaces are ones organized, put under a grid, etc.

https://www.christianhubert.com/writing/smoothstriated
https://imgur.com/a/M3mE9CJ

To be as clear as possible, this is an obvious scam.
As cool and fun as this is, the OP is honestly one of my favorite developers. The app “Feeeed” on iOS is such a game-changer of an RSS reader, and any feedback I’ve had in the past, he’s responded promptly and respectfully. Glad to see this trending on HN.
Is "engine" appropriate to use here? It seems to just be the combustion chamber, similar to the article last week about the rocket test in India. It's cool research, but I don't know that the engine process matters much when you compare this to what SpaceX is doing with their engines and reducing the complexity of the moving parts, not just the static ones.
You very well could be right. On a "systemic" sense, in order to devote effort to these whimsical things, you needed stability "everywhere else" ...
Things you didn't know about GNU readline (2019)
If one doesn’t accept the Axiom of Choice but uses instead Dependent Choice the paradox no longer holds. Is it the case in this situation that the 4 desirable properties hold?
It is sinister. The internet is just not a good resource for reliable information. There are some databases that are good resources, but they are not on the public internet. The few good public databases like Archive.org are being litigated into oblivion. The powerful people in the US have decided that they want the internet to be like the old network news.

For a brief moment in time, the internet was pretty good. Not anymore. It is a place to go to be censored, monitored, exploited, and to receive your maintenance level of corpo-gov propaganda. The "social" features are just there to create illusions of real activity and for various "let 1000 flowers bloom" type propaganda operations in which lonely people are baited into stating extreme positions before they become victims of a 1984 five minute hate session.
But it's more about compilers and their design than typical ideas about computational complexity.
US Mac market share grew 22% in Q1, likely helped by new MacBook Air models
This is correct, which is why intervals don't choose an interpretation of the region of uncertainty.

If you do have reason to interpret the uncertainty as normally distributed, you can use that interpretation to narrow operations on two intervals based on your acceptable probability of being wrong.

But if the interval might represent, for example, an unknown but systematic bias, then this would be a mistake. You'd want to use other methods to determine that bias if you can, and correct for it.
+1. Love OrbStack. It’s embarrassing how bad docker is by comparison.

If your company is paying for docker desktop, stop right now and switch to OrbStack.
Would love to have an AI character on my desktop that would flip me shit for having clutter and ask if they can ‘clean up around here’ and carry files into folders
I don’t use Visual Studio :)

But I guess by the time it installs Rails finally completes serving the first request.
Would you say that about imaginary numbers too?
Self-diagnosing is just part of the current fad of credentialism in discussing the psyche. Nobody can exhibit a pile of adjectives. They need to be attached to a proper noun from a book to be acknowledged. If there isn't a proper noun attached, the individual's external nonconformity or internal dissatisfaction are just a personal failing for not having fixed themselves already.

And ironically it makes society worse at supporting everyone, even those for whom the proper noun is appropriate.
The Buttafuoco bit from the second episode. And the episode where Phil is stalked. And the malt liquor bit. And the bit after the jumper with him and Dave Folly lying on the floor.
We all know that outlawing something only gives that thing to outlaws: https://www.acamstoday.org/organ-trafficking-the-unseen-form...
Interestingly enough, there is an internal market for blood products - NHS Blood and Transplant sells blood products to NHS hospitals. The current contract price for a unit of standard red cells is £158.18.

https://nhsbtdbe.blob.core.windows.net/umbraco-assets-corp/2...
Most of my issues with their software are on the Mac. For things they really care about, they can pull finger and make them good. Quite why they can’t find the resources to fix up more of their software is a bit mystifying.
> I hate it that simplistic naratives have won in public discourse, and we're stuck with overuse of analogies.

At least they have a "simplistic narrative". You just vaguely gesture towards what you think should happen without any reasoning or argument to support your point.

> Data is not like anything.

Every model is wrong, some are useful.
How is your data used against you?
Show HN: Find AI – Perplexity Meets LinkedIn
As a founder, finding early customers is always a challenge. I'd come up with specific guesses for people to talk to - such "VCs that used to be startup founders" or "Former lawyers who are now CTOs." Running those types of searches typically involves opening dozens of LinkedIn profiles in tabs, and looking at them one-by-one. And, it turns out that going through LinkedIn profiles one-by-one is a daily job for many people.

I started building Find AI to make it easier to search for people. I initially started just having GPT review people's LinkedIn profiles and websites, but it cost thousands of dollars per search (!). The product we're launching today can now run the same searches in seconds for pennies.

Find AI is Perplexity-style search over LinkedIn-type data. Ask vague questions, and the AI will go find and analyze people to get you matches.

The results are really impressive - here are some questions I've used:

- Find potential future founders by looking for tech company PMs who previously started a company

- Find potential chief science officers by looking for PhDs with industry experience who now work at a startup but have never founded a company before

- Find other founders who have a dog and might want my vet app product

The database currently consists of tech companies and people, but we're working to scale up to more people. The data is all first-party and retrieved from public sources.

Our first customers have been VCs, who are using Find AI to keep track of new AI companies. We just launched email alerts on searches, so you can get updates as new companies match your criteria.

Try it out and let me know what you think.
The market isn't rough, it never been easier to sell software. What's rough is the tech job market which isn't related to the users spending.
Except coffee is biologically degradable and functions as a fertilizer. These chips are just dispersing sand grain dust everywhere.
I don't know if it's by gross weight or calories, but the number I've heard is that feeding plants to animals is 10-20 less effective than just having people eat the plants. Or mostly eat the plants. So, in the case of Denmark, where 50% of the surface area is used to grow food for pigs, we could instead use 3-5% of the surface are to grow food for people and come out at something resembling the same amount of food, at least if we're just talking "food needed to survive". And given some of the other talk we see on this site, (or used to see a few years ago) about how indoor farming is an absolute necessity because we're running out of land due to rising populations, I think that seems quite significant.

BTW, I am not a full-time vegan nor interested in becoming one, but the average meat consumption in Denmark is as far as I know measure in the hundreds of grams per day. Maybe there's room for compromise?
Show HN: AI-Powered Client Acquisition for Web Designers
Hi HN community,

I’m Thijs, a 23-year-old master’s student in Data Science at Utrecht University. I’m excited to share Leadodo, my AI-powered tool designed to help web designers find new clients effortlessly. Leadodo started as my thesis project and has now evolved into a full-fledged startup.

What is Leadodo?
Leadodo leverages advanced AI technology to analyze over 10,000 websites, identifying businesses that need a website overhaul. Our AI evaluates each site's design, functionality, user experience, and overall online presence, providing web designers with a curated list of high-quality leads.

Key Features:
• 10,000 Websites Analyzed: Leadodo AI scans and evaluates thousands of websites across various industries.
• Detailed Reports: Each potential client comes with a comprehensive report highlighting specific areas for improvement.
• Personalized Emails: Tailored email templates for each identified lead, increasing the chances of a positive response.
• Proven Results: Test cases have shown an average acquisition of 7-12 new clients.

Why Leadodo?
Finding quality clients in the web design industry can be as challenging as creating stunning websites. Leadodo aims to change that by automating and optimizing the client acquisition process, allowing designers to focus on what they do best: designing amazing websites.

Why I Built This:
I’ve been in the web design industry since 2019, running my own small web design business. I found that finding clients was often more difficult and time-consuming than building the websites themselves. Combining my experience with my studies in Data Science, I developed Leadodo to solve this problem for web designers everywhere.

I’d love to hear your thoughts and answer any questions you might have!

Thanks for your time,
Thijs
The levy is on livestock, not merely cows. Apparently all mammals fart.

Where does it end (no pun intended)? Gerbil farts? At this rate they should levy a tax against Jarls and Emma for their sickly farting. Rise of a personal tax? Invest in Beano futures now!
That is almost certainly the etcd binaries on the vm chatting to itself. I would expect k3s should have lower CPU usage as they (by default) jettison etcd for an embedded db

Having said that, aside from the general WTF of something burning CPU, does in impact you in some way? Battery drain, sluggish apps, memory hog (I'd bet on that one), other?
I'll admit that I like Go channels because Hoare was the professor when I was doing my doctorate and so CSP was what I used in my thesis[1], but it's worth understanding what unbuffered channels give you: it's message passing with synchronization. They are very simple to reason about and make writing concurrent code a breeze.

[1] https://blog.jgc.org/2024/03/the-formal-development-of-secur...
Lol I missed the joke.
Oh yeah[1], it's a simple concept... a single directional optical link. Laser --> Photodiode.

You set up 2 servers on either side of it, and you mirror the data across the link, repeating the state of the buffer with forward error correction.

A typical use would be to allow remote monitoring an industrial control system, collecting logs, etc. The data diode assures data can egress, but control can never ingress.

[1] https://en.wikipedia.org/wiki/Unidirectional_network
Oh sure yeah. It'd take exactly one legislative push to place full liability in the case of accidents onto the vehicle manufacturer (where it clearly belongs) to fold up every autonomy division in the industry like a wet towel. What galls the shit out of me is there's apparently enough dumb money afoot to float R&D spend equivalent to the GDP of a middle of the road 3rd world country just to make cabbies lives even more miserable.
Oh wow, it's not even the real Tesla channel... How does it have so many subscribers?!?

This is one of the fake ones:

https://www.youtube.com/@tesla.elonstream/videos
https://archive.is/8Aw6g
This is excellent. I have been running a very similar stack for 2 years, and you got all the tricks of the trade. Pgvector, HyDe, Web Search + document search. Good dashboard with logs and analytics.

I am leaving my position, and I recommended this to basically replace me with a junior dev who can just hit the API endpoints.
IO Monads solve this by passing the world around.

Yeah, the best world for multiple users is a database right?

So it would seem that if apps have stores to buy things one of those things should be a store?

If you could buy a database place then you can dispense tickets. Share the tickets with friends as photos. Then your local - first app can store take the tickets to the places your friends shared with you. Some of them go offline, fine.

I don't like the experience of having to setup a dropbox externally from apps. Why should a database place not be a one-off purchase like an item in a game?