profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/Jazzpirate/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Dennis Müller Jazzpirate @KWARC, @UniFormal

OpenDreamKit/MathDataWorkshop 6

Organisation and materials for the math data workshop in Cernay, August 2019. See README.md first.

UFrameIT/UFrameIT 6

The current Unity-based implementation of the FrameIT approach

MathHubInfo/Frontend 2

A new MathHub Narration Frontend written in React.

Jazzpirate/Songbook 1

My private songbook

UniFormal/VSCode-MMT 1

MMT-Plugin for Visual Studio Code

Jazzpirate/GClient 0

Client for Google Drive and other cloud hosting services

KWARC/Kalah-Framework 0

Kalah framework for the AI course at FAU WS16/17

torstein-vik/multfuncs-db 0

Framework for a database of multiplicative functions

push eventslatex/sTeX

Dennis Müller

commit sha 8e2af5001719fe1bc7ddf4495b966e6527e67ebb

update

view details

Dennis Müller

commit sha 075661823caa2e99468fd04b55e9c4b19b1211a9

update

view details

push time in 5 days

push eventslatex/sTeX

Dennis Müller

commit sha 9a0218abebd420bc4042d4bc600c37217fd61903

update

view details

push time in 22 days

push eventslatex/sTeX

Dennis Müller

commit sha 160db178cc31591ea7c1c52a8718c21e7ba30289

update

view details

push time in 25 days

push eventslatex/sTeX

Dennis Müller

commit sha 022f7ab83ce2a619c87610471da53fb8d95c0606

update

view details

push time in a month

push eventslatex/sTeX

Dennis Müller

commit sha 20d815342c5f42b1d81a19227a294a0a15719684

update

view details

push time in a month

push eventslatex/sTeX

Dennis Müller

commit sha 0973b04e4a5b53a2d53645a45bc8901041d0e92e

update

view details

push time in a month

push eventslatex/sTeX

Dennis Müller

commit sha 0f68e82ac25894f19bfd92d384f12c7559aba088

update

view details

push time in a month

push eventslatex/sTeX

Dennis Müller

commit sha 8705ef8274037d4ba2cd1c3c71715184e6bec89a

update

view details

push time in a month

push eventslatex/sTeX

Dennis Müller

commit sha f4bf9442d37491c53f983ff9814f449b04a80101

update

view details

push time in a month

push eventslatex/sTeX

Dennis Müller

commit sha 9149cdbac7a1eb2e0f760c469ce73f13cf6e9a7d

update

view details

push time in a month

push eventslatex/sTeX

Dennis Müller

commit sha 14b4835d6773014e872baaa9bcfcfc3b3182af62

update

view details

push time in a month

push eventslatex/sTeX

Dennis Müller

commit sha e72327068f9529499eedec28e9b6f7b6d36036ff

update

view details

push time in a month

push eventslatex/sTeX

Dennis Müller

commit sha 15b534f3dcc617a7be74c05ff156854dd082fe89

update

view details

push time in a month

push eventslatex/sTeX

Dennis Müller

commit sha ad956565b2061f32800c60ca84d90e7fbae39427

update

view details

push time in a month

push eventslatex/sTeX

Dennis Müller

commit sha a08163360ece351e7a1f920f109ba102ad96d314

update

view details

push time in a month

push eventslatex/sTeX

Dennis Müller

commit sha fc1dc530eed4eed8b11ff5a27fed1b81cf0d041a

update

view details

push time in a month

create barnchslatex/sTeX

branch : latex3

created branch time in a month

issue openednkatzz/OLED

Discrepancy wrt scala version in install.sh and sbt file

install.sh contains the line mv target/scala-2.11/oled-${version}.jar ., but OLEDBuild.scala in /project declares scalaVersion := "2.12.9". Consequently, the path should be target/scala-2.12/.

created time in a month

issue openednkatzz/OLED

Error with respect to hardcoded file paths

Trying to run the example documented in the readme, I get the error:

[ERROR] [08/11/2021 12:26:59.282] [HoeffdingLearningSystem-akka.actor.default-dispatcher-4] [akka://HoeffdingLearningSystem/user/Master-Actor/Dispatcher-Actor-learning-mode/terminated-learner-763634979] Cannot run program "/home/nkatz/software/oledhome/clingo/clingo-4.5.4-source/build/release/clingo": error=2, No such file or directory
java.io.IOException: Cannot run program "/home/nkatz/software/oledhome/clingo/clingo-4.5.4-source/build/release/clingo": error=2, No such file or directory

...indeed, it looks like the path "/home/nkatz/..." is hardcoded at several points in the source code.

created time in a month

issue openedyuce/pyswip

Errors on queries

I'm getting a weird bug that I have no idea how to resolve or even properly identify.

My prolog KB provides a clause add_item/2 that (ultimately) adds a new item to the knowledge base. I call this in my python main method with prolog.query() for an initial item, everything works fine, I get back something and calling list() on the return gives me {}. Great. Doing the same with another item i2 right afterwards does the same.

But. When I do the query-call for i2 later, in the constructor method of a class of mine (where it ultimately should happen), it doesn't work. In a normal run, calling list() on the returned value kills the program with a segmentation fault. In debug mode, evaluating list() in the debugger shell prints No more messages and the program is being killed.

Any ideas what's going on here?

created time in 3 months

issue commentideonate/jupyter-innotater

"Error: Module jupyter-innotater, semver range ~0.2.2 is not registered as a widget module"

It's not jupyterlab in my case, it's whatever-vscode-is-doing-for-running-notebooks :-/ at least my jupyter says that no version of jupyterlab is installed...

Jazzpirate

comment created time in 3 months