Size: a a a

Network Neighborhood

2020 July 15

dv

dobbry vechur in Network Neighborhood
. . . . . .
То есть идея коммуникаций следующая: низкоуровневые действия типа подключения к nginx, очередь отправки, получения сообщений, создания потоков и асинхронная передача с переключением между tcp/udp написать на CompCert C. А более высокоуровневое поведение XMPP сервера отдать CakeML
короче новая идея: берёшь nginx
источник

A

Andrew in Network Neighborhood
dobbry vechur
короче новая идея: берёшь nginx
Ненене. Ждём nginx на расте.
источник

dv

dobbry vechur in Network Neighborhood
а был же какой-то суперсервер на расте
источник

a

abslimit in Network Neighborhood
всмысле суперсервер?
источник

A

Andrew in Network Neighborhood
Видимо не достаточно "супер", что даже названия не запомнил
источник

dv

dobbry vechur in Network Neighborhood
Ща
источник

dv

dobbry vechur in Network Neighborhood
actix-web?..
источник

MO

Morten Oseberg in Network Neighborhood
abslimit
всмысле суперсервер?
лол
источник

MO

Morten Oseberg in Network Neighborhood
у меня только одна ассоциация со словом суперсервер
источник

MO

Morten Oseberg in Network Neighborhood
inetd
источник

a

abslimit in Network Neighborhood
источник

a

abslimit in Network Neighborhood
а ведь правда
источник

dv

dobbry vechur in Network Neighborhood
тыц
источник

MO

Morten Oseberg in Network Neighborhood
abslimit
а ведь правда
На сколько я помню он стартует сервисы по запросу и мапит сокеты в файл-дескрипторы
источник

MO

Morten Oseberg in Network Neighborhood
Так что программа как будто читает из stdin
источник

A

Andrew in Network Neighborhood
Грустная история. Для опенсорса нужно иметь железные нервы (и яйца)
источник

dv

dobbry vechur in Network Neighborhood
Andrew
Грустная история. Для опенсорса нужно иметь железные нервы (и яйца)
ну оно возродилось и живо сейчас
источник

dv

dobbry vechur in Network Neighborhood
а вообще да
источник

dv

dobbry vechur in Network Neighborhood
Миша вот не смог
источник

.

. . . . . . in Network Neighborhood
dobbry vechur
короче новая идея: берёшь nginx
fastcgi, верифицированный на Coq
источник