jfrbfbreudh

7 ms·

1.
by jfrbfbreudh 8d ago
It would be trivially easy to convert Lean into English, so I’m not sure what the human-readable criteria gets you. There are also human written proofs that are considered not human-readable by most of the mathematics community (ABC conject
2.
Show HN: Roomantic – See if that piece furniture fits before buying it(apps.apple.com)
2 points by jfrbfbreudh 8d ago|0 comments
3.
by jfrbfbreudh 19d ago
It’s actually hugely problematic, which is unfortunate because people generally really like the name. The real issue is that when you search “roomantic” in the App Store, Apple thinks it’s a typo and shows you results for “romantic” instead
4.
by jfrbfbreudh 23d ago
https://www.roomantic.ai/ Launched this a few months ago for free to gather user feedback and iterate, but didn’t get much traction. Finally got burned out last week and decided to charge $10 for it, thinking I could at lea
5.
by jfrbfbreudh 1mo ago
https://www.ign.com/articles/ramageddon-continues-another-ye... The best time to plant a tree…
6.
by jfrbfbreudh 1mo ago
Google is backing it.
7.
by jfrbfbreudh 1mo ago
This is very cool, but who is the ideal customer here? I used to work at one of the top tier shops and we had multiple teams whose entire responsibility was building and maintaining our simulation environments.
8.
by jfrbfbreudh 2mo ago
They were the alpha. Leopold called the boom in 2025 and returned 200% in 2025. He unfortunately got caught with his pants down.
9.
by jfrbfbreudh 2mo ago
Built exactly this for work a few months ago. Claude has a read-only account to the dev DB and a bunch of python postgres tools, I point it at queries/views and ask it optimize, and it has to: 1) verify identical query results 2) run r
10.
by jfrbfbreudh 2mo ago
A hedge fund gets liquidated nearly everyday.
11.
by jfrbfbreudh 2mo ago
I wonder what the criteria is, I signed up for the $19 / month waitlist today and got my invite within a few hours.
12.
by jfrbfbreudh 2mo ago
The US exists solely because of France.
13.
by jfrbfbreudh 2mo ago
The country that exists because it has nuclear capabilities.
14.
by jfrbfbreudh 2mo ago
Weights are the cake and source is the recipe. Except you aren’t going to spend millions working through the recipe to arrive at the same exact cake anyway, so why do you care?
15.
by jfrbfbreudh 2mo ago
Done. Enjoy!
16.
by jfrbfbreudh 2mo ago
I didn’t know the square footage of my apartment until I had built an app that utilizes LiDAR to actually measure it. Broker told me 650 square feet - it’s precisely 505 square feet. (Won’t advertise my app, but you can find many on the iOS
17.
GPT-5.6 Sol, along with Terra and Luna, will launch publicly this Thursday(twitter.com)
235 points by jfrbfbreudh 2mo ago|210 comments
18.
by jfrbfbreudh 2mo ago
https://news.ycombinator.com/item?id=48808828 Tell me how you would design a solution for this in a few minutes. Or a few days. Would you even recognize that this is NP-hard?
19.
by jfrbfbreudh 2mo ago
Many, but I think that the model delta is only meaningfully convincing when experienced firsthand. Here’s an example of improvement when trying to solve the label placement problem (NP-hard): https://imgur.com/a/kCUZxPi
20.
by jfrbfbreudh 2mo ago
I didn’t mention my case since it’s quite esoteric, but I am working on an application using the Apple RoomPlan API, which is very powerful but very limited in customizability. Opus simply couldn’t alter the scanning view for me, it would t
21.
by jfrbfbreudh 2mo ago
This is a silly argument. They’re smart / diligent enough to spend months studying to pass their interviews, but not smart enough to spend 5 minutes researching Glassdoor / Blind?
22.
by jfrbfbreudh 2mo ago
I think it’s hard to appreciate the capabilities of Fable unless you’ve run into a problem that you’ve spent days trying to get Opus to solve, but couldn’t. GPT5.5 is better than Opus 4.* at everything except frontend, but Fable is good eno
23.
by jfrbfbreudh 3mo ago
The M5 Max 128GB RAM MBP I was eyeing went up by $1600. Thankfully Amazon and some other retailers haven’t updated their prices yet, so I immediately picked one up this morning.
24.
by jfrbfbreudh 3mo ago
Exactly. 90% of gamblers quit just before hitting it big.
25.
by jfrbfbreudh 3mo ago
Because they know what they are signing up for? I’ve only interviewed at Meta for practice even though I could earn ~250k a year more working there.
26.
by jfrbfbreudh 3mo ago
So do you.
27.
by jfrbfbreudh 3mo ago
They can do that without open sourcing their weights. In fact, that would be the best way to do it. So why are they open sourcing their weights?
28.
by jfrbfbreudh 4mo ago
Lol. They obviously have intrinsic cost, the floor being the cost of electricity. It’s hilarious how we are throwing critical thinking out the window when it comes to evaluating biased sources of info.
29.
by jfrbfbreudh 4mo ago
What is correctly?
30.
by jfrbfbreudh 4mo ago
Nice. Looks like they will cut off Claude Code as well? (Or at least imply the threat of doing so?) https://imgur.com/a/UUijzAF It's incredible how much Anthropic hates any good PR. Their chatbot doesn't know

More ›