Show HN: Open Prompts – dataset of 10M Stable Diffusion generations

2022-09-22

DALL·E is the first darling of Web 3.0, The Semantic Web

2022-09-22

Extracting a Verified Interpreter from Isabelle/HOL

2022-09-21

Entitlement in Open Source

2022-09-21

txtai: A FOSS vmVector ML Database for Intelligent Semantic Search

2022-09-20

Simple Type Inference for System F

2022-09-18

Semantic topic modeling for music search

2022-09-18

Semantic Domain: The Golden Age of PL Research

2022-09-17

Show HN: The Semantic Graph

2022-09-16

The Golden Age of Programming Languages Research

2022-09-15