skysight-inc/HackerNews huggingface dataset:
AI focused new BI products are a wash, your focus should be a new BI product with maybe an AI integration (Not the other way around), or an AI integration to an existing BI product. The BI tool Kanaries / PyGWalker is a good example of where python based BI tooling should be going, replacing big corp BI tools to get CDO/CIO's to go the direction of abandoning Tableau/PBI for lower infra and platfrom cost, open source tooling & integration.

I am not saying its a bad idea, but your net is wide, very wide, you are trying to conquer two separate area. Both areas need innovation in the data space, but I think the AI rush is dieing down. Claude and GPT offer good support for PowerBI and Tableau, but there are no extension integrations. This is where BI AI should be, AI's integrated into Tableau workbooks editing the core XML of the workbooks, offering translation tooling to convert Prep to Alteryx, Tableau to PBI...etc.

It's also hard sell if your core platform doesn't cover SSO, Encryption, DB integrations, Self Deployment, RBAC's, PenTest, Corps looks for these things immediately, and BI tools are purely a Corp thing not a Consumer thing.

That said its a cool idea and implementation.
I've been using LLMs the same way this past year. As a challenge to myself, I've implemented full-stack interview evaluations using languages and tools I've never worked with before and see what I can do. Using LLMs, it hasn't taken me more than 50% longer to craft a solution as compared to my crafting one using tools and technologies with which I'm intimately familiar.

Some of that extra time was a result of learning the craft of using LLMs in this manner. With each new technology stack, that excess amount of time decreased.

Now, let's be honest, you still have to have excellent development skills, and it helps immensely to have a good knowledge of software architecture and design. I say that to point out that non-developers could not achieve these results. In the right hands though, it can make you a lot more productive.
One thing that many mathematicians today don’t think about is how deeply intertwined the field has historically been with theology. This goes back to the Pythagoreans at least.

That survives in the culture of mathematics where we continue to see a high regard for truth, beauty, and goodness. Which, incidentally, are directly related to logic, aesthetics, and ethics.

The value of truth in a proof is most obvious.

The value of aesthetics is harder to explain, but there's no denying that it is in fact observably valued by mathematicians.

As for ethics, remember that human morality is a proper subset thereof. Ethics concerns itself with what is good. It may feel like a stretch, but it's perfectly reasonable to say that for two equally true proofs of the same thing, the one that is more beautiful is also more good. Also, obviously, given two equally beautiful proofs, if only one is true then it is also more good.
Podcast Addict has https://podcastaddict.com/premium and there it says that it's ad-supported in the free version. Seems like AdSense. When Podcast Addict requests an ad from AdSense, this happens: https://news.ycombinator.com/item?id=42651945.

I think my question still makes sense because from what I gather, the AdSense(?) SDK will get more info from the phone than just the IP address - make/model of the phone, unique IDs etc. But for now I happily did an OPML migration to AntennaPod - smooth sailing so far.
> More people living on one plot of land should reduce costs for the individuals living there

But it also reduces the value of existing homes and changes the environment in a negative way, which is why people that already own homes there dislike this idea.

It's easy for someone to say that someone else should be good with this for the greater good, but regulation and zoning is everywhere and most people actually want it that way.

The people that move in your 6-plexes will probably not like when they start stacking up 50 unit apartment buildings between their 6-plexes either.
Is this process supposed to be less environmentally damaging than sending a device to landfill?
Rubella Virus Infection and the Link to Autism
Are people using Aider alongside using Zed's Assistant? What are your workflows?
Many laptops have terrible power usage during sleep, so if you just close the laptop and throw it in your bag, you'll open it tomorow with 30% less battery
How to jailbreak most/all LLMs using Assistant Prefill
I'm not sure whether the result is more readable than a UUID. With a UUID you at least know that it can only be [0-9A-F]. Besides, who on earth _types_ API keys? You should copy/paste them and store them in a password manager. So they don't _need_ to be readable.
Of course, Arnaud Amalric said the same thing to rather different effect.
No, $10 a month is not expensive. However, the problem is the amount of products and services that in the past you could buy once or buy and if you wish to upgrade to the next version you had to pay again have become less and less and subscription services have skyrocketed.
I'm fairly convinced most successful "social" sites have bodies buried somewhere. The problem of launching a two-sided market is tough.

