Verifiability in computer-aided research: the role of digital scientific notations at the human-computer interface

View article
RT @khinsen: @thesephist There have been a few attempts at better integrating code and natural language: pseudocode, literate programming,…
reply repost on X like
RT @khinsen: @thesephist There have been a few attempts at better integrating code and natural language: pseudocode, literate programming,…
reply repost on X like
1445 days ago
RT @khinsen: @thesephist There have been a few attempts at better integrating code and natural language: pseudocode, literate programming,…
reply repost on X like
1445 days ago
RT @khinsen: @thesephist There have been a few attempts at better integrating code and natural language: pseudocode, literate programming,…
reply repost on X like
1445 days ago
@thesephist There have been a few attempts at better integrating code and natural language: pseudocode, literate programming, notebooks. I am exploring another path: design a formal language for embedding into natural language: https://t.co/LbmEmHmnvG, https://t.co/9uGwduJGiP
reply repost on X like
1694 days ago
@jamespjh That's a very good start! I like the idea of extending HCI beyond GUIs. APIs and CLIs are what lots of people interact with every day. Plus PLs and specifications (see https://t.co/sjKENYG01r)
reply repost on X like
RT @khinsen: What I have been working on as a first step is a digital scientific notation, in other words a specification language for scie…
reply repost on X like
1961 days ago
What I have been working on as a first step is a digital scientific notation, in other words a specification language for scientific models: https://t.co/TY7Gqqqi2g, https://t.co/sjKENYG01r Warning: it's far from usable at this time! (11/n)
reply repost on X like
RT @khinsen: @sir_deenicus @o_guest @andrea_e_martin Interesting stuff! Do you have a pointer to a more detailed description! I have been w…
reply repost on X like
2125 days ago
@sir_deenicus @o_guest @andrea_e_martin Interesting stuff! Do you have a pointer to a more detailed description! I have been working in this space as well, from a different angle (see https://t.co/sjKENYG01r for a description and https://t.co/Q3ULK0a4yK for experimental code).
reply repost on X like
RT @khinsen: "One of the real travesties is that there’s no way you could have reproduced [the Berkeley team’s] algorithm—the way they had…
reply repost on X like
RT @khinsen: "One of the real travesties is that there’s no way you could have reproduced [the Berkeley team’s] algorithm—the way they had…
reply repost on X like
RT @khinsen: "One of the real travesties is that there’s no way you could have reproduced [the Berkeley team’s] algorithm—the way they had…
reply repost on X like
RT @khinsen: "One of the real travesties is that there’s no way you could have reproduced [the Berkeley team’s] algorithm—the way they had…
reply repost on X like
RT @khinsen: "One of the real travesties is that there’s no way you could have reproduced [the Berkeley team’s] algorithm—the way they had…
reply repost on X like
2681 days ago
"One of the real travesties is that there’s no way you could have reproduced [the Berkeley team’s] algorithm—the way they had implemented their code—from reading their paper.” https://t.co/2xGHxOyIvS This is why we need digital scientific notations: https://t.co/sjKENYG01r
reply repost on X like
Verifiability in computer-aided research: the role of digital scientific notations at the human-computer interface https://t.co/kWySDNlIdn https://t.co/BCxL0jQn4s
reply repost on X like
RT @khinsen: @roberthaines77 You might be interested in this paper that addresses the questions you raise: https://t.co/20cgE1AH84. Also th…
reply repost on X like
2703 days ago
@roberthaines77 You might be interested in this paper that addresses the questions you raise: https://t.co/20cgE1AH84. Also this more fundamental one: https://t.co/FBCQN05xIS. And this video: https://t.co/oMLpMrHwRx
reply repost on X like
RT @PeerJCompSci: Verifiability in computer-aided research: the role of digital scientific notations at the human-computer interface https:…
reply repost on X like
2709 days ago
RT @PeerJCompSci: Verifiability in computer-aided research: role of digital scientific notations at the human-computer interface https://t.…
reply repost on X like
Verifiability in computer-aided research: role of digital scientific notations at the human-computer interface https://t.co/kWySDNlIdn https://t.co/4byf5MbSol
reply repost on X like
RT @khinsen: My article has been published today in @PeerJCompSci https://t.co/LbmEmHmnvG #Human-ComputerInteraction #DigitalLibraries
reply repost on X like
RT @khinsen: My article has been published today in @PeerJCompSci https://t.co/LbmEmHmnvG #Human-ComputerInteraction #DigitalLibraries
reply repost on X like
RT @khinsen: My article has been published today in @PeerJCompSci https://t.co/LbmEmHmnvG #Human-ComputerInteraction #DigitalLibraries
reply repost on X like