/cht/a237b – ``chat''

/cht/ – chat

a237ba237b4adbdbd4fa29abf1f646fdcf40a – ``chat''

test message

Тогда можно вообще всё через неё выразить? Цель же в том чтобы синтаксис минимальный был?

а как связывание со символом через лямбду выразить?

очень легко
(lambda(new_symbol) new_symbol + 4)(factorial(5))

не понял

f := λx.x

:= же предполагается

var x = factorial(5);

print(x + 4)

то же самое, что

(x => print(x + 4))(factorial(5))

аа

lambda(sym1, sym2, sym3) 
....
val1, val2, val3

>Тогда можно вообще всё через неё выразить? Цель же в том чтобы синтаксис минимальный был?

Это уже есть -- лямбда исчисление. Цель в том, чтобы убирать из какого-то синтаксиса сущности до тех пор, пока сложность написания программ "умеренно" приближается к написанию на лямбда-исчислении.

:= с возможностью обращения внутри функции к себе сильно упрощает все. А еще if тоже сильно упрощает. Вот придумал, как это совместить.

ну и логические типы в нагрузку, операторы сравнения и т. д.

а что кроме статей на вики читать? TAPL?

если про типы, то да, тапл.

Хочу вкатиться в автоматическое доказательство теорем, но не знаю как подступиться.

Что-то всё не нравится.

В смысле, подходы существующие.

Представил жизнь где не нужно переключать раскладку, где ascii на всё хватает. Понравилось.

Открылась новая борда - spirech.org
http://old52qbrspw6jivvrcjlybucxatpnzwea3oxrsw75be4ka53qfqhrnid.onion

Блог анона с анонимным форумом http://6zel4fxak4o5ghtb46tpzcxuwrvpimyhfu7kkgy5rjpbnu643oac6kad.onion

Класс, уже два админа двух ресурсов тут есть. Когда вам надоест и вы закроете свои ресурсы - заглядывайте сюда.

Хотя, и сейчас тоже заглядывайте.

http://6zel4fxak4o5ghtb46tpzcxuwrvpimyhfu7kkgy5rjpbnu643oac6kad.onion/?p=74 не нужно такое писать, это всё гуглится на раз два.

ссылку на нигродвач пасаны киньте

не знаю что это

тор это анальное кольцо у нигратоса. двач это двач. нигродвач - это тородвачик!

Не было никакого двача и тородвача. Есть только ты здесь и сейчас, разговаривающий со мной, т.е. с самим собой.

Is there any public TCP service that echoes IP addresses? Not HTTP service

I want to check my network client's IP address. If the client uses HTTP, I can get its IP address by letting it connect http://ipinfo.io/ip or the like. But I want to prevent it from using HTTP. Is there any TCP service (server) that acts like http://ipinfo.io/ip but doesn't require HTTP?

For example, I want a server running this python script forever:

import socket
EXAMPLE_PORT = 50007
with socket.socket(socket.AF_INET, socket.SOCK_STREAM) as s:
    s.setsockopt(socket.SOL_SOCKET, socket.SO_REUSEADDR, 1)
    s.bind(('', EXAMPLE_PORT))
    s.listen(1)
    while True:
        conn, addr = s.accept()
        with conn:
            conn.sendall(addr[0].encode())

And I want to run the next python script as my client to get its IP address:

import socket
EXAMPLE_SERVER = 'theserver.xyz'
with socket.socket(socket.AF_INET, socket.SOCK_STREAM) as s:
    s.connect((EXAMPLE_SERVER, 50007))
    data = s.recv(1024)
print("my client's IP address:", repr(data))

Notes:
* I can make the server myself. But I want to know public service if it already exists.
* My client runs on hosts that I don't know their IP addresses.

https://www.youtube.com/watch?v=bGQ_bXg3ATs

https://www.youtube.com/watch?v=tKq4kyXc7oc&ab_channel=GiZiGiZi

https://www.youtube.com/watch?v=iPt7wDOASaY&ab_channel=AreSoundsElectrik?f

@5db8a@5db8a237d97647e18a69eea74a755d9d мертвый номер. вкатывайся в интерактивное, если ещё нет

fchan.xyz поплохело:
https://poopchan.org/b/fb-WTCV69VL
>no. as others noticed the instance list disappeared which was a result of the follow and following tables in the DB being deleted.
>i could have fixed it to where it was back to 'normal' by just adding the instances back to the database, but that would not have solved why that happened. i dont think there was some portion of the code that just happened to drop the following and follower entires. i think someone was able to my an sql injection somewhere or my servers were compromised.
>so i took them offline just to contain the mess. ill either move to another server or hopefully find some clues on what happend.

