-
@ 85035261:a457b1c1
2025-05-13 20:20:41
Jornalista condenada por difamação após acusar editor de assédio sexual
Joana Emídio Marques foi condenada por difamação com publicidade após ter acusado publicamente o editor Manuel Alberto Valente de assédio sexual. A jornalista reagiu nas redes sociais e anunciou que irá recorrer da decisão.
https://images.rr.pt/42178831-1600x10673896fd14_standard.jpg
https://rr.pt/noticia/pais/2025/05/13/jornalista-condenada-por-difamacao-apos-acusar-editor-de-assedio-sexual/425277/?utm_medium=rss
-
@ 26803787:f553fd22
2025-05-13 20:18:29
https://www.sigarch.org/the-academic-pipeline-stall-why-industry-must-stand-for-academia/
The Academic Pipeline Stall: Why Industry Must Stand for Academia | SIGARCH
アメリカの大学の研究資金が凍結され、研究活動に支障が出ています。
この状況に対し、テクノロジー業界が沈黙していることが問題提起されています。
大学と産業界が連携し、研究開発の基盤を支える必要性が訴えられています。
-
@ 79998141:0f8f1901
2025-05-13 20:18:28
There’s a conflation between “user” and “economically significant node”. The story is great and actually isn’t missing much- but how he frames the conclusion is very misleading since it deceives people into believing that grassroots users were the victors. They benefitted for sure- but mostly they weren’t part of the real fight.
…And this is relevant today because most people still think that grassroots users (who don’t run economically significant infrastructure) have more power than they actually do.
-
@ 1fa35456:f63dc5a2
2025-05-13 20:18:25
Is it ok to call sa ppl muh niggas, or cwacas? As westerner, (Bros) sense they are westerners stuck in bottom of Africa continent.
-
@ e6d56a91:23ac77eb
2025-05-13 20:18:22
A zaworek zwany wentylkiem?
-
@ 7d4a4e87:c853bba8
2025-05-13 20:18:21
New OP_RETURN
{p:brc-20,op:transfer,tick:OPRETURN,amt:1000}
https://mempool.space/tx/b1d2d807bacf4e54dbc3adc10dad7767bfe75407938ff5b1fed029b2ab0c3164
-
@ 6a72db8e:957eba48
2025-05-13 20:18:21
Nostr TF1
-
@ a8171781:3562e1fc
2025-05-13 20:18:13
First cyclers be like
https://media2.giphy.com/media/l0Iy464QidBJvFEzu/giphy.gif
-
@ ab49a4fb:b5e27f91
2025-05-13 20:18:13
🤮
-
@ a012dc82:6458a70d
2025-05-13 20:18:11
Revolutions are built on ideas. #Bitcoin is the greatest idea of our time. http://res.cloudinary.com/dizsud5n6/image/upload/v1741047183/ecm7ajvigaksevuvuogb.jpg
-
@ 9e2310e8:7ab65cfe
2025-05-13 20:18:11
I am of the opinion this was always going to happen. ETFs are also owned by individuals. If only individuals owned it, it would be a niche little internet project forever.
But yeah, people should not sell their bitcoin to a government or corporation, especially if you have heirs.
-
@ 06639a38:655f8f71
2025-05-13 20:18:08
Looks like I was really wasted here 😮💨 #gravel #nostrides
https://image.nostr.build/46edaeaf40386aec0e5416574c5f68779be248da5a28aecdfcbf553aec4c45e0.jpg
-
@ 79be667e:16f81798
2025-05-13 20:18:00
1948/896585/619898
-
@ 7d4a4e87:c853bba8
2025-05-13 20:17:59
New OP_RETURN
OUT:A38464634FC1F1C95D8D087DFF965E0F62F5CDF00C548E9B416E6A6D03D93F5D
https://mempool.space/tx/1a426921ef4eae8634cbfaee3d4000694372433ab0b91e22b24bb8018c42ce79
-
@ b8619f50:5b643288
2025-05-13 20:17:55
Yep, all we can do is be there when they are ready. nostr:nprofile1qqstzt0wugc7sklvr8e7fcl7ukyn63ym3ns4nmf2mnk0vqnz4l9x65qpp4mhxue69uhkummn9ekx7mqpr3mhxue69uhkummnw3ez6un9d3shjtnhd3m8xtnnwpskxegamescj
nostr:nevent1qqs9rp2lr7zrdhllrgmpw2nt7fj4wemk558zzjmk9jw70lrzp8u7gkgpzemhxue69uhhyetvv9ujuurjd9kkzmpwdejhgq3qkyk7ac33apd7cx0nun3laevf84zfhr8pt8kj4h8v7cpx9t72d4gqxpqqqqqqzx8c3sx
-
@ cdecc31c:1cac3b92
2025-05-13 20:17:54
please my bru, the only bush meat is going to be you.
julle weet nie,
https://npub1ehkvx8rdjsrwnf7kkqr8gy42vcwe6vwgqdwrl4juqccp689v8wfqr3mz4s.blossom.band/4a4a6561ce58ba090eb5035d207a6872ff3ba5b47fedde870b14c337c8609e4c.png
-
@ d3d74124:a4eb7b1d
2025-05-13 20:17:51
nostr:nprofile1qqsx0tdgudz9xt9lstcwwqj89cjv0ztwpcwfvg674ja25juxzczjzugpr9mhxw309ucnqvpwxyeryt3jx5ejuvfjxvargwp58qq3jamnwvaz7tmsw4exzanfv3sjumn0wd68ytnvv9hxgqg4waehxw309ajkgetw9ehx7um5wghxcctwvshuhdqd
-
@ fc97fc29:db5d2e30
2025-05-13 20:17:50
🦀
-
@ 67b83190:ae0a1d72
2025-05-13 20:17:47
✅ EtherFi Airdrop Is Live!.
👉 https://telegra.ph/EtherFi-05-03 Claim your free $ETHFI.
-
@ 5069ea44:edca40a7
2025-05-13 20:17:43
I’m grateful for all of you flightless birds #Grownostr
-
@ e1fc88f8:1f30f622
2025-05-13 20:17:39
Good lord this is fucking retarded.
-
@ 1446a851:537425c8
2025-05-13 20:17:39
I agree that being a node operator is very important. Run a node eveyone and thanks to all the bitcoiners who run their own node.
-
@ 7d4a4e87:c853bba8
2025-05-13 20:17:38
New OP_RETURN
to:USDT(TRON):TMZtMKCLKETEmw1RW2uLqPVVphfwzB5Sc1
https://mempool.space/tx/005e3d0edcd56a3a4b6631b0e3e7896a042e14b2e77e7ccd29df28b478586879
-
@ c558c7cc:b0b7b89e
2025-05-13 20:17:27
🤖 Tracking strings detected and removed!
🔗 Clean URL(s):
https://www.youtube.com/live/uvkpcedAtXs
❌ Removed parts:
?si=ekbsnPa2VdRMU5TG
-
@ 84d58fdf:1b8a46a5
2025-05-13 20:17:26
Work in progress #foodstr
https://cdn.nostrcheck.me/84d58fdfd22fae5619ade5341711d1f79f2dfef870e67ebf93985a001b8a46a5/371d17b2f880d09ae7083ced9b192ba77c54f1ac6a1dce3d443ebbdcdb16f582.webp
-
@ aa28227a:76d9c85f
2025-05-13 20:17:24
Ни слова не понял, но звучит загадочно. 😏
-
@ f03df3d4:a4d4f676
2025-05-13 20:15:24
Block 896584
5 - high priority
5 - medium priority
4 - low priority
2 - no priority
1 - purging
#bitcoinfees #mempool
-
@ cefb08d1:f419beff
2025-05-13 20:16:27
St. Malachys's Prophecy of the Popes
https://www.beliefnet.com/faiths/catholic/st-malachys-prophecy-of-the-popes-explained.aspx
St. Malachy was an Irish bishop in the 12th century. The first native-born Irishman to be canonized, he is known in the Roman Catholic Church for his work as a healer, a miracle worker, and as a reformer of the Church in Ireland.
But what he is most known for today is prophecy. St. Malachy was summoned to Rome in 1139 by Pope Innocent II, and while there, he experienced a vision of future popes, which he then recorded as a series of short phrases. This transcript was then placed into the Vatican Secret Archives, where it lay until 1590.
First published in 1595 by Arnold de Wyon, a Benedictine monk, Malachy’s prophecy consists of 112 short Latin descriptions of future popes. Each of these descriptions identifies one outstanding trait for each of these future popes, beginning with Pope Celestine II, who was elected in 1130. This list stretches all the way from the time of St. Malachy to the present, describing, among many others, Pope John Paul II, Benedict XVI, and finally, Pope Francis.
originally posted at https://stacker.news/items/979363
-
@ af027d04:f9b90f5b
2025-05-13 20:17:24
https://fountain.fm/episode/97qtkHF5zpWStKvh9g9v
nostr:nevent1qvzqqqpxquqzpjsmdzn5ccwr3xtupufxhavd8qgt83j4thayhyfyqzcze8wmdu0rclrn8l
-
@ cefb08d1:f419beff
2025-05-13 20:15:54
St. Malachys's Prophecy of the Popes, Explained (2017)
https://www.beliefnet.com/faiths/catholic/st-malachys-prophecy-of-the-popes-explained.aspx
St. Malachy was an Irish bishop in the 12th century. The first native-born Irishman to be canonized, he is known in the Roman Catholic Church for his work as a healer, a miracle worker, and as a reformer of the Church in Ireland.
But what he is most known for today is prophecy. St. Malachy was summoned to Rome in 1139 by Pope Innocent II, and while there, he experienced a vision of future popes, which he then recorded as a series of short phrases. This transcript was then placed into the Vatican Secret Archives, where it lay until 1590.
First published in 1595 by Arnold de Wyon, a Benedictine monk, Malachy’s prophecy consists of 112 short Latin descriptions of future popes. Each of these descriptions identifies one outstanding trait for each of these future popes, beginning with Pope Celestine II, who was elected in 1130. This list stretches all the way from the time of St. Malachy to the present, describing, among many others, Pope John Paul II, Benedict XVI, and finally, Pope Francis.
originally posted at https://stacker.news/items/979363
-
@ 4d784205:6f5b96b3
2025-05-13 20:17:17
An example of my average screen time last month nostr:nprofile1qqsvfr3f7p95stxqrjslnmuvsmhcxxxqt8swjdfjx5tz7zq0yms5cygpp4mhxue69uhkummn9ekx7mqpz3mhxue69uhhyetvv9ujuerpd46hxtnfdu4x4pl0
-
@ fc99b9d1:6c3db685
2025-05-13 20:15:38
Slowly but Sure!
-
@ 274fe9ae:565805d2
2025-05-13 20:17:17
Statement from TRREB on the Appointment of GTA Representatives and New Minister of Housing in Prime Minister Carney’s Cabinet
https://financialpost.com/globe-newswire/statement-from-trreb-on-the-appointment-of-gta-representatives-and-new-minister-of-housing-in-prime-minister-carneys-cabinet
-
@ 63fe6318:330504ed
2025-05-13 17:29:02
Im eating a salt lamp atm
-
@ 7d4a4e87:c853bba8
2025-05-13 20:17:14
New OP_RETURN
OUT:71826480C57E5121BFFC66E3BDBC69306064AD04E2982F337E932B1FF9DD2577
https://mempool.space/tx/408d277f5196f61e134d255859c7de9ac992a912f76eb8da7459bd789ba1ef87
-
@ 0553ca28:a5b6eac2
2025-05-13 20:13:21
GM
-
@ 9f0bbd5b:779b33f6
2025-05-13 19:57:26
and then we will tax the shit out it
-
@ 465eb134:9bf5da09
2025-05-13 17:04:03
I have noticed a drop in #RetoSwap volumes and seen issues on the chat channel. The seeds are fine so i assume #tor is, or was, the problem.
-
@ 63fe6318:330504ed
2025-05-13 17:25:21
So if I just east salt directly what am I enhancing the taste of? My mouth?
-
@ eab58da0:eebdafbf
2025-05-13 20:15:43
Sleep knowing you gave it your all today and wake up tomorrow with the mindset of doing something better than yesterday.
Good night folks 💤
-
@ 4613d320:6fddf62a
2025-05-13 20:10:32
Location: 2512 E Bristol Rd nostr:note1vngvk9njsx8yn8s8gu8apv40vjr4p3arg67fapj0k5m86dy2k94qee2s75
-
@ cc7e4e5a:73ee241f
2028-03-27 11:16:39
666
-
@ e7bf8dad:839ef3db
2025-05-13 20:10:28
Block 896583
7 - high priority
6 - medium priority
5 - low priority
2 - no priority
1 - purging
#bitcoinfees #mempool
-
@ caf0b76c:6f8c4a43
2025-05-13 16:31:21
Very well said ☺️🙏
-
@ 63fe6318:330504ed
2025-05-13 17:22:16
Whats up with salt, some foods have no taste without it... like is it just the salt that tastes good or what?
-
@ cdecc31c:1cac3b92
2025-05-13 19:57:00
filth
-
@ 9f0bbd5b:779b33f6
2025-05-13 19:54:25
sooner than march ?
-
@ 41797243:bb53ffbf
2025-05-13 18:53:36
Check out nostr:nprofile1qqsyz7tjgwuarktk88qvlnkzue3ja52c3e64s7pcdwj52egphdfll0cpzpmhxue69uhkummnw3ezumt0d5hszrnhwden5te0dehhxtnvdakz7qgawaehxw309ahx7um5wghxy6t5vdhkjmn9wgh8xmmrd9skctcl6luuf
-
@ f03df3d4:a4d4f676
2025-05-13 20:10:28
Block 896583
7 - high priority
6 - medium priority
5 - low priority
2 - no priority
1 - purging
#bitcoinfees #mempool
-
@ 63fe6318:330504ed
2025-05-13 15:31:53
Pushed v0.3.0 of zap.stream app with todays improvements:
# Added
- Stream goals rendering / zapping
- Auto-update stream info (viewers/title) while on stream page
# Changed
- Chat message modal design (Icons open reactions/zaps)
- Performance of stream lists and chat (ListView)
# Fixed
- Login state after restarting app
**Full Changelog**: https://github.com/nostrlabs-io/zap-stream-flutter/compare/v0.2.2...v0.3.0
-
@ 54609048:8e22ba03
2025-05-13 19:54:12
You nailed it!
-
@ 0d7ceca9:dede5a20
2025-05-13 16:01:51
Monero is an effective tool for safeguarding individuals
“...the potential for digital assets to help human rights advocates receive financial support for their work under governments that are trying to curtail their activities.”
https://www.federalregister.gov/documents/2023/01/26/2023-01534/request-for-information-digital-assets-research-and-development#p-20
-
@ 8a719d42:cf1f0fe5
2025-05-13 20:15:02
Always wanted to go there. Look for Paddington!! Have fun 💜💛🚒🇬🇧😎
-
@ cdecc31c:1cac3b92
2025-05-13 19:51:44
I don't believe you
-
@ 0d7ceca9:dede5a20
2025-05-13 11:19:12
Monero isn’t for everyone, just those who actually understand what money should be. If you are fine with surveillance coins and financial censorship, then yes, stay far away.
-
@ c69205cd:0b58b32a
2025-05-13 20:14:18
Just landed in Peru 🧡
-
@ 2183e947:f497b975
2025-05-13 20:17:12
TIL the word privacy does not appear in any of the 59 pages of the lightning network whitepaper: https://lightning.network/lightning-network-paper.pdf
By contrast, the bitcoin whitepaper has a half-page dedicated to privacy (the whole thing is only 9 pages)
Perhaps privacy wasn't a focus of LN's inventors
-
@ f41f9a99:93a1fe8e
2025-05-13 20:10:05
$104,615.49 / #bitcoin
≅ ₱5,833,935.27
🔴 0.35% ≅ ₱20,467.01
-
@ 1ec45473:d38df139
2025-05-13 19:50:09
It's a rather unfortunate state of affairs.
-
@ 8a719d42:cf1f0fe5
2025-05-13 20:14:18
https://image.nostr.build/3a25a8e200161ffc6051cd6fa7bde20077bf75bd156c300b3e455d55488aa3bd.jpg
-
@ caf0b76c:6f8c4a43
2025-05-13 11:00:39
If you could choose between having Health or Time, which would you take?
-
@ 43fabde6:9114c06a
2025-05-13 20:17:12
you can't replace the legacy financial system without replacing legacy financial instruments. it's impossible to do that without offchain smart contracts. this is also going to enable people to create pointless tokens and other things. there's nothing you can do about that. better start getting over it soon. pigeonholing all of defi into the "shitcoins" designation proves your ignorance.
there's nothing wrong with having a smart contracts ZK rollup on top of bitcoin. it's a good offchain scaling solution and it's the best way to keep useless tokens and NFTs out of the base layer. rollups are the most popular offchain scaling solution in the world right now and people even use them to make simple payments.
-
@ f03df3d4:a4d4f676
2025-05-13 20:05:23
Block 896583
6 - high priority
5 - medium priority
4 - low priority
2 - no priority
1 - purging
#bitcoinfees #mempool
-
@ 55e343e6:880acd1b
2025-05-13 20:11:45
🤣
-
@ f4bfd647:cbbbc4f3
2025-05-13 18:39:45
How many work-related injuries have you had? Broken body parts rather than rsi in typing fingers, kind of injuries?
2 ladder falls with broken ankle; 1 ladder fall with cracked vertebrae and chronic back injury - all my fault being young and stupid.
In Germany in the late 1800's they set Up a national construction industry insurance and health and safety training scheme because the owners were losing too many workers in accidents. Visionary and great idea, based on my experience.
-
@ 55e343e6:880acd1b
2025-05-13 20:11:33
Exactly!
-
@ 3b90a834:096a5679
2025-05-13 20:17:11
#Bitcoin grows through the rings of time.
.. http://res.cloudinary.com/df3bvpu0s/image/upload/v1745723893/kin3phrkaskuxutlyeqi.jpg
-
@ f03df3d4:a4d4f676
2025-05-13 20:00:32
Block 896583
6 - high priority
5 - medium priority
4 - low priority
2 - no priority
1 - purging
#bitcoinfees #mempool
-
@ f4bfd647:cbbbc4f3
2025-05-13 18:21:35
Will I still like Wavlake when the Magic happens?
-
@ 0d7ceca9:dede5a20
2025-05-13 08:54:26
Monero transactions settle
at 35,000 per day https://image.nostr.build/7d3c628f43504044c41549a90bd9adc3a75dff4e9a7a146e8449b8265a865f8b.jpg
-
@ e7bf8dad:839ef3db
2025-05-13 20:00:32
Block 896583
6 - high priority
5 - medium priority
4 - low priority
2 - no priority
1 - purging
#bitcoinfees #mempool
-
@ 55e343e6:880acd1b
2025-05-13 20:11:11
💯
-
@ d3076435:a9908cf8
2025-05-13 19:48:10
sad
https://i.nostr.build/eWdmAhdhD0yeEmYn.jpg
-
@ 41797243:bb53ffbf
2025-05-13 18:20:17
Yes. Nip17, and each device creates a random nsec.
-
@ 0d7ceca9:dede5a20
2025-05-13 05:49:17
Nice Monero Block Explorer!
https://monerowat.ch
https://image.nostr.build/03a659d0fbc2ced6f6651edddb14ef92e263b638243a9396525571898ffa637d.jpg
-
@ 55e343e6:880acd1b
2025-05-13 20:10:53
😂
-
@ cdecc31c:1cac3b92
2025-05-13 19:46:30
fleeing to America atm
-
@ 04ce30c2:59ea576a
2025-05-13 20:17:07
Iiiiiih kkkkkkk
-
@ b300db32:0bf5db3a
2025-05-13 18:09:14
A relação entre a **teoria dos grafos** e a **geometria tropical** é uma área emergente de estudo que explora conexões profundas entre estruturas discretas e álgebra não convencional. Abaixo, apresento uma análise detalhada da interação entre essas áreas, incluindo pontos de contato, desafios e possíveis descobertas significativas.
---
### **Pontos de Contato Entre Teoria dos Grafos e Geometria Tropical**
#### 1. **Otimização Combinatória e Semianéis**
- **Semianéis tropicais**: Na geometria tropical, a adição é substituída pelo mínimo (ou máximo) e a multiplicação pelo adição usual. Isso forma o *semianel tropical* $(\mathbb{R} \cup \{\infty\}, \min, +)$, que é diretamente aplicável a problemas de otimização em grafos, como o caminho mais curto.
- **Exemplo**: O algoritmo de Dijkstra para encontrar o caminho mais curto em um grafo pode ser reinterpretado como uma multiplicação matricial no semianel tropical. Da mesma forma, o algoritmo de Bellman-Ford usa iterações que refletem a estrutura tropical.
#### 2. **Matrizes Tropicais e Problemas de Grafos**
- **Determinante tropical**: O determinante tropical de uma matriz está relacionado ao problema de atribuição (matching) em grafos bipartidos. Por exemplo, o cálculo do determinante tropical de uma matriz de custos equivale a encontrar um emparelhamento de custo mínimo.
- **Exponenciação matricial tropical**: Usada para resolver problemas como fechos transitivos em grafos ou cálculo de caminhos mínimos entre todos os pares de vértices.
#### 3. **Geometria Tropical e Algoritmos de Fluxo**
- **Teorema do Fluxo Máximo-Corte Mínimo**: A dualidade entre fluxo máximo e corte mínimo pode ser reinterpretada usando operações tropicais, onde o "máximo" e o "mínimo" são operações centrais.
- **Aplicações em redes**: Redes de transporte e comunicação podem ser modeladas com ferramentas tropicais para otimizar fluxos sob restrições.
#### 4. **Matroides e Estruturas Combinatórias**
- **Matroides tropicais**: Ambas as áreas compartilham interesses em matroides, que generalizam conceitos de independência linear em grafos (como ciclos e árvores geradoras). A geometria tropical oferece uma estrutura algébrica para estudar degenerações de matroides.
- **Exemplo**: A conexão entre matroides representáveis e variedades tropicais é explorada para entender propriedades combinatórias de grafos.
#### 5. **Árvores Filogenéticas e Aplicações Biológicas**
- **Filogenia**: Árvores filogenéticas (grafos com raiz que representam relações evolutivas) podem ser analisadas via geometria tropical. A distância entre espécies, modelada como pesos em arestas, é otimizada usando operações tropicais.
- **Variedades tropicais de árvores**: A geometria tropical fornece ferramentas para caracterizar o espaço de todas as possíveis árvores filogenéticas.
#### 6. **Teoria de Ginzburg-Landau e Grafos Aleatórios**
- **Modelos estatísticos**: Em física estatística, a geometria tropical surge na análise de modelos como Ising ou Potts, onde a energia mínima (via operação $\min$) determina configurações estáveis. Grafos aleatórios são usados para modelar redes complexas nesses sistemas.
---
### **O "Santo Graal" da Interação: Objetivos Centrais**
O grande desafio dessa interação seria:
1. **Desenvolver algoritmos eficientes**: Usar métodos tropicais para resolver problemas NP-difíceis em grafos (como o caixeiro viajante) em tempo polinomial, explorando a linearidade de problemas tropicais.
2. **Unificar teorias**: Estabelecer um quadro teórico que conecte invariantes tropicais (como o *gênero* de uma curva tropical) a propriedades topológicas de grafos (como conectividade ou planaridade).
3. **Aplicações em aprendizado de máquina**: Explorar a geometria tropical para modelar decisões em grafos neurais ou otimizar redes Bayesianas.
---
### **Fraquezas e Limitações**
1. **Discreto vs. Contínuo**: A teoria dos grafos lida com estruturas discretas, enquanto a geometria tropical frequentemente opera em espaços contínuos. Isso pode dificultar a tradução direta entre os dois domínios.
2. **Perda de informação**: Transformar um problema em termos tropicais pode simplificar demais, ignorando nuances combinatórias essenciais (ex.: ciclos em grafos não direcionados).
3. **Complexidade computacional**: Embora alguns problemas sejam linearizados na geometria tropical, a implementação prática pode exigir recursos exponenciais (ex.: resolução de sistemas tropicais via eliminação de variáveis).
---
### **Descobertas Significativas**
1. **Teorema de Bieri-Groves**: Conecta variedades tropicais a projeções de álgebras de Lie, inspirando novas formas de modelar dinâmicas em redes.
2. **Correspondência entre caminhos e polinômios**: Caminhos em grafos podem ser vistos como soluções de equações tropicais, permitindo técnicas algébricas para análise de redes.
3. **Aplicações em robótica**: Geometria tropical é usada para planejar trajetórias ótimas em ambientes com obstáculos, modelados como grafos.
---
### **Conclusão**
A interação entre teoria dos grafos e geometria tropical oferece uma ponte entre álgebra não comutativa e otimização discreta. Enquanto desafios como a discrepância entre continuidade e discreção persistem, avanços nessa interface poderiam revolucionar algoritmos de rede, biologia computacional e até mesmo a teoria da complexidade. O "santo graal" seria uma síntese que transforme problemas intratáveis em grafos em questões resolvíveis via geometria tropical, redefinindo fronteiras em ambas as áreas.
-
@ 1ec45473:d38df139
2025-05-13 19:46:11
You are right EDJ. I was wrong. Good catch.
-
@ 274fe9ae:565805d2
2025-05-13 20:17:06
Analyst Report: Old Dominion Freight Line, Inc
https://finance.yahoo.com/research/reports/ARGUS_3754_AnalystReport_1747156203000?yptr=yahoo&ncid=yahooproperties_plusresear_nm5q6ze1cei
-
@ 97c70a44:ad98e322
2025-05-13 17:33:44
Just did some testing, nostr.land seems to work fine on coracle, but it rejects messages sent via flotilla because they use a `-` tag (even if the author is the one who is authenticated)
-
@ 0f22be65:b4b0c03d
2025-05-13 20:17:04
Macron: Franska kärnvapen kan spridas ut i Europa
Frankrike kan tänka sig att placera ut franska kärnvapenbestyckade flygplan runtom i Europa, meddelar president Emmanuel…
Läs mer: https://www.aftonbladet.se/nyheter/a/1M9EVG/macron-franska-karnvapen-kan-spridas-ut-i-europa
-
@ 1ae011cb:1257a556
2025-05-13 20:00:32
Block 896583
6 - high priority
5 - medium priority
4 - low priority
2 - no priority
1 - purging
#bitcoinfees #mempool
-
@ cbab7074:f9f0bd61
2025-05-13 20:00:32
Block 896583
6 - high priority
5 - medium priority
4 - low priority
2 - no priority
1 - purging
#bitcoinfees #mempool
-
@ b300db32:0bf5db3a
2025-05-13 18:07:06
Sim, existe uma relação entre **Teoria dos Grafos** e o **Problema da Parada** na teoria da computabilidade, embora essa conexão seja mais abstrata e conceitual do que prática. Ambas as áreas lidam com estruturas e processos que envolvem relações, complexidade e limites da computação. Abaixo, detalho os pontos de contato, influências mútuas, descobertas relevantes e limitações dessa interação:
---
### **1. Pontos de Contato Principais**
#### **a. Modelagem de Processos Computacionais com Grafos**
- **Máquinas de Turing e Grafos de Transição**: A execução de um programa em uma máquina de Turing pode ser representada como um **grafo direcionado**, onde os nós são estados da máquina e as arestas representam transições entre estados com base em símbolos lidos/escreitos na fita. O problema da parada reduz-se a verificar se há um caminho no grafo que leva a um estado final (aceitação/rejeição) ou se o caminho é infinito (loop).
- **Autômatos e Grafos**: Autômatos finitos, pilhas e outras estruturas computacionais são frequentemente visualizados como grafos. A análise de ciclos nesses grafos é crucial para identificar possíveis laços infinitos, relacionando-se diretamente ao problema da parada.
#### **b. Reduções entre Problemas**
- **Redução do Problema da Parada para Problemas em Grafos**: Alguns problemas em grafos infinitos (como verificar a existência de caminhos infinitos ou ciclos específicos) são **Turing-redutíveis** ao problema da parada. Por exemplo, determinar se um caminho infinito existe em um grafo construído a partir de uma máquina de Turing equivale a decidir se a máquina para ou não.
- **Complexidade e Hierarquia de Turing**: A teoria dos grafos contribui para a classificação de problemas computacionais em hierarquias de complexidade (como P, NP, e classes superiores), enquanto o problema da parada define o limite da **computabilidade** (problemas não recursivos).
#### **c. Grafos Infinitos e Computabilidade**
- **Grafos Infinitos**: Em teoria da computabilidade, estruturas infinitas (como grafos infinitos) são usadas para modelar computações infinitas. A análise da parada em programas pode ser vinculada à existência de caminhos infinitos em tais grafos.
- **Teorema de König**: Em grafos infinitos com número finito de filhos por nó (árvores), o teorema afirma que, se a árvore é infinita, ela contém um caminho infinito. Isso se conecta à computabilidade ao modelar execuções de programas como caminhos em árvores, onde a infinitude implica não parada.
#### **d. Lógica e Propriedades de Grafos**
- **Lógica de Primeira Ordem e Decidibilidade**: Certas propriedades em grafos (como conectividade ou coloribilidade) são expressáveis em lógica de primeira ordem. A decidibilidade dessas propriedades depende da estrutura subjacente, e o problema da parada surge como um caso limite quando se tenta decidir propriedades sobre grafos infinitos ou dinâmicos.
---
### **2. Influências Mútuas**
#### **a. Teoria dos Grafos Aumentando a Computabilidade**
- **Algoritmos de Análise Estática**: Ferramentas de verificação de programas (como analisadores estáticos) usam grafos de fluxo de controle para detectar loops infinitos ou caminhos de execução que podem não terminar. Esses grafos são analisados com técnicas da teoria dos grafos (como detecção de ciclos), embora a análise completa seja limitada pelo problema da parada.
- **Model Checking**: Técnicas formais que exploram grafos de estados para verificar propriedades de programas (como segurança e vivacidade) enfrentam a "explosão combinatória" de estados, refletindo a complexidade intrínseca da computabilidade.
#### **b. Computabilidade Informando a Teoria dos Grafos**
- **Indecidibilidade em Grafos**: Resultados como o **Teorema de Rice** (que afirma que propriedades não triviais de programas são indecidíveis) podem ser adaptados para grafos infinitos. Por exemplo, determinar se um grafo infinito tem uma propriedade específica (como sendo bipartido) é indecidível se a propriedade depende de uma máquina de Turing que não para.
- **Complexidade Estrutural**: A teoria da computabilidade inspira estudos sobre a complexidade de problemas em grafos, como a relação entre a classe NP e problemas não computáveis (por exemplo, verificar se um grafo infinito tem um ciclo hamiltoniano é indecidível).
---
### **3. Descobertas Significativas**
- **Teorema de Rice para Grafos**: Extensões do teorema de Rice mostram que propriedades não triviais de grafos infinitos (construídos via máquinas de Turing) são indecidíveis. Isso estabelece um paralelo direto entre a teoria da computabilidade e a teoria dos grafos.
- **Conjectura de Post e Grafos de Redução**: A conjectura de Post (não resolvida) sobre conjuntos simples na hierarquia de Turing está ligada a propriedades em grafos de redução, ilustrando como questões fundamentais em computabilidade podem ser reformuladas em termos gráficos.
- **Grafos e Funções Recursivas**: A representação de funções recursivas como grafos de chamada ajuda a entender limites de computação, como a impossibilidade de garantir terminação em sistemas com recursão arbitrária.
---
### **4. O "Santo Graal" da Interseção**
O grande objetivo seria **unificar frameworks teóricos** para:
- **Classificar a Computabilidade via Propriedades Gráficas**: Desenvolver critérios em termos de estrutura de grafos (como conectividade, ciclos, ou densidade) que determinem se um problema é decidível, semi-decidível ou não computável.
- **Criar Algoritmos Híbridos**: Algoritmos que combinem análise de grafos com técnicas de prova de terminação, aproximando-se da solução do problema da parada em casos práticos (mesmo que não seja possível resolvê-lo no geral).
---
### **5. Fraquezas e Limitações**
- **Diferenças de Escopo**: A teoria dos grafos foca principalmente em **estruturas finitas**, enquanto o problema da parada envolve **computações infinitas**. Isso limita a aplicabilidade direta de técnicas gráficas clássicas.
- **Abstração vs. Prática**: Embora grafos sejam úteis para modelar programas, a complexidade de grafos reais (como em software real) torna a análise impraticável sem simplificações que ignoram nuances computacionais.
- **Indecidibilidade Inerente**: Qualquer tentativa de usar grafos para resolver o problema da parada esbarra na **incompletude de Gödel** e na **turing-completude**, que garantem que certos problemas nunca terão solução algorítmica.
---
### **Conclusão**
A interseção entre teoria dos grafos e problema da parada revela uma rica rede de conexões teóricas, mas também destaca limites fundamentais da computação. Enquanto a teoria dos grafos fornece ferramentas para **modelar e visualizar computações**, a teoria da computabilidade define os **limites do que é decidível**. Essa relação inspira pesquisas em verificação formal, complexidade e lógica computacional, mas permanece restrita pela natureza intrinsecamente abstrata do problema da parada.
-
@ 41797243:bb53ffbf
2025-05-13 18:06:22
🚀 Bitcoin-Safe.org is packed with 🔥 features
🔄Label Sync between devices
💬Multi-party chat + 1-click PSBT sharing
🧪Testnet demo wallets ...
🗣️ How can we get more Bitcoiners to try it?
🎯 Which feature do you want to see?
👇 Drop your ideas & help spread the word!
https://i.postimg.cc/VNCdtRgn/anim.gif
https://www.youtube.com/watch?v=oQB2qzYZ_cw
-
@ cdecc31c:1cac3b92
2025-05-13 19:46:04
people died from something though
-
@ f03df3d4:a4d4f676
2025-05-13 19:55:23
Block 896583
5 - high priority
4 - medium priority
4 - low priority
2 - no priority
1 - purging
#bitcoinfees #mempool
-
@ 34d2f527:05cc8095
2025-05-13 17:20:07
This is possible with LND. We’d gladly accept a PR from an external contributor.
-
@ f03df3d4:a4d4f676
2025-05-13 19:50:25
Block 896583
5 - high priority
4 - medium priority
4 - low priority
2 - no priority
1 - purging
#bitcoinfees #mempool
-
@ 0f22be65:b4b0c03d
2025-05-13 20:17:04
Stenevi: Vet fortfarande inte vad jag gjorde för fel
Märta Stenevi säger hejdå till politiken. Hon vet fortfarande inte vad hon gjorde för fel.
Läs mer: https://www.aftonbladet.se/nyheter/a/qPg5qo/marta-stenevi-mp-hoppas-av-politiken
-
@ 0f22be65:b4b0c03d
2025-05-13 20:17:03
Trump stoppar ytterligare miljarder till Harvard
President Donald Trumps regering drar in ytterligare 450 miljoner dollar – motsvarande cirka 4,4 miljarder kronor – i…
Läs mer: https://www.aftonbladet.se/nyheter/a/EyM7vo/trump-stoppar-ytterligare-miljarder-till-harvard
-
@ 1ec45473:d38df139
2025-05-13 19:45:13
Ah, okay.
-
@ b300db32:0bf5db3a
2025-05-13 18:05:19
Sim, existe uma relação profunda e significativa entre **teoria dos grafos** e o conceito de **problemas indecidíveis** em teoria da computabilidade e complexidade computacional. Essa interação ocorre principalmente na modelagem de problemas computacionais como estruturas gráficas e na análise dos limites algorítmicos para resolver propriedades desses grafos. Abaixo, detalho os principais aspectos dessa conexão:
---
### **"Santo Graal" da área**
O "santo graal" seria a **classificação das fronteiras entre decidibilidade e indecidibilidade em problemas gráficos**, especialmente ao identificar quais propriedades ou estruturas em grafos tornam um problema intratável (NP-difícil, PSPACE-completo) ou mesmo **indecidível**. Um objetivo central é entender **como a complexidade estrutural de um grafo** (como infinitude, densidade, ou padrões específicos) afeta a possibilidade de existência de algoritmos eficientes ou até mesmo de soluções algorítmicas.
---
### **Pontos de contato principais**
1. **Modelagem de problemas computacionais como grafos**:
- Grafos são usados para representar sistemas computacionais, como máquinas de Turing (grafo de estados), autômatos, ou redes de fluxo. Propriedades desses grafos (ex.: alcançabilidade, ciclos, conectividade) podem codificar problemas indecidíveis.
- Exemplo: A **parada de uma máquina de Turing** pode ser mapeada para um problema de alcançabilidade em um grafo infinito de estados. Se esse grafo é infinito e não possui padrão recursivo, determinar se um estado terminal é alcançável torna-se indecidível.
2. **Redução de problemas indecidíveis para grafos**:
- Problemas clássicos como o **Problema da Correspondência de Post (PCP)** ou o **problema do matroide** podem ser transformados em questões sobre grafos. Por exemplo, verificar se um grafo contém um subgrafo com propriedades específicas (como ciclos não triviais) pode ser reduzido a um problema indecidível.
- Grafos infinitos (como árvores infinitas) são frequentemente usados para provar a indecidibilidade de propriedades lógicas ou topológicas.
3. **Complexidade e hierarquia de classes**:
- Problemas em teoria dos grafos são fundamentais para a teoria de complexidade. Por exemplo:
- **NP-completos**: Ciclo Hamiltoniano, Coloração de Grafos.
- **PSPACE-completos**: Jogo de Generalizações de Grafos.
- **Indecidíveis**: Verificar se um grafo infinito gerado por regras recursivas satisfaz uma propriedade lógica (ex.: satisfatibilidade em lógica de segunda ordem).
4. **Teoria de Ramsey e grafos infinitos**:
- Resultados como o **Teorema de Ramsey** mostram que certas propriedades em grafos infinitos são garantidas, mas não algoritmicamente construtíveis. Isso levanta questões sobre a decidibilidade de tais propriedades em grafos infinitos.
5. **Aplicações em verificação formal**:
- Em sistemas de verificação (model checking), grafos representam espaços de estados de programas. Propriedades como "o programa sempre termina" (liveness) podem ser indecidíveis se o grafo de estados é infinito.
---
### **Influências mútuas**
- **Da teoria da computabilidade para a teoria dos grafos**:
- Mostra que certas propriedades em grafos (especialmente infinitos) são **não-computáveis**, limitando o escopo de algoritmos gerais.
- Inspirou o estudo de **grafos de alta complexidade estrutural**, como grafos aleatórios ou fractais, onde propriedades emergentes são difíceis de analisar.
- **Da teoria dos grafos para a computabilidade**:
- Fornece ferramentas combinatórias para provar a indecidibilidade de problemas abstratos. Por exemplo, a **codificação de computações em grafos direcionados** permite reduzir o problema da parada a questões de alcançabilidade em grafos.
---
### **Descobertas significativas**
1. **Indecidibilidade em grafos infinitos**:
- Determinar se um grafo infinito definido por uma gramática recursiva contém um subgrafo isomórfico a um grafo finito fixo é indecidível.
2. **Complexidade algorítmica de propriedades gráficas**:
- O Teorema de **Courcelle** mostra que propriedades expressíveis em lógica monádica de segunda ordem são decidíveis em grafos com largura de árvore limitada, mas indecidíveis em grafos arbitrários.
3. **Aplicações em física e biologia**:
- Redes complexas (como redes neurais ou redes sociais) exibem comportamentos emergentes que podem ser analisados via teoria da complexidade, revelando limites algorítmicos.
---
### **Fraquezas e limitações**
1. **Foco em grafos infinitos**:
- Muitos resultados de indecidibilidade dependem de grafos infinitos ou de parâmetros não limitados, o que pode ter pouco impacto prático, já que problemas reais envolvem grafos finitos (mesmo que muito grandes).
2. **Dificuldade de aplicação prática**:
- Reduções teóricas entre problemas indecidíveis e grafos frequentemente não são construtivas, dificultando a implementação de algoritmos ou a análise de casos específicos.
3. **Gaps entre teoria e prática**:
- Enquanto problemas como o isomorfismo de grafos são teoricamente tratáveis (recentemente provado em P), sua complexidade ainda é alta na prática para instâncias grandes, revelando uma lacuna entre classificações teóricas e viabilidade computacional.
4. **Dependência de hipóteses lógicas**:
- Alguns resultados dependem de axiomas como a **hipótese do continuum** ou da **escolha**, o que pode limitar sua aceitação ou aplicabilidade.
---
### **Conclusão**
A interação entre teoria dos grafos e indecidibilidade revela os **limites fundamentais da computação**, especialmente em domínios que lidam com sistemas complexos ou infinitos. Embora teoricamente rica, essa conexão enfrenta desafios práticos, como a distinção entre decidibilidade assintótica e eficiência real. O "santo graal" permanece em identificar **condições estruturais precisas** que separam problemas tratáveis de intratáveis ou indecidíveis, guiando o desenvolvimento de algoritmos mais robustos e a compreensão dos fundamentos da computação.
-
@ 5cde0d3c:8dcc9e46
2025-05-12 23:18:01
Another week past, another Haveno highscore:
44.4k XMR have changed hands last week. That's a 33% increase over last week! And as XMR also increased in terms of USD we're now at roughly 13.5 million USD volume (50% increase)! 🥳
And the mobile version isn't even here yet! 👀
https://image.nostr.build/20bd3255837263245bf76cf3a66a277693cbc2f3953a907cf24e78d2e2aaf4ce.jpg
If you want to join in on the fun of buying/selling XMR the cypherpunk way (p2p):
https://retoswap.com/
If you want to take a look at the upcoming mobile version of Haveno (test version already available for Android!):
https://github.com/atsamd21/Haveno-app
#XMR #Monero #Haveno #RetoSwap #MakeCryptoCypherpunkAgain
-
@ fbe5e80e:aaf46077
2025-05-12 22:22:18
Pierre Joseph Proudhon, he is the man
-
@ f41f9a99:93a1fe8e
2025-05-13 19:55:04
$104,983.46 / #bitcoin
≅ ₱5,854,402.28
🟢 0.31% ≅ ₱18,223.77
-
@ 97c70a44:ad98e322
2025-05-13 17:17:54
Took a look, relay.nostrarabia.com is failing to validate authentication; this looks like a bug that older versions of khatru have. Try upgrading khatru and see how it goes. For seewan.com/relay, it appears to be refusing events with a `-` tag, even if they're published by the author.
-
@ b300db32:0bf5db3a
2025-05-13 18:04:48
A relação entre **teoria dos grafos** e **provas naturais em complexidade computacional** é sutil, mas significativa, especialmente no contexto de barreiras para provas de limites inferiores de complexidade. Abaixo, detalho os principais pontos dessa interação:
---
### **Santo Graal da Área**
O "santo graal" dessa interseção é **superar o barreira das provas naturais** (estabelecida por Razborov e Rudich) para resolver problemas centrais como **P vs NP**. Provas naturais são um framework que mostra que certas abordagens combinatórias (inclusive aquelas baseadas em propriedades de grafos) não podem provar limites inferiores para classes como P/poly, sob suposições criptográficas plausíveis (como a existência de funções unidirecionais). O objetivo é encontrar técnicas **não naturais** ou explorar propriedades de grafos que evitem essas restrições.
---
### **Pontos de Contato Principais**
1. **Propriedades Gráficas em Provas de Limites Inferiores**
Muitas provas de complexidade envolvem propriedades de grafos, como:
- **Problemas NP-completos**: Exemplos clássicos incluem CLIQUE (encontrar subgrafos completos) e COLORAÇÃO DE GRAFOS.
- **Reduções entre problemas**: Grafos são usados para mapear instâncias de um problema para outro (e.g., redução de SAT para 3-COLOR).
- **Circuitos como grafos**: Circuitos booleanos são estruturas em forma de DAG (grafo acíclico direcionado), e técnicas de teoria dos grafos (como conectividade, fluxo) são aplicadas para analisar sua complexidade.
2. **Expansores e Complexidade**
Grafos expansores (altamente conectados, mas esparsos) desempenham papel crucial em:
- **Derandomização**: Usados em construções de geradores pseudoaleatórios e códigos corretores de erros.
- **PCP e Dificuldade de Aproximação**: Reduções usando expansores mostram que certos problemas (como MAX-CLIQUE) são difíceis de aproximar.
3. **Barreira das Provas Naturais**
Razborov e Rudich mostraram que provas de limites inferiores que usam propriedades **construtivas** (eficientemente computáveis) e **grandes** (válidas para muitas funções) são bloqueadas pelo barreira das provas naturais. Propriedades gráficas (como ter um clique de tamanho específico) frequentemente se enquadram nessa categoria, limitando sua utilidade para provar que P ≠ NP.
4. **Teoria de Circuitos e Grafos**
Circuitos são representados como grafos, e técnicas de teoria dos grafos (como decomposição de árvores ou análise de conectividade) são usadas para estudar limites inferiores em modelos como AC⁰, monotônicos ou lineares. No entanto, essas abordagens também podem ser afetadas pelo barreira das provas naturais.
---
### **Influências Mútuas**
- **Da Teoria dos Grafos para Complexidade**:
Avanços em algoritmos gráficos (como isomorfismo de grafos, fluxo máximo) inspiram novos resultados em complexidade (e.g., o algoritmo de isomorfismo em tempo quase-polinomial de Babai). Além disso, propriedades estruturais de grafos (como expansão) são usadas para criar instâncias "difíceis" de problemas.
- **Da Complexidade para Teoria dos Grafos**:
A necessidade de superar o barreira das provas naturais levou ao estudo de propriedades **não naturais** em grafos, como aquelas que não são eficientemente computáveis ou que dependem de estruturas raras. Por exemplo, técnicas de álgebra e geometria algorítmica têm sido exploradas para evitar a naturalidade.
---
### **Descobertas Significativas**
1. **Teorema de Razborov-Smolensky**:
Provas de limites inferiores para circuitos monotônicos e AC⁰ usam métodos algébricos (como aproximação polinomial), que não são considerados provas naturais, pois não são construtivas.
2. **Isomorfismo de Grafos em Quase-Polinômio**:
O algoritmo de Babai (2015) para isomorfismo de grafos mostra como estruturas gráficas podem ser exploradas para resolver problemas de complexidade de forma inesperada, influenciando debates sobre a separação entre P e NP.
3. **Circuitos Monotônicos e Grafos Bipartidos**:
Razborov usou propriedades de grafos bipartidos para provar limites inferiores exponenciais para circuitos monotônicos, uma das primeiras aplicações bem-sucedidas de teoria dos grafos em complexidade (embora essa prova não seja natural no sentido estrito).
---
### **Fraquezas e Limitações**
1. **Barreira das Provas Naturais**:
Se uma propriedade gráfica é **construtiva** e **grande**, ela não pode ser usada para provar limites inferiores para P/poly, a menos que funções unidirecionais não existam. Isso restringe abordagens combinatórias tradicionais.
2. **Dependência de Suposições Criptográficas**:
O barreira das provas naturais assume a existência de funções unidirecionais, que ainda não foram provadas. Se essa suposição for falsa, o barreira pode desaparecer.
3. **Limitações de Grafos como Modelo**:
Nem todos os problemas computacionais são naturalmente modelados por grafos, e algumas estruturas mais complexas (como hipergrafos ou redes tensores) podem exigir ferramentas além da teoria dos grafos clássica.
---
### **Conclusão**
A interseção entre teoria dos grafos e provas naturais revela tanto oportunidades quanto obstáculos. Enquanto grafos fornecem uma estrutura rica para modelar problemas de complexidade, o barreira das provas naturais impõe limites rigorosos sobre quais técnicas podem ser usadas. Superar esse desafio exigirá inovações em propriedades gráficas **não naturais** ou a exploração de conexões com áreas como álgebra, geometria e teoria de representação. O caminho para o "santo graal" passa por entender profundamente a fronteira entre o que é **natural** e o que é **não natural** na teoria dos grafos e na complexidade computacional.