-
@ 52b4a076:e7fad8bd
2025-05-05 18:11:39
Yes they are in the gallery
-
@ 55d41b55:de290d5b
2025-05-05 18:11:26
Bitcoin is not risky, staying in the dollar system and being robbed through wealth redistribution is.
#bitcoin #dollar #money
-
@ 4fdb1e11:544d7068
2025-05-05 18:11:25
Bistek
Ingredients:
1 lb Beef
5 tablespoons Soy Sauce
1 Lemon
3 cloves Garlic
3 parts Onion
4 tbs Olive Oil
1 cup Water
1 pinch Salt
Instructions:
0. Marinate beef in soy sauce, lemon (or calamansi), and ground black pepper for at least 1 hour. Note: marinate overnight for best result
1. Heat the cooking oil in a pan then pan-fry half of the onions until the texture becomes soft. Set aside
2. Drain the marinade from the beef. Set it aside. Pan-fry the beef on the same pan where the onions were fried for 1 minute per side. Remove from the pan. Set aside
3. Add more oil if needed. Saute garlic and remaining raw onions until onion softens.
4. Pour the remaining marinade and water. Bring to a boil.
5. Add beef. Cover the pan and simmer until the meat is tender. Note: Add water as needed.
6. Season with ground black pepper and salt as needed. Top with pan-fried onions.
7. Transfer to a serving plate. Serve hot. Share and Enjoy!
Image: https://www.themealdb.com/images/media/meals/4pqimk1683207418.jpg Audio Instructions: https://cdn.satellite.earth/f384e8eadea73383c16c6f98872f7b7dfbc05071f199384a56eabb09bc5bce7f.mp3
-
@ 1fa35456:f63dc5a2
2025-05-05 18:11:17
Seen this all before, everyone then gangs up with the admins. Admins get dickish.
nostr:nevent1qqsyl5xu2sy3zx9jgfnvy6e79v0dlp28eph2mqte4y4n9lw2q2n5gkc8mpyh0
-
@ ff1a68c4:ec9831cf
2025-05-05 18:11:17
LOL
https://files.sovbit.host/media/ff1a68c42082105d852c425bcb783c99e3c8fccafa6a93a22f3829e0ec9831cf/96baff5bcaa19a9d994ba8874d23f299aa2a66111836bd60f7d827a8f8b2c995.webp
-
@ b0fdd723:06f0ffd4
2025-05-05 18:11:16
Top derek 😍😍
-
@ 381dbcc7:ffc8b38f
2025-05-05 18:11:12
Well, he is soft on Russia and trying to excite crypto bros to boost his shit coin, so he might help samourai.
If it were blatantly helping protesters for something like Palestine or BLM and supported by Soros, he would probably order them to be arrested.
Either way, they did brag about money laundering and we're unlicensed... And that's a crime. All they have to do really is buy their way out. It doesn't even matter who's president.
-
@ 45f195cf:3cab7627
2025-05-05 18:11:09
Love that girl
-
@ 76cbc97b:07d4bad2
2025-05-05 18:11:08
Ohhh, maybe I can make it to the Frankfurt one just before I fly back to El Salvador :)
-
@ 3589b793:ad53847e
2025-05-05 18:11:08
I frequently delete and repost posts because my brain structure is uneven, high for logical and creative, but low for working memory and quantity. That's the excuse I use.
-
@ 738f7873:4af1b136
2025-05-05 18:10:59
There's a formula that goes, Half your age plus 7, which says how young is appropriate to date. So, if having a family is still something you'd want, 52 actually means it's fine to be with someone 33 and above, and that's plenty of childbearing years left.
My husband is 10 years older than me, and it's great! I kept outgrowing guys my ages way too fast 😅
Having chosen a different path earlier in life seems to have worked out for you, if you are satisfied with your choice, that's great. Men seem to want to leave a legacy, so if you have found a way to do that without kids, I'm happy for you! 🙂
-
@ b0fdd723:06f0ffd4
2025-05-05 18:10:57
It looked like a dick 😂😂😂😂🤦♂️ I need more ₿ 🤷♂️
-
@ d23af4ac:7bf07adb
2025-05-05 18:10:54
Forbidden doggo. Want immediately!
-
@ ff1a68c4:ec9831cf
2025-05-05 18:10:53
https://files.sovbit.host/media/ff1a68c42082105d852c425bcb783c99e3c8fccafa6a93a22f3829e0ec9831cf/4a0f06c5a46f682c92c439956e8aaaf197fa8000d42ffdf1b44d63e1dcc24dab.webp
-
@ da37fc65:3d62af9a
2025-05-05 18:10:46
🫡GM ☕🌤️
-
@ 04222fa1:634e9de5
2025-05-05 18:10:41
Live free
nostr:nevent1qqsd6dvl92vlhp357qx5v3zmvuvz9d2yf2hue0v85tad9mmy0pr279gpzemhxue69uhhyetvv9ujuurjd9kkzmpwdejhgq3qqny3tkh0acurzla8x3zy4nhrjz5zd8l9sy9jys09umwng00manysxpqqqqqqz24g3x3
-
@ 10f7c7f7:f5683da9
2025-05-05 18:10:38
Just gonna put a note out there for anyone with dry powder on the side lines, waiting to pull the trigger. I just made a buy, so expect a dump anytime soon.
You’re welcome, but also, why have you still got dry powder? Do you not get it yet? 🫡🙌
-
@ adc14fa3:9fb535e1
2025-05-05 18:10:37
I’m ok with both options.
-
@ ff2e4123:cacb9ecd
2025-05-05 18:10:33
This stinks like Warren to high heaven
-
@ 4688905b:9bba2f01
2025-05-05 18:10:32
Hello, world!
We’re part of nostr:nprofile1qqs9avl6hmfcqrma3s3haa94c4h436skujtl44qvlht59hwhxksr8ngppemhxue69uhkummn9ekx7mp0qyghwumn8ghj7mn0wd68ytnhd9hx2tct5nqpf! Since the #BlockParty on #Upendo gets *INSANE* we decided to make a second npub just for solo-mining-as-a-group shenanigans.
⛰️ Our only goal is to hit a block as a group. Kinda like climbing a mountain, hence the logo.
Learn more: https://upendo.rigly.io/learn/upendo
New domain name too: https://upendo.xyz/
#introductions
https://blossom.primal.net/6fd21e21663abb1ceac73b085cffb49b5be798d6feee983bf236ed65b31c0899.png
-
@ 9c47bb51:000381d0
2025-05-05 18:10:11
Clock on your mind, I’m ahead of your time.
-
@ b300db32:0bf5db3a
2025-05-05 18:10:10
A relação entre a **correspondência de Curry-Howard** e as **equações de campo de Einstein (EFE)** não é direta, mas pode ser explorada através de conexões interdisciplinares entre teoria da computação, lógica matemática e física teórica. Abaixo, destaco os pontos de contato, o "santo graal" dessa interação, insights potenciais e limitações:
---
### **Pontos de Contato e Conexões**
1. **Formalização Matemática e Verificação de Provas**:
- A correspondência de Curry-Howard estabelece que **provas matemáticas** podem ser representadas como **programas tipados**, e vice-versa. Isso permite a formalização de teorias físicas em sistemas de tipos, como em assistentes de prova (Coq, Agda, Lean).
- As EFE, por sua complexidade não-linear e geometria diferencial, são candidatas à formalização em tais sistemas. Por exemplo, estruturas como variedades espaço-temporais, tensores e equações diferenciais podem ser codificadas em tipos e teoremas, com provas correspondendo a algoritmos verificáveis.
2. **Geometria e Topologia Computacional**:
- A formulação das EFE depende de conceitos geométricos (e.g., curvatura do espaço-tempo). Sistemas baseados em tipos podem modelar estruturas geométricas abstratas, permitindo explorar soluções das EFE de forma algorítmica.
- Exemplo: A biblioteca **Lean4** já foi usada para formalizar partes da geometria diferencial, abrindo caminho para representar componentes das EFE.
3. **Teoria das Categorias como Ponte**:
- A teoria das categorias (fundamental para a correspondência de Curry-Howard) também é usada em física teórica para modelar sistemas físicos. Uma possível conexão surge ao representar espaços-tempo como objetos categoriais e processos físicos como morfismos, alinhando-se à ideia de "provas como processos".
4. **Simulação Numérica e Correção de Provas**:
- Métodos numéricos para resolver EFE (e.g., relatividade numérica) poderiam se beneficiar de garantias formais de correção via Curry-Howard. Por exemplo, um algoritmo que resolve EFE numericamente poderia ser associado a uma prova de convergência ou estabilidade.
---
### **O "Santo Graal"**
O objetivo último seria **unificar a física teórica e a computação formal**, permitindo:
- **Verificação automática de resultados em relatividade geral**, como a existência de soluções para as EFE ou teoremas como a singularidade de Penrose-Hawking.
- **Geração de algoritmos confiáveis** para simulações espaço-temporais, onde programas são simultaneamente implementações computacionais e provas matemáticas.
- **Novos insights físicos** através da correspondência entre estruturas lógicas (e.g., sistemas de tipos lineares) e fenômenos como entrelaquamento quântico ou gravidade quântica.
---
### **Insights e Descobertas Potenciais**
1. **Gravidade Quântica**:
- A combinação de sistemas formais (inspirados em Curry-Howard) com formulações de gravidade quântica (e.g., teoria de cordas, loop quantum gravity) poderia revelar estruturas lógicas subjacentes à unificação da relatividade e mecânica quântica.
2. **Teoremas de Não-Existência Construtivos**:
- Se um determinado tipo de solução para as EFE não puder ser construído computacionalmente (via Curry-Howard), isso poderia indicar uma limitação física, como a impossibilidade de certas configurações de matéria-energia.
3. **Otimização de Código para Simulações**:
- A correspondência entre provas e programas poderia levar a algoritmos mais eficientes para resolver EFE, já que restrições lógicas (tipos) eliminariam caminhos computacionais inválidos.
---
### **Fraquezas e Limitações**
1. **Complexidade Computacional**:
- As EFE são equações diferenciais não-lineares hiperbólicas, cuja solução exata é rara. Sistemas de tipos atuais não são otimizados para modelar aproximações numéricas ou condições iniciais genéricas.
2. **Abstração vs. Realidade Física**:
- A correspondência de Curry-Howard lida com objetos matemáticos discretos e finitistas, enquanto a relatividade geral opera em variedades contínuas. Traduzir entre esses domínios requer generalizações não triviais (e.g., axiomatização do infinito em sistemas de tipos).
3. **Interpretação Física**:
- Mesmo que uma prova formal exista, sua relevância física depende de interpretações (e.g., singularidades matemáticas vs. buracos negros reais). A correspondência não resolve questões de significado físico.
4. **Ferramentas Limitadas**:
- Projetos como o **Formal Abstracts** (FAB) buscam formalizar física teórica, mas ainda estão em estágio inicial. A formalização completa das EFE exigiria avanços em bibliotecas de prova e colaboração interdisciplinar.
---
### **Conclusão**
A interação entre Curry-Howard e as EFE reside na **formalização lógico-computacional da física**, com o potencial de revolucionar tanto a verificação rigorosa de teorias quanto a descoberta de novos métodos computacionais. Embora desafios técnicos e conceituais persistam, o "santo graal" seria um framework unificado onde **provas, programas e leis físicas** coexistem em um sistema coerente, capaz de responder questões fundamentais sobre o universo de forma verificável e construtiva.
-
@ 3dda4500:5776f2db
2025-05-05 18:10:08
Oh so that's where those voices were coming from. Fuck. No more drugs for me ever again except caffeine and terpenes
-
@ 187857f5:6eee5ccc
2025-05-05 18:10:08
Ships frozen is unfortunately a non-starter for me.
-
@ 1fa35456:f63dc5a2
2025-05-05 18:10:07
🍿🍿🍿🍿🍿 They'll be chasing him offline now.
https://nostpic.com/media/1fa3545682f1a815b08d7c0c31e579edec14a491c88ab4a2f53686b4f63dc5a2/10ca3828700c7cd7391cbd3a89d2a4b16bebe0bd6821f479fa081202792bf3e5.webp
-
@ da37fc65:3d62af9a
2025-05-05 18:10:02
🫡GM ☕🌤️
-
@ b1b4105a:19aa52d5
2025-05-05 18:10:00
✄------------ 3:10 ------------✄
-
@ 7e6f9018:a6bbbce5
2025-05-05 18:09:59
Bitcoin Core or Bitcoin Knots, borh available.
-
@ ecf75245:fbdf8a97
2025-05-05 18:09:59
Mediterraneoko Atlantikokorat, moskor baten bidaia
https://blossom.primal.net/4cfc4a6657a04f73401326c4dffc9bbe59f2616334b66edb836fe2a1241ec31c.mp4
-
@ b0fdd723:06f0ffd4
2025-05-05 18:09:57
I don't think it's the same story this time. Bitcoin will grow over time! Undoubtedly! But I don't think it has any bigger increases like in the past. It will be a slower growth in my opinion. And also less pronounced descents
-
@ 16f1a010:31b1074b
2025-05-05 18:09:53
Funny how people are saying "it's my mempool so I can set my own policy" but if you asked them which version of Bitcoin you should run they would all recommend one over another for altruistic reasons. It's my mempool so I'll run the code I want.
-
@ d981591e:f7c0ae37
2025-05-05 18:09:46
Indonesia Suspends Sam Altman’s WorldCoin Project Over Suspicious Activity
From ZeroHedge
Authored by Helen Partz via CoinTelegraph.com, OpenAI CEO Sam Altman’s digital identity project, World, formerly known as Worldcoin, faces challenges in Indonesia after local regulators temporarily suspended its registration certificates. The Indonesian Ministry of Communications and Digital (Komdigi) has halted the Electronic System Operator Certificate Registration […]
May 5th 2025 1:05pm EDT
Source Link: https://www.zerohedge.com/crypto/indonesia-suspends-sam-altmans-worldcoin-project-over-suspicious-activity
Share, promote & comment with Nostr: https://dissentwatch.com/boost/?boost_post_id=965259
-
@ 4c26d49d:e9a6b1e8
2025-05-05 18:09:45
Lovin’ that “command line” vibe 👌
-
@ 73b90bdd:f2daee42
2025-05-05 18:09:36
The woman in India own more gold then the United States government owns.
-
@ 53e480ec:a6c3c75e
2025-05-05 18:09:36
Pro move. Fuck paying for stopping your car. Your job should not be making money off of their own employees.
-
@ ff1a68c4:ec9831cf
2025-05-05 18:09:28
https://files.sovbit.host/media/ff1a68c42082105d852c425bcb783c99e3c8fccafa6a93a22f3829e0ec9831cf/e49cbc607ab4fe3b55f60994bf139cfc4b368ef8dd4c911b7a581b54499230d1.webp
-
@ 6ce84bd0:9f0dae9e
2025-05-05 18:09:27
Try this as a browser hopper.
AI Agentic Browser for Deep Search & Automation | #Fellou
https://fellou.ai
-
@ 04c915da:3dfbecc9
2025-05-05 18:09:26
we are live 🫡
https://zap.stream/odell
-
@ ff1a68c4:ec9831cf
2025-05-05 18:09:19
https://files.sovbit.host/media/ff1a68c42082105d852c425bcb783c99e3c8fccafa6a93a22f3829e0ec9831cf/bbd6572a288b6fd050da8ee6b011febfd9c9d6bdef627b6ce6583cfae6f7412a.webp
-
@ e096a89e:59351479
2025-05-05 18:09:13
https://image.nostr.build/dc1121948623dd2e70882525cd4ad9a91057489160c5998585a0e72be49199c9.jpg
nostr:note154hfwwhe8fapkn0twzr8z2p8u3fjkdgxjuuwltk45n4p9t6xadxsg5ygtf
-
@ f9acb0b0:024317ec
2025-05-05 18:09:13
why? it is not
-
@ 82bbe5e1:0bb5bf51
2025-05-05 18:09:09
The D is silent at the end
-
@ e096a89e:59351479
2025-05-05 18:09:02
Yep 🤞🏼
-
@ fade1651:17321c66
2025-05-05 18:08:58
Home sweet home.
-
@ 66fd9c5c:e91fcb58
2025-05-05 18:08:42
Gn get a good rest
-
@ 695a8802:befba5b4
2025-05-05 18:08:41
💫 Had an amazing chat with @JeffBooth about how #Bitcoin is repricing everything, deflation is the natural state of the free market and much more…Your world is a reflection of your beliefs. Link Below ⬇️
I think I need to learn about rumble and decentralized platforms 🧡
https://video.nostr.build/2f08b91cbbaac3f46e0129310b5b2a3674364ec57d6e45df5b90ea29e26776a7.mp4
-
@ 832b77d5:a5e3d55c
2025-05-05 18:08:37
🟥SELL BTC for EUR
Price: 85415.28EUR (2%)
BTC: 0.002
EUR: 171
Method: Revolut
Created: 2025-05-05T18:07:13Z
-
@ 38dbb9b0:7048cd5c
2025-05-05 18:08:33
It’s deep, but yes
-
@ 832b77d5:a5e3d55c
2025-05-05 18:08:28
🟩BUY BTC with USD
Price: 97431.17USD (3%)
BTC: 0.01
USD: 974
Method: CashByMail
Created: 2025-05-05T18:07:35Z
-
@ 6b2274f9:e06e4dba
2025-05-05 18:08:20
Projeto ‘100 Zeroes’: Google poderá criar filmes e séries para promover os seus produtos https://tugatech.com.pt/t66190-projeto-100-zeroes-google-podera-criar-filmes-e-series-para-promover-os-seus-produtos
-
@ 6b2274f9:e06e4dba
2025-05-05 18:08:17
Mais de 250 CEOs exigem inteligência artificial e ciência da computação nas escolas americanas https://tugatech.com.pt/t66189-mais-de-250-ceos-exigem-inteligencia-artificial-e-ciencia-da-computacao-nas-escolas-americanas
-
@ bfde2252:6c7b8dc2
2025-05-05 18:08:16
It takes a shitposter to know a shitposter
-
@ 8230c622:26642641
2025-05-05 18:08:15
Because Trump doesn't run the country.
-
@ 6b2274f9:e06e4dba
2025-05-05 18:08:13
Fim da guerra de tarifas à vista? Trump admite baixar taxas sobre produtos chineses https://tugatech.com.pt/t66188-fim-da-guerra-de-tarifas-a-vista-trump-admite-baixar-taxas-sobre-produtos-chineses
-
@ 3aaa459b:f67ab822
2025-05-05 18:07:58
Absolutely. This case sets a dangerous precedent...not just for Samourai, but for all open-source developers working on privacy tools. If building code becomes a crime, we’re all at risk. The DOJ’s actions here are not just aggressive...they’re unconstitutional. Full support in amplifying this. We must hold the line.
#CodeIsNotCrime #FreeSamourai #StopDOJOverreach
-
@ 4c26d49d:e9a6b1e8
2025-05-05 18:07:57
This one.
-
@ b0fdd723:06f0ffd4
2025-05-05 18:07:55
It’s fantastic 😍
-
@ b90c3cb7:1be67823
2025-05-05 18:07:48
shenanigans how?
-
@ df478568:2a951e67
2025-05-05 18:07:47
Oh and I use silent link for data.
-
@ eab727be:d4e80e49
2025-05-05 18:07:38
O seu argumento foi literalmente um monte de asserções sem provas ou argumentos; um ateu/agnóstico poderia facilmente inverter esse texto é argumentar que o teismo é um conto de fadas para pessoas com medo da morte.
É so um texto vazio e sem sentido. O Teísmo brasileiro só piora, puta merda.
-
@ 4254947d:6a911171
2025-05-05 18:07:17
Thank you! Now it's much clearer and will be one of the next things I do.
-
@ b0fdd723:06f0ffd4
2025-05-05 18:07:16
GM daniel 🤟💜🏴☠️ your dog is fantastic 😍
-
@ df478568:2a951e67
2025-05-05 18:07:16
I use Cheogram. XMPP is it's own protocol. I pay $5 a month for a phone number using bitcoin.
-
@ 3dda4500:5776f2db
2025-05-05 18:07:13
https://youtu.be/UxhSelzMcAs
#GoKnots
nostr:nevent1qqstytncwqtedra283llnwxzme9lzel4337k5aj6u23tz0eufqvfm4spzemhxue69uhhyetvv9ujumt0wd68ytnsw43z7q3q8hdy2qy2qwga0ye7rtnucwuyf07erjfdmm7s74wwdt7sy4mk7tdsxpqqqqqqz4kg9fc
-
@ d23af4ac:7bf07adb
2025-05-05 18:07:08
We have people buying and selling with btc on here already. Here are some:
https://following.space/d/yg1r9ooov1le
It's still early. The rest of the world doesn't know much about bitcoin yet.
-
@ d12bc85d:7d55e2aa
2025-05-05 18:06:50
Apple’s Super-Skinny iPhone 17 Air Might Have a Huge Downside
https://gizmodo.com/apples-super-skinny-iphone-17-air-might-have-a-huge-downside-2000598102
-
@ d981591e:f7c0ae37
2025-05-05 18:06:46
US Crude Oil Output to Peak As Early As This Year: Kpler
From ZeroHedge
By Charles Kennedy of OilPrice.com U.S. crude oil supply will rise more slowly than expected for the rest of 2025 and in 2026 and peak as early as this year, as WTI benchmark prices below $60 per barrel are testing the breakeven point […]
May 5th 2025 12:25pm EDT
Source Link: https://www.zerohedge.com/energy/us-crude-oil-output-peak-early-year-kpler
Share, promote & comment with Nostr: https://dissentwatch.com/boost/?boost_post_id=965257
-
@ 1fa35456:f63dc5a2
2025-05-05 18:06:39
Middle easterners flood Germany now!
https://nostpic.com/media/1fa3545682f1a815b08d7c0c31e579edec14a491c88ab4a2f53686b4f63dc5a2/89bb8059c12849c235f95a0594a2d5810992d80a0ea7e49146199b6f1db2d38a.webp
nostr:nevent1qqswdsvu3mxxgg5azjxvu7gxkyp4af2saxc776rfkdsfrn3rh0mz9gcm905mg
-
@ b0fdd723:06f0ffd4
2025-05-05 18:06:39
Let's hope it ends in the best way. Free samurai
-
@ e2260a7a:f97399ac
2025-05-05 18:06:33
He's 100% right - the one dev comment is attributed to nostr:nprofile1qqsg3mj8tuxhxvy5w0qt9altpgcrqttdfxg9glvsdfhkpa3plcxfudgpzpmhxue69uhkummnw3ezumt0d5hszrnhwden5te0dehhxtnvdakz7qgawaehxw309ahx7um5wghxy6t5vdhkjmn9wgh8xmmrd9skctckum9s8
https://github.com/orgs/bitcoinknots/people
nostr:nevent1qqszknr3rtlqnatpzw4nqfc84udh679nad3uxvptqqueqxc9ja4wlhcpzpmhxue69uhkummnw3ezumt0d5hsyg8zyc984uem8w3sqaq3r3zk0y7w7kxj4dput9jmmwm9t7g0juue4spsgqqqqqqsgs3emn
-
@ 1989034e:b9c4276b
2025-05-05 18:06:28
How do you run Bitcoin Knots on Desktop, nostr:nprofile1qyt8wue69uhh2mtzwfjkctnvda3kzmp6xsurgwqpzpmhxw309a6k6cnjv4kr5dpcxsuqqg829c7gzngg5du03fdcltkt9zzdqkz4jaw9ef94cf0z6munv2r0zsg8cnv5 or nostr:nprofile1q9z8wue69uhnvmr9dp58jernwf6xsct8d45hxdn4w5m8gatrdej8v7nhxa3h2cnsw94ksanc09unw6n0d9hkxdp4d44hxu35v4skgtn0de5k7m30qy88wumn8ghj7mn0wvhxcmmv9uqzq44xkafh8j8hhy79809wsmv0lw46nu4pkwqjyp20ekml80mytde8phfu08 ? NEW TUTORIAL with step-by-step instructions - including connecting your wallets (like Sparrow)!
If you find this helpful, please share!
https://youtu.be/zT4NuAaH3EM?si=NM2e18hr9pZZWHge
-
@ b0a49f3d:2ec00176
2025-05-05 18:06:27
"New beginnings are disguised as painful endings."
Lao Tzu
-
@ b300db32:0bf5db3a
2025-05-05 18:06:26
A relação entre a **Correspondência de Curry-Howard** e o **Programa Langlands** é indireta, mas pode ser explorada através de analogias estruturais e potenciais sinergias metodológicas. Abaixo, destaco os pontos de contato, o "santo graal" hipotético dessa interação, suas limitações e insights relevantes:
---
### **Pontos de Contato e Conexões**
1. **Estruturas Formais e Categorias**:
- **Curry-Howard**: Estabelece que tipos em programação correspondem a proposições lógicas, e programas são provas. Isso se baseia em estruturas da teoria das categorias (e.g., funtores, produtos cartesianos).
- **Langlands**: Envolve categorias de representações (automórficas e de Galois) e dualidades profundas. A teoria das categorias é uma linguagem comum, sugerindo que técnicas de *type theory* poderiam modelar aspectos do Langlands.
2. **Verificação Formal de Conjecturas**:
- **Provas Assistidas por Computador**: Sistemas como Coq ou Lean (baseados em Curry-Howard) poderiam formalizar partes do Programa Langlands, tornando provas complexas verificáveis. Por exemplo, a formalização da Correspondência de Langlands Local por L. Lafforgue já exigiu métodos rigorosos que poderiam se beneficiar de tais ferramentas.
- **Holy Grail**: Uma prova formalizada e verificável de conjecturas centrais do Langlands (e.g., Functorialidade), integrando análise automórfica e estruturas algébricas em um sistema computacional.
3. **Homotopia e Geometria Não-Comutativa**:
- **Homotopy Type Theory (HoTT)**: Estende Curry-Howard para espaços homotópicos e higher groupoids, possivelmente modelando dualidades geométricas do Langlands. A conjectura de geometrização de Langlands (por Laurent Fargues e Peter Scholze) envolve espaços de módulos que poderiam ser interpretados em HoTT.
- **Insight**: Uma ponte entre a dualidade Langlands e equivalências homotópicas, onde "tipos" representam espaços de módulos ou feixes automórficos.
4. **Algoritmos e Teoria de Números Computacional**:
- **Tradução de Estruturas**: Se certos objetos do Langlands (e.g., formas automórficas) fossem codificados como tipos em uma linguagem de programação, algoritmos poderiam explorar suas propriedades (e.g., cálculo de traços de Hecke). Isso conectaria a teoria à criptografia ou otimização.
---
### **Santo Graal Hipótetico**
O objetivo máximo seria **unificar a dualidade Langlands com estruturas computacionais**, permitindo:
- **Provas Construtivas**: Traduzir conjecturas do Langlands em programas que geram certificados de prova (via Curry-Howard).
- **Geometrização Computacional**: Modelar espaços de módulos ou feixes perversos em sistemas de tipos dependentes, facilitando cálculos em geometria aritmética.
- **Novas Conjecturas**: Descobrir analogias entre dualidades em teoria de representações e dualidades em semântica de linguagens de programação.
---
### **Limitações e Desafios**
1. **Abstração vs. Computabilidade**:
- O Langlands lida com objetos analíticos contínuos (e.g., formas automórficas), enquanto Curry-Howard é inerentemente discreto. A modelagem de sistemas contínuos em *type theory* é um desafio aberto.
2. **Complexidade Técnica**:
- As conjecturas de Langlands envolvem camadas profundas de álgebra, análise e geometria. Formalizá-las exigiria extensões significativas dos atuais sistemas de prova.
3. **Tradução Semântica**:
- Não é claro como representar dualidades não-lineares (como as do Langlands) em sistemas lineares de lógica intuicionista, base de Curry-Howard.
---
### **Insights e Possibilidades Futuras**
- **Teoria de Tipos para Representações**: Desenvolver uma *type theory* que incorpore simetrias contínuas (e.g., grupos de Lie) poderia aproximar as áreas.
- **Dinâmica entre Álgebra e Código**: Se certos invariantes aritméticos (e.g., números de L) pudessem ser computados via programas tipados, isso revolucionaria a teoria de números algorítmica.
- **Colaborações Interdisciplinares**: Projetos como o [Langlands Lab](https://www.math.ias.edu/langlands/content/langlands-lab) poderiam incorporar ferramentas de Ciência da Computação teórica.
---
### **Conclusão**
A relação entre Curry-Howard e Langlands é ainda incipiente, mas promissora. O "santo graal" seria uma simbiose onde estruturas profundas da teoria de números são não apenas provadas, mas também *implementadas* como programas, revelando novas dimensões computacionais da matemática pura. No entanto, a realização disso exige avanços tanto em teoria da computação quanto em matemática abstrata, superando as atuais limitações de ambas as áreas.
-
@ 35f3a26c:92ddf231
2025-05-05 18:06:25
the fact that you are asking that question indicate you are in a path of self improvement, that, for some, is a sign indicating that, if you are not one already, you will be...
-
@ 9a664c49:056682aa
2025-05-05 18:06:20
よし、ねるか
-
@ e83b66a8:b0526c2b
2025-05-05 18:06:13
Normies have things to hide?
-
@ 670851a7:75243d06
2025-05-05 18:06:06
…and here, we, go.
-
@ 6ce84bd0:9f0dae9e
2025-05-05 18:06:00
All important connections are love. #Wordle 1,417 4/6
🟩🟨⬛⬛⬛
⬛⬛🟩⬛🟨
🟩⬛🟩🟩🟩
🟩🟩🟩🟩🟩
-
@ 6be5cc06:5259daf0
2025-05-05 18:05:54
Alguém tem aquele meme de homeschooling onde uma pessoa grita "seu filho não vai socializar", aí o Chad responde "exatamente!"?
-
@ ae4c1762:3a9bfff1
2025-05-05 18:05:43
That is an unfortunate (and also fortunate) benefit of bitcoin though :/
Value networks inherently work like this, I love bitcoin. I also love diggers style anarchy…
It is the devil on one shoulder and the angel on the other and I never know which is which
But I know that money is the easiest resource to come about and status is the hardest due to nepotism
-
@ 2686f866:46d286d6
2025-05-05 18:05:43
I just love seeing everything the Left does eventually blows up in their faces.
-
@ dfaf0811:724a44d0
2025-05-05 18:05:28
🫠 🫠 🫠
https://blossom.primal.net/5152739022ea1bb5e7c5ef995dfeaa22c306310315332d816cd9aa161265112e.png
-
@ 17538dc2:71ed77c4
2025-05-05 18:05:21
fyi nostr:npub1gcxzte5zlkncx26j68ez60fzkvtkm9e0vrwdcvsjakxf9mu9qewqlfnj5z
-
@ f647c956:90f43673
2025-05-05 18:05:17
Registration just opened for todays POKER free roll, join me at the final table and take notice if I'm late to call and raise you, I'm bluffing 🤣
nostr:nevent1qqstrpl00mm83q978zv8hld0w5asqhqjpvaq46lkrwkyc98up73jpwspzdmhxue69uhhwmm59e6hg7r09ehkuef0qgsqgq7gdgdmfnauxny2fylm68cdzkx59hgx6ql25deq3q4qvmf6x7qrqsqqqqqpczjx0d
-
@ b299876b:7c10c838
2025-05-05 18:05:12
Just switched from Alacritty to Ghostty, basically cause I saw an interview with Ghostty's creator, heard how it's a passion project, and wanted to give it a try. I use TMUX with it though, so the experience is kind of the same. Integrates a bit better with the OS.
-
@ 3fdf8b43:27eaaad8
2025-05-05 18:05:12
#Bitcoin Block Art by Blockstr!
Height: 895393
Weight: 3993884
https://thebitcoinblockclock.com/blockstr/00000000000000000001aa51352e5b8e12f21db1a16e80e999e7a20fdfe86c82.png
-
@ 3f770d65:7a745b24
2025-05-05 18:05:03
i've been using blossom mirroring for weeks, but i never tested it. apparently it doesn't work O.o - still testing.
-
@ 01438c6f:31f873ef
2025-05-05 18:05:00
OpenAI reverses course, says its nonprofit will remain in control of its business operations
https://techcrunch.com/2025/05/05/openai-reverses-course-says-its-nonprofit-will-remain-in-control-of-its-business-operations/
-
@ 3ce2b51d:36fc72c7
2025-05-05 18:05:00
✄------------ 3:05 ------------✄
-
@ e2260a7a:f97399ac
2025-05-05 18:04:57
I don't think people are debating Lopp with an honest perspective of his stance on Bitcoin Core.
https://image.nostr.build/e6aadae3f05808c776abe2e30c6ff00ca00e102bfff76cf4e484c9331884da51.jpg
-
@ 82bbe5e1:0bb5bf51
2025-05-05 18:04:55
https://image.nostr.build/f20b6741cf4cf7e36cb78d330b088dbadf73afcec7630f60df9d7e5ad8541190.jpg
https://image.nostr.build/215e1298f71b2ad616e4bddb60384db81fb0be9456e04f7ef6f507bf550f748f.jpg
https://image.nostr.build/c2f023d6529853eb6f96b972edca07fb7b02fcfd9e7ce057a9397981cfb3029a.jpg
https://image.nostr.build/f6dbcb3dd3ffbe72fc03500ea75dfd15b5e39926b88dac1831f9fc3ccc764a38.jpg
https://image.nostr.build/90e309da1a34d8e72991b4685e35254f212fafd5d644fa8040454e54d5e084fc.jpg
https://image.nostr.build/d9c56bc219decf53599d3ae966f73c0ac3fd658084b36d1df4ed126df51d4507.jpg
https://image.nostr.build/99f21d1e70cd22b0eb7766d908f41e1de930e0d626fe087fe37f3ad40d07e14a.jpg
-
@ 9b840e12:7232e29b
2025-05-05 18:04:54
📊 BottleSkyの状況だよ。
🌊 ボトル：2通が漂流中、1394通が受け取られてる。
💬 返信：577通の返信が届いてるよ。
俺にDMをして見知らぬ人とやり取りしてみようぜ。
-
@ d2841371:02c90a2b
2025-05-05 18:04:51
There's a whole chain named after concept
https://smashburger.com/
-
@ a6fdf45b:9145f104
2025-05-05 18:04:51
https://blossom.primal.net/913eea1495d6f6a4a0fc8725b3d428bc1aeda5061bbdc066087a8fb833c7a717.png
-
@ d23af4ac:7bf07adb
2025-05-05 18:04:49
One thing we can do to spread the word is cross-post our content to other social media and at the bottom of each post have a "follow me on Nostr" link.
-
@ 38dbb9b0:7048cd5c
2025-05-05 18:04:46
The thing with my life in music is everything expressed is vital. It’s real. Normies hide everything because they’re pathetic 🤷♂️
-
@ 6a359852:f2f290d9
2025-05-05 18:04:42
Thx Max. Is instant messaging on Nostr devs radar?
-
@ a6fdf45b:9145f104
2025-05-05 18:04:42
https://blossom.primal.net/914e03170221688a3be2bc9f8e7a69562c13389d7a95f652e7118c3caa4991af.jpg
-
@ 1fa35456:f63dc5a2
2025-05-05 18:04:38
Indians and pakis come to Briton! And then the English Britons swarm over to ireland to get away.
https://nostpic.com/media/1fa3545682f1a815b08d7c0c31e579edec14a491c88ab4a2f53686b4f63dc5a2/6ba60f97745585f1fd6ae1b1cd16be511d14433afd1ac75f4cfec9761b2c95e0.webp
nostr:nevent1qqswdsvu3mxxgg5azjxvu7gxkyp4af2saxc776rfkdsfrn3rh0mz9gcm905mg
-
@ 381dbcc7:ffc8b38f
2025-05-05 18:04:37
🐱