Programming in Martin-LΓΆf βs Type Theory
https://www.cse.chalmers.se/research/group/logic/book/book.pdf
https://www.cse.chalmers.se/research/group/logic/book/book.pdf
June 10
The InterIisp Programmg Envionment
https://larrymasinter.net/interlisp-ieee.pdf
https://larrymasinter.net/interlisp-ieee.pdf
June 10
June 10
Harnessing the Universal Geometry of Embeddings
https://arxiv.org/abs/2505.12540
https://arxiv.org/abs/2505.12540
arXiv.org
Harnessing the Universal Geometry of Embeddings
We introduce the first method for translating text embeddings from one vector space to another without any paired data, encoders, or predefined sets of matches. Our unsupervised approach...
June 10
June 10
Programming in Martin-LΓΆf βs Type Theory
https://www.cse.chalmers.se/research/group/logic/book/book.pdf
https://www.cse.chalmers.se/research/group/logic/book/book.pdf
June 10
Function pointers in C
https://frama-c.com/2013/08/24/Function-pointers-in-C.html
https://frama-c.com/2013/08/24/Function-pointers-in-C.html
June 10
P = NP, up to sharing
https://www.researchgate.net/publication/2758968_P_NP_up_to_sharing
https://www.researchgate.net/publication/2758968_P_NP_up_to_sharing
ResearchGate
(PDF) P = NP, up to sharing
PDF | We prove that we may compute the normal form of each term of the simply typed - calculus in a polynomial number of sharable reductions (where the... | Find, read and cite all the research you need on ResearchGate
June 10
A masochistβs guide to web development
https://sebastiano.tronto.net/blog/2025-06-06-webdev/
https://sebastiano.tronto.net/blog/2025-06-06-webdev/
ResearchGate
(PDF) P = NP, up to sharing
PDF | We prove that we may compute the normal form of each term of the simply typed - calculus in a polynomial number of sharable reductions (where the... | Find, read and cite all the research you need on ResearchGate
June 10
Variadic Fixed-Point Combinators
https://text.marvinborner.de/2023-06-18-15.html
https://text.marvinborner.de/2023-06-18-15.html
text.marvinborner.de
Variadic Fixed-Point Combinators
This article describes a variadic extension to the default fixed-point combinator β namely the Y-combinator. We do this by translating the Scheme code from a paper to bruijn (pure lambda calculus).
June 10
The InterIisp Programmg Envionment
https://larrymasinter.net/interlisp-ieee.pdf
https://larrymasinter.net/interlisp-ieee.pdf
June 10
June 10
Forwarded from Sicks Nerds Ξ» (Palestin)
Zoxide, uma alternativa ao cd, alΓ©m de apenas trocar diretΓ³rios. Ele "aprende" os caminhos que vocΓͺ mais usa e permite navegar com mais rapidez usando comandos curtos. Basta digitar z + parte do nome do diretΓ³rio e ele completa o resto
https://github.com/ajeetdsouza/zoxide?tab=readme-ov-file
#dicas #linux
https://github.com/ajeetdsouza/zoxide?tab=readme-ov-file
#dicas #linux
GitHub
GitHub - ajeetdsouza/zoxide: A smarter cd command. Supports all major shells.
A smarter cd command. Supports all major shells. Contribute to ajeetdsouza/zoxide development by creating an account on GitHub.
June 10
June 10
June 10
June 10
June 10
June 10