HNHacker News
TopNewBestAskShowJobs

whattheheckheck

209 karma · joined January 7, 2025

submissionscomments
whattheheckheck··on MathCode, Mathematical Coding Agent
Is this effectivly mit or no license?
whattheheckheck··on Launch HN: Discovered Materials (YC P26) – AI agents to discover new materials
Seems like this is a super hot direction goodluck

Have you seen

https://arxiv.org/pdf/2605.04375

https://arxiv.org/abs/2307.07522

whattheheckheck··on Ask HN: What are you working on? (August 2026)
Just use shopify
whattheheckheck··on TheoremDB – A public workspace for machine mathematics
https://github.com/math-inc/OpenGauss

https://www.math.inc/vision

Just use lean

whattheheckheck··on Everything you do is being recorded
Weellll...

https://www.youtube.com/watch?v=5kpRIRxwmrU

whattheheckheck··on I'll be stepping back from leading product for X
Just reason from first principles...

Worlds richest man with epstein island connections...

Information determinism...

Signals intelligence...

"My friend elon is super good with computers"

Every bit of info counts...

whattheheckheck··on What happens if an entire class of workers loses faith in their careers
Shame? Where's the shame for these orphan crushing machine administrators? Just doing my job. Just following orders. Just designing and optimizing it

All of it is doing it both. The system is cracking and the ONLY REASON why its brought up is because 1 guy did a murder to an important guy. Otherwise business as usual.

Shame on society

whattheheckheck··on What happens if an entire class of workers loses faith in their careers
Systematic over denial of claims is not murdering innocent children, women and men?

"Its giving pearl clutching status quo defending cognative dissonance internal identity crisis having mook behavior" as the kids would say

whattheheckheck··on Prime Agent: A self-improving RLM agent
Literally says who. Swe are the least credible "engineers". "It depends" "No you cant track us" "No we have no credentials system other than big company shill certs"
whattheheckheck··on I'll be stepping back from leading product for X
Dont forget stealing and leveraging all of journalist and politician Twitter phone data for his own nefarious means
whattheheckheck··on Show HN: Katharos Functional programming and CSP-style concurrency for Python
I think the idea here is what is the best syntax for writing these type of programs in pythonic zen mode and then simply have the library truly optimize it for the run time. Which basically has to be a distributed compute substrate like pyspark or ray.

The goal is more correctness and fluent declarative readability to get business stuff done better, faster and cheaper

whattheheckheck··on Show HN: Katharos Functional programming and CSP-style concurrency for Python
Can you focus on mlops and data pipelines at scale as well as locally. I want to incorporate this into PySpark or Ray to be able to have better composition. Also include plugins or something for arbitrary "registers" or extra logging of things like events for observability outside of normal instrumentation like dyantrace
whattheheckheck··on Ten advances in mathematics and theoretical computer science
Give the grad students these resources and they can do even more!!!
whattheheckheck··on Ten advances in mathematics and theoretical computer science
Yeah I remember reading about something along the lines of Mathematics is now about the scaffolding around you find the problems/solutions not just the problems and solutions. For teaching purposes. This was before this ai craze
whattheheckheck··on Is AI reasoning right for the wrong reasons?
So what do you actually do politically to stop it?
whattheheckheck··on Teach yourself programming in ten years (1998)
It ain't gonna be 10 bucks for long
whattheheckheck··on Uv 0.12.0
Yes omg keep uv pip please
whattheheckheck··on Nvidia, Microsoft, Meta warn against overregulating open-weight models
Tough shit welcome to capitalism
whattheheckheck··on Government orders GitHub to remove Bluetooth-based chat app Bitchat: Jack Dorsey
Regression to the mean...
whattheheckheck··on The front end framework for correctness: built on Effect, architected like Elm
And tla+ / sequence diagram / user flow diagrams / data models all in one "thing"
whattheheckheck··on Quality non-fiction books are the antithesis of AI slop
And what pray tell is everyone doing with their privileged leisure time?

You have access to every single wicked problem in the world and you choose to do nothing.

Shame

whattheheckheck··on LLM-Integrated Multivariable Calculus Course
Who is signing off on the correctness?
whattheheckheck··on Ada: An AI business intelligence software from CSV and Excel(yes LLMs but more)
Nice the next level up is automating where that data got produced from. Hopefully it's correct
whattheheckheck··on The LLM Critics Are Right. I Use LLMs Anyway
You can run to the farm to kill your own chicken so you can stay sharp and fit or figure out what's economically valuable. Or make a bet on what will be valuable later and commit to a brand of yourself
whattheheckheck··on The zero-cost fallacy: open-source software in the agentic era
Regression to the mean of shitty monarchy bullshit in the grand scheme of things
whattheheckheck··on Show HN: Kastor – Terraform-style specs for AI agents
Nice im interested
whattheheckheck··on Who manages the agents?
Yeah it can...
whattheheckheck··on The Tower Keeps Rising
Do you have any github examples publically available?
whattheheckheck··on How to stop Claude from saying load-bearing
If you find yourself getting irritated and physically agitated over language I suggest you do a 5 why analysis on yourself and seek therapy
whattheheckheck··on How to stop Claude from saying load-bearing
Who is we? Own your insults and the consequences of them sir.

When prompting an autoregressive token generator entity to do reasoning on a word logic puzzle you may find value in preferring it to produce rigorous predicate logic step notation with explicit delineation of its generated claims/hypotheses on where to look before wasting 30 dollars on a "debug this" prompt.

The industry will probably will probably coalesce around including the chat history in git MRs to reduce this shenanigans.

← PreviousPage 3 of 25Next →