niftycent.com
NiftyCent
RU
Логин
Базарная площадь
Скидки

The Lisp in the Cellar: Dependent types that live upstairs [pdf]

Downloadable: https://zenodo.org/records/15424968/files/deputy-els.pdf

Comments URL: https://news.ycombinator.com/item?id=44041515

Points: 40

# Comments: 6

https://zenodo.org/records/15424968

созданный 1d | 20 мая 2025 г., 16:30:15


Войдите, чтобы добавить комментарий

Другие сообщения в этой группе

By Default, Signal Doesn't Recall
By Default, Signal Doesn't Recall

Article URL: https://signal.org/blog/signal-doesnt-recall/

Comments URL:

21 мая 2025 г., 20:20:16 | Hacker news
Storefront Web Components
Storefront Web Components

Article URL: https://shopify.dev/docs/api/storefront-web-components

Comments URL:

21 мая 2025 г., 20:20:15 | Hacker news
LLM function calls don't scale; code orchestration is simpler, more effective
LLM function calls don't scale; code orchestration is simpler, more effective

Article URL: https://jngiam.bearblog.dev/mcp-large-data/

Comments URL: http

21 мая 2025 г., 20:20:15 | Hacker news
Python Tooling at Scale: LlamaIndex’s Monorepo Overhaul
Python Tooling at Scale: LlamaIndex’s Monorepo Overhaul

Article URL: https://www.llamaindex.ai/blog/python-tooling-at-scale-llamaindex-s-monorepo-overhaul

21 мая 2025 г., 20:20:14 | Hacker news
An upgraded dev experience in Google AI Studio
An upgraded dev experience in Google AI Studio

Article URL: https://developers.googleblog.com/en/google-ai-studio-native-code-generat

21 мая 2025 г., 20:20:12 | Hacker news
Harnessing the Universal Geometry of Embeddings
Harnessing the Universal Geometry of Embeddings

Article URL: https://arxiv.org/abs/2505.12540

Comments URL: https://news.ycombinator.c

21 мая 2025 г., 20:20:12 | Hacker news
New dwarf planet found in our solar system
New dwarf planet found in our solar system

Article URL: https://www.minorplanetcenter.net/mpec/K25/K25K47.html

Comments URL:

21 мая 2025 г., 20:20:11 | Hacker news
Techie
Techie