Rick de Wolf

Julia REPL crash when using NewtonRaphson on a semi-big problem

1

Hi folks, just ran into a major issue when trying to solve a system of ~11000 nonlinear equations. For context, it's a discretized version of a system of PDEs defined...

Implement SemilinearODEProblem

1

Could be used as an alternative to DAEProblem/ODAEProblem/ODEProblem -> quoting Chris Rackauckas in the Julia slack

Moving through stacks / stack skipping (feature request)

3

I have been enjoying the stacked windows feature that was implemented a while ago, I think it's a great addition to pop shell, however there is an issue that makes...

Howto - Python yield statement

1

Hi folks, not sure if this is the best place to get some advice, feel free to let me know if it's not. I'm trying to implement a Python class...

Build error in CheckIfUserIsStillTyping.lean

6

Hiya, I'm following the instructions provided by both Mathematics in Lean and Paperproof and it seems to be completely broken at the moment. After adding `require Paperproof from git "https://github.com/Paper-Proof/paperproof.git"@"main"/"lean"...