MurphyA/hacker-news huggingface dataset:
Show HN: FOHO – Safer rentals for foreigners in Korea with escrow and AI
by FOHO | 2025-06-28 06:57:17+00:00
We built [FOHO](https://foreignerhome.com), a housing platform that helps foreigners safely rent in Korea — without scams, translation issues, or ghosting landlords.

---

### Why we built it: When one of us moved to the US, he got ghosted after sending a deposit for a room. In Korea, it’s worse — most listings are in Korean, deposits are high, and many landlords don’t want foreign tenants. Foreigners are *3x more likely to face fraud* in rental markets (- StatKorea 2025).

We interviewed 122 foreign residents in Korea. Two had lost their deposit. From Reddit posts to real-world landlord calls, we found the same pattern: *language barriers, legal uncertainty, no post-move-in help*.

---

### What FOHO does: 1. *AI-matching* based on visa type, lifestyle, move-in dates, etc. 2. *Verified listings* and optional escrow rent protection. 3. *Auto-translated lease terms*, with cultural/legal context. 4. *Post-move-in care* (rent alerts, utility help, multilingual support). 5. *Landlord tools*: rent reminders, issue ticketing, higher yield without added hassle.

---

### Traction: - 1,500+ monthly users, 1,000+ listings - 50%+ organic traffic (up from 9% in Jan) - Partnerships with local institutions (e.g. Korea University) - Preparing expansion to Boston

---

### Tech stack: - Next.js + MongoDB - LangChain + Claude/GPT for translation & contract extraction - Multilingual chatbot built on RAG with custom glossary enforcement

---

We’re a team of builders who’ve failed 5 times before, this time shipping daily and talking to every user. Would love feedback on:

- Matching logic (should we ask for lifestyle tags or structured inputs?) - Escrow design (would you trust it?) - Expansion: where would this work next?

Thanks HN
by microtonal | 2025-06-28 07:00:01+00:00
Yeah, first thing to do on an Android phone is to use adb or something like the universal debloater to uninstall (besides the Facebook app) crap like: com.facebook.system, com.facebook.appmanager, and com.facebook.services.

Description of the latter from the uad list:

Facebook Services is a tool that lets you manage different Facebook services automatically using your Android device. In particular, the tool focuses on searching for nearby shops and establishments based on your interests.

Why is this even always running on a pristine Samsung, etc. phone? Creepy.
by barrkel | 2025-06-28 07:00:31+00:00
I understand what the author deleted and why.

I would never delete my own archive of notes, because it contains a different kind of information: howtos for things I do infrequently, current state for personal projects I rotate in and out of over years, maintenance logs for my vehicles, identification details for every important account (account numbers, insurance expiry details etc).

When I'm doing something complex, I narrate what I'm doing in my notes. Most of these logs are write only. They can help as a kind of written rubber duck. And about 1 in 100 turn out to be extremely useful when I want to remember how I did something 10 years ago.

I use the same app (of my own design) with a different storage at work, and there I use it to remind myself what I did for performance reviews. Every edit is logged with a timestamp and I have a different tool which puts all the edits into chronological order.

For the author, their system served as a way of dealing with anxiety over self-improvement, it seems. But it turned into an anxiety of its own when the weight of unexplored ambition became manifest. It wasn't really a second brain IMO.
by isolatedsystem | 2025-06-28 07:00:33+00:00
This article is visibly, annoyingly, distractingly in threes.

> It promises clarity. Control. Mental leverage.

> but to keep it alive, replayed, and reworked.

> A dusty collection of old selves, old interests, old compulsions...

> A quote would spark an insight, I’d clip it, tag it, link it...

> There is a guilt that accompanies unread books, articles and blog posts

> The belief that by naming a goal, you are closer to achieving it. That by storing a thought, you have understood it. That by filing a fact, you have earned the right to deploy it.

> ...the fear of losing track, of forgetting, of not being caught up.

> Nietzsche burned early drafts. Michelangelo destroyed sketches. Leonardo left thousands of pages unfinished.
by noelwelsh | 2025-06-28 07:02:12+00:00
Records are a logical and. A cat is a name and an age and a color, for example.

A variant is a logical or. A pet is a dog or a cat.

And and or are duals.

Much more in the "Algebraic data types" chapter at https://scalawithcats.com/

Does that answer it?
by anextio | 2025-06-28 07:02:18+00:00
Replying to your other comment.

> You are claiming that static code analysis tools extensively used in C++ cannot detect all conceivable and hypothetical memory issues. The weasel words in here is that it is possible to detect them, but some can conceivably slip through.

No, there are entire classes of memory vulnerabilities that are impossible to check with static analysis because checking them is equivalent to the halting problem.

> To drive the point home, there are already a few CVEs even from use-after-free bugs in Rust code. What does that make out of the all assertion? Would this be a reasonable argument to reject Rust as an unsafe language?

The CVE that you referenced in the other comment was Rust calling into unsafe C code, as I pointed out. If you have a real example feel free to post it.

> The problem with these claims is that they rely on weak strawmen arguments and a very superficial analysis of the problem space. I get the need to do marketing, but if the audience is technical them don't you think arguments should stand on solid technical ground?

The views I have laid out here are the consensus among compiler engineers and in theoretical computer science. You only have to look at the compiler group at Apple:

- heavily invested in static analysis - maintains the clang static analyzer - maintains number of runtime memory analysis tools in Xcode - not invested in rust at all and seemingly not interested

Yet they are adding lifetime dependency annotations to Swift, making it more like Rust: https://github.com/swiftlang/swift-evolution/blob/ef71df4158...

The reason for this is that static analysis simply cannot do it when the semantic information about lifetimes is lost, even for a group that knows how to write strong static analysis tools. Program flow is too ambiguous without it, so it becomes impossible to detect such memory vulnerabilities without running the program and fuzzing it – an expensive, time consuming, and probabilistic process.
by herbst | 2025-06-28 07:02:55+00:00
> This will give users a privacy-friendly way to snap photos of documents and automatically convert them to PDF ready for sharing.

Why on earth is this even news? There are 500 less privacy intriguing document to PDF websites out there. I am sure a few also accept photos.

Not to mention that this sounds like the perfect example of a GPT wrapper that doesn't need to be a own product.
by HaZeust | 2025-06-28 07:03:10+00:00
>"The British burned the census records during the revolution. This doesn't happen anymore."

LOL What? Destruction against governmental records doesn't happen anymore? I guess you can spare me for remembering Iraq's National Library being burned down twice in 2003, or Israel - which is on its newest genocidal bender and is now creating NEW fresh asylum seekers that this information will be relevant for - destroying media devices and storage in Palestinian territories the year before.

>"As for dual citizens they were all waving Mexican flags during the LA protests. They wouldn't if they didn't give a shit."

They probably did, and I can redirect your attention to tons of families born outside of America that had children here that subscribed to national identity.

- Kamala Harris, Indian Mother and Jamaican Father

- Vivek Murthy, Indian parents

- Sergey Brin, Jewish Soviet parents

Great, we have cherrypicked examples for both of our stances, how would you like to proceed?
by masklinn | 2025-06-28 07:04:50+00:00
If XPath was the core nobody would need xslt, because pretty much every xml library can do XPath.

Don’t get me wrong, XPath is by far the best thing to come out of the xml ecosystem, but the actual idea at the core of xslt is the match/patch during traversal, and talking about it in terms of selection misses that boat entirely. Select / update is how you manipulate a tree with jQuery, or really the average xml library.
by MobiusHorizons | 2025-06-28 07:07:51+00:00
What you are describing is basically CW which is how Morse code is transmitted over radio. It works well at the low data rates of Morse code. The higher the symbol rate, however, the higher resolution you need for measuring pulse length, which requires sharper edges from off to on. In practice it is usually easier to use different tones for each symbol (fsk) since the pulse length is less critical in that case. Quadrature modulation like bpsk is more efficient at the cost of additional complexity, and spread spectrum techniques allow for much better performance in noisy environments at the cost of using more bandwidth. So as usual in engineering, it’s a trade off that has to be decided on a case by case basis.
by madaxe_again | 2025-06-28 07:08:17+00:00
You can also produce UHF sound with hardware other than the speaker. For instance, you can overdrive caps in various systems - most commonly LCD display drivers - and make them squeak in the audible or inaudible range.

Can’t find much out there on the topic, but here’s a Reddit thread touching on it:

https://www.reddit.com/r/InternetIsBeautiful/comments/2ruq45...
by cornfieldlabs | 2025-06-28 07:09:43+00:00
Thanks :)

