webyrd/mediKanren
View on GitHub ↗ ★ 338 Racket
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
15 mentions on Hacker News by 12 people: 2 stories, 13 comments · first 2018-06-12 · latest 2024-07-18
20082026
-
A theorem prover for the medical literature: https://github.com/webyrd/mediKanren http://minikanren.org/workshop/2020/minikanren-2020-paper7.p... Not prolog though. But gives an idea about the goals behind the classification of science…
comment by rscho · 2024-07-18 · in Ask HN: What's Prolog like in 2024? -
…but probably THE most impressive biomedicine research work I've seen (and I'm an academic MD): https://github.com/webyrd/mediKanren This is a FOL theorem prover that uses medical research articles as terms. They use it to do genetics and…
comment by rscho · 2022-05-25 · in Annotated implementation of microKanren: an embeddable logic language -
…they have the same goals. To support my point, here's an example of an exotic theorem prover: https://github.com/webyrd/mediKanren It is aimed at medical researchers, and computes proofs about the medical literature, no less! This is a…
comment by rscho · 2022-04-28 · in An automatic theorem proving project -
…the tools... I have not checked in on them for years now but "BioStars Handbook" was up & coming [] https://github.com/webyrd/mediKanren [] https://biostar.myshopify.com/
comment by tejtm · 2021-12-07 · in Ask HN: How to be my own genetic disease researcher for my partner? -
…It reminds me of FOSS in that the funding challenges may be similar, but for treating disease. [0] https://github.com/webyrd/mediKanren
comment by smeej · 2021-09-25 · in “Pay for success” contracts – a model to develop new therapies from old drugs -
…logic programming [2]. Fund them! They're the future! [1] https://www.uab.edu/medicine/pmi/ [2] https://github.com/webyrd/mediKanren
comment by rscho · 2021-09-25 · in “Pay for success” contracts – a model to develop new therapies from old drugs -
…personal genome and suggesting a drug for that! Here's the link to the github app they mentioned: https://github.com/webyrd/mediKanren
comment by cupcake-unicorn · 2021-08-07 · in With a nudge from AI, ketamine emerges as a potential rare disease treatment -
…for reasoning over medical knowledge graphs, using miniKanren + heuristics + indexing. https://github.com/webyrd/mediKanren
comment by pizza · 2021-08-07 · in With a nudge from AI, ketamine emerges as a potential rare disease treatment -
…of mediKanren, which is software that performs reasoning over large biomedical knowledge graphs: https://github.com/webyrd/mediKanren/tree/master/medikanren2 mediKanren is being developed by the Hugh Kaul Precision Medicine Institute at…
comment by will_byrd · 2021-06-02 · in William Byrd on logic and relational programming, miniKanren (2014) -
The Precision Medicine Institute that I now run produces mediKanren: https://github.com/webyrd/mediKanren It's an open source logical reasoning engine (read: 1960's AI) for drug repurposing that we deploy routinely to help patients. There…
comment by mattmight · 2021-01-22 · in Bertrand Might: Life, legacy and next steps -
…which operates over medical research. There was some publicity around mediKanren last year.[1] [0] https://github.com/webyrd/mediKanren [1] https://www.uab.edu/news/health/item/10703-diagnosis-in-2-12...
comment by erjiang · 2020-10-14 · in Unifying the Technical Interview -
Github link: https://github.com/webyrd/mediKanren
comment by est31 · 2019-07-27 · in Bedridden for 11 years, he discovered a surgery for his adrenal condition -
Here is mediKanren (from the same authors): https://github.com/webyrd/mediKanren It's used for automated search through medical databases for drug discovery: https://www.uab.edu/mix/stories/a-high-speed-dr-house-for-me... Here is the…
comment by tom_mellior · 2018-12-17 · in Minikanren – An embedded DSL for logic programming