Home 24h Top Newest Best Ask Show Jobs

Back to Profile

Submissions by bor0

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

Re-Inventing the Monad Wheel

1 pointsby bor0almost 4 years ago

2

Algorithmic Puzzle: Continuous Increasing Subsequences

1 pointsby bor0about 4 years ago

3

Capturing Number Theory in Haskell

3 pointsby bor0about 4 years ago

4

Towards Hoare logic for a small imperative language in Haskell

3 pointsby bor0over 4 years ago

5

Haskell Memoization and Evaluation Model

3 pointsby bor0over 4 years ago

6

Proof: One Sunday every 7 days

3 pointsby bor0over 4 years ago

7

A simple Constraint Programming implementation

2 pointsby bor0over 4 years ago

8

Superliminal Game Overview

1 pointsby bor0over 4 years ago

9

Proofs and Computation with Trees

2 pointsby bor0almost 5 years ago

10

Deriving a Quine in a Lisp

1 pointsby bor0about 5 years ago

11

Equational Reasoning in Racket

3 pointsby bor0about 5 years ago

12

Encoding probability and random variables in Racket

3 pointsby bor0about 5 years ago

13

Stay Home

1 pointsby bor0about 5 years ago

← Previous