LINUX.ORG.RU

Сообщения x4DA

 

emacs + language server protocol

Форум — Development

lsp-mode кто-нибудь юзает?

https://github.com/emacs-lsp/lsp-mode

Как оно по сравнению с rtags?

 

x4DA
()

Продемонстрировано использование уязвимости в DRAM-памяти для повышения привилегий в системе

Новости — Безопасность
Группа Безопасность

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

Исследователи безопасности из группы Zero продемонстрировали реальность создания рабочих эксплоитов, использующих уязвимость RowHammer

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

 , , ,

x4DA
()

s-exp синтаксис для rust

Форум — Development

Поскольку единственное что есть плохого в rust это синтаксис, то давайте подумаем над rust, у которого будет такая же операционная семантика, но синтаксис будет на s-expressions.

Как вам идея?

 , , ,

x4DA
()

Приплыли

Форум — Talks

http://juick.com/zinid/2732482

Для Ъ:

По понятным причинам запустили логгинг всех сообщений на jabber.ru/xmpp.ru. Логгируются только входящий и исходящий JID'ы, то есть без текста самого сообщения.

P.S может в виде новости запилить? Чтобы больше народу в курсе было?

 , ,

x4DA
()

Первоапрельский йумор

Форум — Linux-org-ru

Из года в год наиболее талантливые юзеры лора творят первоапрельскую клоунаду, а недалекие модераторы это подтверждают.

Так вот - убейте себе об стену. КГ/АМ. Такое петросянство на серьезном ресурсе не нужно.

inb4: сам убейся

 , ,

x4DA
()

Проблемы с клавиатурой на thinkpad t430

Форум — Linux-hardware

Иногда клавиатура лочится и виртуально залипает кнопка w, то есть ввод состоит целиком из нее. Это фиксится нажатием esc.

Иногда клавиатура просто лочится и не реагирует на ввод. Лечится переходом на console tty.

С внешней клавиатурой таких проблем нету.

Система Debian testing, Ядро 3.12-1-amd64, Версия xorg: 1.14.3-4

В чем проблема может быть?

 

x4DA
()

GUI программы с клавиатурным управлением

Форум — Desktop

ЛОР, какие ты знаешь GUI программы, ориентированые на управление с клавиатуры?

inb4: emacs, vimperator, conkeror

 ,

x4DA
()

Фич-реквест: возможность прицеплять картинку к комментарию

Форум — Linux-org-ru

 

x4DA
()

OTR в emacs-jabber

Форум — Development
  • Есть тут юзающие emacs-jabber ?
  • Хочет ли кто-нибудь поддержку OTR?

Спасибо.

 , , ,

x4DA
()

Есть тут радиолюбители из ДС2?

Форум — Talks

Есть тут лоровцы-радиолюбители?

Кто на каких частотах работает?

Сам сижу с портативки на LPD и VHF диапазонах, слушаю lpdnet и openrepa (правда ловит не всегда).

 

x4DA
()

Скорость обработки массивов в разных лиспах и прочих яп

Форум — Development

Задача - создать массив случайных чисел на 3000000 элементов и замерить сколько времени займет нахождение суммы квадратов.

SBCL:

(defconstant +size+ 3000000)