Few others have suggested the same. But it kind of defeats the purpose since the goal is to see updates from your close friends and have only private profils. Even though empty feed is not good, it's a feature in our platform. We want to see what users do when the feed is empty. Only real way to have a non empty feed without compromising the core idea is letting users invite friends.

I am thinking along those lines!
by alephnerd | 2025-06-28 07:09:58+00:00
Unsurprising.

Dubai investors (Khaleeji, Indian, or Russian) are looking for a "dhandha" - not a business.

Any story that can't be easily translated into an "arbitrage" or "commodity" play just isn't going to land with them.

Abu Dhabi has fairly good growth stage investors, but that's also because they tend to let the money managers and investors remain in London, SF, NYC, etc.

You're better off remaining in the Indian market, or if you want deal flow abroad, then building relationships in the US, ASEAN, UK, or Australia unless you're a "VC" who's trying to land a Dubai Golden Visa in order to evade taxes back in India (these kinds of personas tend to overlap with the kinds who run real estate or export/import "dhandhas" back in India).
by gsliepen | 2025-06-28 07:11:12+00:00
> Could anyone explain to me how this is different from templates or parameter pack expansion in C++?

I don't think it's any different.

> I can see the constexpr-ness here is encoded in the type system

I also see they introduce new constructs like let$, so it's not just a type system thing.

