Recent submissions

Comment · 1 month ago
Previous to you tax dollars and philanthropy have funded math in various forms and you reap the benefits.
Comment · 1 month ago
I agree at the high level. STEM bringing general benefit and greater understanding of the world is the main reason. This is true whether or not humans or an AGI is driving the progress.
Comment · 1 month ago
"It is not the destination, but the journey that matters"

For now, AI will be another tool in the toolbox of mathematicians. With humans driving the conversation to help understand the world better. If/when AGI is reached maybe we won’t be in the driver seat as much. I don’t think that matters. The goal of math is to achieve greater understanding of the world, regardless if humans are driving or if an AI is.

Comment · 5 months ago
Is keeping your company private the easiest way to get around this?
Comment · 8 months ago
Been using GLM-4.7 for a couple weeks now. Anecdotally, it’s comparable to sonnet, but requires a little bit more instruction and clarity to get things right. For bigger complex changes I still use anthropic’s family, but for very concise and well defined smaller tasks the price of GLM-4.7 is hard to beat.
Comment · 10 months ago
Using a BigCorp service also has risks. You are exposed to many of their vulnerabilities, that’s why our information ends up in data leaks.
Comment · 11 months ago
Have you bought one?
Comment · 1 year ago
Also curious about the time sinks! Fingers crossed no issues with my services so far. The initial setup was tedious: configuring multiple services with their own configuration intricacies, and having proper backups. I am looking for something that would help reduce the setup toil, maybe something like nix?
Comment · 1 year ago
thanks for sharing. been looking for something like this for awhile
Comment · 1 year ago
The solutions across different BigCorp Clouds varies depending on the SLA from their underlying network. Doing this on top the public internet is very different than on redundant subsea fiber with dedicated BigCorp bandwidth!
Comment · 1 year ago
Does it follow the protocol properly? I’ve had some chargers that don’t default to the lowest output for dumb usb-c devices
Comment · 1 year ago
Had a G602 for many years, and then migrated to M720 triathlon. I like the G series ergonomics, but the G604 kept breaking on me. M720 has treated me well so far and support for standard battery cells is very nice.
Comment · 1 year ago
Support for standard battery cells is seriously underrated! Especially when you are on-the-go and your mouse dies, all you need to do is swap in a fresh rechargeable AA/AAA. No need to deal with a cable or waiting for a recharge.
Comment · 2 years ago
Agreed. So much so I wonder if they engrave all lab-grown ones, so they don’t get mixed up easily with mined and ruin their price.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton