Search: github.com/satisfice | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Show HN: Knowerage – code coverage for LLM analysis (github.com/MTimma)

1 point

a month ago

62.

Show HN: A technique for self-improving agents

1 point

2 months ago

63.

RGE-256:A New ARX-Based PRNG with Structured Entropy and Empirical Validation

1 point

6 months ago

64.

AetherScript: AI-Assisted Development That You Can Trust

1 point

a year ago

65.

Show HN: Psuedocode expander- Iteratively build real apps with plain English (github.com/Explosion-Scratch)

1 point

a year ago

66.

Show HN: Sword – A compile time dependency injection library for Swift (github.com/rockname)

1 point

2 years ago

67.

Show HN: Python but with Module Import Policies (github.com/R9295)

1 point

3 years ago

68.

Show HN: Help fight biased reviews on Amazon with Reviews Extension

1 point

8 years ago

69.

Ask HN: Feedback on my first Go project

1 point

10 years ago

70.

GitHub: Why developer satisfaction is your best productivity metric (resources.github.com)

2 points

a year ago

71.

Surdle: Satisfiability Modulo Wordle (gist.github.com)

31 points

4 years ago

72.

Show HN: Open-source study to measure end user satisfaction levels with LLMs (open-llm-initiative.com)

12 points

2 years ago

73.

Logic Solver: a boolean satisfiability solver (github.com/meteor)

4 points

3 years ago

74.

Show HN: Selen – Constraint Satisfaction Solver in Rust (github.com/radevgit)

3 points

8 months ago

75.

An Exercise in Satisfiability (github.com/ronmrdechai)

2 points

7 years ago

76.

Logic Solver: a boolean satisfiability solver written in JavaScript (github.com/meteor)

1 point

11 years ago

77.

Bitwuzla: Satisfiability Modulo Theories (SMT) Solver (github.com/bitwuzla)

1 point

a month ago

78.

Launch HN: Mintlify (YC W22) – Maintainable documentation for software teams

149 points

4 years ago

79.

Show HN: Streamdal – an open-source tail -f for your data (github.com/streamdal)

148 points

3 years ago

80.

Show HN: MyDuck Server – Supercharge MySQL and Postgres Analytics with DuckDB (github.com/apecloud)

32 points

2 years ago

81.

Show HN: A stab at building my own string diffing library

29 points

4 years ago

82.

Dear GitHub/Microsoft, I'm open source programmer, I feed on stars

18 points

3 years ago

83.

Show HN: QA GPT – Write UI tests in plain English powered by GPT-4-Vision (github.com/Nikhil-Kulkarni)

15 points

2 years ago

84.

Show HN: Searchlight – Open-source Postgres client for macOS (github.com/ravelantunes)

9 points

a year ago

85.

Show HN: OctopusGarden – An autonomous software factory (specs in, code out) (github.com/foundatron)

8 points

3 months ago

86.

Ask HN: Tips for making concise demo clips?

5 points

4 years ago

87.

Show HN: I modeled the puzzle game Railbound with Constraint Programming (github.com/Th1nhNg0)

2 points

8 months ago

88.

Show HN: Compare AutoML frameworks on 10 Tabular Kaggle competitions

2 points

5 years ago

89.

Show HN: Catelingo – Constraint-Based Semantic Validity Checker for LLM Outputs (github.com/ShinobuMiya)

2 points

5 months ago

90.

Show HN: Couscous – AI-powered code reviews that keep your team in sync (github.com/ARAldhafeeri)

2 points

a year ago