Viewing profile — mebassett

the title is a bit clickbait - mathematicians don't disagree, all the "conceptions" the article proposes agree with each other. It also seems to conflate the algebraic closure of Q…

large language models are large and must be loaded into memory to train or to use for inference if we want to keep them fast. older models like gpt3 have around 175 billion paramet…

Almost a year ago I shared an autodiff I wrote from scratch and an implementation of LeNet in it ( https://news.ycombinator.com/item?id=41875358 ). Another HNer, tightbookkeeper, o…

"As with many books, this one is best read piecewise backwards. In describing the contents, I accordingly begin with Part III." Intro to one of the maths books I had to reference t…

Maritime shipping software | Full-stack software engineers | UX Designers | Implementation Managers & Customer Success execs | Data analysts | Global REMOTE | UCT-8 to UCT+4 Would …

Maritime shipping software | Multiple roles | Global REMOTE | UCT-8 to UCT+4 Would you like to help tackle one of the most important sectors for the global economy - maritime shipp…

I would treat them as totally different things. There is a Category of Sets, but a Set of Categories would be a bit harder to define. So axomatic set theory could be a specific cas…

> In the case of GIMP, the very name itself means it cannot be used in commercial enterprises. I have no idea where you got this info from but it is 100% wrong. Of course GIMP can …

I think the main point here is that while this style might make sense for a GUI framework it's not so great for a numerical library like this. For example: my library is really slo…

> - can you allocate memory for the whole system? - can you make types homogenous so they can fit in tight arrays (unions are common for nodes) - can you batch similar types - spec…

Lean definitely intends to be usable as a general purpose language someday. but I think the bulk of the people involved are more focused on automated theorem proving. The Lean FRO …

much of your experience with this depends on who you are and how society perceives you. I do not drink alcohol, but I am also a 6ft tall competitive weightlifter. People usually do…

I bought a framework laptop (13in, intel, 13th gen) at the end of 2023 and have had nothing but problems with it. Mostly stability issues. It freezes entirely without warning after…

I usually use "democracy" to describe a situation where there are regular transfers of power through reason, persuasion, and cooperation and not through violence or the threat of v…

I have known two publicly traded companies that fell victim to similar sorts of scams (someone impersonating the cfo or ceo over the phone). One was defrauded out of a seven figure…

yes. learning to doing maths is a bit like learning to play an instrument in that you have to spend lots of times practicing scales or other simple stuff (doing the exercises) befo…

this is old tech - but it had me thinking. Markov chains are picking the next token from a random set and they are giving approximately all possible tokens (from the training set) …

why would someone learn c++ in 2024, assuming one is not about to work on legacy projects? I'm about to start a quixotic new personal project and was considering using (read: learn…

There is a lot of disagreement towards this idea in the thread, but I really like this project suggestion for someone to make a multi-faceted project that'll help someone "grow up"…

factoring large integers into primes (shor's algorithm). that and grover's search promise to provide ways to crack a lot of encryption. also quantum computing should improve both c…