> I looked at the paper but I can't find anything related to C++.

I don't think the author needs to compare their code to C++. That said, it looks to me like it is similar to the upcoming C++26's reflection capabilities.
by doesnt_know | 2025-06-28 07:11:15+00:00
> But what got me sober, what got me through the first one, two, three hard years - none of it was in those notes.

> It hit me: what got me here won’t get me where I need to be next.

Where was it, or, what was it that did?

I believe the author when they went through their system of notes and effectively found nothing that contributed to the most important parts of themselves, but I was also sort of waiting for the alternative answer that I thought was supposed to be coming...
by kkfx | 2025-06-28 07:11:47+00:00
The main problem of notes is that most tools are bad, Emacs/org-mode outshine the others, still having it's own hiccups (for instance a very limited transclusion support so far with org-transclusion and delve at the best).

Nevertheless for me it's my main digital life, I have all in notes (org-mode) and the result is another level of computer help in my physical life!
by kbrkbr | 2025-06-28 07:12:22+00:00
People want to scroll and scroll, because social media make them miserable [1, 2, 3]

Perfect storm.

[1] https://time.com/4882372/social-media-facebook-instagram-unh... [2] https://www.scientificamerican.com/article/why-social-media-... [3] https://www.psychologytoday.com/us/blog/navigating-the-maze/...
by kazanz | 2025-06-28 07:14:06+00:00
Hi, Sherpa.sh founder here. Thanks for posting indigodaddy.

Our goal is to be the world’s lowest cost platform as a service. We do it by being full stack AI operationally - and using our relationships from 10 years in the space - we keep the costs crazy low and pass those savings on to our users.

Happy to answer any questions.
by winter_blue | 2025-06-28 07:14:49+00:00
> The more I wrote into my vault, the less I felt. A quote would spark an insight, I’d clip it, tag it, link it - and move on. But the insight was never lived. It was stored. Like food vacuum-sealed and never eaten, while any nutritional value slips away.

The better answer here would have been to make some time to go back and reflect and write more.

Not necessarily to throw it all away.

The goal should have been to reflect deeply, and write more on the most interesting topics therein.

> Worse, the architecture began to shape my attention. I started reading to extract. Listening to summarize. Thinking in formats I could file. Every experience became fodder. I stopped wondering and started processing.

