Human Knowledge and PhDs

This page summarizes the projects mentioned and recommended in the original post on /r/coolguides
Racket minikanren ncats-translator

InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • mediKanren

    Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

    • And wow, he uses logic programming to deduce a diagnostic from the facts https://github.com/webyrd/mediKanren .. and used to find out what his son had https://www.statnews.com/2019/07/25/ai-expert-writing-code-save-son/

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • With a nudge from AI, ketamine emerges as a potential rare disease treatment

    2 projects | news.ycombinator.com | 7 Aug 2021

  • William Byrd on Logic and Relational Programming, MiniKanren (2014)

    4 projects | news.ycombinator.com | 1 Jun 2021

  • Bertrand Might: Life, legacy and next steps

    1 project | news.ycombinator.com | 22 Jan 2021

  • Annotated implementation of microKanren: an embeddable logic language

    9 projects | news.ycombinator.com | 25 May 2022

  • Racket Language

    5 projects | news.ycombinator.com | 20 Apr 2024