Logic programming courses - 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 Logic programming courses.

Re:Logic programming courses by jirir on Thursday July 12, 2018 @04:24AM (#17512989)

How can one enroll?

[ Parent | on HN ]

There are no comments on this comment yet.

Ask HN

Advice for those who want to build stuff but don't know where to start
Has AI coding changed who builds your internal tools?
What customer acquisition channel is working best for you?
Can anyone name anything new that AI has done?
How much more productive you were today with Outlook offline?
How do you upgrade the models you run in production?

Show HN

Port of Context – Token efficient MCP context layer
Arcstone-Airlock-Blueprint – Offline Charon/Aeneas/Coq for Rust
I simulated typewriters from 1926, 1970, and a 1980 IBM DisplayWriter
CtxWise – Stop 8MB MCP crashes, schema bloat, and cache misses
AI Juggler – Orchestrate your desktop Claude and Codex apps
Webpage of Hands

Jobs

Tinfoil (YC P25) is hiring an applied AI security engineer in San Francisco
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

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