Search: github.com/StanfordPL | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Show HN: Agent-to-code JIT compiler for Z3-theorem-proving agents (github.com/stanford-mast)

6 points

7 months ago

32.

A1: Agents-to-Code JIT Compiler (github.com/stanford-mast)

5 points

7 months ago

33.

STaRK: Benchmarking LLM Retrieval on Textual and Relational Knowledge Bases (github.com/snap-stanford)

5 points

2 years ago

34.

An Open Source Demonstration Using LLMs to Explain Health Records (github.com/StanfordBDHG)

4 points

3 years ago

35.

Course materials for Stanford CS240h, "Functional Systems in Haskell" on Github (github.com/bos)

4 points

15 years ago

36.

Compile on AWS lambda when using a slow local machine (github.com/StanfordSNR)

4 points

6 years ago

37.

Stanford Super VIP Cheatsheet: Machine Learning [pdf] (github.com/afshinea)

4 points

7 years ago

38.

VIP Cheatsheets for Stanford's CS 230 Deep Learning (github.com/afshinea)

4 points

8 years ago

39.

Show HN: A1 – compiler for AI agents into maximally deterministic code (github.com/stanford-mast)

3 points

6 months ago

40.

Show HN: CS43 – Functional Programming Paradigms (github.com/stanfordhaskell)

3 points

7 years ago

41.

Guardian Agent: secure agent forwarding for Mosh or SSH (github.com/StanfordSNR)

3 points

9 years ago

42.

LZR detects and fingerprints unexpected services running on unexpected ports (github.com/stanford-esrg)

3 points

3 years ago

43.

The Foundation Model Transparency Index (github.com/stanford-crfm)

3 points

3 years ago

44.

HealthGPT – Query your Apple Health data with natural language (github.com/StanfordBDHG)

3 points

3 years ago

45.

Guardian Agent: secure SSH-agent forwarding for Mosh and SSH (github.com/StanfordSNR)

3 points

6 years ago

46.

Stanford Super VIP Cheatsheet: Deep Learning [pdf] (github.com/afshinea)

3 points

7 years ago

47.

Machine Learning Cheatsheets for Stanford's CS 229 (github.com/afshinea)

3 points

8 years ago

48.

Machine Learning Cheatsheets for Stanford's CS 229 (github.com/afshinea)

3 points

8 years ago

49.

Fast Robot Kinematics and Dynamics in Jax (github.com/StanfordASL)

2 points

8 days ago

50.

Show HN: A1 – cost-optimizing JIT for CRUD AI agent translation to code (github.com/stanford-mast)

2 points

5 months ago

51.

JIT Compiling AI Agents to Code (github.com/stanford-mast)

2 points

7 months ago

52.

A1: Agent-to-Code JIT Compiler (github.com/stanford-mast)

2 points

7 months ago

53.

Levanter: Scalable, Reproducible Foundation Models with Named Tensors and Jax (github.com/stanford-crfm)

2 points

2 years ago

54.

Guardian Agent: secure agent forwarding for Mosh or SSH (github.com/StanfordSNR)

2 points

2 years ago

55.

SUQL: Conversational Search over Structured and Unstructured Data with LLMs (github.com/stanford-oval)

2 points

2 years ago

56.

Haliax: Named Tensors for Legible Deep Learning in Jax (github.com/stanford-crfm)

2 points

2 years ago

57.

MLAgentBench: Build ML models via GPT-4, Claude 1, etc. (github.com/snap-stanford)

2 points

3 years ago

58.

Serial Attached SCSI (SAS) Linux Utilities and Python Library (github.com/stanford-rc)

2 points

3 years ago

59.

Gg – The Stanford Builder (github.com/StanfordSNR)

2 points

5 years ago

60.

Guardian Agent (secure ssh-agent forwarding for Mosh and SSH) (github.com/StanfordSNR)

2 points

7 years ago