frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Golden Algebra (The Textbook: Preview Edition)

https://zenodo.org/records/15708593
2•tristenharr•5h ago

Comments

tristenharr•5h ago
Requesting help with formalization in Lean!

Here’s what I have so far:

https://zenodo.org/records/15744937

tristenharr•5h ago
Polylogarithm values at a golden ratio based argument paper:

https://zenodo.org/records/15696357

Posted 1 week ago on Zenodo, 8k views, >900 downloads, supposedly is a lot for number theory?

I have no idea.. would love a discussion here.. do you have math friends?

gavinray•4h ago
Tristen, we used to work together.

I mean this in the most genuine way possible: Please reach out to a mental health professional.

Ask yourself whether it's more probable that you've solved the Riemann Hypothesis, or are having clouded thoughts.

tristenharr•3h ago
Ah yes. I very well may be going a bit crazy.

Well whatever mental health struggles I am enduring, it is certainly Hasura’s fault. More specifically, Tanmai’s fault. But I’m sure he’ll run the company into the ground without any help needed before too long.

It’s a horrible thing man. Did you not hear the story? I was told I was getting promoted and moved onto a new team at the offsite, then when I went into my performance review expecting the promotion and suddenly I was fired. You know how things go at Hasura… everyone just disappears sooner or later.

You know how it goes… Tanmai decides he doesn’t like someone, so he just kicks them out the door, no matter how hard they work or how much it might hurt his company.

Idk man, I would get out if I were you.

I literally turned down the severance because of just how messed up what they did was, so I could speak about it publicly in places like this.

Generative Engine Optimization Tools

https://github.com/izak-fisher/generative-engine-optimization-tools
1•pneumaticteam•32s ago•1 comments

Cloudflare Expands AI Capabilities with Launch of Thirteen New MCP Servers

https://www.infoq.com/news/2025/06/cloudflare-ai-new-mcp-servers/
1•rbanffy•1m ago•0 comments

Join me if you can: ClickHouse vs. Databricks and Snowflake

https://clickhouse.com/blog/join-me-if-you-can-clickhouse-vs-databricks-snowflake-join-performance
1•samaysharma•1m ago•0 comments

Putting Hanami in the Browser via WASM

https://katafrakt.me/2025/06/23/hanami-on-wasm/
1•mooreds•2m ago•0 comments

Hybrid Yamaha motorcycle reaches 200mpg

https://www.visordown.com/news/new-yamaha-boasts-more-500-tank-range
1•harambae•3m ago•0 comments

How close should you live to a park?

https://mattsayar.com/how-close-should-you-live-to-a-park/
1•MattSayar•3m ago•0 comments

Printing the web: making webpages look good on paper – Piccalilli

https://piccalil.li/blog/printing-the-web-making-webpages-look-good-on-paper/
1•rbanffy•3m ago•0 comments

The software engineering "squeeze" – by Anton Zaides

https://newsletter.manager.dev/p/the-software-engineering-squeeze
1•rbanffy•3m ago•0 comments

Show HN: I made ShiporPay.com a Stop procrastination tool I build in my weekends

https://shiporpay.com/
1•bjorndunkel•3m ago•0 comments

We Tried That

https://staysaasy.com/management/2025/06/26/we-tried.html
1•gpi•4m ago•0 comments

Ask HN: How much are you spending monthly to use AI?

1•Dotnaught•5m ago•0 comments

Defining Zero Trust for Bring Your Own Cloud (BYOC)

https://signoz.io/blog/zero-trust-bring-your-own-cloud/
1•pranay01•5m ago•0 comments

Why every developer should have a side project: My 10-year journey of failings

https://bohdanl.com/blog/side-projects-personal-learning
1•bliashenko•8m ago•0 comments

The Principle of LII

https://buttondown.com/blog/segmenting-email-lists
1•coloneltcb•9m ago•0 comments

The First Major AI Fair Use Rulings: What the Anthropic and Meta Cases Mean

https://blog.withedge.com/p/ai-fair-use-case-meta-anthropic-facebook-sarah-silverman
2•ejz•14m ago•0 comments

Outliers: Jimmy Pattison – Building a $16B Empire Without Connections, Capital

https://fs.blog/knowledge-project-podcast/outliers-jimmy-pattison/
2•feross•14m ago•0 comments

Storefronts and Apartments Grow, Fertilized by New Zoning and Tax Schemes

https://www.thecity.nyc/2025/06/10/city-yes-adams-tax-development-apartments/
1•PaulHoule•14m ago•0 comments

Show HN: Self-Hosted OAuth Authentication Library for MCP Servers

https://github.com/mcpauth/mcpauth
2•seanobannon•15m ago•0 comments

AI Is Burning – 5 New Papers [video]

https://www.youtube.com/watch?v=wzXBXGVbItE
1•mentalgear•16m ago•1 comments

First 'FireSat' satellite delivers thermal images

https://spacenews.com/first-firesat-satellite-delivers-thermal-images/
2•jonbaer•16m ago•0 comments

The AI safety problem is wanting

https://dynomight.substack.com/p/wanting
1•crescit_eundo•19m ago•0 comments

OAuth consent phishing explained and prevented

https://techcommunity.microsoft.com/blog/microsoft-entra-blog/oauth-consent-phishing-explained-and-prevented/4423357
2•mooreds•20m ago•0 comments

Design Decisions Behind App.build, a Prompt-to-App Generator

https://neon.com/blog/design-decisions-behind-app-build
1•clarkbw•20m ago•0 comments

We are the new gremlins in the AI machine

https://www.ft.com/content/aaa57d4b-fee6-4109-87ac-9222d706fe07
2•rntn•21m ago•0 comments

Migrating from In-House Authentication to SaaS: Our FusionAuth Journey

https://medium.com/fsmk-engineering/migrating-from-in-house-authentication-to-saas-our-fusionauth-journey-26889f5def5d
1•mooreds•21m ago•0 comments

Begun, the AI Browser Wars Have

https://spyglass.org/ai-browser-wars/
1•jbegley•21m ago•0 comments

The Absolute Simplest Way to Upload Images from a Microcontroller to the Cloud [video]

https://www.youtube.com/shorts/pp4AC67mjuw
1•hasheddan•21m ago•0 comments

We hit a wall testing AI agents, agents simulations works better

1•draismaa•22m ago•0 comments

V-JEPA 2

https://ai.meta.com/vjepa/?_fb_noscript=1
4•trueduke•23m ago•0 comments

DEVONthink 4.0 Copernicus

https://www.devontechnologies.com/blog/20250626-devonthink-40-copernicus
1•treetalker•23m ago•0 comments