Золотце трансом стал https://lj.rossia.org/users/nashgold/217062.html?nc=20 ? ЛОЛ

> Apparently this blog hit the end,

наконец-то

он новый завёл https://lj.rossia.org/users/nancygold/

Ритчи о чём-то интересном думал до того как хуйнёй начал заниматья https://en.wikipedia.org/wiki/LOOP_(programming_language)

Интересно, когда я перестану ходить в университет

Что думаете по поводу The Open Network?

Есть ли что-нибудь интересное из крипты?

@907ef@907ef323a09b410580921ec3dd18d498 зафейлившаяся попытка монетизировать телеграм (который ни один зравомыслящий человек не должен использовать) через скам схему с помощью ещё одной ненужной крипты.

@10939@1093939868bd4a7ca14f63cac07a7199 monero

https://github.com/mm0r1/exploits/tree/master/php-filter-bypass

Помогите вспомнить фильм. Короче, суть такова. Два пиздюка (а может и не два) пытаются в пустыне смастерить парусное судно, которое с помощью воздуха передвигается. Это всё, что я помню.

Блядь, короче зумеры вот что придумали
если в анкетах на разных сервисах знакомств указан город seoul, то это для "вирта" и "роллок"

@f6136@f6136b291e4a4298ba684dff705b0ee1 интересная капча там. Это не картинка, а куча div элементов с одной буквой.

Думаю её очень легко можно сломать.

Надо выкинуть все не чёрные буквы, все у которых ширина меньше 10px и все которе находятся снаружи основного бокса.

Да, работает. Только не 10px, а 8px лучше брать.

ивлад сюда захаживает?

@50ae6@50ae6215d5b34a18a787bfdbd77f8998 с одной стороны, надо вайпнуть из принципа, с другой стороны, не плохая борда

@3612d@3612d9b6925c464bbb6a9273332f943c нет. По крайней мере он делал такой вид, что вообще не в курсе.

@49e2c@49e2c51671de447ab27cb4c5831c663e Пока думаю не надо, пока админ там не беспределил вроде как. Но есть такое предчувствие, что он сам её может закрыть из-за низкой активности.

Какая-то у вас мертвая и неудобная параша, давайте лучше на foxhound.cc пойдем? Годная борда, админ кодер хороший

И вайпы постоянно

https://p.foxhound.cc - Зеркало на случай если сайт у вас недоступен из-за бана РКН.

http://6k5boa4nveidv7cdpjminvak6y4dklvhbpsiuhndnzuxbfyraxtlftad.onion - Tor-mirror

@144d1@144d17282473451595db5a7c516db654 да, правда хорошая борда. Вайпов как тут нет

Плохая попытка, но да, не мешало бы и до неё тоже когда-нибудь дойти. Но не забывай, нет никаких фоксхаундов. Есть только ты здесь и сейчас, разговаривающий со мной, т.е. с самим собой.

javascript, майнкрафт, АйТи
вы бредите что ли

Блядь, что-то уже почти все видео с ютуб очень медленно качаются через mpv+youtube-dl. Раньше можно было несколько раз попробовать и выпадал сервер с нормальной скоростью отдачи, но теперь жопа какая-то. Спасает вот это https://www.yt2mp3.ws/index.php Через него норм качает.

@77d65@77d6528304d8407588e6bfc504c41613 hi

whats up?

im new here, and i think i need some help

@7ee02@7ee02cd95cbd4d17816c0a0368d00576 was going to sleep

@1cbbf@1cbbfdc73e6d402fbcbce8e6a941c660 read the help page

and where is it?

http://onion.tor.my/ui3/help

thanks u

@aa822 and usually the chats are on russian?

@732aa@732aa0ac73a14027bc58363500306fa8 usually yes, but as I understand it was meant to be multilingual

@b2f2e@b2f2ec80bb7d4d35811dfdfa86780332 oh ok thats great

Как можно пользоваться этой уткой сраной? Она же не может найти нихуя. По запросу "something" site:some.site выдаёт просто кучу говна без вообще какого-либо упоминания "something".

согласен

https://arxiv.org/abs/2108.11155 Про latent effects and handlers - альтернатива и обобщение algebraic effects and handlers.

