Search: github.com/sjl | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

631.

GitHub-Formalizing the Strong Goldbach Conjecture for AI(HOL,Standard Semantics)

github.com/JQCTeam

a year ago

1 points

632.

Solving Puzzles With Recursion

todd-davies.github.com

13 years ago

1 points

633.

LLM Transparency

github.com/st-tech

a month ago

1 points

634.

Show HN: I made a hit and blow solver comand line tool

github.com/ponyo877

2 years ago

1 points

635.

Open Source Solar Site Level Forecast

github.com/openclimatefix

3 years ago

1 points

636.

Solving the Mouselook Problem in JavaScript with Scroll

ejones.github.com

15 years ago

1 points

637.

What do you think about software engineering assessments?

github.com/throwaway3l33t

8 years ago

1 points

638.

Show HN: Fisheye Placebo - The Solar Eye.

github.com/marvindanig

10 years ago

1 points

639.

Show HN: Cross-Platform GitHub Action

github.com/marketplace

3 years ago

76 points

640.

Ask HN: What are modern architecture patterns for desktop applications?

4 years ago

49 points

641.

Show HN: Swishjam (YC W23) - simple open source front end performance monitoring

3 years ago

CollinSchneider

12 points

642.

Show HN: lpviz – Interactive linear programming visualization in the browser

3 days ago

9 points

643.

Show HN: fallback() – write web apps in Solidity and serve HTTP over Ethereum

github.com/nathanhleung

3 years ago

9 points

644.

Show HN: Reasonote, Open-Source AI-Generated Courses, Lessons, and Podcasts

github.com/Reasonote

a year ago

7 points

645.

Show HN: Distributed SAT solver in Elixir

10 years ago

7 points

646.

★ Is it possible to deliver offline messages in P2P network on iOS/Android?

13 years ago

6 points

647.

Solutions to some problems from cracking the code interview ( C language)

7 years ago

5 points

648.

Valori – Deterministic Substrate for AI (Code and ArXiv Paper)

6 months ago

4 points

649.

Show HN: Thaw – Git branch for a running LLM (fork agents, skip prefill)

github.com/thaw-ai

25 days ago

3 points

650.

Show HN: Tunwg – open-source E2E encrypted HTTPS tunnel to local servers

github.com/ntnj

3 years ago

3 points

651.

Oxford deep nlp 2017 solutions

9 years ago

3 points

652.

Ask HN: What's the most cost-effective TURN solution?

8 years ago

2 points

653.

Show HN: DataStore4J A thread-safe, high-performance key-value data store

github.com/theuntamed839

9 months ago

2 points

654.

Ask HN: Is there a consensus on the way to do JS inheritance?

12 years ago

2 points

655.

Python and C killer seekers rejoice

2 months ago

2 points

656.

Show HN: Local memory layer for AI agents, survives restarts, no embeddings

4 months ago

2 points

657.

Show HN: MarkdownLM – Stop being the human middleware for your AI agent

4 months ago

2 points

658.

Ask HN: How to distribute jobs to multiple workers (servers)

12 years ago

1 points

659.

ASk HN: How do I solve 2d bin packing problem if I can change the bin size?

13 years ago

1 points

660.

Show HN: Peeroxide – Full wire-compatible Rust implementation of Hyperswarm

github.com/Rightbracket

2 months ago

1 points