Search: github.com/PRDeving | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

It appears acd_cli (Amazon Cloud Drive fuse access project) may be dead

5 points

9 years ago

32.

Show HN: Clawdstrike – a security toolbox for the OpenClaw ecosystem (github.com/backbay-labs)

4 points

backbay-machine

4 months ago

33.

Show HN: Quantum-Enhanced Mathematical Reasoning System – Expert Verification

4 points

a year ago

34.

Show HN: Turn ML/AI models into zero-knowledge proofs (github.com/zkonduit)

4 points

3 years ago

35.

Ask HN: Use Docker, Foreman, or Vagrant for installing our FOSS project?

4 points

12 years ago

36.

Show HN: Ramble, iOS voice notes that send webhooks

4 points

a month ago

37.

Show HN: Xilt – A concurrent log parser written in Go (github.com/thevxn)

4 points

a year ago

38.

Show HN: Pdf-rfc3161 – Pure JavaScript library for RFC 3161 PDF timestamps (github.com/mingulov)

3 points

5 months ago

39.

Show HN: Cryptid Zero Trust Authentication and Authorization, Open Source Oberon

3 points

4 years ago

40.

Show HN: LLM Shell Tools – AI-powered command line helpers(open source + local) (github.com/CepstrumLabs)

3 points

a year ago

41.

Show HN: I made PeanoScript, an educational TypeScript-like theorem prover (peanoscript.mjgrzymek.com)

3 points

a year ago

42.

Show HN: Provepy – A Python decorator that proves your code using Lean and LLMs

3 points

2 months ago

43.

Show HN: Boucle – A self-dogfooding autonomous AI agent framework in Rus (github.com/Bande-a-Bonnot)

3 points

3 months ago

44.

Show HN: Theoriz3r, minimal proof of concept exploratory theorem prover (github.com/tsvibt)

3 points

3 years ago

45.

Ask HN: Learning formal methods for software design

3 points

7 years ago

46.

Show HN: Orc – Release the horde. Multi-agent orchestration in pure bash (github.com/spencermarx)

2 points

3 months ago

47.

Show HN: Lean-pq a typesafe PostgreSQL connector for lean (github.com/typednotes)

2 points

3 months ago

48.

Show HN: RedAI – AI-driven vulnerability discovery and live validation (github.com/kpolley)

2 points

a month ago

49.

Show HN: OmniGlass – Executable AI screen snips with kernel-level sandboxing (github.com/goshtasb)

2 points

3 months ago

50.

Show HN: I applied Markowitz port. theory to agent teams / proved it in a zkVM (mnemom.ai)

2 points

3 months ago

51.

Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap (github.com/Shariq81)

2 points

3 months ago

52.

Show HN: Consciousness Gateway – AI routing with consciousness-first alignment (github.com/Move37LLC)

2 points

4 months ago

53.

Show HN: A GitHub Action that creates Trusted Timestamps for your Git repo (github.com/marketplace)

1 point

radicalexponent

2 years ago

54.

Show HN: AgentMint – Cryptographic proof of human approval for AI agent actions (github.com/aniketh-maddipati)

1 point

3 months ago

55.

Show HN: Petrarca: Voice first spaced repetition – track knowledge across books (networkedthought.substack.com)

1 point

2 months ago

56.

Show HN: Elia – A governed cognitive architecture (Phase 0 live) (github.com/Jmc-arch)

1 point

3 months ago

57.

Show HN: EvoAgents – Agents that evolve their own skills

1 point

3 months ago

58.

Show HN: Verity, Formally verified smart contracts from spec to bytecode (github.com/Th0rgal)

1 point

3 months ago

59.

Show HN: Mamba3-minimal – PyTorch implementation of Mamba-3 (github.com/VikramKarLex)

1 point

3 months ago

60.

Testing a LangChain agent revealed a 95% failure rate on adversarial inputs

1 point

5 months ago