Home 24h Top Newest Best Ask Show Jobs

Back to Profile

Submissions by mauricioc

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

Home

Home Newest Best Ask Show Jobs

Resources

HackerNews API Original HackerNews Next.js

© 2025 TechEcho. All rights reserved.

1

The Art of Computer Programming, Volume 4, Fascicle 7: Constraint Satisfaction

4 pointsby mauricioc3 months ago

2

The ∞-Cosmos Project

2 pointsby mauricioc8 months ago

3

Lean into Verified Software Development

3 pointsby mauriciocabout 1 year ago

4

Lean 4.7.0

1 pointsby mauriciocabout 1 year ago

← Previous