Hacker News: tshanmu

New comment by tshanmu in "Tension wood: A 'muscle' that can both bend and straighten plants"

tshanmu — Wed, 09 Sep 2026 08:56:59 +0000

https://www.reddit.com/r/Bonsai/wiki/walkthrough/

New comment by tshanmu in "Splash-free urinals (2025)"

tshanmu — Mon, 07 Sep 2026 16:13:27 +0000

a surprising paragraph in the middle of the article "The “urine-no,” a hostile antiurination surface"

New comment by tshanmu in "Telegraph censured for story of fictional family's struggle to pay school fees"

tshanmu — Tue, 03 Mar 2026 20:10:00 +0000

In the UK, the telegraph newspaper censured for story of fictional top-earner family’s struggle to pay school fees

Telegraph censured for story of fictional family's struggle to pay school fees

tshanmu — Tue, 03 Mar 2026 20:10:00 +0000

Article URL: https://www.theguardian.com/media/2026/mar/03/telegraph-censured-fabricated-story-banker-struggle-pay-school-fees

Comments URL: https://news.ycombinator.com/item?id=47238221

Points: 9

# Comments: 1

New comment by tshanmu in "I wanted a camera that doesn't exist, so I built it"

tshanmu — Tue, 06 Jan 2026 16:51:48 +0000

Wow! This is the kind of news that we want on hacker news in 2026. Amazing hacker ethos.

The article could have been better with sharing some photos taken with the new camera.

New comment by tshanmu in "Beaver: An Efficient Deterministic LLM Verifier"

tshanmu — Tue, 16 Dec 2025 15:33:02 +0000

As large language models (LLMs) transition from research prototypes to production systems, practitioners often need reliable methods to verify that model outputs satisfy required constraints. While sampling-based estimates provide an intuition of model behavior, they offer no sound guarantees. We present BEAVER, the first practical framework for computing deterministic, sound probability bounds on LLM constraint satisfaction. Given any prefix-closed semantic constraint, BEAVER systematically explores the generation space using novel token trie and frontier data structures, maintaining provably sound bounds at every iteration. We formalize the verification problem, prove soundness of our approach, and evaluate BEAVER on correctness verification, privacy verification and secure code generation tasks across multiple state of the art LLMs. BEAVER achieves 6 to 8 times tighter probability bounds and identifies 3 to 4 times more high risk instances compared to baseline methods under identical computational budgets, enabling precise characterization and risk assessment that loose bounds or empirical evaluation cannot provide.

Beaver: An Efficient Deterministic LLM Verifier

tshanmu — Tue, 16 Dec 2025 15:33:02 +0000

Article URL: https://arxiv.org/abs/2512.05439

Comments URL: https://news.ycombinator.com/item?id=46289799

Points: 1

# Comments: 1

New comment by tshanmu in "COBOL to Kotlin via Formal Models (IR and Alloy and Golden Master)"

tshanmu — Thu, 13 Nov 2025 18:27:20 +0000

how are you creating the IR?

New comment by tshanmu in "I built ChatGPT with Minecraft redstone [video]"

tshanmu — Thu, 02 Oct 2025 11:33:36 +0000

this reminds me of permutation city and the question of what is time...

New comment by tshanmu in "US airlines are pushing to remove protections for passengers and add more fees"

tshanmu — Wed, 24 Sep 2025 13:58:52 +0000

you would know before consuming how much you would end up paying. not so in the land of the free.

New comment by tshanmu in "Viking-Age hoard reveals trade between England and the Islamic World"

tshanmu — Mon, 18 Aug 2025 11:51:38 +0000

this sounds about right - the same yardstick was used by the British to define Hindus in India - people who are neither christian nor muslim.

New comment by tshanmu in "Literate programming tool for any language"

tshanmu — Fri, 20 Jun 2025 15:03:16 +0000

wondering how would literate programming be with the actual code being written by LLM? I have been searching for any tools that allow for such a setup... may be my next weekend project in a long list of projects

New comment by tshanmu in "Millions in west don't know they have aggressive fatty liver disease, study says"

tshanmu — Thu, 05 Jun 2025 21:08:00 +0000

I can concur - that shift in mindset to "i'm hungry, oh well" is crucial for your body I feel.

New comment by tshanmu in "The Barbican"

tshanmu — Tue, 13 May 2025 06:42:03 +0000

nice analogy comparing it to BBC Radio 3- if you/someone knows which neighbourhood would be like BBC Radio 4? I find R3 too high brow for me - Radio 4 seems more accessible :)

New comment by tshanmu in "We're bringing Pebble back"

tshanmu — Wed, 29 Jan 2025 13:33:03 +0000

+1 pleasantly surprised by my garmin forerunner for exactly the same with hrv stats as well

New comment by tshanmu in "Coinbase awarded a $500k bug bounty"

tshanmu — Thu, 01 Aug 2024 09:55:50 +0000

certik appears to be a web3 smart contract audit company

New comment by tshanmu in "Hidden Alpha"

tshanmu — Thu, 01 Aug 2024 09:10:53 +0000

This paper documents the central role of hidden connections between fund managers and firm officers in financial markets, drawing on an extensive dataset of over 100 thousand manually identified Facebook profiles and their 35 million Facebook friends. Our findings reveal that the hidden connections between these individuals are associated with the largest and most significant abnormal returns accruing to fund managers, averaging 135 basis points per month (over 16% alpha per year, t-stat = 3.54) across the universe of mutual funds and public firms. In stark contrast, trades involving publicly visible connections generate no significant abnormal returns on average.

Hidden Alpha

tshanmu — Thu, 01 Aug 2024 09:10:52 +0000

Article URL: https://www.hbs.edu/faculty/Pages/item.aspx?num=63490

Comments URL: https://news.ycombinator.com/item?id=41127332

Points: 2

# Comments: 2

New comment by tshanmu in "Code Finder – The ultimate search engine for GitHub repositories"

tshanmu — Wed, 12 Jun 2024 16:24:38 +0000

Why would I use this instead of github code search, which appears to be quite comprehensive?

New comment by tshanmu in "One Knuckle Rice Rule"

tshanmu — Tue, 16 Apr 2024 07:51:20 +0000

The traditional Indian style of cooking involves cooking till about 80% on heat with however much you want and then drain the water (like pasta). I remember reading somewhere[1] that it reduces the amount of the arsenic leftover in rice by draining the water.

[1] https://scitechdaily.com/scientists-find-new-way-of-cooking-...

Edit: added source