HackerTrans
TopNewTrendsCommentsPastAskShowJobs

dinunnob

no profile record

Submissions

Show HN: SymDerive – A functional, stateless symbolic math library

26 points·by dinunnob·5개월 전·14 comments

comments

dinunnob
·4개월 전·discuss
I just said pliny was amazing, fwiw - i like that hes hacking on these and posts about it. I rushed to defend, i wish more people were taking old school anarchist cookbook approaches to these things
dinunnob
·4개월 전·discuss
Yeah but i think the philosophy is to show how precarious the guardrails are
dinunnob
·4개월 전·discuss
I dont think anyone is going to dispute this
dinunnob
·4개월 전·discuss
[flagged]
dinunnob
·4개월 전·discuss
Hmm, pliny is amazing - if you kept up with him on social media you’d maybe like him https://x.com/elder_plinius
dinunnob
·5개월 전·discuss
Here's a blog post where symderive was used with Claude Code's team agent framework to recast Fischer's early work in a modern language:

https://dinunno.substack.com/p/transforming-fisher-an-agenti...
dinunnob
·5개월 전·discuss
[flagged]
dinunnob
·5개월 전·discuss
fixed in the readme. thanks -

while we are talking imports ... how did `import pyspark.sql.functions as F` ever get past the pep police
dinunnob
·5개월 전·discuss
removed claim from README
dinunnob
·5개월 전·discuss
It could definitely be better though
dinunnob
·5개월 전·discuss
You can specify symmetry/antisymmetry patterns for tensor index slots and it takes advantage of that to speed up the calculations. This part was pretty important for me so i spent some time thinking about it. I wanted to try to put xACT’s patterns in but it would have been quite the undertaking.
dinunnob
·5개월 전·discuss
Not rigorous, but intuition derived from expression string complexity for postfix operations vs standard sympy style. I’ll take this out, readme was written from sleazy used car salesman advertising point of view. Was more rigorous in examples/test
dinunnob
·5개월 전·discuss
Yeah, you’re not wrong. Makes the syntax a bit annoying here (goal was to lower barrier of entry for physicists). I agree this is bad practice.