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

Lean Together 2021 – A meeting for Lean users and other formalizers

2 pointsby mauriciocover 4 years ago

2

Web Replay (Formerly Known as Firefox Replay)

7 pointsby mauriciocover 5 years ago

3

Remove Firefox Replay

3 pointsby mauriciocover 5 years ago

4

Knuth's 25th Christmas Lecture – Pi and the Art of Computer Programming [video]

2 pointsby mauriciocover 5 years ago

5

Telegram rolls out fix for voicemail hack used against Brazilian politicians

1 pointsby mauriciocalmost 6 years ago

6

Brouwer–Heyting–Kolmogorov Interpretation

2 pointsby mauriciocalmost 6 years ago

← Previous Next →