ai-research-survey

Systematic scan of agentic development research. What's signal, what's noise.
git clone https://git.shiptheloop.com/ai-research-survey.git
Log | Files | Refs

hn.json (366B)

      1 {
      2   "threads": [
      3     {
      4       "hn_id": "42020243",
      5       "title": "FVEval: Language Model Capabilities in Formal Verification of Digital Hardware",
      6       "points": 1,
      7       "comments": 0,
      8       "url": "https://news.ycombinator.com/item?id=42020243",
      9       "created_at": "2024-11-01T18:46:28Z"
     10     }
     11   ],
     12   "top_points": 1,
     13   "total_points": 1,
     14   "total_comments": 0
     15 }

Impressum · Datenschutz