Summarization could now be done by LLMs.
by meatmanek | 2025-06-28 07:16:49+00:00
The HN title is subtly incorrect: this isn't the first direct image of an exoplanet from JWST. Here's an article from March showing several exoplanet images from JWST: https://science.nasa.gov/missions/webb/nasas-webb-images-you...

The key word "discovery" has been removed from the headline from TFA: "The James Webb Space Telescope Reveals Its First Direct Image Discovery of an Exoplanet". I.e, this is the first time that direct imagery was used to _discover_ a planet we didn't know existed previously.
by atoav | 2025-06-28 07:18:39+00:00
Having went through similar deletions before the important takeaway is that the reason the author felt relief is that deleted things that were weighing them down.

A common mistake is to keep stuff you won't need (or worse stuff actively keeping up mental space). If you're really worried about losing something you can still keep those old notes somewhere where it doesn't bother you, but the real useful notes.
by safety1st | 2025-06-28 07:18:59+00:00
I mean let's be clear on the history and not romanticize anything, Zuck created Facebook pretty much so he could spy on college girls. He denies this of course, but it all started with his Facemash site for ranking the girls, and then we get to the early Facebook era and there's his quote about the "4,000 dumbfucks trusting him with their photos" etc.

There is no benevolent original version of FB. It was a toy made by a college nerd who wanted to siphon data about chicks. It was more user friendly back then because he didn't have a monopoly yet. Now it has expanded to siphoning data from the entire human race and because they're powerful they can be bigger bullies about it. Zuck has kind of indirectly apologized for being a creeper during his college years. But the behavior of his company hasn't changed.
by BeetleB | 2025-06-28 07:19:01+00:00
I'd like to believe there is a happy medium.

The problem likely is an obsession with any of the following:

Trying to keep your notes accurate.

Trying to have a "good" organizational scheme (categories? folders? tags?)

Trying not to have your notes on a topic fragmented. (Didn't I write about this before? Let me find my earlier note and add to it. Oh, and let me find the appropriate places within a note to add the new info).

I've suffered from all of the above. Late last year I decided to start afresh. I use org mode + capture. All notes go in one org file. I don't try to find a prior note on the same topic. I just tag the new note (hopefully with the same tag as before), and start writing. I don't check if I've written some thought before.

I then have a function that takes a tag as an input, and creates a new (temporary) org file with only the entries from that note. It's in the same format as my blog's publishing SW, so if I want, I can output to HTML and view it in the browser - with each note being a blog post.

6 months in, though, I've never needed that function.

What I like about this:

I enter freely without worrying about how it should be organized - I tag it with whatever comes to mind at the moment.

I rely on basic search when looking for something. It's not great, but I'll live with it.

If I ever do work on a long term project where I can work only very sporadically, that export function will be handy.

I never randomly browse. The fact that the file has X notes not acted on - doesn't bother me. That it's all in one file - is surprisingly nice. Since it's in Org mode, I can always do queries on it (but haven't so far).
by tolerance | 2025-06-28 07:20:44+00:00
I'm starting to notice this style a lot. Apparently there's a formal term for it, but I didn't begin to notice it until I started using ChatGPT regularly.

Granted, there are people who didn't notice the utility of the em dash until it became apparent in ChatGPT's responses, but aside from either device there is a certain vibe I'm starting to pick up from a lot of writing online that mirrors AI writing although you can't just call it that, especially if people enjoy it.

A kind of abstract solipsism that only resonates unless you consent to a platonic relationship with the author through their writing. About as close as you can get to reading something written with the aid of AI, I'd imagine.
by jurschreuder | 2025-06-28 07:22:19+00:00
I think our numerical system is a bit like Fahrenheit.

Fahrenheit draws a line between three points and assumes a "law in nature". This was false (short answer).

The fact that there are things like PI for a circle means our numerical system has been invented before we had any knowledge about quantum quantities for lack of a better word (like autonomous autos X).

Math is wrong. But it's gotten this "holy" status of almost defining intelligence, like Latin is to English.

It's clearly wrong (to me at least) but it's such a big part of "smart" people's egos.
by gsliepen | 2025-06-28 07:22:58+00:00
> For example, instead of a power function that uses a loop, you could generate specialized code like x * x * x * x * x directly. This eliminates runtime overhead and creates highly optimized code.