(defparameter *vector* (map-into (make-array +size+ :element-type 'double-float) (lambda () (random 1.0d0))))

(defun sum-vec (v &aux (s 0.0d0))
  (declare (optimize speed (safety 0) (debug 0))
           (type (simple-array double-float (*)) v)
           (type double-float s))
  (dotimes (i (length v) s)
    (incf s (expt (elt v i) 2))))

(time (sum-vec *vector*))
$ sbcl --load bench.lisp
Evaluation took:
  0.009 seconds of real time
  0.012001 seconds of total run time (0.012001 user, 0.000000 system)

Racket

#lang typed/racket
(require racket/flonum)

(define Sz 3000000)
(define test-vec 
    (for/flvector #:length Sz ([i (in-range Sz)]) (random)))

(: sum-vec : FlVector -> Flonum)
(define (sum-vec v)
  (for/fold ([S 0.0]) ([e (in-flvector v)]) 
    (fl+ (fl* e e) S)))

(time (sum-vec test-vec))
$ raco exe bench.rkt
$ ./bench
cpu time: 20 real time: 22 gc time: 0

1. Можно ли код на racket еще улучшить?

2. Сколько времени занимает обработка в ваших языках? Особенно интересует ocaml и haskell

UPD. Думаю стоит пририсовать два нуля к размеру массивов, чтобы они не влезали целиком в кеши, олсо подумать там более произвольным доступом в к элементам.

 , , , ,

x4DA
()

Я в неудомении

Форум — Linux-org-ru

[3] Сообщение удалено mono по причине 4.3 Провокация flame (0)

чоза курсовик такой?

Создание велосипедного эмулятора какой-то консоли?

Помощь в изучении OpenGL

Что с вами, модераторы?

 , , ,

x4DA
()

emacs + windbg

Форум — Development

Кто-нить юзал emacs вместе с виндовым кернеловым отладчиком kd.exe?

Я тут нашел gud-cdb, но он для юзермодного cdb. С некоторыми хаками удалось подключить к remote-сессии windbg, однако gud буфер с исходником не показывает ибо формат сообщений отличается.

Кто-нибудь ковырял?

Хочу узнать как обстоят дела в этом вопросе, прежде чем костылять свои хаки.

 , , ,

x4DA
()

Выбора ноута с хорошим графоном тред

Форум — Linux-hardware

Привет чят.

Посоветуй ноут с хорошим графоном, например Nvidia quadro K1000M.

Хочу 128-битную шину видеопамяти и поддержку dx 11.1. (dx 11.1 - чтобы был opengl 4.4, например)

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

Склоняюсь к thinkpad w530, как оно?

 , , , ,

x4DA
()

First-class поддержка values в racket

Форум — Development

Почему values в racket не first class citizen?

Пруф:

(eq? (values 1 2) (values 1 2))
result arity mismatch;
 expected number of values not received
  expected: 1
  received: 2

Я вижу дохера функций вида xxxx-values и xxxx/values? Почему бы не сделать нормально?

UPD: товарищи из #racket говорят, что до появления в racket паттерн-матчинга было бы сложновато делать такие штуки без values:

(let-values ([(evens odds) (partition even? '(1 2 3 4))]) 
                           (list 'evens: evens 'odds: odds))

 , ,

x4DA
()

Древовидных коментариев вопрос

Форум — Linux-org-ru

Короче, установил в greasemonkey скриптец, который делает древровидные цоменты, однако при попытке покинуть страницу выскакивает дебильное окошко с подтверждением ухода со страницы.

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

P.S cast sdio

 ,

x4DA
()

Как отписаться от тега haskell?

Форум — Talks

Сабж.

Задолбали, все равно фигню всякую пишут.

 ,

x4DA
()

За что забанили?

Форум — Linux-org-ru

Написано «оскорбления участников». Посмотрел коменты, ничего такого не увидел.

amphibrakhij

 

x4DA
()

Так ли нужна оптимизация хвостовых вызовов?

Форум — Development

Вон в rust считают, что не нужна:

- Tail calls «play badly» with deterministic destruction. Including deterministic drop of ~ boxes. Not to say that they're not composable, but the options for composing them are UI-awkward, performance-penalizing, semantics-complicating or all of the above.

- Tail calls also «play badly» with assumptions in C tools, including platform ABIs and dynamic linking.

- Tail calls require a calling convention that is a performance hit relative to the C convention.

- We find most cases of tail _recursion_ convert reasonably well to loops, and most cases of non-recursive tail calls encode state machines that convert reasonably well to loops wrapped around enums. Neither of these are _quite_ as pretty as the tail-call-using variants, but they do work and are «as fast»*, as well as idiomatic for C and C++ programmers (who are our primary audience).

https://mail.mozilla.org/pipermail/rust-dev/2013-April/003557.html

 , , ,

x4DA
()

Спасибо модераторам

Форум — Linux-org-ru

За то, что не подтверждают эту первоапрельскую клоунаду в новостях.

 

x4DA
()

RSS подписка на новые темы