profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/jyp/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.
Jean-Philippe Bernardy jyp University of Gothenburg Göteborg, Sweden

jyp/dante 370

jyp/boon 223

Ergonomic Command Mode for Emacs

jyp/attrap 36

ATtempt To Repair At Point (emacs flycheck extension)

jyp/glpk-hs 12

Haskell bindings to glpk

jyp/emacs-semantics-theming 8

Foundation for building semantically meaningful themes over emacs

DSLsofMath/ValiantAgda 3

Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda

jyp/hcad 3

Haskell library for CAD

jyp/inox 3

A language with linear types

jyp/Cake 2

Build system as a Haskell library

push eventGU-CLASP/TypedFlow

Jean-Philippe Bernardy

commit sha 261988c0f318a314d2ce2a0fbbc9fd18174334f9

oops, swapped loss and accuracy

view details

push time in 4 days

fork jyp/interleave

Emacs minor mode to interleave notes and text books

fork in 5 days

push eventGU-CLASP/TypedFlow

Jean-Philippe Bernardy

commit sha 97d45f5fe28797d724cc7872273f4a316b42044b

more evaluator fixes

view details

push time in 6 days

push eventGU-CLASP/TypedFlow

Jean-Philippe Bernardy

commit sha ef3e8ea71c2d74f2805c8b3a73f66c280a92084b

oops

view details

push time in 7 days

push eventGU-CLASP/TypedFlow

Jean-Philippe Bernardy

commit sha 4a299cfd875fb44094ccbb4aab3438d3a086d3ee

evaluator fixes

view details

push time in 7 days

push eventGU-CLASP/TypedFlow

Jean-Philippe Bernardy

commit sha 5542c4983f462133e8fbf9e3e78080c61eb0cddf

reset both tables

view details

push time in 7 days

push eventGU-CLASP/TypedFlow

Jean-Philippe Bernardy

commit sha fe0f48686e47f6536882f087dffb47f5dbbeeb58

generalise and simplify probes

view details

push time in 8 days

push eventGU-CLASP/TypedFlow

Jean-Philippe Bernardy

commit sha 46e114968311b941a28db621e11da2cdb835cc7c

wip

view details

Jean-Philippe Bernardy

commit sha 0d35636575d925d82da3a4db5126be7481442479

wip 2

view details

Jean-Philippe Bernardy

commit sha 136a282acf30b1dd5e8f56fd515c9c933f8cbc9e

wip 3

view details

Jean-Philippe Bernardy

commit sha a85a95f1855b04e57738d109a448089e8bca2031

fix locale issue

view details

Jean-Philippe Bernardy

commit sha 9451bb0914acf1b39c4a722f43f05cdca003ce62

wip batching/map/broadcast

view details

Jean-Philippe Bernardy

commit sha 506434d8a7995b0cfef797f5ee5d78594390a6f3

repair initialisers

view details

Jean-Philippe Bernardy

commit sha 329b110fa42ae197b3b986a19e0fc18e097b2d28

get rid of "knownTensors"

view details

Jean-Philippe Bernardy

commit sha 1dbf57a32f6ce87e3f81e4f09126f43845367c8e

get rid of it more

view details

Jean-Philippe Bernardy

commit sha d3a654d15883b4ffadf92efa6b22806e108ee4e2

Aggr: overdue update

view details

Jean-Philippe Bernardy

commit sha 62b36a7f629fe5e545ad814c65e9749425ee1cf3

zipT implementation

view details

Jean-Philippe Bernardy

commit sha eb661bdb6908941f27e95d4b07f9c6ef271cdb62

more knownTensors bs

view details

Jean-Philippe Bernardy

commit sha 9e11eb6a25a3fa09044e40d713ef1f92f636b376

wibbles

view details

Jean-Philippe Bernardy

commit sha 40823c951a8049d48607a64c951f0c5cc7b25dd5

cleanup

view details

Jean-Philippe Bernardy

commit sha 230850e3f4fb62af13341315aca9ff392f773132

remonadification, wip

view details

Jean-Philippe Bernardy

commit sha d26a5b86a09180432678a428af035717d09adb43

tweak generator

view details

Jean-Philippe Bernardy

commit sha 930770596105f3719e869096e852679a7c2216c0

more gen tweaks

view details

Jean-Philippe Bernardy

commit sha a052f92bb1538d87bde929f1a89c9b81571d7818

remonadification, done

view details

Jean-Philippe Bernardy

commit sha bbcfb53758543fa93f7d1b81cadf2e4ec999e21a

fixes

view details

Jean-Philippe Bernardy

commit sha aa137e8f8e77e8463cc9769a444e25a8b60bdae3

rts updates

view details

Jean-Philippe Bernardy