This is misguided. For decennia now, there is no reason to assume that hand-unrolled code is faster than a for-loop. Compilers optimize this stuff, and they do this even better than mindlessly multiplying x by itself. For example, raising x to the power 6 only needs 3 multiplications, see for example: https://godbolt.org/z/Edz4jjqvv

While there are definitely use cases for meta-programming, optimization is not one of them.
by wkat4242 | 2025-06-28 07:24:19+00:00
> First, for most of us in daily life, once you know you are being photographed you exit any context you were in and enter the new “I am being photographed” context. In some important way, you are stolen from the world around you for a period of time. Your body is still present, but you might be thinking about how this all would look at any later time. This does not apply when photography is specifically arranged by you (common in analog era), or if you are unaware of being a subject photographed (but there may be other concerns about that[0]).

True, this is something that bothers me a lot too. But especially GenZ has a problem with that (surprising because they grew up with ubiquitous photography) and I see more and more parties that tape off phone cams. They are indeed wonderful.

I don't agree this doesn't apply when it is arranged though. For me that has always been awkward.
by VariousPrograms | 2025-06-28 07:25:51+00:00
Linking notes enables note-taking to become a full-time hobby. It’s effortless to waste hours in Notion, Obsidian, Vimwiki, etc. creating MOCs, unused links, nice little home pages, and creating and recreating structures and systems.

I switched to a directory of unlinked, tagged notes and I’ve yet to have an issue just searching for a specific note. I spend a fraction of the time I used to thinking about notes at all.

Everyone has different needs and things that work for them, but some of these productivity gurus have 100,000s atomic notes, each note being like a single quote from a book, and you realize that taking and organizing notes is the only thing they do.
by jks | 2025-06-28 07:26:17+00:00
I have the "Relax & Sleep" pair. I got mine from a Finnish reseller, and thought they were a global company but they seem to list only European locations. I believe thomann.de delivers to the U.S., but that's little help since the point of these would be to get them made individually.

I would assume that your local audiologist or music instrument store will know what the U.S. equivalent to these is. It seems to me that Elacin's biggest market is musicians who want a comfortable pair of earplugs with a flat frequency response.
by ljf | 2025-06-28 07:26:42+00:00
It is far better than it was, my thinning was definitely crown but also hairline - I went for a walk one day and got really wet and when I looked in the mirror I could see just how thin my hair was. I've applied liquid minoxidil for 5 years now, and it reversed the balding to a good degree, but my hair is still thinner than it was at 30, but it is far far better than it was at 40. I've been using finasteride (tablets 1mg ever 3 days) for a year and it has certainly helped, but at my low dose I expect it to be another year before I know if it is really making a good difference.

My hair is very grey now which I think makes it also look thinner, but I don't want to dye it - though I tried Alpecin 'grey targeting shampoo' and it turned my hair blue... Not a good look for the office and extra visible in video calls
by firesteelrain | 2025-06-28 07:28:01+00:00
You are referring to illegal aliens as citizens. They are persons under the law, not citizens.

Constitution does not provide for identical due process between illegal aliens and citizens.

Since expedited removal is authorized under 8 U.S. Code § 1225(b)(1), Courts have held up limited due process for those that not fully admitted or who can’t prove longstanding presence.

Then, you have entry fiction doctrine where those at the border are treated as if they have not entered the US under the law.

Shaughnessy v. United States ex rel. Mezei, 345 U.S. 206 (1953) held that an immigrant stopped at the border had limited due process rights.

Finally, because of the Plenary Ppwer Doctrine, immigration is considered a sovereign function of the federal government and Congress and the executive have broad authority over who may enter and remain in the US
by squigz | 2025-06-28 07:28:22+00:00
> Our (NL) elementary school places pictures of the fun activities they do with kids on Instagram, but they blur children's faces, resulting in the photos straight out of the uncanny valley.

Honestly what's the point at this point? Are parents not going to send their children to that school because they didn't see pictures of blurry-faced children having fun on the Internet, or is this just teachers wanting to post about their students?