HNHacker News
TopNewBestAskShowJobs

ProofHouse

96 karma · joined December 2, 2022

YC Badge: 0xd4f7e9c9851b80e4666bfea87b9e3679fd526a2e
submissionscomments
ProofHouse··on OpenAI and Nvidia announce partnership to deploy 10GW of Nvidia systems
How much cable (and what kind) to connect them all? That number would be 100x the number of gpus. I would think they just clip on metal racks no cables but then I saw the xai data center that can blue wire cables everywhere
ProofHouse··on Show HN: Greppers – fast CLI cheat sheet with instant copy and shareable search
UX tip, reduce SIGNIFICANTLY or reposition the suggest a command box. At least on mobile the actual search results are way under it (which shouldn’t be), and it takes a ton of space for a rare use item
ProofHouse··on Launch HN: Slashy (YC S25) – AI that connects to apps and does tasks
This
ProofHouse··on Show HN: A Map of All YC Companies (5,300 Startups by Batch and Location)
Hard to believe not a 1 showed up in LA for me
ProofHouse··on Show HN: I built FlipCards – a flashcard app with variations to improve learning
I gotta say of all the flipcard apps I’ve looked at, at this point I don’t wanna create all my flip cards manually AI should Do it, and I’ve seen none that do. Sure the ability to do that and adjust but at this point, it should just be AI first. Let me put in the topic and refine it in my cards are set up for me on the top things I need to learn.
ProofHouse··on CauseNet: Towards a causality graph extracted from the web
I think this is many years old
ProofHouse··on CauseNet: Towards a causality graph extracted from the web
Well of course because no such model of the world can or does exist
ProofHouse··on Are OpenAI and Anthropic losing money on inference?
Only introducing this *NVIDIA AI Released Jet-Nemotron: 53x Faster Hybrid-Architecture Language Model Series that Translates to a 98% Cost Reduction for Inference at Scale, into the conversation as it just dropped (so it is timely) and while it seems unlikely either OpenAI or Anthropic use this or a technique like it (yet or if they even can), these types of breakthroughs may introduce dramatic savings for both closed and open source inference at scale moving forward https://www.marktechpost.com/2025/08/26/nvidia-ai-released-j...
ProofHouse··on Are OpenAI and Anthropic losing money on inference?
can you share the model?
ProofHouse··on Building A16Z's Personal AI Workstation
Building a16z’s Personal AI Workstation with four NVIDIA RTX 6000 Pro Blackwell Max-Q GPUs
ProofHouse··on Writing Speed-of-Light Flash Attention for 5090 in CUDA C++
Damn awesome. This going to take me 3 reads and a week to digest
ProofHouse··on Dispelling misconceptions about RLHF
Well they can be used together in some contexts so while they are different, you could also say RL can help Supervised Fine Tuning for further optimization
ProofHouse··on VictoriaLogs Practical Ingestion Guide for Message, Time and Streams
I’m actually working on something right now where this can be extremely useful to me and I didn’t know about VictoriaLogs was using Loki. I wonder if anyone knows if there are other better alternatives or how this stacks up?
ProofHouse··on Dyna – Logic Programming for Machine Learning
Same lineage (weighted/semiring logic programming for ML), but different system. Francis Landau’s work (Dyna) is a term rewriting implementation is of a weighted logic language with bag relational semantics, dynamic programming, and a tracing JIT. Scallop is a Datalog style neurosymbolic language built on provenance semirings with differentiable/relaxed semantics intended for e2e training with NNs. Consider Scallop a variation branch in the lineage optimized for differentiable neurosymbolic learning vs Dyna is a more general weighted logic programming framework with a different execution mode
ProofHouse··on Wan – Open-source alternative to VEO 3
HATE
ProofHouse··on Wan – Open-source alternative to VEO 3
How can they manage that but not the website?
ProofHouse··on Australian court finds Apple, Google guilty of being anticompetitive
Precisely. Trump not smart enough to think about these retaliations. Would in some cases make tarrifs neutral
ProofHouse··on Ask HN: Do you think differently about working on open source these days?
Same
ProofHouse··on Hacking Diffusion into Qwen3 for the Arc Challenge
Are you aware of more in depth material outside research papers which I’ve mostly read already?
ProofHouse··on An LLM does not need to understand MCP
10000% this
ProofHouse··on An LLM does not need to understand MCP
Can you elaborate on how the agents degrades from more tools? By paralysis or overuse? Isn’t this both ways a function of direction on correctly instructing which to use when? Tnx
ProofHouse··on Show HN: Stagewise (YC S25) – Front end coding agent for existing codebases
VanillaJS support pls then can be used in all sorts of webapps etc not using frameworks
ProofHouse··on Genie 3: A new frontier for world models
Curious how multiplayer would possibly work not only logistically, but technically and from a game play POV
ProofHouse··on Genie 3: A new frontier for world models
Can anyone specifically working or with expertise in this field, give even a best guest breakdown (or better) of the technology and architecture, system design or possibly even the compute requirement's of how they think this was implemented? Very curious as to how thing works and methods employed, as they are atm tight lipped generally. So kind of curious for those who are specialists in this space what they could surmise or speculate on the implementation of Genie 3
ProofHouse··on Browser extension and local backend that automatically archives YouTube videos
I’ve never gone to find a video and it’s gone. Nor have I ever felt the need to take a photo of every building I walk past and find interest in to ensure I have it for posterity in case it is later bulldozed. To each their own but don’t have to be rude about it. Thanks to the other responses. If someone wants to record all the tv they’ve ever watch that is their prerogative, as it is if they do not.
ProofHouse··on Browser extension and local backend that automatically archives YouTube videos
I don’t really get the purpose of this broadly, because doesn’t YouTube keep videos online unless the creator took them down which is probably not the case 95% of the time? That said for a niche or a high likelihood of a video being removed, or if you really want to be 100% certain it makes sense, but would I be accurate in that statement or am I missing something?
ProofHouse··on AWS deleted my 10-year account and all data without warning
This has happened to me too destroyed five years of my life no joke. Obviously it wasn’t just the set up and pipelines that took only 4 to 6 months but as a chain reaction to collapsed the entire startup. It was so unexpected. Lesson learned.
ProofHouse··on Programmers aren’t so humble anymore, maybe because nobody codes in Perl
Vibe coders who I love that it exists and they exist, are what annoy me most. They don’t know what they don’t know and now they think they’re Snr devs when most don’t even know what SQL means. They others saying ‘I’m a programmer’ chest out, like have some humility jeez. Plunging a toilet doesn’t make me a plumber
ProofHouse··on Launch HN: Societies.io (YC W25) – AI simulations of your target audience
Recommend you don’t use loom had errors signing up to comment w google. Not wasting time on that. It was a cool demo and product, but you did gloss over, well skip, what the determining factors are that decide whether a user decides to interact with the post or not. Aka the secret sauce shouldn’t be secret. How is that determined what are the factors. Seems to be the most important part. Be clear on that and this product could have cool use. Congrats!
ProofHouse··on Meta's Vision for Superintelligence
Mark has never had pure intentions born out and proven by 2 decades of decisions. Mark is NOT who we want shepherding in Superintelligence.
← PreviousPage 4 of 6Next →