Curry–Howard correspondence - 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 Curry–Howard correspondence. Parent comment

Re:Curry–Howard correspondence by kjeetgill on Tuesday August 14, 2018 @01:03PM (#17759693)

Thanks!

[ Parent | on HN ]

There are no comments on this comment yet.

Ask HN

Do you have daily voice conversations with AI?
What apps or services do you wish existed (in the AI age)?
How do you evaluate the skills your AI agents use?
Am I the only one that thinks $100/month earns us freedom of work?
How your SEO traffic doing? Up or down?
Do you still enjoy coding in C++?

Show HN

RicKaptcha
Wimi, a mouse-first window manager for macOS
Rollare – Bracket maker with registration and live scoring
Black Friday for Developers
STE80 Humanizer – de-AI text by writing 80% of the way to ASD-STE100
Write GitHub Actions in any language: Loopt

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.