Home 24h Top Newest Best Ask Show Jobs

Back to Profile

Submissions by isaac21259

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

Data Types with Negation

8 pointsby isaac21259over 2 years ago

2

Teaching GHC to Play Minesweeper

1 pointsby isaac21259over 2 years ago

3

Switching to the meow modal editing system

2 pointsby isaac21259over 2 years ago

4

Profunctor Optics: The Categorical View

1 pointsby isaac21259almost 3 years ago

5

How to lie using visual proofs

4 pointsby isaac21259almost 3 years ago

6

Löb and möb: strange loops in Haskell

4 pointsby isaac21259almost 3 years ago

7

Löb's Theorem

2 pointsby isaac21259almost 3 years ago

8

Can one explain schemes to biologists

1 pointsby isaac21259almost 3 years ago

9

(call/cc call/cc) and friends

15 pointsby isaac21259about 3 years ago

10

Swift type checking is undecidable

3 pointsby isaac21259about 3 years ago

11

Surprises in Logic

51 pointsby isaac21259about 3 years ago

12

Base 2048

96 pointsby isaac21259about 3 years ago

13

Renormalizing the Mandelbrot Escape

2 pointsby isaac21259about 3 years ago

14

The Tardis Monad

45 pointsby isaac21259about 3 years ago

15

Hexagonal Grids

48 pointsby isaac21259about 3 years ago

16

The Email Servers and Superseeker

5 pointsby isaac21259about 3 years ago

17

I gave a worksheet that was “critique these bad 'disproofs' on Hacker News”

6 pointsby isaac21259about 3 years ago

← Previous