Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
mebassett
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
5 ms
·
1.
▲
by
mebassett
8mo ago
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 (which would contain the sqrt of -1) and al
2.
▲
by
mebassett
10mo ago
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 parameters. at float32s that comes out to something like 700GB of
3.
▲
Show HN: I wrote a (slightly less slow, but still bad) autodiff from scratch
(github.com)
1 points
by
mebassett
1y ago
|
0 comments
4.
▲
by
mebassett
1y ago
"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 to do my masters thesis. :)
5.
▲
by
mebassett
1y ago
Maritime shipping software | Full-stack software engineers | UX Designers | Implementation Managers & Customer Success execs | Data analysts | Global REMOTE | UCT-8 to UCT+4 Would you like to help tackle one of the most important secto
6.
▲
by
mebassett
2y ago
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 shipping? We're hiring for multiple roles: software enginee
7.
▲
The Local-Global Principle of Lovingkindness
(mebassett.info)
2 points
by
mebassett
2y ago
|
0 comments
8.
▲
Late Stage Social Capitalism
(mebassett.info)
6 points
by
mebassett
2y ago
|
0 comments
9.
▲
by
mebassett
2y ago
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 case of category theory, I suppose. But you can probably do
10.
▲
by
mebassett
2y ago
> 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 be used for commercial purposes. Or any purposes you wa
11.
▲
by
mebassett
2y ago
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 slow .
12.
▲
by
mebassett
2y ago
> - 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 - specially for auto diff/math can you represent operation
13.
▲
Show HN: I wrote an autodiff in C++ and implemented LeNet with it
(gitlab.com)
36 points
by
mebassett
2y ago
|
9 comments
14.
▲
by
mebassett
2y ago
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 [0] has funds to guide development of the language and they
15.
▲
by
mebassett
2y ago
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 don't question my "no, thank you". And while
16.
▲
by
mebassett
2y ago
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 about 3-5min of use, regardless of whether I'm booti
17.
▲
by
mebassett
3y ago
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 violence. I'm not sure that it applies to thi
18.
▲
Generative AI Turns Ordinary Computers into Weapons of Mass Copyright Violation
(mebassett.info)
1 points
by
mebassett
3y ago
|
1 comments
19.
▲
by
mebassett
3y ago
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 sum, the other got lucky and a bank involved stopped the t
20.
▲
by
mebassett
3y ago
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) before you can really be creative on it. or like learning to wr
21.
▲
by
mebassett
3y ago
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) an equal probability. What if it weighted the probability
22.
▲
by
mebassett
3y ago
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: learning) c++ for it, but it feels like rust is getting all
23.
▲
by
mebassett
3y ago
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" and it resonates with something I've lo
24.
▲
by
mebassett
3y ago
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 classical and quantum physical simulations.
25.
▲
by
mebassett
3y ago
"We also examined whether genetic risk for Alzheimer’s Disease or brain volumes suggestive of early neurodegeneration were associated with a reduction in slow-wave sleep. We found that a genetic risk factor for Alzheimer’s disease, bu
26.
▲
Benjamin Franklin’s Phonetic Alphabet
(smithsonianmag.com)
4 points
by
mebassett
3y ago
|
0 comments
27.
▲
by
mebassett
3y ago
If you are in the UK you can also contact the competition and markets authority. I've also created a parliament petition, which has gotten the 5 min supporters it needs before they review and publish it. I will share it on HN once its
28.
▲
by
mebassett
3y ago
or after a few years of postdocs and job security that comes in 12-24 month bouts, you might have moved into industry anyway and just starting making 60% of what you're making now.
29.
▲
by
mebassett
3y ago
https://mebassett.info/essays - whatever idea I have that I think is worth exploring in a rambling essay. some hits have been Human attention has become a marxist commodity ( https://mebassett.info/human-att
30.
▲
by
mebassett
3y ago
Flyp Homes Ltd | London, UK | ONSITE / HYBRID (flexible WFH) | https://flyp.co Mid and Sr Engineers (50-100k gbp). Data Analysts (60-75k gbp). If you've ever sold a home in the UK then you have likely felt that no one
More ›