Читая коменты некоторых анонимусов в этом треде, задумываюсь, что на лоре столько ненависти нет ни к одному ЯП - ни к хаскелю, ни к плюсам, как к лиспу.

Почему так?

Интересная выдержка:

«Quantitative comparison between xen and kvm», 17th International Conference on Computing in High Energy and Nuclear Physics (CHEP09), абстракт:

Currently the virtualization solution adopted is xen, which is well supported by the Scientific Linux distribution, widely adopted by the HEP community. Since the HEP linux distribution is based on RedHat ES, we feel the need to investigate performance and usability differences with the new kvm technology recently acquired by RedHat. The case study of this work will be the LHCb experiment Tier2 site hosted at our institute, where all major grid elements run on xen virtual machines smoothly.

Заключение:

To summarize, we can say that even if looking very promising, right now, xen hypervisor seems to be the best solution, particularly when using the para-virtualized approach.

Глоссарий:

• HEP — high energy physics,
• LHC — БАК.

Источник

Чуть больше по теме здесь

Привет, раз уж неделя лиспа и ФП на ЛОРе, то задамся вопросом.

В каком языке (рантайме) время вызова FFI функций максимальное? Минимальное?

inb4: тривиальные случае C -> C, C++ -> C не интересуют.

Посто проаффилирован письмом некого чувака в рассылку racket: (время доступа из racket - 150нс, из C - 3 нс)

One of important aspects for me is efficiency of Foreign Function Interface. Unfortunately, it seems that FFI is quite slow.

Here is the code I have:

-- test.c --

void do_test(void)
{}

-- test.rkt --

#lang racket/base

(require
    ffi/unsafe
    ffi/unsafe/define)

(define-ffi-definer define-t (ffi-lib "libtest"))

(define-t do_test (_fun -> _void))

(define (do_benchmark)
    (time (for ([i (in-range 1000000)])
        (do_test)))
)

(for ([i (in-range 10)])
    (do_benchmark))

-- Makefile --

libtest.so: test.o
    gcc -fPIC -shared -pthread -o libtest.so test.o

test.o: test.c
    gcc test.c -fPIC -shared -pthread -c -O2 -o test.o

clean:
    rm -f test.o libtest.so

Running the test suggests that a call to «do_test» costs about 150 nanoseconds. I would expect something not larger than 5 nanoseconds. A test where C program calls this function shows the call costs 3 nanoseconds.

P.S Увидел, что там Matthew Flatt ответил, что срезал треть, и 5x - это текущий потолок, дальше - только лезть в jit.

I haven't particularly tried to make foreign calls go faster, so I expect there's room for improvement. A quick profile suggested an easy way to trim 1/3 of the time, so I've done that (pushed to the git repo).

In my profile, 15-20% of the time is spent in libffi's wrappers, though, so a 5x improvement is probably an upper bound on the current design --- leaving still a 10x difference between a direct C call and Racket-to-C call. To do better, we might be able to use the JIT infrastructure to generate more direct calls for simple function types, but I'm not sure how general we can make that.

www.linux.org.ru/news/security/8508856

Зачем удалять-то?

Есть такое?

Сообщение удалено true_admin по причине: хватит изображать бота, тебе дали ссылку на опеннет где всё рассказано (0) Evgueni

А как там с сетевой прозрачностью? Evgueni ***** (23.10.2012 12:04:26)

true_admin, тебе не кажется, что ты перегибаешь палку, удаляя сообщение, которое является головой дискуссии?

xmonad, 2 монитора через xinerama.

сверху - xmobar + trayer

Неспешно лазаю по исходникам gallium, а так же сижу в IRC через ERC, читаю mailing листы в wanderlust и лор в w3m-emacs.

Плюс (на скрине не видно) использую bitlbee для сидения в жабирах, асечках и прочих вконтактиках.

emacs на втором экране (снизу) запущен на другой машине, окно emacsclient рисуется через X11, почти не тормозит.

Цветовая тема - попсовая solarized-dark, ШГ - битмапный terminus.

Система - debian testing с самособранным 3.6-rc1.

P.S движок не дает вставить изображение шире 3 килопикселя, поэтому сфотошопил второй монитор под первый.

Запилите кто-нибудь новость про netbsd 6.

http://netbsd.org/releases/formal-6/NetBSD-6.0.html

А то новостей про никому не нужных дистрибутивов линукса куча, а про выход новой мажорки Ъ-юникса никто так и не написал.

Если я ввожу любой символ, а сразу за ним нажимаю TAB, то символ вводится еще раз. Пример i[TAB] = ii

параметры ввода стоят следующие:

 xset r rate 400 50 

Проявляется только в иксах, в tty такого нет.

В чем косяк? Вроде бы, фигня, а мешает невероятно.

Пишет: соединение p2p не удалось версия - 4.0.0.8-1 x64 с офсайта.

Система - debian x64

Как починить?

Каталог .Skype и файл shared.xml сносил - 0 эффекта.

Выпущена новая мажорная версия языка программирования OCaml — современного объектно-ориентированного языка функционального программирования общего назначения.

Произошедшие изменения в языке:

• обобщенные алгебраические типы данных — мощное расширение системы типов;
• новый усовершенствованный ARM бекенд;
• изменения в модулях: аннотации типов теперь могут быть пропущены при упаковке и распаковке модулей, кроме того они могут быть распакованы при паттерн-матчинге;
• поддержка рандомизированных хеш-таблиц для устранения уязвимостей, связанных с DoS (denial of service);
• установка внутренних библиотек компилятора производится в +compiler-libs для легкого доступа сторонними утилитами.

Подробный Changelog

>>> Релиз

