HNHacker News
TopNewBestAskShowJobs

ProofHouse

96 karma · joined December 2, 2022

YC Badge: 0xd4f7e9c9851b80e4666bfea87b9e3679fd526a2e
submissionscomments
ProofHouse··on Tell HN: Merry Christmas
I am alone. I haven't seen my family in many, many years for reasons that I don't want to get into. I am a founder. I check Hacker News every day and have learned an immense amount from all the commenters, articles, and discussions over the years. I thank you all for that. I am truly grateful.

I wish you all a Merry Christmas full of joy, and I hope you can all appreciate, share, and express love for those around you, be it family, friends, or strangers on the internet. We are all very lucky to be part of the HN site and community. I have been here for about 15 years (at least that is what it feels like) with my other accounts that I don't want to dox.

Glory to God. For believers in Jesus, may the light of Christ guide you as it does me in difficult times. Wishing you all His peace and joy.

ProofHouse··on Fabrice Bellard Releases MicroQuickJS
https://textarea.my/#7dsxaiNbEEDRvFcxWzEIb0ArEAgFkjLtHwYzMHm...
ProofHouse··on MIRA – An open-source persistent AI entity with memory
Meta leading the charge. Tencent just tried to do it this week. People need to to call them on it and AI ‘influencers’ never do, quite the opposite actually
ProofHouse··on Tell HN: HN was down
I wake up, and look at HackerNews lol. This morning sucked hahaha
ProofHouse··on 28M Hacker News comments as vector embedding search dataset
Scratches off one of my todos,
ProofHouse··on WorldGen – Text to Immersive 3D Worlds
is there a working 'demo' I don't see one?
ProofHouse··on Our investigation into the suspicious pressure on Archive.today
Kudos
ProofHouse··on Messing with scraper bots
Ya make sure you hold dear that grain of sand on a beach of pre-training data that is used to slightly adjust some embedding weights
ProofHouse··on Show HN: Generate coherent, synthetic data at scale
Is there a good way this could be used for model distillation? Hmmm
ProofHouse··on Marble: A Multimodal World Model
I think absolutely it will in a year
ProofHouse··on Marble: A Multimodal World Model
RIP GTA6
ProofHouse··on Yann LeCun reportedly leaving Meta to launch new AI startup
Smart. Everyone that can leave Meta AI immediately should.
ProofHouse··on Boring Company fined nearly $500K after it dumped drilling fluids into manholes
Honestly this is extra repulsive coming from the richest man in the world
ProofHouse··on Responses from LLMs are not facts
Tell me you know nothing about AI without telling me you know nothing about AI
ProofHouse··on ChunkLLM: A Lightweight Pluggable Framework for Accelerating LLMs Inference
wasn't this the attention sink concept to some degree? I mean it doesn't seem out of the realm of possibility that if the latency overhead isn't signifigant, that frontier models start adopting similar to DeepSeek OCR tech
ProofHouse··on Fast-DLLM: Training-Free Acceleration of Diffusion LLM
Wait, under everything I’ve read about Diffusion Language Models and demos I’ve also seen and tried, inference is faster than traditional architectures. They state the opposite what gives?
ProofHouse··on Claude Memory
Starting to feel like iOS/Android.

Features drop on Android and 1-2yrs later iPhone catches up.

ProofHouse··on Karpathy on DeepSeek-OCR paper: Are pixels better inputs to LLMs than text?
also ping pong around the page (ADHD'r). At times I read a sentance or two in linear fashion, then start jumping, or start or move to the end and read backwards, or any mix of this depending.
ProofHouse··on Subverting Telegram's end-to-end encryption (2023)
telegram is NOT safe. Far from it.
ProofHouse··on Palisades Fire suspect's ChatGPT history to be used as evidence
Great points, of course if you use full strict or flexible SSL you could be ok (safe) from Cloudflare, but no way that is the case here
ProofHouse··on Palisades Fire suspect's ChatGPT history to be used as evidence
FHE is far too computationally heavy. Won’t be used on ChatGPT for a very long time if ever
ProofHouse··on Meta Superintelligence Labs' first paper is about RAG
winning the AI race? Meta? Oh that was a good one. Zuck is a follower not a leader. It is in his DNA
ProofHouse··on OpenGL: Mesh shaders in the current year
Fundamentally, for OpenGL, "getting shaders" meant moving from a fixed, built-in set of graphics effects to giving developers custom control over the graphics pipeline.

Imagine you hired a robot artist to draw.

Before Shaders (The Old Way): The robot had a fixed set of instructions. You could only tell it "draw a red circle here" or "draw a blue square there." You could change the colors and basic shapes, but you couldn't change how it drew them. This was called the fixed-function pipeline.

After Shaders (The New Way): You can now give the robot custom, programmable instructions, or shaders. You can write little programs that tell it exactly how to draw things.

The Two Original Shaders This programmability was primarily split into two types of shaders:

Vertex Shader: This program runs for every single point (vertex) of a 3D model. Its job is to figure out where that point should be positioned on your 2D screen. You could now program custom effects like making a character model jiggle or a flag wave in the wind.

Fragment (or Pixel) Shader: After the shape is positioned, this program runs for every single pixel inside that shape. Its job is to decide the final color of that pixel. This is where you program complex lighting, shadows, reflections, and surface textures like wood grain or rust.

ProofHouse··on Automated Lean Proofs for Every Type
same
ProofHouse··on F3: Open-source data file format for the future [pdf]
End Adobe.
ProofHouse··on Ask HN: What are you working on? (September 2025)
It is ABSOLUTELY a joke. Downloaded Oasis app last night. My ‘Whole Foods’ water, ya turns out I’m drinking levels above what I should of arsenic, amongst other nasty shit
ProofHouse··on Find SF parking cops
Can the city just keep the top five and fire the rest, you know tax savings lol although I’d get a parking ticket, surely
ProofHouse··on PlanetScale for Postgres is now GA
appreciate you sharing
ProofHouse··on PlanetScale for Postgres is now GA
I mean add a 1-2 sentence description of the HOW to this paragraph. Cause like great, but how. This is just marketing fluff and a user has to navigate the site to then understand what PlanetScale itself does (and how), if not familiar;

What is PlanetScale for Postgres?

Our mission is simple: bring you the fastest and most reliable databases with the best developer experience. We have done this for 5 years now with our managed Vitess product, allowing companies like Cursor, Intercom, and Block to scale beyond previous limits.

ProofHouse··on PlanetScale for Postgres is now GA
Not a single explanation of what ‘PlanetScale’ is, does (or how) on that landing page. A product, a service, a new offering or scaling paradigm, a cloud? Etc

Sure you can click around to determine but this always annoys me. Like everyone should know what your product is and does and all you service names. Put it front and center at the top!

← PreviousPage 3 of 6Next →