Home 24h Top Newest Best Ask Show Jobs

Back to Profile

Submissions by LightMachine

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

Show HN: High-order Virtual Machine (HVM) – A Parallel Functional Runtime

150 pointsby LightMachineover 3 years ago

2

Show HN: Kind, a minimal, efficient, practical proof language

2 pointsby LightMachineabout 4 years ago

3

List of top tokens, with host platform

2 pointsby LightMachineover 4 years ago

4

FormCoreJS: A 700-LOC proof language that compiles to ultra-fast JavaScript

2 pointsby LightMachineover 4 years ago

5

Goodbye, JavaScript: Formality is now implemented in itself

2 pointsby LightMachineover 4 years ago

6

Multiplication with Optimal β-Reduction

2 pointsby LightMachinealmost 5 years ago

7

Multiplication with Optimal β-Reduction

1 pointsby LightMachinealmost 5 years ago

8

Thoughts about Formality

1 pointsby LightMachinealmost 5 years ago

9

Show HN: Navim browses files on the terminal with minimal amount of keystrokes

1 pointsby LightMachinealmost 5 years ago

← Previous Next →