https://en.wikipedia.org/wiki/Referrer_spam
>Spammers send fake visits to Google Analytics, often without ever accessing the affected site. The technique is used to have the spammers' URLs appear in the site statistics, inducing the site owner to visit the spam URLs. When it is the case that the spammer has never visited the affected site, the fake visits are also called Ghost Spam.
lol

Интересно, что гугл ничего не находит по запросу "limit_req_zone $connection". Неужели так никто не делает?

Закону исключённого третьего соответствует call/cc, точнее его тип (и получаем таким образом из интуиционистской классическую логику). Не думал об это раньше. Прикольно.

Пиздюк опять пытался вайпать? Я так и понял, что @144d1@144d17282473451595db5a7c516db654 @a7912@a79125f18413458abb6e76ef8cf1a648 и есть вайпер.

Наверное думает, что я начну вайпать фоксхаунд в ответ. Я же тебе ответил - возможно (они удалил мой тред поэтому есть за что), но не скоро, а может и вообще никогда.

Мне кажется lambda-calculus можно упростить.

t := x     // переменная
   | S     // функция подстановки
   | (t t) // аппликация

Я бы это назвал substitution-calculus или просто S-calculus.
Трансформация из lambda-calculus в S-calculus:

T[x] => x
T[(M N)] => (T[M] T[N])
T[(\x.M)] => ((S x) T[M])

Hi does anyone here speak english?

Yes, I do. There're other English speaking users but they don't post anything.

Garlok, holder, Ggundam, urakan, jinn.

~5 people.

>they don't post anything.
I mean recently.

I'm lurking here... Is "fulmar" an account shared by multiple people? Or is it a puppet by the pfpmd admin?

@fffb9@fffb91b55d7b42199db7e4145da6b24b No and no.

В эксперименте со щелями, когда из источника вылетает электрон, для любой его траектории существует отдельный мир. Все возможные варианты развития событий происходят на самом деле. Мы просто обнаруживаем себя в одном из них. Некоторые исходы событий более вероятны просто потому что количество миров, в которых это событие происходит, больше чем количество миров, в которых это событие не происходит.

Обнаружить себя в мире в котором ты мёртв – невозможно. Но другие могут тебя обнаружить мёртвым, потому что количество миров, в которых ты мёртв, увеличивается со временем.

Хотя это будет сложно назвать жизнью. Со временем ты постареешь, у тебя пропадёт память, ты перестанешь узнавать себя, у тебя поедет крыша, ты не сможешь мыслить, видеть, ощущать, у тебя пропадёт представление о времени. Единственное, что у тебя будет – это наблюдение того, что вот он ты здесь и сейчас в текущем моменте и ничего больше, ничего больше не будет существовать для тебя.

Весь мир в итоге будет состоять из одного тебя и пустоты. Долго так продолжаться не может, потому что мир в котором ничего не происходит очень маловероятен т.к. он всего один, а миров в котором что-то происходит – это все остальные миры. Поэтому что-то начнёт происходить. Возможно ты переродишься (не обязательно как младенец) и попадёшь в обычную реальность заново. Но ты ничего не сможешь вспомнить.

Каждый человек, на самом деле, это и есть ты. Из мира, где есть только ты и пустота, ты переходишь в каждый другой мир в какое-то существо. Все люди, которых ты наблюдаешь вокруг, и есть ты, который совершил такой транзишен.

Это может любой достаточно опытный психонавт подтвердить. Хотя я это всё понял и без веществ. Некоторые вещества судя по всему позволяют попасть в этот мир, где есть только ты и пустота, и вернуться. Естественно они не могут ничего толком описать и вспомнить потому что в этом мире у тебя нет ни памяти, ничего.

То, что они могут видеть и вспомнить – это процесс перехода в этот мир и выход из него, но не само пребывание в этом мире.

LynxChan капча сложнее немного и хуже поддаётся решению. Нет, конечно она тоже ломается, но просто лосс больше. Хотя трейнинг лосс меньше процента. Наверное модель не совсем подходящая для этой капчи, она плохо понимает эти инвертированные куски в капче, когда символ инвертирован частично.

Но когда же они все перестанут уже использовать эти капчи? Что должно произойти?

Ведь ну всё уже, всем понятно, что они легко ломаются. Куча статей есть про это, куча подходов, гугл отказался от текстовых капчи, все серьёзные игроки от них отказались.

488 489 490 491 492 493 494

515