HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
931.
▲
Haskell language server 1.0 has been released
github.com/haskell
discuss
5 years ago
azhenley
5 points
932.
▲
Show HN: Aegis – A security-first programming language for AI agents
github.com/RRFDunn
8 comments
4 months ago
RRFDunn
4 points
933.
▲
Total languages do not escape the halting problem – a trinary proof sketch
github.com/HowWeLand
6 comments
4 months ago
user1138
4 points
934.
▲
Show HN: Ivy
github.com/jhallen
5 comments
8 years ago
jhallenworld
4 points
935.
▲
Show HN: TC, A minimalistic systems language with 10 keywords (plus types)
github.com/alonsovm44
3 comments
a month ago
alonsovm44
4 points
936.
▲
Show HN: Quaint – a statically typed language with seamless resumable functions
github.com/bbu
3 comments
10 years ago
bluetomcat
4 points
937.
▲
LangFlow: A User Interface for LangChain
github.com/logspace-ai
1 comment
3 years ago
juancampa
4 points
938.
▲
A (small) language model walks through its training text
github.com/chrishwiggins
discuss
25 days ago
raybb
4 points
939.
▲
How VS Code Detects Programming Languages
github.com/microsoft
discuss
7 months ago
bakigul
4 points
940.
▲
HTML-Lang
github.com/joelnet
discuss
5 years ago
EMIRELADERO
4 points
941.
▲
Show HN: Search photos using natural language
github.com/haltakov
discuss
5 years ago
vladoh
4 points
942.
▲
Haskell Language Server 0.5.0: Case splitting and auto filling of typed holes
github.com/haskell
discuss
6 years ago
siraben
4 points
943.
▲
Show HN: Getting the Lastest Scala Language Specification Pdf
github.com/Ldpe2G
discuss
7 years ago
Ldpe2G
4 points
944.
▲
Show HN: An informal comparison of several programming languages
github.com/losvedir
5 comments
4 years ago
losvedir
3 points
945.
▲
Show HN: Benchmarks for Programming Languages
github.com/andrewmcwattersandco
2 comments
4 years ago
andrewmcwatters
3 points
946.
▲
Making memory safe language but easy to use
github.com/Vix-Programing-language
1 comment
2 months ago
MrBatata
3 points
947.
▲
Fast – The Data Interface Language
github.com/fast-me
1 comment
3 years ago
masterchief310
3 points
948.
▲
Languagemodels.jl – Talk to language models programmatically from Julia
github.com/rai-llc
1 comment
3 years ago
acidflask
3 points
949.
▲
Langport-A self-hosted LLM serving platform that provides OpenAI-compatible APIs
github.com/vtuber-plan
1 comment
3 years ago
JasonWang1027
3 points
950.
▲
Pytest-langchain: Pytest-style test runner for langchain projects
github.com/ajndkr
1 comment
3 years ago
AjinkyaIndulkar
3 points
951.
▲
Go-lang-cheat-sheet
github.com/phayes
discuss
12 years ago
aburan28
3 points
952.
▲
Should we deprecate comma? (D programming language)
github.com/D-Programming-Language
discuss
12 years ago
redox_
3 points
953.
▲
DVL: a language and compiler for writing numerical kernels
github.com/axch
discuss
13 years ago
luu
3 points
954.
▲
Show HN: Moss, an AI-led programming language experiment
github.com/Fujo930
discuss
21 days ago
Fujo930
3 points
955.
▲
Lang5 – a stack oriented APL-like language
github.com/bernd-ulmann
discuss
a month ago
tosh
3 points
956.
▲
Umka: A statically typed embeddable scripting language
github.com/vtereshkov
discuss
2 months ago
modinfo
3 points
957.
▲
Don't waste tokens on Git operations
github.com/danieloquelis
discuss
8 months ago
danieloquelis
3 points
958.
▲
Show HN: Language Server MCP Server Written in Go
github.com/isaacphi
discuss
a year ago
isaacphi
3 points
959.
▲
HolyC Compiler and Transpiler
github.com/Jamesbarford
discuss
2 years ago
surprisetalk
3 points
960.
▲
Explainer: Reduce fingerprinting in the Accept-Language header
github.com/Tanych
discuss
2 years ago
aragonite
3 points
More