"Why don't you use dependent types?"

November 2, 2025

Share This Post

Article URL: https://lawrencecpaulson.github.io//2025/11/02/Why-not-dependent.html

Comments URL: https://news.ycombinator.com/item?id=45790827

Points: 2

# Comments: 0

Source: lawrencecpaulson.github.io

Subscribe To Our Newsletter

Get updates and learn from the best

More To Explore

Recruitment Ethics

Is it ethical to recruit suicidal candidates, as in “Searching for software engineers who have suicidal ideations”? The rationale is that if a suicidal person

November 3, 2025

Windows Securitym Hackers Feeds

Show HN: Claude Code disrupted programming. Bringing that power to office worker

Article URL: https://blog.gbase.ai/blog/claude-code-for-office-workers/ Comments URL: https://news.ycombinator.com/item?id=45797866 Points: 1 # Comments: 0 Source: blog.gbase.ai

November 3, 2025

IT Support

Hosting & Email

Cloud Solutions

Cyber Security

Telephone & Internet