Log inSign up
Image
user avatar
Graphify Labs (YC S26)
@graphify
knowledge graph engine for your codebases backed by @ycombinator
San Francisco, CA
graphify.com
Joined June 2024
1
Following
1,560
Followers
AffiliatesRepliesMedia
  • user avatar
    Graphify Labs (YC S26)
    @graphify
    17h
    Code generation is solved. Proving the code is correct is not. Human defines the ontology and properties first. LLM implements against them. Then we formally verify the design. Every single line of code needs a formal proof. That’s where this has to go.
    Image
  • user avatar
    Graphify Labs (YC S26)
    @graphify
    Jun 28
    We’ve created a Discord for Graphify updates on every release, open discussions, and a place for the community to shape where this goes. Scan to join.
    Image
    user avatar
    Safi
    Graphify Labs (YC S26)
    @safishamsii
    Jun 28
    Say no more, I just set it up for you. I’ve created a Discord for Graphify where we can all hang out. I’ll be posting updates about every open source release there, and we can also discuss research papers on knowledge graphs. A lot of people are already using Graphify to build

  • See @graphify's full profile

    Sign up
    Log in