Search: github.com/liamoc | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Holbert: An Interactive Theorem Prover (github.com/liamoc)

68 points

4 years ago

2.

Dixi, a simple wiki in Haskell (github.com/liamoc)

2 points

11 years ago

3.

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

2 points

12 years ago

4.

JavaScript Koans: an interactive learning environment for JavaScript (github.com/liammclennan)

2 points

15 years ago

5.

JavaScript Koans (github.com/liammclennan)

1 point

13 years ago

6.

MirBFT is a consensus library implementing the Mir consensus protocol (github.com/hyperledger-labs)

33 points

4 years ago

7.

Memcpy is faster than memset on Intel i7 12700 with glibc 2.36 (gist.github.com)

7 points

3 years ago

8.

Adding Support for Qwen3.5 (github.com/huggingface)

5 points

4 months ago

9.

PowerInfer: High-Speed Large Language Model Serving on Consumer-Grade GPUs (github.com/SJTU-IPADS)

4 points

2 years ago

10.

Plugsched: Live update Linux kernel scheduler (github.com/aliyun)

4 points

4 years ago

11.

anyhow/ensure.rs: A Rust macro with 677 lines (github.com/dtolnay)

3 points

4 years ago

12.

O1 Replication Journey: A Strategic Progress Report (github.com/GAIR-NLP)

3 points

2 years ago

13.

MindSearch: LLM-Based Web Search Engine Similar to Perplexity.ai and SearchGPT (github.com/InternLM)

3 points

2 years ago

14.

Zpoline: System Call Hook for Linux (github.com/yasukata)

3 points

3 years ago

15.

Year-in-search-trends: Visualization of search interest over time (github.com/joweich)

3 points

3 years ago

16.

Discussion for plagiarizing and any potential immoral problem in CVPR 2022 (github.com/KillerPipilu)

3 points

4 years ago

17.

StarRocks: A next-gen sub-second MPP database for full analysis senarios (github.com/StarRocks)

3 points

5 years ago

18.

C# and Impacket implementation of CVE-2021-1675/PrintNightmare (github.com/cube0x0)

3 points

5 years ago

19.

Add NPU support for AICore for Gemma4 model (github.com/google-ai-edge)

2 points

3 months ago

20.

Mini-SGLang: A lightweight yet high-performance inference framework for LLM (github.com/sgl-project)

2 points

6 months ago

21.

Neutrino: Probing-Based eBPF-Like GPU Kernel Profiling (github.com/open-neutrino)

2 points

a year ago

22.

Libnginx: Nginx as a Shared Library (github.com/wkgcass)

2 points

a year ago

23.

Fast vectorizable algorithms of binary searching for floating point numbers (github.com/fabiocannizzo)

2 points

2 years ago

24.

ChatGPT powered Rust proc macro that generates code at compile-time (github.com/retrage)

2 points

3 years ago

25.

Aya: a dependently-typed programming language (github.com/aya-prover)

2 points

5 years ago

26.

Claude Code Source Map (github.com/ChinaSiro)

1 point

2 months ago

27.

SteptronOss: Lightweight, AI-native training framework for large language models (github.com/stepfun-ai)

1 point

3 months ago

28.

Jinja.cpp: A single-header C++11 Jinja2 template engine for LLM chat templates (github.com/wangzhaode)

1 point

6 months ago

29.

OpenAI 2025 ICPC Submissions (github.com/openai)

1 point

8 months ago

30.

Step3 Technical Report [pdf] (github.com/stepfun-ai)

1 point

10 months ago