Linear Logic – Par Part 2 - Hackdot

Hackdot

News for hackers. Stuff that matters.

Sections

Top
Latest
Ask HN
Show HN
Jobs
Polls
Older Stuff
Search

About

Every story and comment from the Hacker News API, in a layout borrowed from 2001.

A comment on Linear Logic – Par Part 2. Parent comment

Re:Linear Logic – Par Part 2 by hoping1 on Tuesday February 11, 2025 @02:15PM (#43017022)

Thanks!

[ Parent | on HN ]

There are no comments on this comment yet.

Ask HN

How do you share an open-source project without being treated as spam?
Would OpenCode become more powerful if 90% of it were written in Rust?
Why doesn't Ramp AI Index include OpenRouter or other aggregators?
Do you believe RSI is possible?
How do you care about a project that is predominately generated by AI?
Should I be stockpiling goods because of AI and cybersecurity?

Show HN

Overdeck 0.74 – MCP tools for coding agents, plus phone apps
Screen time monitor and self control app Tabstinence
GraphFlow – system design diagrams that run in the browser
Prolog-Powered Reverse WAF Logic Perimeter
Autonomous script testing 1.58M Harvard MPC orbits without Planet Nine
Buy the whole stock market in one cheap fund and get on with your life

Jobs

Y/N (YC S23) Is Hiring a Growth Lead to Distribute Superhuman A.I. Storytelling
UpCodes (YC S17) is hiring SDR's to sell AI compliance software
Mbodi AI (YC P25) Is Hiring Research and Robotic Engineers
Bild AI (YC W25) Is Hiring Founding Product Engineers

Stories and comments come from the Hacker News API and belong to their authors. Not affiliated with Y Combinator or Slashdot.