Search: github.com/reasonink | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

601.

I made a new TypeScript runtime on Node.js

3 years ago

1 points

602.

Ask HN: How to get a job as a test case engineer for AI?

3 years ago

1 points

603.

Show HN: Inseq – An Interpretability Toolkit for Generative Language Models

github.com/inseq-team

4 years ago

1 points

604.

Ask HN: Resources on writing a parser in TypeScript's type system

5 years ago

1 points

605.

Ask HN: What are the best ways to reason about async protocols?

7 years ago

1 points

606.

Show HN: Agent-to-code JIT compiler for Z3-theorem-proving agents

github.com/stanford-mast

7 months ago

6 points

607.

Towards an Implementation-Independent Interface for Semantic Web in Prolog [pdf]

github.com/Kiyoshi364

6 months ago

2 points