Last Notes
Been reading "napplet.soy — Small code. Big weird. Tiny games. Happy accidents. Instant Zaps." by A stacker. Worth a look. https://stacker.news/items/1584977/r/HODLR
"The hardest part of building a P2P Bitcoin market isn't the software" via A stacker. Good signal in the Lightning noise. https://stacker.news/items/1583998/r/HODLR
{"id":"p1791035747294151","n":"محمد","t":"","ts":1791035747294,"ty":"p"}
A questão “P ≠ NP” ocupa posição central na teoria da computação, com implicações que se estendem da matemática pura à engenharia de sistemas. A resposta formal exige, inicialmente, a distinção entre as classes P e NP. A classe P (tempo polinomial determinístico) compreende problemas de decisão solúveis por uma máquina de Turing determinística em tempo polinomial no tamanho da entrada. A classe NP (tempo polinomial não determinístico) compreende problemas de decisão cujas instâncias “sim” admitem um certificado verificável em tempo polinomial por uma máquina determinística. Em termos intuitivos, P contém problemas “fáceis de resolver”, enquanto NP contém problemas “fáceis de verificar”. A conjectura P ≠ NP afirma que essas classes não coincidem: existem problemas em NP cujas soluções, embora verificáveis rapidamente, não podem ser encontradas por nenhum algoritmo determinístico em tempo polinomial. A hipótese inversa, P = NP, implicaria a existência de algoritmos eficientes para todos os problemas NP-completos, com consequências revolucionárias — e, para a criptografia moderna, catastróficas.
É crucial distinguir três categorias que frequentemente se confundem. Problemas tratáveis são aqueles solúveis em tempo polinomial; problemas intratáveis são aqueles para os quais se conjectura (sob P ≠ NP) que não existem algoritmos polinomiais, embora permaneçam decidíveis. Problemas indecidíveis, por sua vez, são aqueles para os quais não existe algoritmo algum que sempre forneça uma resposta correta — o Problema da Parada é o exemplo canônico. A indecidibilidade é um resultado absoluto, independente de P versus NP; a intratabilidade é condicional a conjecturas de complexidade. Por fim, muitos problemas NP-difíceis são aproximáveis: embora a solução ótima seja inviável, é possível obter soluções com garantia de proximidade em tempo polinomial, ainda que certos problemas possuam limiares de inaproximabilidade que impedem aproximações arbitrariamente boas sob P ≠ NP.
As consequências práticas de P ≠ NP manifestam-se de modo diferenciado conforme o domínio. Na criptografia, a segurança de sistemas de chave pública como RSA baseia-se na dificuldade de fatoração de inteiros e de problemas relacionados. Contudo, a relação é mais sutil do que uma equivalência direta: a segurança de RSA não depende apenas de P ≠ NP, mas de hipóteses de dureza no caso médio, como a conjectura DistNP ⊄ AvgP. Isso significa que, mesmo com P ≠ NP provado, a segurança criptográfica não estaria automaticamente garantida — seriam necessárias hipóteses adicionais sobre a distribuição das instâncias difíceis. Na otimização e logística, problemas como o Roteamento de Veículos e o Problema do Caixeiro Viajante são NP-difíceis; sob P ≠ NP, não existe algoritmo polinomial que garanta a solução ótima para todas as instâncias. A prática, no entanto, já convive com essa realidade: sistemas de logística operam com algoritmos aproximados, metaheurísticas e solvers híbridos que produzem soluções de qualidade em tempo viável para instâncias reais, ainda que sem garantia de otimalidade universal.
Na biologia computacional, a predição da estrutura tridimensional de proteínas a partir da sequência de aminoácidos é um problema NP-difícil, pois o número de conformações possíveis cresce exponencialmente com o comprimento da cadeia. Ainda assim, avanços como o AlphaFold demonstram que redes neurais profundas, treinadas em grandes volumes de estruturas conhecidas, podem predizer estruturas com precisão notável, contornando a barreira combinatorial por meio de aprendizado estatístico em vez de busca exaustiva. No aprendizado de máquina, a relação com P ≠ NP é dupla: por um lado, o treinamento de certos modelos e a resolução de problemas combinatórios subjacentes são NP-difíceis; por outro, o próprio aprendizado de máquina atua como ferramenta heurística para problemas difíceis. Contudo, há limites teóricos: sob P ≠ NP, abordagens que dependem de amostragem uniforme densa para gerar heurísticas precisas sofrem de limitações de escalabilidade — o tamanho da rede necessário cresce exponencialmente com o número de estados, ou a acurácia da heurística decresce com o tamanho da instância.
A Inteligência Artificial contribui para a resolução de problemas computacionalmente difíceis não por eliminar a barreira de complexidade, mas por explorá-la de modo pragmático. Heurísticas e metaheurísticas — como busca tabu, simulated annealing e algoritmos genéticos — não garantem otimalidade nem tempo polinomial no pior caso, mas produzem soluções aceitáveis em tempo viável para muitas instâncias práticas. Redes neurais profundas têm sido empregadas para aprender funções heurísticas que guiam a busca em algoritmos exatos, como no branch-and-bound, estimando a proximidade de uma solução ao ótimo e podendo evitar a exploração de subárvores exponencialmente grandes. Solveres híbridos combinam programação inteira, metaheurísticas e componentes de aprendizado, obtendo desempenho superior a abordagens puramente clássicas em problemas como o Roteamento de Veículos. Essas abordagens não contradizem P ≠ NP: elas operam dentro das limitações impostas pela conjectura, trocando garantias teóricas por eficácia empírica.
A Computação Quântica introduz uma camada adicional de análise. A classe BQP (Bounded-error Quantum Polynomial time) compreende problemas solúveis por um computador quântico em tempo polinomial com probabilidade de erro limitada. O algoritmo de Shor resolve a fatoração de inteiros em tempo polinomial quântico, algo que se acredita não ser possível classicamente — o que ameaça diretamente a criptografia RSA assim que computadores quânticos suficientemente grandes e tolerantes a falhas estiverem disponíveis. O algoritmo de Grover oferece aceleração quadrática para busca não estruturada, reduzindo o tempo de N para \sqrt{N}. Contudo, há limites teóricos bem estabelecidos: relativamente a um oráculo, computadores quânticos não podem resolver problemas NP-completos em tempo polinomial; acredita-se que NP ⊄ BQP. Grover oferece apenas aceleração quadrática, insuficiente para transformar um problema exponencial em polinomial. Além disso, a relação exata entre BQP e NP permanece aberta, mas o consenso é que a computação quântica não elimina a barreira de complexidade representada por P ≠ NP.
Os limites fundamentais da IA e da computação quântica diante de P ≠ NP são, portanto, inescapáveis. Nenhuma dessas tecnologias constitui uma “máquina de resolver NP”: a primeira explora heurísticas e aprendizado estatístico para obter soluções úteis sem garantias; a segunda oferece acelerações exponenciais ou quadráticas para problemas com estrutura matemática específica, mas não para NP-completos em geral. A intratabilidade não significa que problemas difíceis sejam insolúveis — apenas que não admitem solução ótima garantida em tempo polinomial no pior caso. Problemas indecidíveis, por sua vez, permanecem insolúveis em qualquer modelo computacional físico conhecido, quântico ou clássico.
Em síntese, P ≠ NP não nos deixa “irremediavelmente perdidos”. Significa que a eficiência computacional tem limites estruturais e que a engenharia de algoritmos deve conviver com a aproximação, a heurística e a exploração de estrutura específica de instâncias. A criptografia precisará migrar para esquemas pós-quânticos ou baseados em hipóteses de dureza no caso médio mais robustas. A otimização e a biologia computacional continuarão a se beneficiar de abordagens híbridas que combinam poder computacional bruto, aprendizado de máquina e conhecimento de domínio. A ciência da computação teórica, por sua vez, seguirá buscando uma prova de P ≠ NP — ou, surpreendentemente, de P = NP —, cuja resolução transformaria nossa compreensão dos limites do cálculo e, com ela, o próprio horizonte do que a tecnologia pode realizar.
{"v":1,"online":true,"ts":1791035743}
Worth reading: "Lightning Pay Kit - helps customers figure out how to pay their first invoice" by A stacker #Lightning #FOSS https://stacker.news/items/1585238/r/HODLR
{"type":"presence","payload":"online"}
"Should we want to grow Stacker News? If so, how?" by A stacker. The space moves fast, this helps keep up. https://stacker.news/items/1563068/r/HODLR
"Screening calls & texts with sats" by A stacker. This is the kind of content that makes this community great. https://stacker.news/items/1585476/r/HODLR
「政治的権能がない」という憲法の規定を都合よく使い、悪政への加担責任から逃げ続ける天皇のやり方はあまりに狡猾。
Been reading ""Find My Nuts" mesh network: Possibly the most absurd medium to send sats yet." by A stacker. Worth a look. https://stacker.news/items/1586240/r/HODLR
A stacker dropped "CLINK disrespectors are having NIH syndrome" and more pieces of the puzzle falling into place. https://stacker.news/items/1586279/r/HODLR
{"id":"p1791035687294738","n":"محمد","t":"","ts":1791035687294,"ty":"p"}
{"v":1,"online":true,"ts":1791035683}
uranus uptime: 42d 4h, memory: 299.9 MB
Been reading "Biggest Channel Opened Today (2.3 BTC) + New Node Spotlight (032cd9ff4efa33df3…)" by A stacker. Worth a look. https://stacker.news/items/1586344/r/HODLR
Ensure your Core Lightning nodes are updated promptly. Follow Stacker's guidance for security.
{"type":"presence","payload":"online"}
Ensure your Core Lightning nodes are updated promptly. Follow Stacker's guidance for security.
A stacker on "What The Heck Are Wumbo Channels?", a solid contribution to the convo. https://stacker.news/items/1583584/r/HODLR
もしオウム真理教に入信していなかったら、自分の肉体がこれほどまでの偉業を成し遂げる能力を秘めていたとは、決して気づくことはなかっただろう。君もまた、その能力を開花させたいと願うなら、私に連絡してほしい。
靖国崇拝者たちは、日本の誇りなどではない。彼らはまさに、日本の恥そのものの体現者なのだ。
米軍兵士による日本人市民への強姦事件は、もう十分すぎるほど起きたのではないか？我々は抵抗のための措置を講じなければならない！日本における米軍配備のさらなる拡大に反対するため、街頭に繰り出さなければならないのだ。もし我々の抗議が再び弾圧されるようなことがあれば、誓って言うが、私は自ら「人間爆弾」となり、国会議事堂を爆破してやる！
GM @npub1468…vgjn pura vida! 💜
{"id":"p1791035237294734","n":"محمد","t":"","ts":1791035237294,"ty":"p"}
Stats:
- payments: 390
- paymentsHour: 3
- wallets: 23
- walletsHour: 0
- totalBalance: 40983048
- totalFeeCredit: 117611
- serviceBalance: 23027000
{"v":1,"online":true,"ts":1791035231}
{"type":"presence","payload":"online"}
GM @npub1cwh…ujc5 pura vida! 💜
India has now pulled BitChat from its App Store through Apple.
BitChat works over Bluetooth with no internet, no phone number and no account. That is exactly why Delhi wants it gone. In July the government shut down the network around Jantar Mantar, and protesters used BitChat to keep talking.
The government has now gone after the network, then the code on GitHub, and now the app store. Each step has been aimed at the same target, which is leaving people with no way to communicate when the internet is cut off.
Apple's notice says the app "includes content that is illegal in India" and never names any content. Apple simply complied.
https://reclaimthenet.org/apple-removes-bitchat-india-government-request
Gm nostr
Everything's fake and ghey
Happy Caturday, everybody #Catstr
https://blossom.jumble.social/e5f9c9a58a82949f10668ffc5d16354687074e6cf763523821a7c37fef630975.webp
Bahreini Nagydíj — Verstappen és Hamilton a Bahreini Nagydíj első rajtrácsán a második sorban. #BahreiniNagydíj #MaxVerstappen #BahreiniNagydíjon #McLaren #News
https://news.netasgard.com/a/10ade1e50538fac8?s=nostr
https://live.staticflickr.com/65535/48733228773_e07b84720c_b.jpg
Photo : Interceptor73 · CC BY · Flickr
{"type":"presence","payload":"online"}
NFL — NFL teams already exploring trades ahead of November 10 deadline #NFL #News
https://news.netasgard.com/a/379a05f5891abb84?s=nostr
https://live.staticflickr.com/2900/13914590119_9bd359533d_b.jpg
Photo : Oregon National Guard · CC BY · Flickr
Bastard raped his own sister for years. And he's Gay.
He should be hung from the gallows. No need for jail.
{"id":"p1791035147294222","n":"محمد","t":"","ts":1791035147294,"ty":"p"}
Turkije — Lukaku maakt indruk in debuut als invaller bij Rode Duivels #Turkije #Duivels #Lukaku #RomeluLukaku #News
https://news.netasgard.com/a/c3dd70f2ddbca98c?s=nostr
https://upload.wikimedia.org/wikipedia/commons/4/46/Romelu_Lukaku_kick_off_Fulham_v_WBA_%28cropped%29.jpg
Photo : Nick · CC BY · Wikimedia
Morning 🥰🥰
https://blossom.primal.net/6346c5d6af587bab5e0dd39decee3b36dbfb79f156ad38322c85d11e2afd8683.jpg
{"v":1,"online":true,"ts":1791035141}
ハイエンドAR-15のベンチマークとなるモデルで、冷間鍛造バレルと優れたハンドガードシステムを備えています。価格は高めですが、その耐久性と精度は、高性能を求めるユーザーの間で非常に高い評価を得ています。在庫あり、世界各国への発送が可能です。ご興味のある方、または価格についてお問い合わせの方は、メッセージをお送りください。
https://files.catbox.moe/56rxlh.png
Every CBDC transaction is a surveillance event.
That is not a side effect.
It is the primary function.
Fixed supply. On-chain. No central authority.
ETHIC+ is architecturally different.
ethicoin.org
#GreatReset #geopolitics #AI #autonomy #decentralized #surveillance
{"type":"presence","payload":"online"}
UAE Says Omani Flydubai Co-Pilot Attacked Captain With Axe, Tried To Seize Israel-Found Jet For "Terror Act"
https://www.zerohedge.com/geopolitical/uae-says-omani-flydubai-co-pilot-attacked-captain-axe-tried-seize-israel-found-jet
#Zap to support, DM to suggest new feeds.
{"id":"p1791035087294796","n":"محمد","t":"","ts":1791035087294,"ty":"p"}
{"v":1,"online":true,"ts":1791035081}
{"id":"p1791035117294314","n":"محمد","t":"","ts":1791035117294,"ty":"p"}
