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

Lambda calculus implementation in Scheme

2 pointsby bor0over 6 years ago

2

Closed-expression of a sum with proof in Idris

2 pointsby bor0over 6 years ago

3

Paperback: Gentle Introduction to Dependent Types with Idris

2 pointsby bor0over 6 years ago

4

Proving length of mapped and filtered lists in Idris

1 pointsby bor0over 6 years ago

5

Git Repository of Gentle Introduction to Dependent Types with Idris

4 pointsby bor0almost 7 years ago

6

Simple theorem prover in Racket

2 pointsby bor0almost 7 years ago

7

Gentle Introduction to Dependent Types with Idris

3 pointsby bor0almost 7 years ago

8

Effects of Side effects

3 pointsby bor0almost 7 years ago

9

Show HN: Scheme-coin with P2P support

1 pointsby bor0almost 7 years ago

10

Creating our own ‘struct’ macro in Racket

3 pointsby bor0almost 7 years ago

11

Hashtable implementation in C (2017)

3 pointsby bor0almost 7 years ago

12

Simplified example cryptocurrency implementation in Scheme

1 pointsby bor0almost 7 years ago

13

Refactoring using mathematical properties of min

1 pointsby bor0almost 7 years ago

14

Dafny – programming language for formal specifications

4 pointsby bor0about 7 years ago

15

Why Dependent Types matter

1 pointsby bor0about 7 years ago

16

Proofs with Idris

4 pointsby bor0about 7 years ago

17

Dependent types in typed Racket

1 pointsby bor0about 7 years ago

18

Idris, dependent types and IO

2 pointsby bor0about 7 years ago

19

Type systems and proofs

1 pointsby bor0over 7 years ago

← Previous Next →