It was against my ethics but we sent a round of unsolicited emails to about 10,000 people in Brazil to launch a voice chat service circa 2001. It must have been a really good list (and a different time and place) because we had close to a 40% response rate. (Later we got a list that was so bad some of the emails didn't have '@' signs in them!)

There's that famous story of how reddit was initially populated with fake users too.

---

I've never been able to enjoy that Viktor Frankl book, Man's Search for Meaning ,since I read an essay that pointed out how pernicious it was that postmodern people like to fantasize that everyday life is like a concentration camp -- paradoxically that fantasy undermines Frankl's own thesis

I recently read an account of a 14 year old girl (a demo that is vulnerable to Franklism, I had one in an acting class I was in) who said she thought about the Holocaust (survived by some ancestors she'd never met) every day and experienced it as a trauma. If that's what it means to "remember the Holocaust" we might be better to forget. We hear the refrain that "it must never happen again" but it happens over and over again routinely

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

and if that memory makes us think it is a memory and not an ongoing crime, it is part of the problem and not part of the solution. You can take your own experiences of your group being persecuted and apply that to justice universally (Andrew Goodman and Michael Schwerner gave their lives together with African-American James Chaney in 1964 to fight racism in the U.S. South) or you can use it as an excuse to commit similar crimes (kill and displace civilians) against other people. It's your choice.
It doesn't work for every app. Not sure if it's opt-in or opt-out.
Norway is famous for the Vikings, who were bringing global culture back home a thousand years ago.
If we're going to go the programmer goalpost: I charge a lot less to give a brief diagnosis on a code base than to go in and fix it. I'm not trying to be some cold moneu-grubber, I want to help solve problems.

I imagine consulting a lawyer is also a lot cheaper than preparing a case to sue for.
But good old fashioned bribery, coercion, influence peddling and corruption are still alive and well.
Give it up
RFA: Connecting and Scaling Food Entrepreneurs Business Builder
yeah I mean, isn't all of this true for ANY abstraction? Once you're off the beaten path, they're all hard to debug and optimize, they introduce extra complexity, etc. BECAUSE they are attempting to abstract away certain details

This is true for an HTTP library as much as it is an ORM.
Since it requires runtime checking anyway, that code has to live somewhere. The decoders are that code. I don't understand how changing the runtime representation would allow to not have those decoders. Unless you mean they should be implicitly generated by the compiler. Or maybe I'm just missing what you're saying.
Don't be afraid to ask. They know, you know, everyone knows what a release is supposed to be in theory but only _they_ know how _they_ do it.
I’ve tried using iTerm2’s automatic profile switching feature to adjust the theme depending on the connection, but I’ve never been able to get it to work reliably.
Nintendo Switch 2 mockup revealed at CES is "unofficial and not provided by us"
Yeah but it doesn't work to on the one hand campaign for not taking rideshare jobs away from people on an online forum, and on the other say "that's the society we live in now". If you're going to be defeatist, just accept those jobs might go away. If not, campaign for wealth redistribution and social safety nets.
There was a post yesterday of a quanta article: https://news.ycombinator.com/item?id=42644896.

The article explains that two mathematicians were able to place Apery's proof that ζ(3) is irrational into a much wider (and hence more powerful) framework. I doubt that framework is as easy to understand as the original proof. But in the end something with wider applicability did come out of the proof.
Because the battery is absolutely knackered
come on, it's 2025, we need 240hz (to play Tetris with 30FPS).
I don't think even Kurt realized how dumb people in 2025 would be.

We elected Donald Trump and Elon Musk to rule America and the world!

Hold on tight people, 2025 is going to be wild.

All those people with shelters might be on to something.
Larger in terms of acres but what about damage? When was a town wiped off the map by fire and there was no news coverage?
do you have a source for this? not arguing, just would like to read more
>I think it's projecting anger from spec attorneys taking 40% of personal injury judgments, or class action attorneys making $50 million in fees when the people affected get checks for $8.72, but neither of those apply here particularly when you're paying an attorney $75 to send a demand letter template on their letterhead.

Yes, that's the issue. He's poisoning the well. They get paid, but they aren't on the clock for $500/hr the moment you step in their firm.
Yes! Molly guard is genius!
Unfortunately I couldn't get it to work on nixos which is not FHS-complient!
Yes all software will have security issues, but Chromium is much harder target to exploit than Firefox.
Not really sure what you are saying here, it seems like you are a bit confused.

You were talking about phone numbers being used to access online services, and now you are posting links about the Indian governments Personal Identification number which is more akin to a National Insurance number in the UK or social security number in the US

> Do you think those folks in Asia and Africa sharing mobile devices have email accounts they can use instead?

Yes definitely. Huge numbers of people in these developing nmations share a single mobile device per family or household, yet they all have individual facebook and google accounts to communicate with the world. That is defintiely all controlled via email address, unless I have missed a feature of FAANG companies where you can sign up for accounts with a mobile phone number?
I don’t think many people considered Mac a “home computer” back then given its price tag.
If you went the keto route, you may want to explore BACH1 inhibition. Study [3] acknowledges the effective role of keto in reducing or controlling tumor size, but with an associated increase in BACH1 expression appearing to account for the increased metastasis (in mice).

Apparently there are a couple small molecule inhibitors that inhibit BACH1 (see ChatGPT). Unfortunately, they seem to be still in the experimental or early clinical stages.
Ask HN: What do you use as your "main" source of file storage?
My main laptop has always been the primary source (with backups) but I'm wondering how many HN readers use a NAS or something else as the "main" source of truth for their file system and storage.
In 1996, times were tough after sudden and dramatic burst of the great Japanese real estate bubble. Multi-year recessions, mass layoffs, people turning to sketchy hustles to make side income.

Kind of mirrors what's going on in many countries.
Depends on the contract. If you're hourly, no. If you're on a time constraint yes. You need a new contract. It's a whole spectrum.
How about https://pubmed.ncbi.nlm.nih.gov/30931761/ ?
?

Everything I read about the show indicates that it was directly a Netflix production that didn’t exist until the writer brought the script to Netflix’s office in Seoul. Do you have information that says otherwise?
I like "TIL"s for quick references. HashRocket's TIL page[1], for example, often comes up in my searches. I don't know if it counts as a TIL in the way OP means...

1. https://til.hashrocket.com/
Previous discussion (Jun 2024): https://news.ycombinator.com/item?id=40753989
We could really use some kind of "polymorphic table" that can represent a sum type in a convenient way.
I don’t get it. If you want a keto diet for the body you go fasting and when the glucose is used up you have your ketogenic diet. After the one week kickstarter fast you eat once a day and nothing once a week and you are ketogenic most of the time. And don’t eat anything that comes in a package or has a barcode.
There's not much relation to it. In Squid Game people play games and happen to kill each other in some of them, but not all the time, in order to make money because they are deep in debt. In Battle Royale, they just kill each other's, there is no real motive.
Sure. I think for the case of firefighting, where there is no punishment or consequences whatsoever, it is an easy call.
In coding fonts with ligatures, ligatures usually have the same width as all of the component characters combined. So if you type !=, you will see a character looking like ≠ that is two advances wide. You will even be able to select the middle of the character, hit backspace, and delete the (invisible) "!".

This is necessary because if all ligatures were one advance wide, you couldn't easily tell the difference between =, ==, and ===, or between != and !==.
Volunteers aren’t forced to work so no, they aren’t slaves.
> Media like Squid Game annoy me to no end because they perpetuate the idea that any severe debt someone might be in is always the fault of the individual, rather than circumstance

You didn't watch the show then? This simply isn't the case.
I used Koa a few years ago. It's good, but meh it’s not really the 'Next generation web framework for Node.js.' I still use Express and sometimes Fastify these days.
>I see your point, but from the perspective of the Android phone, this is already a backup. This is because if I lose the phone, I can restore the important parts of its state from the copy on the server - which is the definition of a backup, according to Wikipedia for example.

I am not familiar enough with nextcloud but what happens if - excluding your home server setup - you modify a picture on your smartphone and overwrite it? I guess it is synchronized to the nextcloud server in modified form and replace the original file, right[1]? If so what if you were to realize you screwed up and should not have overwritten it? Hence the reason I am saying it is not exactly a backup.

[1] that would be the behavior I expect of a syncing mechanism, I use syncthing-fork myself for that.
Public transit has a fundamentally local impact. It takes away some jobs but also provides a lot of jobs for a wide variety of skills and skill levels. It simultaneously provides an enormous number of benefits to nearby populations, including increased safety and reduced traffic.

Self-driving cars will be disruptive globally. So far they primarily drive employment in a small set of the technology industry. Yes, there are manufacturing jobs involved but those are overwhelmingly going to be jobs that were already building human-operated vehicles. Self-driving cars will save many lives. But not as many as public transit does (proportionally per user) And it is blindingly obvious they will make traffic worse.
YJIT 3.4: Even Faster and More Memory-Efficient
I’d go for robotics. The whole agent thing while not entirely without merit seems quite heavy on hype without necessarily add that much more over the underlying LLM magic.
Creation of a new Ecma Committee: TC55 "Web-interoperable server runtimes"
I feel like the four-color theorem automated proof is much more 'human-readable' than the proofs done with automated theorem provers. Because with the four-color theorem, there is a human readable proof that says "if this finite set of cases are all colorable, then all planar graphs are colorable". And then there is some rather concrete code that generates all the finite cases, and finds a coloring for them. Every step in there makes sense, and is fully understandable. The fact that the exhaustive checking wasn't done by hand doesn't mean its hard to understand how the proof works, or what is 'actually going on'.

For a general theorem prover, reading the code doesn't explain anything insightful about why the theorem is true. For the 4 color theorem, the code that proved it actually gives insight in how the proof works.
Show HN: CSG-rs – easy mesh-based constructive solid geometry in Rust
I ported CSG.js to Rust as part of an ongoing project to bring 3D printing and CNC tools into the language.
My point was about the sentence from the original post - its not the consequence of sound type system, its the consequence of choice of runtime representation. If runtime checking matters (which it does in practice), then we don't get any advantage in terms of simplicity by using "unsound" system, because we need to write that code anyway.
Just fyi, this is no longer the case on Threads based on this statement from yesterday:

https://www.threads.net/@mosseri/post/DEk65TJTXcQ?xmt=AQGzmI...
not really. webgl hardware parameters, canvas fingerprints, audio device fingerprints, javascript engine are pretty crazy. In addition if you use your device at all you probably have other fingerprints like custom fonts installed by you or apps, extensions & similar. Not to mention IP and session data like you being logged in in different services that any website can check.

Try visiting something like https://abrahamjuliot.github.io/creepjs/ [1] on "identical" incognito mobile devices or desktops and you'll get completely different fingerprint ids

[1] this isn't even the best fingerprint extraction out there, just an eas to use open source one, there are some crazy advanced techniques not implemented in it
Experiments with Byte Matrix Multiplication
At least for Korea, both exist. Tuition debt is almost a non-factor though. Medical debt can be, but of course nothing like the US

On the contrary, debts from failed businesses (as used in the series) are incredibly common here - probably the most common kind of debt that makes people spiral out of society. Korea has a very high percentage of people who try at some point to start some kind of small business, much higher than the US or Western Europe. Of course this can easily go wrong.

So yes, the debts used in the series are apt for Korea.
Kaiji and Squid Games could be happening last week, in some warehouse complex, or a missile silo, and we'd never know. The contestants choose to be there, even if the choice isn't exactly free. Meanwhile the point of Battle Royale and Hunger Games is to have the entire world watching. Pure amusement for the rich vs political propaganda trying to remind the masses how little they are worth. A Battle Royale participant is semi-worthless, because every teenager, possibly every person, is seen as worthless. In Kaiji they are setting up situations to show how stupid and immoral the dregs of society are.
This says it's inspired by molly-guard (which I love and install everywhere and has saved my bacon countless times) but I don't see what's different about it? Molly-guard is a single `apt install` away with no further config needed.

Also, the problem with a Y/N question is that when you are bored and/or in a hurry, you only skim the question and muscle memory takes over, and you hit Y and then you realise a few seconds later that you rebooted the wrong machine. This is why molly-guard makes you enter the hostname of the host you want to shut down.
That was more a response to the "next generation" verbiage used, when it's more of a venerable or established library, so not relevant in the term of hot new thing. Usually when posting a next gen web framework the expectation is that it brings something new, for Koa that was improvements over express, and I feel like that's not next generation anymore, since we've had many changes to the JS ecosystem since then, new runtimes like Bun and Deno, the rise of typescript, promises everywhere, hybrid server/client frameworks, etc.
Alice in Borderland is based on a manga (Japanese). Korean “comics” are called manhwa.
LOL, bullshit. If you really think you have something, email it to me.
Hotwire Native for Rails Developers book, in beta
Can you share a good reference to peirce's work on existential graphs ? also, can you share references to how Peano relates to Peirce's work.

I loved Peirce's essays, but have not tried to read his work on logic or semiotics.
Interesting, that's the equivalent of me unilaterally calling New York "Nouvelle Amsterdam" then. But it was simply to tickle Geneva's people.
>Ya know, like leaders worth following.

I hear ya and all, but what does anyone expect from TikTok?

It's not a product worth building, why would it have leaders worth following? You go there to get in, make some money, and get out.
From what I have heard when talking to the people behind formal analysis of protocol security, the main problem currently with using LLMs to 'interact with the theorem prover for you' is that there is nowhere near enough proofs out there for the LLMs to learn how to generalize from them.
I guess it depends on what kind of data is in question. Wherever it is, my data quickly makes it to my basement server (built from old desktop parts), which is then backed up.
When you work at a bank and have multiple production boxes, this is pretty typical
One reminds me of "global trade winds." Not sure if that's a good or bad thing, but that's how it reads. It also feels very generic and unmemorable to me. Even though I have a lot of experience in product and company naming, I don't know the international trade industry, so there's that. Can you give more context, like who your target market is or which part of the industry you focus on?

Two, as @not_your_vase mentioned, sounds like JohnSmith2. Also, "X," imho, will be the "gimmick" name trend of the 2020s, which will possibly look very lame and outdated in the near-ish future (if not now). Do you use Exim specially somehow? Why the reference? Will your market appreciate that reference?

I've been kicking around the name "Orbital Edge" this week for fun. There is an Orbit's Edge in some other industry, but I think that domain is available. Other random ideas (because that's what I do), and which may pair well with a memorable logo: Vertical Bridge, Meridian's Gate, Obsidian Sail, Ocean Divide.

Obviously I'm in a double-word mood. Your mileage may vary.
Illusionism is also intended to manipulate, but it is very explicit about it. "This is a trick", and we humans enjoy the trick very much. Not inherently evil. The same techniques can be evil, and we humans do not enjoy when that's the case.

I want some of the stuff from advertisement. I want healthy competition between producers, I want information, and I don't mind innocent tricks.
Thanks for the wonderful explanation brother!
>the other wonders whether you're trying to get attention for a job (this is how the end of your LinkedIn post makes it sound).

Good, this market is brutal and I don't think it'll get much better in June. Gotta do whatever you can to stand out as a junior.

>How can you graduate in a few months already?

Various factors. Assossiates degree. Hyper accelerated program between AP classes, certain CC programs in high school, and high college workload. Simply grammatical errors on dates.