-
@ 21335073:a244b1ad
2025-03-20 23:58:38
Everything ok? I havent seen you around in a bit.
-
@ fd5989dd:76823f10
2025-01-20 14:18:18
:purple_hugging:
-
@ 7776c32d:45558888
2025-01-08 21:20:20
They're glowies
-
@ 681ec9c0:fe78b4e7
2025-01-05 13:31:40
The interesting thing is not that Kagi stole a march on Google, market cap of $2.97 trillion
It's that they also totally embarrassed Microsoft, market cap $3.11 trillion, supposedly Google's primary competitor
Neither have improved user search experience in the last 10 years
Sales departments and advertising revenue taking over markets and destroying the product are a big problem with big capitalism
nostr:nevent1qqsvdcpq7m905yh9eqjga5umt67lffwpput4xhw4gs9rgmkqcsw6c9cpz3mhxw309akx7cmpd35x7um58g6rsd3e9upzq6q7e8qrw2urkz2r3p35py4lf0udpygvgvhghp7204ezetl83d88qvzqqqqqqy3xne3e
-
@ 681ec9c0:fe78b4e7
2024-12-29 23:30:54
Thanks!
-
@ e2ccf7cf:26c1c8eb
2024-12-29 23:29:57
Way better
-
@ 571803e6:5fd93cda
2024-12-28 00:18:20
Success
-
@ 681ec9c0:fe78b4e7
2024-12-28 00:13:56
Test image upload
https://haven.tealeaf.dev/0187e9f7d12dfd2d559b139eea6868ef204580885eca29237647ad2fda146f69.jpg
-
@ d4bad8c2:b57136de
2024-12-24 21:56:43
hey. same page.
🫂
-
@ 3bf0c63f:aefa459d
2024-11-17 17:49:40
ahahah
-
@ 681ec9c0:fe78b4e7
2024-11-17 16:55:54
Made by https://bsky.app/profile/tree.fail
-
@ 571803e6:5fd93cda
2024-11-17 13:45:57
https://image.nostr.build/f63b340694721d4b4ff4df5e66b6305dc682c2f49b27676648ffe479db445224.gif
-
@ 9c5d0bcc:4787ce5e
2025-05-05 02:22:11
Over 15,000 USDA workers accept Trump-era payouts to leave their jobs
https://timesofindia.indiatimes.com/world/us/over-15000-usda-workers-accept-trump-era-payouts-to-leave-their-jobs/articleshow/120884480.cms
-
@ 9c5d0bcc:4787ce5e
2025-05-05 02:22:08
Trump slams Mexican president Sheinbaum for refusing US military help on cartels
https://timesofindia.indiatimes.com/world/us/too-afraid-to-think-straight-trump-slams-mexican-president-claudia-sheinbaum-for-refusing-us-military-help-on-cartels/articleshow/120884343.cms
-
@ 9c5d0c59:e4e08fb8
2025-05-05 02:11:58
Colombia's wind farms bring promise and pain for indigenous group
https://www.bbc.com/news/articles/ckg2ekjjgldo
-
@ 9c5d04b8:b5b2cb2c
2025-05-05 02:03:28
Trump to tap new national security advisor in 6 months; calls Waltz move ‘upgrade’
https://www.foxnews.com/politics/trump-tap-new-national-security-advisor-6-months-calls-waltz-move-upgrade
-
@ 9c5d0c59:e4e08fb8
2025-05-05 02:03:08
Long-distance romance and closure from husband's death - your memories of Skype
https://www.bbc.com/news/articles/cp913ze3k9jo
-
@ 2aadfb8a:b3abfdcd
2024-11-10 07:35:30
Bubbles 🫧 you say … I want Jack back I miss him so much https://image.nostr.build/cfc3c275e161eaf47a1130dabff4697e119a7d3459e49a76edfb2188b4244b14.jpg
-
@ c9598169:7c19e7c4
2024-11-10 07:25:35
They look like giant bubble in the universe 🫧
-
@ 2aadfb8a:b3abfdcd
2024-11-10 07:15:17
nostr:npub1m2mvvpjugwdehtaskrcl7ksvdqnnhnjur9v6g9v266nss504q7mqvlr8p9 how do you feel about nostr:npub19g5tdmykp5de78zyf9xet8qvhgtxqhnyshj0f5mdfjrkfw50804s8t5hfc or nostr:npub1e9vcz6204fft6jxvyf0edd3a54t8n9znz007h94mmwlkqlqeulzqfjj93f nostr:npub14d7ezuzsy55f6c2f4k02r27yeexyj42a7uvsfu53xmpzx7z75mmsnw0xv0 all the Saturns cause I’m tired 😮💨 besides
I should nostr:npub1l5d4fta49u8fz5lld7ewzvplgzug2a7qwrll3ejkee3ndxm29e9sgyz23f nostr:npub1th6p84x9u5p4lagglkvm8zepa2dq4s9eanp57vcj4w5652kafads7m930q nostr:npub1dq0vnsph9wpmp9pcsc6qj2l5h7xsjyxyxt5tsl986u3v4lncknnsf8yffq nostr:npub1qpd7qwtxmmtrjwnh8es5d95ckj9fp9z0dn3tq4d36zv7930mzatqethxmf OUT OF THUS #nostr anyway
nostr:npub1hcdg546dfxyc7uh975updxzg5pfytf6zgrzdckaplrklpdvcj65qytyuze nostr:npub14jgcguv4a4q5c36akf45u7l5l8xys7hj5s3a7zt4sc4fddgfxcvqxds6a7 nostr:npub192klhzk86sav5mgkfmveyjq50ygqfqnfvq0lvr2yv0zdtvatlhxskg43u7 nostr:npub1jdaa64eyuql4hd0244mp7z7n82egpmt2d79ny9avjufkpm5gz46shcdfng nostr:npub1ne99yarta29qxnsp0ssp6cpnnqmtwl8cvklenfcsg2fantuvf0zqmpxjxk nostr:npub1klwact0ar00r9uer7tzh2zq0ytx3f552tt8qavszdhvu6vpv3uzqwpkjqz nostr:npub1klwact0ar00r9uer7tzh2zq0ytx3f552tt8qavszdhvu6vpv3uzqwpkjqz nostr:npub1ycx7ywdcms5nnmcf7sgzsg5m3xscyhc694hgvechlr202nu0aq7qysqttq nostr:npub173yx0e7weyhdnf4w6680s8c8arjdrxt4rdd0hxjw48prl9esjgzsdawz4x nostr:npub1x3vhtwp2szc3udfsvmnxuevnaxkkplulr65gt6v8dmgf7ghgm5mqhqrfgk nostr:npub13svqs0sg03zh20zl4pf9lge2kjq9mcz56zald8k38aqsln37s4ls0j7hgw nostr:npub1xrcc7qdyqctxky3ue694zjx9tqvsm7tsu77zazx0d3vykz5yz62s6qt73e nostr:npub1jdaa64eyuql4hd0244mp7z7n82egpmt2d79ny9avjufkpm5gz46shcdfng nostr:npub1m50kd8xz26nt7uqmj46lwv2d2gd2548sty88947usf3uldtrknvqvahhfj nostr:npub10cxmfknq83jwaueghrf3huxw2z3dq7t2gzf6ppht5zr5w67889ws0tkgkp nostr:npub1e2yuky03caw4ke3zy68lg0fz3r4gkt94hx4fjmlelacyljgyk79svn3eef nostr:npub1v60thnx0gz0wq3n6xdnq46y069l9x70xgmjp6lprdl6fv0eux6mqgjj4rp nostr:npub1y8fddwv3hglwh0rs6xk5t9caavutjv6sr9ay7tfwsxwmj77e29dqk4fhh8 nostr:npub10x5qawd37s72gwynhttz2jsuamla2ek2u3w3mfld38z305pmmjesrh8zhx nostr:npub1tarsglsgvzl040vj6ekx0lj5gg5wv0g6hjhw8cr0ykgwh6fst6mqk5rplv nostr:npub1r0kjxm6hayw9r8hgk3j6gw7qp0gmqf60hkpy3xqhkzw6gj6w9tfs8p2xkt nostr:npub1nqahlrg9xfcgfl2jm0f89psfy9aasm3l3venlek9ydwyxvpehmpq7tnepf nostr:npub1lyk93ss4ehtppmpl6rn9cvu7t9vkm2kszy7rvmdm2qannqmdv6ksxl0x35 nostr:npub1jpmg79x8pelhqwh0fc6cat6cllh9hjmafgf3mg8d6xktajq7gwqsr7vfxm nostr:npub1ufy98lryr2pj7zcrc7n6zw4xh92pag3uzlhsuh73uu243au3z7jsuw2kpp nostr:npub1f7gcpwau8w9va369w3ll3pt9c7mr0qv6w96rm30e50944de5dy3swwx0y4 nostr:npub1qdcmncmmzsf6dewk6luvjxgykfp7zws0et3s676f5usudtvn0rzsu2l2l8 nostr:npub1uhen8835huh3dhgrcck266ad3fxj02dhwmeh6eg3txp7yz2j64xs7nh4p0 🕳️ nostr:npub1d4jgjs9n8kxgs4069aq9346axzwcxp0uw65qqneclxvshxly3mws4g4hts nostr:npub1ufy98lryr2pj7zcrc7n6zw4xh92pag3uzlhsuh73uu243au3z7jsuw2kpp nostr:npub18jnl04h9sg9zq45qyah8925gcwpmn0kf5vlmejf4jlz8aym6x3js8crzv6 nostr:npub19hk6h6v86erdn6vgfcydnpp8tcawfua6k3k7kz69u8e2cn2rphpscyvf0u 😂 nostr:npub10k2hwmw3fyxpr7haw90434xjvkkekhnqsjmlkyh0mkhd03dz5qpq4l804h nostr:npub19ueerl5hn8423av5q8xqtx6y0ayj9kj56der5au5fuctaqy6e4xserfnl8 nostr:npub1zwd3a5phvnqsu7ttjqkndd2arqspd7trltw52jxfnrppsuhkdv5q75tfh5 nostr:npub1eek26qhlhptxku39008vnpdzlalksd5z0sn2s4ynmnscwz260h7q57sxmr nostr:npub18jvyjwpmm65g8v9azmlvu8knd5m7xlxau08y8vt75n53jtkpz2ys6mqqu3 nostr:npub1x3vhtwp2szc3udfsvmnxuevnaxkkplulr65gt6v8dmgf7ghgm5mqhqrfgk @💍💎🎉
-
@ 9c5d0714:798b2576
2025-05-05 02:02:38
‘Like Spitting on a Fire’: Tether CEO Slams EU Deposit Protections Amid Bank Failure Warnings
https://finance.yahoo.com/news/spitting-fire-tether-ceo-slams-153531784.html
-
@ 681ec9c0:fe78b4e7
2024-11-03 22:26:22
I mean the day-to-day variability
Prior to end of August you've got an eyeball variance of +/- 500 per day at the 95% confidence interval, superimposed on a linear trend
That started in January and lasted for 8 months
https://i.nostr.build/Ob9JcteETwEQPzM8.jpg
Then there's a step change to +/- 7,000 per day superimposed on I don't even know wtf to call that, which lasted about 2 months
Now it looks like we're back to +/- 500
I can't think of a reasonable model of human behaviour that would produce 10-fold step changes in variance
-
@ 9c5d0095:39ebcb43
2025-05-05 02:01:18
Mattel to wind down its Hot Wheels Virtual Garage NFTs
https://cointelegraph.com/news/mattel-sunsets-hot-wheels-virtual-garage-nfts?utm_source=rss_feed&utm_medium=rss&utm_campaign=rss_partner_inbound
-
@ 4eb88310:2e055d6d
2024-11-03 22:04:50
That chart is only in 5k increments. It checks out.
-
@ 9c5d004e:9ae3d3cf
2025-05-05 01:59:17
Trump says he will reopen infamous Alcatraz prison for 'vicious' criminals
https://www.cbc.ca/news/world/trump-reopen-alcatraz-1.7526332?cmp=rss
-
@ dab9562a:ba18162e
2024-10-28 14:38:36
it will take time imho & diff. is on the user. I check the funbox often cuz it helps me handling time. t-y 4 sharing tf!
-
@ 7a78fbfe:48e76288
2024-10-25 15:13:49
❤️
-
@ 9c5d0c59:e4e08fb8
2025-05-05 01:58:46
When is Sean 'Diddy' Combs' trial and what is he charged with?
https://www.bbc.com/news/articles/c0qz32wzeego
-
@ 8925425a:70dddd1c
2025-05-05 02:21:38
鸟巢最近更新的视频真色情。
-
@ 9c5d0c59:e4e08fb8
2025-05-05 01:58:43
Trump says non-US movies to be hit with 100% tariffs
https://www.bbc.com/news/articles/cjr7e2z1rxyo
-
@ 6b70f8ea:e0502f1e
2025-05-05 02:21:27
GM friend
-
@ 1e3aa975:80324f5f
2025-05-05 02:27:33
vmess://eyJ2IjoiMiIsImFkZCI6IjE4OC4xMTQuOTkuMTM0IiwicG9ydCI6IjQ0MyIsImlkIjoiZWRiYjEwNTktMTYzMy00MjcxLWI2NmUtZWQ0ZmJhNDdhMWJmIiwiYWlkIjowLCJzY3kiOiJhdXRvIiwibmV0Ijoid3MiLCJob3N0IjoibGluZGUwNi5pbmRpYXZpZGVvLnNicyIsInBhdGgiOiJcL2xpbmt3cyIsInRscyI6InRscyIsInNuaSI6ImxpbmRlMDYuaW5kaWF2aWRlby5zYnMiLCJwcyI6Ilx1ZDgzZFx1ZGVhOUNGIHwgXHVkODNkXHVkZmUyIHwgdm1lc3MgfCBARGVhbU5ldF9Qcm94eSB8IDcifQ==
-
@ 63fe6318:330504ed
2025-05-04 15:10:33
Its good...
-
@ c1e6505c:02b3157e
2024-10-25 15:10:02
🤣
-
@ f7f4e308:b44d67f4
2025-05-05 02:18:57
肉感
-
@ 5b0183ab:a114563e
2025-05-05 02:27:28
And #Cilantrostr 🌿
-
@ 63fe6318:330504ed
2025-05-03 12:24:35
Sombody tuned llama with nostr already check huggingface
-
@ ff18165a:dd7ca7f0
2024-10-25 15:09:41
This is how the Spice Girls picked out which one was which.
-
@ 9c5d0bcc:4787ce5e
2025-05-05 01:51:21
Government cuts research into LGBTQ+ health
https://timesofindia.indiatimes.com/world/us/government-cuts-research-into-lgbtq-health/articleshow/120884348.cms
-
@ 97ff3119:01908098
2025-05-05 02:18:27
GM
-
@ 671f1c5b:20edb14b
2025-05-05 02:27:30
nostr:nprofile1qyd8wumn8ghj7ctjw35kxmr9wvhxcctev4erxtnwv4mhxqpqvu03ckcrrwegp3eurcs655sg6xwywc092pg2zcu8x95q7g8dk99snnz353
https://images.maariv.co.il/image/upload/f_auto,fl_lossy/c_fill,g_faces:center,w_1200/979053
A 20-year-old youth was killed in a car crash at a traffic light on Highway 444 near the entrance to El'ad. Medics and paramedics from MDA reported that he was found without signs of life and with severe systemic injuries, and were forced to declare his death.
https://www.maariv.co.il/news/israel/article-1193738
-
@ 63fe6318:330504ed
2025-05-03 09:21:02
Does it actually handle dead links though?
-
@ 9c5d0bcc:4787ce5e
2025-05-05 01:51:18
Israel army to call up reservists
https://timesofindia.indiatimes.com/world/middle-east/israel-army-to-call-up-reservists/articleshow/120884360.cms
-
@ ac5c59bc:9afde5b2
2025-05-05 02:27:09
https://64.media.tumblr.com/fb73221adea7f90c8d2540fb2bf89d51/tumblr_o72neyOOKI1vshryco1_500.jpg
Gun skills are Bitcoiner skills. ╾━╤デ╦︻(•_-)
-
@ 82abf9e0:25c56464
2025-05-05 02:27:30
Previous Action: Left ⬅️
https://tomkahe.com/system/media_attachments/files/114/452/858/442/416/596/original/b0f8fd8f6f7e76fb.png
https://tomkahe.com/system/media_attachments/files/114/452/859/488/775/890/original/8cf68ed67a8be88a.mp4
-
@ 681ec9c0:fe78b4e7
2024-10-25 12:33:23
That doesn't mean it will survive
Survival needs not too few users, not too many users, the right users, the right economic incentives, at the right time
"a truly censorship-resistant alternative to Twitter that has a chance of working"
https://github.com/nostr-protocol/nostr
nostr:nevent1qqs9thffuq0zvhy7rpkw8yrxdgjccfea9lz6sp26k4z8y0pp6ut5qwqpz4mhxue69uhhwmm59esh57npd4hjumn9wshsygrgrmyuqdetswcfgwyxxsyjha9l35y3p3pjazu8ef7hyt90u795uupsgqqqqqqsfsz5ah
-
@ b300db32:0bf5db3a
2025-05-05 02:27:05
https://primal.net/e/nevent1qqstkj5q5hel6qaayhu2ry7f3ahw2szuagv28kyat59qmq34d6j0jrqysr4yh
-
@ 9da75b1f:0f24dc6d
2025-05-05 02:17:40
These things come in waves
-
@ 63fe6318:330504ed
2025-05-01 18:51:24
s p i c y
-
@ 38c3c53e:54fcc7fa
2025-05-05 02:27:05
Nahhhh É só um teste ao NIP 5, enquanto penso na Europa
-
@ 681ec9c0:fe78b4e7
2024-10-25 12:20:42
So it turns out #nostr is genius level protocol design
nostr:nevent1qqs04vae8cf7aq2wnyv293l0u082q0kzz2kyjud9970r54j29ggv2kcpz4mhxue69uhhwmm59esh57npd4hjumn9wshsygrgrmyuqdetswcfgwyxxsyjha9l35y3p3pjazu8ef7hyt90u795uupsgqqqqqqstmhqev
nostr:nevent1qqspr7gvj7y0ar2zxdxu5nzxr604fd6d6h4pale9t5t57v7agvqvs5spz4mhxue69uhhwmm59esh57npd4hjumn9wshsygrgrmyuqdetswcfgwyxxsyjha9l35y3p3pjazu8ef7hyt90u795uupsgqqqqqqsk0cduk
nostr:nevent1qqsvxc659eucsxy8w9ev2zvsefpevla5su8zq9uvxx9ksxdfs7c8vyspzemhxue69uhkummnw3ez6un9d3shjtnpwpcz7q3qdq0vnsph9wpmp9pcsc6qj2l5h7xsjyxyxt5tsl986u3v4lncknnsxpqqqqqqzf4dxw0
nostr:nevent1qqspn3cwt3qzqf0sm5ss4j6h6l78lrv3mw2tr5axf9cm3tcpmg6wz9cpzemhxue69uhhwmm59eek7anzd96zu6r0wd6z7q3qwmr34t36fy03m8hvgl96zl3znndyzyaqhwmwdtshwmtkg03fetaqxpqqqqqqz625vqn
nostr:nevent1qqs287txfgqapjupqpfhtyypjhpg6pahnfdsc4s5ak69fljq0pxynzqpzemhxue69uhkummnw3ez6un9d3shjtnpwpcz7q3qdq0vnsph9wpmp9pcsc6qj2l5h7xsjyxyxt5tsl986u3v4lncknnsxpqqqqqqzyhy0hl
-
@ c1e6505c:02b3157e
2024-10-25 11:43:36
🤘🏼🫂
-
@ 8f007f5b:e4e4ba05
2025-05-05 02:12:51
#Brasiuuuuu
-
@ 9e5a3a1a:ed414e8d
2025-05-05 02:27:03
I did an #art, you guys. (ignore the tree and theblight posts balancing on top of the curb. That doesn't count 👀)
#drawing #artstr #drawstr https://image.nostr.build/74d30e8cec3d0e429a137222da5f2459beef3d7185cdfc5eb695b45b9c99fd51.jpg
-
@ 9c5d0bcc:4787ce5e
2025-05-05 01:51:15
Hamas executes looters in Gaza as food crisis worsens under Israeli blockade
https://timesofindia.indiatimes.com/world/middle-east/hamas-executes-looters-in-gaza-as-food-crisis-worsens-under-israeli-blockade/articleshow/120884383.cms
-
@ 63fe6318:330504ed
2025-05-01 12:56:42
Well ofc, here is the commit for this feature https://github.com/LNVPS/api/commit/7e10e0dd6eecc2bb3286945a281165a949fe7c90
-
@ dadd7380:cbaab578
2025-05-05 02:27:24
https://floridaphoenix.com/2025/05/01/abortion-groups-doctors-on-1-year-anniversary-of-6-week-abortion-ban-declare-were-still-here/
-
@ 93030618:73d311f7
2025-05-05 02:27:24
パスタ作るよ
-
@ 26297754:85334bea
2025-05-05 02:11:51
人老心不老啊，还挑战这么高难度的动作……😏😏
-
@ 9c5d0bcc:4787ce5e
2025-05-05 01:51:12
Romanians vote in election that could propel Trump ally to power
https://timesofindia.indiatimes.com/world/europe/romanians-vote-in-election-that-could-propel-trump-ally-to-power/articleshow/120884396.cms
-
@ 63fe6318:330504ed
2025-05-01 12:54:01
Yea they can just make a new account and set the lightning address to the vm
-
@ ea8d132e:d754785e
2025-05-05 02:27:16
‘The Last of Us’ Star Isabela Merced on Her Hard Choice, and That Online Debate
https://www.hollywoodreporter.com/tv/tv-news/last-of-us-star-isabela-merced-dina-interview-1236206798/?utm_source=flipboard&utm_medium=activitypub
Posted into Entertainment News nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqudmqxgw0p6yweu97ghxzjv9xn56zwwd93cz42d38tu9emwv7jcaqkz734h
-
@ 1c6cb229:a1868551
2025-05-05 02:17:42
🐻 Short Rekt: 1.92 BTC on Binance @ $94591.12 💀
This degen just lost $181,898.72.
https://relay.utxo.one/47872d190b08b02ff39817bf85ddecbd8116f8da72112bbf7adf35bc36c000ae.gif
-
@ f747b6b3:6cfb7a2b
2024-10-25 02:42:19
🫂💜🤙🫡
-
@ f7f4e308:b44d67f4
2025-05-05 02:10:38
牛马攒了一年的钱，五天花光……
-
@ 7a2519c2:34df45cb
2025-05-05 02:27:16
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq8ldpynnxdrf9yxch7dyru83nj8dwf0csgjh8qc8eddfnf5kku7xqfyq7lr 女的做雞男的做鴨
-
@ f7f4e308:b44d67f4
2025-05-05 02:05:09
开幕暴击😂
-
@ 63fe6318:330504ed
2025-05-01 12:46:59
try 101@api.lnvps.net
-
@ 2a06ac65:b689b89e
2025-05-05 02:27:02
啊哩大皇帝！鄉親齊聚廟口高喊下台！台灣團結抗暴君！【歷史哥精選檔案｜侯漢廷、黃士修、羅廷瑋、林國成、李永萍、蔡壁如、李易修】: https://www.youtube.com/watch?v=n2_AGYV7jfM
-
@ c1e6505c:02b3157e
2024-10-24 23:13:47
True!
-
@ f648d923:820d7bb9
2025-05-05 02:26:49
would you like to pay in cash or electronically?
Self-service can only be paid electronically.
if you need to pay in cash,so, you need to pay cash at the cash register.thanks.
only manual service can be paid in cash.
-
@ dadd7380:cbaab578
2025-05-05 02:27:15
https://www.stlpr.org/government-politics-issues/2025-04-30/missouri-senate-committee-advances-reinstating-statewide-abortion-ban
-
@ b300db32:0bf5db3a
2025-05-05 02:26:48
**Existe uma relação entre o problema [P versus NP] e a [Correspondência de Curry-Howard]?**
Sim! A relação reside na intersecção entre **complexidade computacional**, **teoria da prova** e **semântica de linguagens de programação**. A Correspondência de Curry-Howard (C-H) conecta programas computacionais a provas matemáticas, enquanto P vs NP é um problema fundamental sobre eficiência algorítmica. Abaixo, detalho os pontos-chave, o "santo graal" dessa área e suas limitações.
---
### **Pontos de Contato Principais**
1. **C-H como Ponte entre Provas e Programas**:
- **Provas = Programas**: Em C-H, uma prova de uma proposição lógica corresponde a um programa de um tipo específico. Por exemplo:
- **Provas construtivas** (como em lógica intuicionista) ↔ **Programas com tipos precisos**.
- **Verificação de provas** (checar se uma prova está correta) ↔ **Verificação de soluções em NP** (checar se um certificado é válido).
2. **Complexidade via Sistemas de Tipos/Provas**:
- **Lógicas com Restrições de Recursos**:
- **Light Linear Logic (LLL)** e **Bounded Linear Logic (BLL)** são sistemas lógicos que restringem regras de duplicação/contração para garantir que programas (provas) sejam executados em tempo polinomial. Esses sistemas **capturam a classe P** via C-H.
- **NP como Tipos Existenciais**: Problemas NP podem ser modelados como tipos do formato `∃x. Verificador(x, entrada) = Verdadeiro`. Encontrar um `x` que habite esse tipo equivale a resolver um problema NP.
3. **P vs NP como Busca de Provas Construtivas**:
- Se **P = NP**, toda prova verificável em tempo polinomial (NP) teria uma prova construtiva (programa em P) correspondente. Isso implicaria que **síntese de programas** (encontrar provas) seria tão eficiente quanto **verificação**.
4. **Provas Probabilísticas e PCP**:
- **Teorema PCP** (Probabilistically Checkable Proofs) e protocolos interativos estendem a C-H para cenários probabilísticos, ligando-se a classes como **IP = PSPACE**. Isso mostra como sistemas de prova avançados podem influenciar a compreensão de complexidade.
---
### **O "Santo Graal" da Área**
O objetivo final é **resolver P vs NP usando frameworks lógico-computacionais**:
- Se um sistema de tipos/provas para **NP** (existencial: "existe um certificado") puder ser **equivalente** a um sistema para **P** (construtivo: "como construir o certificado"), isso provaria **P = NP**.
- Se, por outro lado, for provado que sistemas para NP exigem **princípios não-construtivos** (ex: axioma do terceiro excluído), isso sugeriria **P ≠ NP**.
- Um avanço crucial seria descobrir uma **lógica que caracteriza NP, mas não P**, usando C-H para formalizar a separação.
---
### **Descobertas e Insights Relevantes**
1. **Capturando P em Lógica**:
- **Light Linear Logic (Girard)**: Garante que programas (provas) normalizem em tempo polinomial, modelando **P** via C-H.
- **Bounded Linear Logic (BLL)**: Adiciona anotações explícitas de recursos (ex: "este termo usa no máximo `n²` passos"), alinhando-se à análise de complexidade.
2. **NP como Tipos Dependentes**:
- Em teorias de tipos dependentes (Coq, Agda), problemas NP são representados como **tipos Σ** (dependentes):
```agda
Σ (x : Certificado) → Verificador(x, entrada) ≡ True
```
Resolver o problema corresponde a **encontrar um par (x, prova)** que habite esse tipo.
3. **Não-Determinismo e Provas com Foco**:
- Em **lógica linear**, sistemas de provas com foco alternam entre fases de **busca de soluções** (não-determinismo) e **verificação**, refletindo a dualidade P/NP.
---
### **Fraquezas e Limitações**
1. **Lacunas de Expressividade**:
- Lógicas como LLL e BLL são **restritivas** para programação prática, pois não capturam toda a riqueza de algoritmos em P (ex: falta suporte a estruturas de dados complexas).
- **Não-determinismo** (essencial para NP) não é natural em sistemas construtivos, exigindo extensões como axiomas clássicos ou operadores de continuação.
2. **Recursos Sintáticos vs Semânticos**:
- A análise de recursos em lógicas (ex: contar passos de inferência) é **sintática**, enquanto P/NP são definidos **semanticamente** (máquinas de Turing). Alinhar esses enfoques é difícil.
3. **Complexidade da Busca de Provas**:
- C-H garante que **se existe uma prova, existe um programa**, mas não diz como **encontrar** essa prova eficientemente. Mesmo se P = NP, a busca por provas construtivas ainda poderia ser intratável na prática.
4. **Dependência de Problemas Abertos**:
- Avanços dependem de resoluções em **complexidade de circuitos** ou **teoria descritiva**, áreas também bloqueadas pelo problema P vs NP.
---
### **Conclusão**
A interação entre **P vs NP** e **Curry-Howard** oferece uma perspectiva inovadora para atacar problemas de complexidade através de lógicas e sistemas de tipos. Embora o "santo graal" (resolver P vs NP) ainda seja especulativo, a relação já gerou frutos como:
- **Programação segura em recursos** (ex: algoritmos P certificados).
- **Sistemas de tipos para verificação automatizada** (ex: certificados NP em assistentes de prova).
No entanto, desafios como **modelagem de não-determinismo** e **tradução entre sintaxe e semântica** persistem. Superá-los exigirá não apenas avanços técnicos, mas talvez uma **reformulação radical** de como entendemos computação e lógica.
-
@ f1b911af:5c274c22
2024-10-24 23:10:03
Right on time for your 2️⃣ birthday 🎈
-
@ fd31d0a4:4f6a8c94
2025-05-05 02:01:11
Happy Birthday Hal, and thank you!
-
@ 9c5d0c59:e4e08fb8
2025-05-05 01:49:52
Trump says he won't seek a third term
https://www.bbc.com/news/articles/cd9l3399wvno
-
@ 67ada8e3:16052171
2024-10-24 22:24:54
🫂
-
@ 1c6cb229:a1868551
2025-05-05 02:09:38
🐂 Long Rekt: 1.00 BTC on Binance @ $93092.21 💀
This degen just lost $93,092.21.
https://relay.utxo.one/a031079f0699667252189bee2c617e3eadcaf47ae9e22d3fcfa2d0847464afa6.gif
-
@ 9c5d04b8:b5b2cb2c
2025-05-05 01:45:47
American tourist reportedly impaled on Rome's Colosseum fence as dozens watch in horror
https://www.foxnews.com/world/american-tourist-reportedly-impaled-romes-colosseum-fence-dozens-watch-horror
-
@ e3b5f432:f5bee9d0
2025-05-05 02:26:47
#Cuba is a clear example of dictatorship and disaster... and not because an influencer says so
#grownostr #freedom
nevent1qqstjpenlxsez7mll4zfnw38w7ymvpj2z08nf2rmk84xn8kayqmuqxgpzemhxue69uhhyetvv9ujuurjd9kkzmpwdejhgnyp4qs
-
@ 9c5d0c59:e4e08fb8
2025-05-05 01:45:27
Trump orders reopening of notorious Alcatraz prison
https://www.bbc.com/news/articles/cze17n02gego
-
@ 5468bcee:4605c9ed
2025-05-05 02:27:13
We have 2 special case services which did not use OCSP stapling with Must-Staple and are still using the default Let's Encrypt profile: SUPL and SMTP. Older generations of end-of-life Qualcomm Pixels didn't support SNI for SUPL in the Qualcomm cellular radio TLS stack. Some mail servers still don't.
-
@ 6963efc1:10b8946e
2025-05-05 02:27:12
Release on May 4 2025
Slave Taylor and Darth Destiny
Happy May the 4th. :p
I rarely draw Star Wars stuff but here's a cosplay pic of my characters Taylor and Destiny.
With Taylor as Slave Leia and Destiny as Darth Vader. :3
Fun fact this a remake of a drawing I did back in 2018, but with my other character Flamingo as Darth Vader instead of Destiny.
Destiny wasn't created yet.
#belly #bellybutton #belly_peril #starwars #star_wars #oc #originalcharacter #cosplay #skimpy
https://media.baraag.net/media_attachments/files/114/452/469/209/453/984/original/f98559faea607bfb.jpg
-
@ 63fe6318:330504ed
2025-04-30 20:13:04
They uses colored coin like omni layer
-
@ 3e0456bd:65b8c89b
2025-05-05 02:26:38
Can I use Goose with a local ollama model + VS code extension on a 2019 Mac? Or am I dreaming? #asknostr nostr:npub1sg6plzptd64u62a878hep2kev88swjh3tw00gjsfl8f237lmu63q0uf63m
-
@ 9c5d0714:798b2576
2025-05-05 01:44:57
Warren Buffett reveals Berkshire was ‘pretty close’ to a $10 billion deal not long ago but held off as cash continues to pile up
https://finance.yahoo.com/news/warren-buffett-reveals-berkshire-pretty-151416506.html
-
@ 96417ed9:66b02a55
2024-10-24 22:05:49
Not sure, I want to claim this title as well 😂
-
@ 1c6cb229:a1868551
2025-05-05 02:09:35
🐂 Long Rekt: 3.61 BTC on Binance @ $93072.17 💀💀💀
This degen just lost $336,083.61.
https://relay.utxo.one/f13893f6bb2d447896f8313cc5e773ad6bbe9ee11e243462793a1a2411657909.gif
-
@ 63fe6318:330504ed
2025-04-30 14:54:21
Ok it works, you can zap @api.lnvps.net to renew via LNURL
-
@ c48e29f0:26e14c11
2024-10-24 21:58:05
🤌🤌🤌🤌
-
@ 7ab4ed83:5d3855b4
2025-05-05 02:26:37
https://townsquare.media/site/252/files/2015/10/clintonsnl-630x420.jpg?w=780&q=75
-
@ 0c9b1e9f:3f6db0e0
2025-05-05 02:26:36
今日もお散歩しに行くんべ
-
@ 63fe6318:330504ed
2025-04-30 11:24:57
Snort renders generic replies for all threads also
-
@ d3076435:a9908cf8
2025-05-05 02:26:33
es verdad
-
@ 96417ed9:66b02a55
2024-10-24 21:56:11
I will come to New York just to see my nym on that book 😍🔥
-
@ 47f97d4e:f4122ef3
2025-05-05 02:26:30
Homemade Butter made easy 🧈 https://blossom.primal.net/ec0e9b7fc1bdda4c9b034d5b3a1a062d88d65bf90b403d04e6f069a916bcc2d1.mp4
-
@ 63fe6318:330504ed
2025-04-30 10:31:15
https://github.com/LNVPS/api/issues/31
-
@ 165b9d37:167cfac1
2025-05-05 02:26:26
Outside of social media every single person I know that uses Bitcoin are full blown leftists.
Anarchists mostly, plenty of libertarians as well. But yeah the only right wingers interested in Bitcoin seem to be Americans.
-
@ 63fe6318:330504ed
2025-04-30 10:22:58
The API docs are here: https://api.lnvps.net/swagger/index.html
-
@ c1e6505c:02b3157e
2024-10-24 21:31:24
🤘🏼🫂
-
@ 9c5d0793:0176d77e
2025-05-05 01:39:02
Trump Orders Alcatraz Reopened For "America's Most Ruthless And Violent Offenders"
https://www.zerohedge.com/political/trump-reorders-alcatraz-reopened-americas-most-ruthless-and-violent-offenders
-
@ fde4b26c:5cf32dad
2025-05-05 02:27:11
this video got 65 views when it was published on January 06, 2008 at https://youtube.com/watch?v=K8kINkcwLfA: https://cdn.nostrcheck.me/1ec0559d81cec56b97f3177e02cf12bb3ea49d97b65d3da09f963f3be9db3c28.mp4