Лор, что лучше для езды по городу: мопед или скутер? Что надёжней? На чем удобнее объезжать пробки? Что быстрее?

Бюджет - 25k.

Наконец-то вышел релиз замечательной операционной системы семейства BSD DragonFlyBSD

Важные нововведения/изменения:

• SMP VM. Значительна повышена скорость работы на многопроцессорных конфигурациях за счет улучшений в подсистеме виртуальной памяти.
• HAMMER. Была повышена эффективность работы файловой системы HAMMER за счет введения time domain multiplexing
• Был убран Big Kernel Lock из большей части ядра, во время работой над багом, вызванным, ошибкой процессора AMD.
• Ядро с поддержкой SMP устанавливается по умолчанию. Это стало возможным за счет изменений в ACPI и interrupt routing
• Шифрование дисков при помощи tcplay(8) , являющейся 100% совместимой с TrueCrypt и использует лицензию BSD.
• В качестве репозитория пакетов используется pkgsrc-2011Q4.

Прямые ссылки на образа для скачивания:

i386
x86_64

>>> Подробности

Выпущен порт языка программирования Shen на Javascript.

Протестировать работу Shen на JS можно тут.

Для освежения памяти:

Shen - это функциональный язык программирования, являющийся продолжением языка Qi II. Имеет опциональную статическую систему типов, основанную на секвенциальном исчислении, и общее направление на логическое программирование.

Важной целью языка является переносимость. Ядро реализовано с использованием всего 45 функций Kernel Lisp (KL), поэтому язык достаточно быстро может быть перенесён на любую платформу.

Предыдущие посты на ЛОРе по теме:

• http://www.linux.org.ru/forum/development/7062347
• http://www.linux.org.ru/news/opensource/3927680
• http://www.linux.org.ru/news/opensource/3299938

>>> Подробности

The Daily Mail reports on a piece from The Sunday Times revealing that University College London have seen an increasing number of Muslim students boycotting lectures on Evolution due to clashes with the Koran...

Ну facepalm же!

%USERNAME% ты тыкал/делал что-нибудь на этом языке?

Ссылка на сайт языка

Какой experience?

Для Ъ:

Фичи языка:

pattern-matching:

(define member
    _ [] -> false
    X [X | _] -> true
    X [_ | Y] -> (member X Y))

каррирование/partial application:

> (* 2)
#<FUNCTION :LAMBDA (#:Y19250) (multiply #:Y19249 #:Y19250)>

> ( (* 2) 2)
4

статическая типизация:

(define total
    {(list number) --> number}
    [] -> 0
    [X | Y] -> (+ X (total Y)))

(define total-tst
-> (total [1 2 3 4 'a]))

\* выключим static type checking *\

> (tc -)
false : boolean

> (total-tst)
COERCE: 'a is not a real number

\* включим static type checking *\

> (tc +)
true

> (total-tst)
type error

Встроенная машина вывода (prolog):

(48-) (defprolog member
X [X | _] <--;
X [_ | Y] <-- (member X Y);)
member

(51-) (prolog? (member 1 [1 2]))
true

(52-) (prolog? (member 0 [1 2]))
false

(53-) (prolog? (member X [1 2]))
true

(54-) (prolog? (member X [1 2]) (return X))
1

Задание пользовательских типов данных (в т/ч рекурсивных) при помощи sequent calculus

(15+) (datatype binary

 if (element? X [0 1])
 _____________
 X : zero-or-one;
 
 X : zero-or-one;
 __________________
 [X] : binary;

 X : zero-or-one; Y : binary;
 ____________________________
[X | Y] : binary;

X : zero-or-one, [Y | Z] : binary >> P;
___________________________________________
[X Y | Z] : binary >> P;)
binary 

(16+) (define complement
\calculates the complement of a binary number\
{binary --> binary}
[0] -> [1] 
[1] -> [0] 
[1 N | X] -> [0 | (complement [N | X])] 
[0 N | X] -> [1 | (complement [N | X])]) 
complement : (binary --> binary)

(3+) (complement [0 1 0 1])
[1 0 1 0] : binary

trex6 Новости - Apple Умер Стив Джобс. 4.1 Offtopic
Dennis7 Новости - Apple Steve Jobs 1955-2011 4.1 Offtopic
goingUp Новости - Apple Стив Джобс отошел в мир иной 4.1 Offtopic

но все-таки новость про Джобса появилась:
Скончался Стив Джобс, один из основателей компании Apple

Новость от модератора не может быть 4.1 Offtopic?

WTF?

Привет.

Мне нужно скопировать файл в образ (файл) файловой системы FAT32.

Ограничения:
нет рута.

то есть, нельзя:

* смонтировать через loopN,
* через fat-fuse (потому что нужен рут, чтобы подгрузить модуль fuse)

На файловой системе установлен FreeDOS, поэтому была идея запустить все это через qemu и скопировать через serial, либо через console, но пока не получается (копирование в именованый канал идет, но внутри VM ничего не принимается)

Собственно, какие еще есть варианты перед тем, как я начну писать свой велосипед для этого?

Спасибо.

Что делать, если часть новостей с ЛОРа, например про новые дистрибутивы, создание новых комьютерных классов с ОС «ЛИНУКС» в городе зажопинске, и.т.д. мне неинтересна?

Есть какие-нибудь решения, чтобы не видеть этого всего?

Спасибо.

@archimag: *lisp *работа

Меняю работу, CL на ней больше не будет (пока?), возвращаюсь в мир Python, C++ и жуткого enterprise. http://juick.com/archimag/1515582

Не пропускаем.

Похоже лиспосрачам приходит конец.

Еще одним практиком, использующим CL в разработке, на ЛОРе меньше.