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
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
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).
The InterIisp Programmg Envionment
https://larrymasinter.net/interlisp-ieee.pdf
https://larrymasinter.net/interlisp-ieee.pdf
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.