HN Explorer

mrtie

↗ HN profile [ 17.2 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: Like LeetCode, but multi-file and multi-step (loopprep.dev)

    On LeetCode you write one function, it passes, and you're done. Most AI labs such as Anthropic and OpenAI, as well as some big tech companies such as Meta, Snowflake and Databricks, don't stop in one function and…

    1 points 3
  2. Ask HN: Has anyone tried to rewrite a law in Prolog?

    Curious if it is possible and if it makes sense to define everything in a law or constitutional act as logical rules using a logic-based programming language such as Prolog. It'd be really fun to simply type a logical…

    6 points 5