Search: github.com/liamoc | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Holbert: An Interactive Theorem Prover

github.com/liamoc

4 years ago

68 points

2.

Dixi, a simple wiki in Haskell

github.com/liamoc

11 years ago

2 points

3.

Show HN: Passport-Steam - Steam (OpenID) auth for Node.js/Passport

github.com/liamcurry

12 years ago

2 points

4.

JavaScript Koans: an interactive learning environment for JavaScript

github.com/liammclennan

15 years ago

2 points

5.

JavaScript Koans

github.com/liammclennan

13 years ago

1 points

6.

MirBFT is a consensus library implementing the Mir consensus protocol

github.com/hyperledger-labs

4 years ago

33 points

7.

Memcpy is faster than memset on Intel i7 12700 with glibc 2.36

gist.github.com

3 years ago

7 points

8.

Adding Support for Qwen3.5

github.com/huggingface

4 months ago

5 points

9.

PowerInfer: High-Speed Large Language Model Serving on Consumer-Grade GPUs

github.com/SJTU-IPADS

3 years ago

4 points

10.

Plugsched: Live update Linux kernel scheduler

github.com/aliyun

4 years ago

4 points

11.

anyhow/ensure.rs: A Rust macro with 677 lines

github.com/dtolnay

4 years ago

3 points

12.

O1 Replication Journey: A Strategic Progress Report

github.com/GAIR-NLP

2 years ago

3 points

13.

MindSearch: LLM-Based Web Search Engine Similar to Perplexity.ai and SearchGPT

github.com/InternLM

2 years ago

3 points

14.

Zpoline: System Call Hook for Linux

github.com/yasukata

3 years ago

3 points

15.

Year-in-search-trends: Visualization of search interest over time

github.com/joweich

3 years ago

3 points

16.

Discussion for plagiarizing and any potential immoral problem in CVPR 2022

github.com/KillerPipilu

4 years ago

3 points

17.

StarRocks: A next-gen sub-second MPP database for full analysis senarios

github.com/StarRocks

5 years ago

3 points

18.

C# and Impacket implementation of CVE-2021-1675/PrintNightmare

github.com/cube0x0

5 years ago

3 points

19.

Add NPU support for AICore for Gemma4 model

github.com/google-ai-edge

3 months ago

2 points

20.

Mini-SGLang: A lightweight yet high-performance inference framework for LLM

github.com/sgl-project

6 months ago

2 points

21.

Neutrino: Probing-Based eBPF-Like GPU Kernel Profiling

github.com/open-neutrino

a year ago

2 points

22.

Libnginx: Nginx as a Shared Library

github.com/wkgcass

a year ago

2 points

23.

Fast vectorizable algorithms of binary searching for floating point numbers

github.com/fabiocannizzo

2 years ago

2 points

24.

ChatGPT powered Rust proc macro that generates code at compile-time

github.com/retrage

3 years ago

2 points

25.

Aya: a dependently-typed programming language

github.com/aya-prover

5 years ago

2 points

26.

Claude Code Source Map

github.com/ChinaSiro

3 months ago

1 points

27.

SteptronOss: Lightweight, AI-native training framework for large language models

github.com/stepfun-ai

4 months ago

1 points

28.

Jinja.cpp: A single-header C++11 Jinja2 template engine for LLM chat templates

github.com/wangzhaode

6 months ago

1 points

29.

OpenAI 2025 ICPC Submissions

github.com/openai

9 months ago

1 points

30.

Step3 Technical Report [pdf]

github.com/stepfun-ai

a year ago

1 points