HNHacker News
TopNewBestAskShowJobs

ProofHouse

96 karma · joined December 2, 2022

YC Badge: 0xd4f7e9c9851b80e4666bfea87b9e3679fd526a2e
submissionscomments
ProofHouse··on MapComplete – Contibute to OpenStreetMaps
Asing users to have to navigate all those options with terrible design and UI, then putting them on zoom out of the world, having to click a bunch to zoom in to their location (95% of what people would be adding would be where they are)...I mean I could go on, but that is where I bounced. I was happy to add the cafe I am at, and others, but once I got to this point I was like ok, no sorry. Improved UI would go a long way.
ProofHouse··on MiMo Code is now released and open-source
So funny I have noticed how terrible the signup is on all these Chinese models, companies etc. Always wonder why it is such an easy process. Like QQ, Tencent etc demos Ive seen past year
ProofHouse··on Claude Fable 5
100% I constantly get errors and timeouts on single responses in Claude, and certainly hit limits all the time. Codex rarely. In fact, I bought a second $200 Codex plan because the quotas seemed fair and I didnt have constant issues. Claude is so great at a lot of things, but unfortunately Anthropic beats you away with a stick every chance they get.
ProofHouse··on Siri AI
'later this year' lol uh ya, ok apple (only had 3-5 already to make it even a 1-10 usable)
ProofHouse··on Meta workers can opt out of being tracked at work up to 30 min
Working as a dev at Meta has become like working a call center. Zuck lost the plot.
ProofHouse··on Bricks and Minifigs Stole a Man's $200k Lego Collection
Corporate is lying all over the place. If you're following the story, you can see all the contradictions, let alone the video that came out today that literally needs a federal FBI investigation and internal affairs looking into the police department and the Church of Mormon corruption, which is shockingly overt in the video just released. Like I'm talking anti-American level of full city or state takeover corruption.
ProofHouse··on Stripe is friendly to “friendly fraud”
I was so annoyed with their onboarding for new accts I moved to Square on every project. Love it! Never going back
ProofHouse··on The Metaverse Fever Dream
yawn, not a zero original thought. Post mortem on the well known talked to death points. Say something we don't know and haven't heard 100 times.
ProofHouse··on Magnifica Humanitas
More thoughtful analysis of AI and society than anything this far
ProofHouse··on Shipping a laptop to a refugee camp in Uganda
Fantastic! Now get to changing the world Django!!
ProofHouse··on Project Hail Mary – Stellar Navigation Chart
So very cool! Have been tooling on some very similar space mapping and smiled as I was looking at this. Love the data recommend have not seen that yet, thanks!
ProofHouse··on Google Chrome silently installs a 4 GB AI model on your device without consent
Masterclass. Hope some qualified lawyers just got wet.
ProofHouse··on Days without GitHub incidents
Love. Hope Github is a relic of the past inside 12 months
ProofHouse··on VS Code inserting 'Co-Authored-by Copilot' into commits regardless of usage
Whomever at Microsoft is making these decisions and oversees all this, yeeeesh
ProofHouse··on Universal Claude.md – cut Claude output tokens
They all are. This is proven in research. https://medium.com/data-science-collective/the-ai-hivemind-p...
ProofHouse··on ChatGPT won't let you type until Cloudflare reads your React state
The irony is thick
ProofHouse··on Dario Amodei calls OpenAI’s messaging around military deal ‘straight up lies’
Don't be fooled. Dario's 'awe shucks, me' routine and 'but, but, but' is not all that is looks to be on surface.
ProofHouse··on Show HN: Terminal Phone – E2EE Walkie Talkie from the Command Line
This is rad
ProofHouse··on The Codex App
Not totally understanding this. Crazy free tier but that it used a crazy amount of tokens that cost you? Sry just trynna see what you’re saying
ProofHouse··on Mobile carriers can get your GPS location
In other news, the sky is up
ProofHouse··on Qwen3-Max-Thinking
Is anyone a researcher here that has studied the proven ability to sneak malicious behavior into an LLM's weights (somewhat poisoning weights but I think the malicious behavior can go beyond that).

As I recall reading in 2025, it has been proven that an actor can inject a small number of carefully crafted, malicious examples into a training dataset. The model learns to associate a specific 'trigger' (e.g. a rare phrase, specific string of characters, or even a subtle semantic instruction) with a malicious response. When the trigger is encountered during inference, the model behaves as the attacker intended.You can also directly modify a small number of model parameters to efficiently implement backdoors while preserving overall performance and still make the backdoor more difficult to detect through standard analysis. Further, can do tokenizer manipulation and modify the tokenizer files to cause unexpected behavior, such as inflating API costs, degrading service, or weakening safety filters, without altering the model weights themselves. Not saying any of that is being done here, but seems like a good place to have that discussion.

ProofHouse··on I was banned from Claude for scaffolding a Claude.md file?
Scamthropic at it again
ProofHouse··on Why NUKEMAP isn't on Google Maps anymore (2019)
Yup. Avoid Google services especially map at all costs
ProofHouse··on Why NUKEMAP isn't on Google Maps anymore (2019)
That map pricing change stole literally months of my life having to rip out google from an app I spend months building it into. F Google
ProofHouse··on Apple picks Gemini to power Siri
It tells you how bad their product management and engineering team is that they haven’t just decided to kill Siri and start from scratch. Siri is utterly awful and that’s an understatement, for at least half a decade.
ProofHouse··on Anthropic made a mistake in cutting off third-party clients
Huge mistake. That’s what they specialize in though
ProofHouse··on Show HN: Dealta – A game-theoretic decentralized trading protocol
AI but does it matter, no
ProofHouse··on Nvidia just paid $20B for a company that missed its revenue target by 75%
And it was a no brainer
ProofHouse··on Apple releases open-source model that instantly turns 2D photos into 3D views
Thank you! Shame all these big corps that do this forever. Meta #1, Apple # 2, psuedo fake journalists # 3
ProofHouse··on Tell HN: Merry Christmas
God bless you. Wishing you joy.
← PreviousPage 2 of 6Next →