Home 24h Top Newest Best Ask Show Jobs

Back to Profile

Submissions by redjamjar

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

Functional Reactive Programming (In Whiley)

3 pointsby redjamjarover 4 years ago

2

Use package managers and dependency declarations? We need your help

3 pointsby redjamjaralmost 7 years ago

3

Neat Demo of Software Verification

1 pointsby redjamjaralmost 8 years ago

4

What's the Net effect on OOP?

2 pointsby redjamjaralmost 8 years ago

5

Introductory Lecture on Verification in Whiley

1 pointsby redjamjarover 9 years ago

6

The Architecture of Verification in Whiley

1 pointsby redjamjaralmost 12 years ago

7

Presentation on Whiley [video]

1 pointsby redjamjaralmost 12 years ago

8

VIDEO: Reconstructing 3D Scenes from a Camera [wait for the green car]

4 pointsby redjamjarover 12 years ago

9

Understanding Loop Invariants in Whiley

1 pointsby redjamjarover 12 years ago

10

Testing out my Papilio FPGA

2 pointsby redjamjarover 12 years ago

11

Generating Verification Conditions for Whiley

1 pointsby redjamjarover 12 years ago

12

Comparing I/O in C with Java

1 pointsby redjamjarover 12 years ago

13

A Misconception of Functional Programming?

3 pointsby redjamjaralmost 13 years ago

14

Notes on Java versus C++ Performance

2 pointsby redjamjaralmost 13 years ago

15

The Liquid Metal Project

2 pointsby redjamjaralmost 13 years ago

16

Flow Typing for References in Whiley

1 pointsby redjamjaralmost 13 years ago

← Previous