commit sha 7e303d47086176455fd30eebdd5b6b423168809d

run MNIST example

view details

push time in 10 days

push eventGU-CLASP/TypedFlow

Jean-Philippe Bernardy

commit sha 035bbc947f536e5e9f3ffeea7aa476f282158a27

haddock

view details

push time in 10 days

push eventGU-CLASP/TypedFlow

Jean-Philippe Bernardy

commit sha 9b1dceccb50caff72623b6057b29aa82ca414156

get rid of (broken) stateful models and improvement in modularity

view details

push time in 10 days

push eventGU-CLASP/TypedFlow

Jean-Philippe Bernardy

commit sha cf450ffe2090b24f39aa74ba370bfb7a9eaf56b1

predict: fixes

view details

push time in 10 days

create barnchGU-CLASP/TypedFlow

branch : cleanup

created branch time in 11 days

push eventGU-CLASP/TypedFlow

Jean-Philippe Bernardy

commit sha 598d8a7f77f154672c5c390e959070619ed82158

loss / accuracy over batch

view details

push time in 11 days

push eventGU-CLASP/TypedFlow

Jean-Philippe Bernardy

commit sha dc52b8ed2397f76770e7d065223828639941619d

oops

view details

push time in 12 days

push eventGU-CLASP/TypedFlow

Jean-Philippe Bernardy

commit sha 1e02f13c7991fe4eb98c8b1e03eb77c83c27e4a4

more experimentation with triangular matrices

view details

push time in 12 days

push eventjyp/emacs-semantics-theming

Jean-Philippe Bernardy

commit sha 172ccdc571acf5d9c1ca13d308976eb114044c24

fix steal implementation

view details

push time in 12 days

push eventGU-CLASP/TypedFlow

Jean-Philippe Bernardy

commit sha acae495f108a79935207e3fb9599305d18fe925a

tab -> space

view details

push time in 12 days

push eventGU-CLASP/TypedFlow

Jean-Philippe Bernardy

commit sha 5c42ec8fe3798b773c3596caf54fe798f37514aa

fixes for gather

view details

push time in 12 days

push eventGU-CLASP/TypedFlow

Jean-Philippe Bernardy

commit sha 244d650508536863b36ab19743b0554c67eaef43

if -> where

view details

push time in 12 days

push eventGU-CLASP/TypedFlow

Jean-Philippe Bernardy

commit sha a877b644a6b3b8e8dd18956326d882f5e398fab8

stronger type

view details

push time in 12 days

push eventGU-CLASP/TypedFlow

Jean-Philippe Bernardy

commit sha 9b6336153a57ec61927effc7fcda92b5ba84be11

cleanoid

view details

push time in 12 days

push eventGU-CLASP/TypedFlow

Jean-Philippe Bernardy

commit sha 11890d036b4e185c0f32bd63629f1dfcd20a5d58

more support for band and triangular matrices

view details

push time in 12 days

push eventGU-CLASP/TypedFlow

Jean-Philippe Bernardy

commit sha 09c6defc7de84b76b475e8d716e13044f075d41d

proofs (useless stuff)

view details

Jean-Philippe Bernardy

commit sha 53594df73daad6a678726e773dbaa6313792abbb

fill triangular

view details

push time in 13 days

push eventGU-CLASP/TypedFlow

Jean-Philippe Bernardy

commit sha 2303d8bcb6a615993f3a137f69f23cd9c051e6c4

support for reverse

view details

push time in 14 days

push eventtweag/linear-constraints

Jean-Philippe Bernardy

commit sha b8a76b5a277de06f7cff47f614040fc64fe964b5

clarification

view details

push time in 14 days

push eventGU-CLASP/TypedFlow

Jean-Philippe Bernardy

commit sha c9b06f6c6fa5c167f2fb7185f86ed2eb436f4d5e

support for triangle zeroing

view details

push time in 14 days

push eventtweag/linear-constraints

Jean-Philippe Bernardy

commit sha b41b5a9cced34ec2ed2f23e43b1c07f809c6622f

read and comment reviews

view details

push time in 15 days

push eventtweag/linear-constraints

Jean-Philippe Bernardy

commit sha 8ad80c2658db35bb2957e16ab895e2e44632548e

popl reviews

view details

push time in 15 days

push eventGU-CLASP/CommunityConditionedLM

Jean-Philippe Bernardy

commit sha bf54a6d81f06c1c3bd97d5cb8570cf1d788649d2

minor notes

view details

push time in 17 days

push eventGU-CLASP/CommunityConditionedLM

Jean-Philippe Bernardy

commit sha 34b2beb6c6ae62439aaadd5aee5585232f8b3b25

add reviews

view details

push time in 17 days