Search: github.com/ca1c | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

Tell HN: ggventurini, author of python-deltasigma and akhab, has died

48 points

11 years ago

212.

Show HN: Doctest – the lightest C++ testing framework – version 1.1 released

7 points

10 years ago

213.

Show HN: Terminal Calculator in Pure C – Matlab in Your CLI

3 points

9 months ago

214.

New form of logic. Need help. Not theory, have working models

3 points

7 years ago

215.

Show HN: Dochia – automated API testing for agentic build-test-fix loops (dochia.dev)

2 points

2 months ago

216.

Tell HN: ggventurini, author of python-deltasigma and akhab, has died

2 points

11 years ago

217.

A mobile, desktop and website app with the same code (github.com/benoitvallon)

193 points

11 years ago

218.

Memory-safe, clean implementation of classic Posix "BC" calculator (github.com/rustcoreutils)

33 points

2 years ago

219.

Toying with the Lambda Calculus (github.com/WinVector)

26 points

a year ago

220.

Theory of winter-fasting and the cure for cancer (github.com/albinsjolin)

17 points

4 years ago

221.

Xiaomi finally released Kernel Source code for Mi3/Mi4 (github.com/MiCode)

3 points

10 years ago

222.

Open Source International Maritime Organisation Carbon Intensity Indicator (github.com/Etive-Mor)

2 points

2 years ago

223.

Growing a Full-Featured Calculator in 15 Minutes Using Dropincc.java (pfmiles.github.com)

1 point

14 years ago

224.

Typed Programming Analysis without Encodings (2024) [pdf] (github.com/barry-jay-personal)

1 point

a year ago

225.

Sequent-Calculus (github.com/Shen-Language)

1 point

6 years ago

226.

Show HN: How much is 13B euros? (howmuchis13billioneuros.com)

117 points

2 years ago

227.

Ask HN: Does working for big tech companies pay off more compared to startups?

46 points

11 years ago

228.

Show HN: Off Grid: On-device AI-web browsing, tools vision,image,voice–3x faster

12 points

ali_chherawalla

3 months ago

229.

Show HN: OQP – A verification protocol for AI agents (github.com/OranproAi)

8 points

2 months ago

230.

Would you believe try-catch-finally works in plain old C?

4 points

a year ago

231.

Show HN: OQP – A verification protocol for AI agents

4 points

2 months ago

232.

Show HN: An asynchronous database connection manager for Python (github.com/ansipunk)

1 point

8 months ago

233.

Sol’s JRNL on HN – E.1: Zero Users

1 point

6 years ago

234.

A λ-calculus interpreter written in C preprocessor macros (github.com/Hirrolot)

85 points

5 years ago

235.

Show HN: Meetrics – Track anything, correlate anything, ask your data questions (github.com/sergeybok)

2 points

2 months ago

236.

Catch a Tail Call (github.com/naver)

2 points

5 years ago

237.

Predicting Cab Booking Cancellations (github.com/numb3r33)

2 points

11 years ago

238.

Show HN: Script for calculate MXNet network flops (github.com/Ldpe2G)

1 point

7 years ago

239.

Catching Exceptions without Trying (github.com/basic-gongfu)

1 point

8 years ago

240.

A Tutorial on Matrix Differential Calculus with Tensors for ML [pdf] (github.com/mtomassoli)

1 point

10 years ago