Search: github.com/pdef | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

A Practical Optional Type System for Clojure

cloud.github.com

14 years ago

164 points

362.

Data types as Lattices – Dana Scott [pdf]

github.com/CMU-HoTT

2 years ago

34 points

363.

Pdf to Text .NET CLI Converter

github.com/optiklab

9 months ago

4 points

364.

Pdf to Text .NET transcriber CLI app using Ollama

github.com/tacticaxyz

10 months ago

4 points

365.

Splice: A DSL for software-defined satellite applications [pdf]

github.com/AeroRust

6 years ago

3 points

366.

A Play on Regular Expressions (written as a play)

sebfisch.github.com

16 years ago

3 points

367.

MouseJack: Injecting Keystrokes into Wireless Mice [pdf]

github.com/RFStorm

10 years ago

3 points

368.

Nobody Knows Shoes [pdf]

cloud.github.com

10 years ago

3 points

369.

A Path from Logic to Metaphysics – Per Martin-Löf, 1991 [pdf]

github.com/michaelt

5 years ago

2 points

370.

eBook Pixel Art and NFTs (50 Pages) [EN, FR, DE, PT, IT, SPA]

github.com/pixa-pics

3 years ago

1 points

371.

Show HN: pandoc-from-markdown-to-pdf (with options for layouts, fonts, etc.)

github.com/SixArm

4 years ago

1 points

372.

Aaron Swartz died 13 years ago today

5 months ago

95 points

373.

Tell HN: I finished the short story I started as a comment in 2018

3 years ago

27 points

374.

GitHub supports now issue templates

10 years ago

12 points

375.

Show HN: Save hours in your job search with Python and GPT

2 years ago

5 points

376.

Show HN: Independent contractor with N clients invoice pdf creation tool

3 years ago

4 points

377.

Ask HN: Is DynexSolve neuromorphic computing real?

3 years ago

3 points

378.

Offer HN: Pimp My [JavaScript or Objective-J] Code

16 years ago

3 points

379.

Show HN: Website that recommends outfit using weather and AI

what2wear-two.vercel.app

2 months ago

2 points

380.

AI Study Assistant – Ask questions from your own notes

a year ago

2 points

381.

Would you hire me with this resume?

14 years ago

1 points

382.

ServerCoin- Revolutionizing the Cloud Industry

a year ago

1 points

383.

ICCV2021 oral paper improves generalization across sensor platforms

5 years ago

1 points

384.

Category Theory Cheat Sheet

8 years ago

1 points

385.

Script to do instant MD5 collisions of any pair of PDFs

github.com/corkami

8 years ago

85 points

386.

Show HN: Big-O Poster [pdf]

github.com/ro31337

10 years ago

55 points

387.

Information Theory for Machine Learning [pdf]

github.com/mtomassoli

10 years ago

55 points

388.

Show HN: A Rigorous Proofless Approach to Linear Algebra [pdf]

github.com/murisi

9 years ago

murisitarusenga

14 points

389.

Show HN: A Semiring of Functions [pdf]

github.com/tomakita

10 years ago

9 points

390.

Julia: Abstraction in Technical Computing (2015) [pdf]

github.com/JeffBezanson

6 years ago

5 points