Посоветуйте сабж плиз.
Хотя даже не знаю правильно ли я это называю.
Интересует учебник радиолюбителя, какие делали для чего нужны, как их правильно применять, как правильно рассчитывать схемы...
Две основные просьбы:
- нужно для абсолютного нуба
- чтоб покрывались и современные темы, а не только то что было в 60-70х прошлого века
Доброго времени суток, ЛОР.
Тема такая здесь наверняка была, но сейчас какой-то бум всяких микроконтроллеров, поэтому я решил, что в мои практически уже 20 лет как-то негоже не уметь паять, раз даже школьники могут.
В связи с чем вопрос: а какой паяльник-то покупать или как его хотя бы выбирать? Ни разу в руках его не держал, о процессе имею весьма смутное представление.
Для чего он мне нужен? А чёрт его знает, может, из ардуин всё тех же вундервафли лепить, может, технику какую дома починить. Просто хочу научиться хотя бы. Чего посоветуете?
UPD Важное уточнение: желательно, чтобы продавалось в мск и можно было взять буквально на днях; подарок же мне, любимому, а днюха совсем скоро.
Тут будет много букв, я морально готовился месяц, поэтому за объем заранее извиняйте. Сразу скажу - на ассемблерах я не писатель, и цель треда - не обсуждение дизайнерских решений, а производительность монад. Суть всплывёт ближе к концу (я надеюсь).
Представим, что мы моделируем некий процессор, у которого есть простой набор инструкций. С инструкций и начнем:
data Register = R1 | R2 | R3 | R4 | R5 | R6
deriving (Show)
data Operator = ADD | SUB | MUL | DIV
| LESS | EQUAL | AND | OR | NOT
| MOV
| JMT | JMF | JMP
| PRN | NOP
deriving (Show)
class OperandClass a where
toOperand :: a -> Operand
instance OperandClass Register where
toOperand = R
instance OperandClass Operand where
toOperand = id
instance OperandClass () where
toOperand _ = N
data Operand = R !Register | V !Double | I !Int | N
deriving (Show)
type Instruction = (Operator, Operand, Operand)
Иными словами, всё очень просто: инструкция - это кортеж оператора и операндов, операндом могут быть регистр, значение, или ничего.
Чтобы кодить на нашем псевдоассемблере, потребуется таки простенький компилятор. Цель его - записать все инструкции в списочек.
-- | Monad for programming instructions
type ASM a = State [Instruction] a
compile :: ASM a -> [Instruction]
compile c = execState c []
op :: (OperandClass s, OperandClass d) => Operator -> s -> d -> ASM ()
op cmd src dst = modify $ \s -> s ++ [(cmd, toOperand src, toOperand dst)]
pos :: ASM Int
pos = liftM length get
nop :: ASM Int
nop = do { p <- pos; op NOP () (); return p}
putOp :: (OperandClass s, OperandClass d) => Int -> Operator -> s -> d -> ASM ()
putOp p cmd src dst = do
let instr = (cmd, toOperand src, toOperand dst)
(before,after) <- liftM (splitAt p) get
put $ before ++ instr : tail after
Тут, опять же, ничего сложного. Для наглядности, немного забегая вперед, приведу пример кода на этом «ассемблере». Данный код считает квадратный корень заданного числа методом Герона с заданным приближением (числом шагов):
-- | Heron's method to calculate square root
-- Inputs: r1 - value to calculate square root from
-- r2 - number of iterations
-- Outputs: r6 - output value
heron :: ASM ()
heron = do
op MOV (V 1) R5
op MOV (V 0) R3
iterStart <- pos
op MOV R3 R4
op EQUAL R2 R4
ifFalse <- nop
op MOV R1 R6
op DIV R5 R6
op ADD R5 R6
op MUL (V 0.5) R6
op MOV R6 R5
op ADD (V 1) R3
op JMP (I iterStart) ()
loopEnd <- pos
putOp ifFalse JMT R4 (I loopEnd)
op PRN R6 ()
Надеюсь, тут становится ясна необходимость в действиях pos, nop, и putOp, описанных ранее - их суть в расстановке меток и замене пустышек на инструкции, привязанные к меткам. Не самое элегантное, но, как по мне, вполне решение для организации циклических конструкций.
Идём дальше. Чтобы это всё выполнять, нужна ещё одна монада:
-- | Monad for executing instructions
data Registers = Registers
{ r1 :: !Double
, r2 :: !Double
, r3 :: !Double
, r4 :: !Double
, r5 :: !Double
, r6 :: !Double
} deriving (Show)
initialRs :: Registers
{-# INLINE initialRs #-}
initialRs = Registers
{ r1 = 0
, r2 = 0
, r3 = 0
, r4 = 0
, r5 = 0
, r6 = 0
}
type CPU a = StateT Registers IO a
execute ::Registers -> [Instruction] -> IO Registers
execute rs code = execStateT (exec code) rs
where
{-# INLINE exec #-}
exec ((JMP, I pos, _ ):is) = {-# SCC "JMP" #-} exec $! drop pos code
exec ((JMF, reg, I pos):is) = {-# SCC "JMF" #-} readVal reg >>= \v ->
exec $! if toBool v
then is
else drop pos code
exec ((JMT, reg, I pos):is) = {-# SCC "JMT" #-} readVal reg >>= \v ->
exec $! if toBool v
then drop pos code
else is
exec ((ins, src, dst):is) = {-# SCC "OP" #-} execOP ins src dst >> exec is
exec [] = return ()
execOP :: Operator -> Operand -> Operand -> CPU ()
{-# INLINE execOP #-}
execOP ADD src dst = {-# SCC "ADD" #-} arith ADD src dst
execOP SUB src dst = {-# SCC "SUB" #-} arith SUB src dst
execOP MUL src dst = {-# SCC "MUL" #-} arith MUL src dst
execOP DIV src dst = {-# SCC "DIV" #-} arith DIV src dst
execOP LESS src dst = {-# SCC "LESS" #-} logic LESS src dst
execOP EQUAL src dst = {-# SCC "EQUAL" #-} logic EQUAL src dst
execOP AND src dst = {-# SCC "AND" #-} logic AND src dst
execOP OR src dst = {-# SCC "OR" #-} logic OR src dst
execOP NOT src dst = {-# SCC "NOT" #-} logic NOT src dst
execOP MOV src dst = {-# SCC "MOV" #-} readVal src >>= \v -> putVal dst $! v
execOP PRN src _ = {-# SCC "PRN" #-} readVal src >>= \v -> liftIO $ print v
arith :: Operator -> Operand -> Operand -> CPU ()
{-# INLINE arith #-}
arith op src dst = do
v1 <- readVal src
v2 <- readVal dst
case op of
ADD -> putVal dst $! v2 + v1
SUB -> putVal dst $! v2 - v1
MUL -> putVal dst $! v2 * v1
DIV -> putVal dst $! v2 / v1
logic :: Operator -> Operand -> Operand -> CPU ()
{-# INLINE logic #-}
logic op src dst = do
v1 <- readVal src
v2 <- readVal dst
case op of
LESS -> putVal dst $! fromBool $ v2 < v1
EQUAL -> putVal dst $! fromBool $ v2 == v1
AND -> putVal dst $! fromBool $ toBool v1 && toBool v2
OR -> putVal dst $! fromBool $ toBool v1 && toBool v2
NOT -> putVal dst $! fromBool . not . toBool $ v1
fromBool :: Bool -> Double
{-# INLINE fromBool #-}
fromBool True = 1
fromBool False = 0
toBool :: Double -> Bool
{-# INLINE toBool #-}
toBool 0 = False
toBool _ = True
readVal :: Operand -> CPU Double
{-# INLINE readVal #-}
readVal (R R1) = gets r1
readVal (R R2) = gets r2
readVal (R R3) = gets r3
readVal (R R4) = gets r4
readVal (R R5) = gets r5
readVal (R R6) = gets r6
readVal (V v) = return v
putVal :: Operand -> Double -> CPU ()
{-# INLINE putVal #-}
putVal (R R1) v = modify $ \s -> s { r1 = v }
putVal (R R2) v = modify $ \s -> s { r2 = v }
putVal (R R3) v = modify $ \s -> s { r3 = v }
putVal (R R4) v = modify $ \s -> s { r4 = v }
putVal (R R5) v = modify $ \s -> s { r5 = v }
putVal (R R6) v = modify $ \s -> s { r6 = v }
Тут кода уже побольше, но, опять же, ничего сложного - мы просто проходимся по списку инструкций и интерпретируем каждую, выполняя соответствующие действия. Состояние нашего игрушечного процессора - шесть дабловых регистров.
Вот и всё!
Полная версия кода доступна на Гитхабе.
С файликом, загруженным в ghci, можно поиграться, например, так:
let h = compile heron
execute (initialRs {r1 = 25, r2 = 4}) h
5.015247601944898 Registers {r1 = 25.0, r2 = 4.0, r3 = 4.0, r4 = 1.0, r5 = 5.015247601944898, r6 = 5.015247601944898}
Но самое важное для меня в данной ситуации - это время, за которое наш компьютер посчитает 10 000 корней. Входные данные и скрипт для запуска есть в репозитории:
$ ghc --make -O3 Asm.hs $ ./measure.sh
Судя по результатам профайлера, основное время мы таки проводим в нашем процессоре:
COST CENTRE MODULE %time %alloc
OP Main 33.6 34.2
PRN Main 21.4 23.0
READ Main 16.4 12.8
MOV Main 8.8 13.2
ADD Main 5.4 6.7
DIV Main 3.3 3.7
EQUAL Main 3.1 3.4
MUL Main 2.7 3.0
JMT Main 2.3 0.0
JMP Main 1.9 0.0
individual inherited
COST CENTRE MODULE no. entries %time %alloc %time %alloc
MAIN MAIN 52 0 0.7 0.0 100.0 100.0
JMT Main 113 200000 2.3 0.0 80.7 85.4
OP Main 114 1610000 32.8 33.3 78.3 85.4
PRN Main 121 10000 21.4 23.0 21.4 23.0
EQUAL Main 120 200000 2.7 3.2 2.7 3.2
JMP Main 119 200000 1.9 0.0 1.9 0.0
MUL Main 118 200000 2.7 3.0 2.7 3.0
ADD Main 117 400000 5.4 6.7 5.4 6.7
DIV Main 116 200000 3.3 3.7 3.3 3.7
MOV Main 115 600000 8.2 12.6 8.2 12.6
EQUAL Main 111 0 0.4 0.2 0.4 0.2
MOV Main 108 0 0.6 0.6 0.6 0.6
OP Main 106 40000 0.8 0.9 0.8 0.9
JMT Main 112 10000 0.0 0.0 0.0 0.0
EQUAL Main 110 10000 0.0 0.0 0.0 0.0
MOV Main 107 30000 0.0 0.0 0.0 0.0
ITER Main 105 10000 0.4 0.1 0.4 0.1
READ Main 104 1 16.4 12.8 16.4 12.8
CAF Main 103 0 0.0 0.0 0.0 0.0
READ Main 109 0 0.0 0.0 0.0 0.0
Т.о., исполнение собственно операций (кроме ввода-вывода) занимает около 70% всего времени.
Внимание, суть!. Интересно, как зависит время выполнения от способа организации (или, если хотите, реализации) главной монады в тесте - CPU. Самое простое для начала - попробовать готовые реализации.
Мои результаты:
CPU, реализованной поверх пакета transformers
mtl
contstuff
ХаскельВики рекомендует путь джедаев - ручной анроллинг стэков трансформеров и(ли) переход на CPS. Переход на CPS - вообще вещь легендарная, в иных историях успеха оно ускоряет код раз так в 4-8. Проверим:
newtype CPU a = CPU { runCPU :: forall r. Registers -> (a -> Registers -> IO r) -> IO r }
instance Monad CPU where
return = retCPU
(>>=) = bindCPU
instance MonadIO CPU where
liftIO = lioCPU
retCPU :: a -> CPU a
{-# INLINE retCPU #-}
retCPU x = CPU $ \s k -> k x s
bindCPU :: CPU a -> (a -> CPU b) -> CPU b
{-# INLINE bindCPU #-}
bindCPU (CPU m) f = CPU $ \s0 k -> m s0 $ \a s1 -> runCPU (f a) s1 k
lioCPU :: IO a -> CPU a
{-# INLINE lioCPU #-}
lioCPU f = CPU $ \s k -> f >>= \x -> k x s
get :: CPU Registers
{-# INLINE get #-}
get = CPU $ \s k -> k s s
gets :: (Registers -> a) -> CPU a
{-# INLINE gets #-}
gets f = get >>= \s -> return $! f s
put :: Registers -> CPU ()
{-# INLINE put #-}
put s = CPU $ \_ k -> k () s
modify :: (Registers -> Registers) -> CPU ()
{-# INLINE modify #-}
modify f = get >>= \s -> let s' = f s in put $! s'
Хотите верьте, хотите нет - такой вариант показал результат в 0.41c. Я в печали.
При ручном анроллинге (без CPS):
newtype CPU a = CPU { runCPU :: Registers -> IO (Registers, a) }
instance Monad CPU where
return = retCPU
(>>=) = bindCPU
instance MonadIO CPU where
liftIO f = CPU $ \s -> f >>= \x -> return (s, x)
retCPU :: a -> CPU a
{-# INLINE retCPU #-}
retCPU x = CPU $ \s -> return (s, x)
bindCPU :: CPU a -> (a -> CPU b) -> CPU b
{-# INLINE bindCPU #-}
bindCPU m f = CPU $ \s -> do (s', a) <- runCPU m s
runCPU (f a) s'
get :: CPU Registers
{-# INLINE get #-}
get = CPU $ \s -> return $! (s, s)
gets :: (Registers -> a) -> CPU a
{-# INLINE gets #-}
gets f = get >>= \s -> return $! f s
put :: Registers -> CPU ()
{-# INLINE put #-}
put s = CPU $ \_ -> return (s, ())
modify :: (Registers -> Registers) -> CPU ()
{-# INLINE modify #-}
modify f = get >>= \s -> let s' = f s in put $! s'
...всё несколько лучше, удалось получить 0.34с, но это всё равно не тот прирост, который я ожидал.
Данные эксперименты и опыт коллег, которые-делали-почти-то-же-самое-и-у-них-получилось, наталкивают на мысли, что что-то где-то пошло не так. Поэтому мой вопрос светлейшим умам форума сего - как воспроизвести те впечатляющие результаты с анроллингом и CPS? Какую деталь я мог упустить?
Для вашего удобства, весь код в его текущем состоянии выложен на Гитхабе, каждый вариант в своей ветке.
Простите ещё раз за такую простыню и неровный почерк. Всем любви!
Здравствуйте, любители свежей олдятинки!
Провёл ревизию и выяснил, что есть вполне живые и работоспособные движки к классическим игрушкам. Вот некоторые примеры:
Многое изменилось с момента публикации предыдущего варианта моего рабочего (домашнего) места.
Полноразмерное изображение
Итак, обо всём по порядку:
* В комнате уже 4 ковра;
* На медиацентре Ubuntu 10.10 (с выходом 12.04 LTS ситуация поправится);
* Монитор по прежнему Philips 42PFL3605H/12;
* Вместо ноутбука теперь нетбук Samsung N450 plus;
* На нетбуке Ubuntu 11.10;
* В медиацентре заменил винчестер на 3 ТБ WD WD30EZRSDTL 5400rpm 64MB (в сравнении с прошлым 2 ТБ Saegate он намного тише);
* Радиомышка A4Tech G7-200 Wireless (работает от одного комплекта батарей около полугода при нагрузке 6 часов в сутки). Мега-удобна в роли дистанционки по всей комнате;
* На экране SMPlayer и Clementine для MKV и FLAC;
* Клавиатура старинная безупречная культовая DELL SK-8000;
* Wi-Fi маршрутизатор TP-LINK TL-WR340G;
* На столе макетные СВ/ДВ приёмник, измеритель напряжения, радиации и температуры;
* Усилитель самодельный, на TDA7294, 100ВТ на канал, электролиты только в БП, в остальных местах керамика;
* Колонки Кливер 200АС-010, Луганского производства. За свои деньги - мега-качество. Басовики 30см;
* Дополнительно: под Лениным висят весы с 2-х сторонней шкалой и непонятными единицами измерения; над маршрутизатором старинный немецкий барометр;
* Синий микрофон, с заменённой головкой на электретную, используется для Skype;
* Микроскоп Carl Zeiss 1939г;
* По просьбе аналитиков ЛОРа снял попсовые наклейки и монитор перевесил ниже на 20 см;
Снималось на Canon 1100D (12 МПикс, ISO 100, выдержка 1/60, диафрагма 4, вспышка, китовый объектив, фокусное 18 мм, автоспуск, штатив).
Ещё немного интерьера:
Коллекция процессоров
Стол за кроватью и Зингер
Немытый сервант с хламом и действующим макетом приёмника Попова
В этом треде мы помогаем лоровцам получше понять и разобраться во всяких интересных математических концепциях. Кто-то до сих пор не понимает почему на ноль делить таки нельзя; кому-то нравятся аналогии «на пальцах» вида детерминант — ориентированный объём, ковектор — (n-1)-мерная плоскость; кому-то будет интересно узнать, что из алгебраической топологии, интеграл это всего-навсего произведение цепи на коцепь. А кто-то до сих пор не знает что такое тензор; возможно, не всем известно, что механику, электродинамику, теорию относительности и квантовую теорию поля можно локально вывести из наикрасивейшего лагранжева формализма; зачем нужны алгебры Ли; что такое ковариантная производная; в чём отличии гомологий от гомотопий, ну и так далее.
Заметьте, это не тред ответов на вопросы вида «почему небо голубое» — за этим идите в гугл; это не тред выполнения за вас домашних заданий — решайте сами; это не тред споров с фриками — игнорируйте их; это тред добра и просвещения. Однако в идеале вы уже должны иметь представление о математике и физике хотя бы на уровне первого-второго курса. Здесь так же можно просить и рекомендовать литературу, можно посылать в английскую википедию, можно и нужно объяснять как можно проще и доступнее (пускай и совсем неформально). Главное, чтобы у зашедшего лоровца появился интерес и желание учиться.
К сожалению проект «не взлетел», но возможно кому-то вводные статьи окажутся полезными:
Каталог пакетов LaTeX, о котором ранее уже сообщалось, был частью проекта.
>>> Подробности
Я тут на пробу пытаюсь парочку репозиториев перевести с привычного Mercurial на инопланетной логики Git в надежде разобраться с последним. И, ладно бы только логика работы, к ней можно привыкнуть. Но я уже несколько раз терял свои наработки с Git, чего с Mercurial не было никогда за всю историю. Пару раз терял так, что концов не найти, но вот сейчас всю цепочку отследить попробовать можно. Посему и прошу комментариев народа опытного.
Суть такая. Есть поднятый весной и так и не развитый репозиторий https://github.com/Balancer/bors-3rd-bootstrap3
Сейчас решил перекинуть туда код (со всей историей) по работе с bootstrap из ядра фреймворка, которое лежит в Mercurial на Bitbucket. Благо, есть такая прекрасная штука, как hg-git. Перенос файлов со всеми изменениями из репы в репу под Git возможен, но выглядит это чудовищно. Посему, решил вынести сперва отдельный маленький локальный репозиторий Mercurial с этими файлами, к нему подтянуть дерево Git, смержить средствами Mercurial и запушить в репу Git.
Сделать это было чуть дольше, чем написать предыдущий абзац, но работа небольшая, всё было проведено легко и непринуждённо. На GitHub'е появился объединённый модифицированный код. Всё прекрасно.
Дальше начинаются вещи непонятные. Я работал также с другой машины, там были мелкие правки (типа composer.json в корне). Решил всё объединить. Точную последовательность не помню, но, скорее всего обычные git pull && git push на другой машине.
После этого, чтобы точно убедиться, что изменения синхронизированы, провёл после git fetch (там --bare) на первой машине git push... И увидел странное:
To git@github.com:Balancer/bors-3rd-bootstrap3.git
! [rejected] master -> master (non-fast-forward)
error: failed to push some refs to 'git@github.com:Balancer/bors-3rd-bootstrap3.git'
hint: Updates were rejected because the tip of your current branch is behind
hint: its remote counterpart. Integrate the remote changes (e.g.
hint: 'git pull ...') before pushing again.
hint: See the 'Note about fast-forwards' in 'git push --help' for details.
Ну, что, Google в помощь, и первый же совет, который нахожу — воспользоваться ключиком «-f». Не вопрос. У нас же DVCS, даже если что-то не так, всегда можно откатить и т.п. Логика, привитая Mercurial'ом, ага...
Ничтоже сумняшеся, обновляю composer на другой машине и... вижу, что всех изменений, которые я переносил в эту репу нет. Удивляюсь. Вызываю git log --graph (вот почему в git по дефолту все команды такие длинные и несуразные?) — чистота. Всё в превозданном виде семимесячной давности, без переноса нового кода с основного репо.
Лезу на GitHub — и вот тут становится совсем интересно. Те изменения, что я накатывал и которые там были, теперь там отсутствуют o_O
Так вот, вопрос. Это я их не вижу, или это в Git так легко, одним движением руки можно убить безвозвратно серию коммитов с историей? o_O Если первое — то вопрос, как вернуть эти изменения. В основной репе я их уже успел прибить, но всегда можно откатить и повторить перенос. Придётся повозиться, но задача не столь сложная. Но хочется разобраться. Ибо если в Git так легко потерять изменения, то как с ним вообще люди живут?
Довольно давно меня подзадолбала мусорка в домашней директории, постепенно получилось заставить почти весь софт гадить в строго определенное место, а именно в .config, .cache и .local
Для особо одаренных (Skype, Dropbox) пришлось слегка поизвращаться, если для Skype достаточно было изменить параметр запуска на
skype --dbpath=$HOME/.local/share/skype
HOME=$HOME/.local/share/dropbox /usr/bin/dropbox start -i 2>&1
Остальной софт относительно разумен, где через alias, где через export, удалось обяснить, куда складировать свое добро. Ниже листинг .bashrc и .profile, авось кому пригодится.
( Листинг )
Реквестирую годный совецкий панк.
На реквест натолкнуло прослушивание https://www.youtube.com/watch?v=7LR7iSwUdXs
inb4 Считаю жутким позером и унтерменшем Свина, напротив прет от интеллектуала Летова, романтика Лукича https://www.youtube.com/watch?v=KEOUX2wBFgo и тому подобного доставляющего контента.
Решил фор-фан собрать все видео упоминавшиеся на лоре, благо у меня есть база Лор-стата - http://lor-stat.com/ - Статистика ЛОРа
в которой я храню все сообщения с лора.
Итак, я выдрал из базы все ссылки на ютуб, vimeo и rutube видео и залил их в плейлист - http://vpoisk.tv/user/playlist/8/
Думаю эта подборка может быть интересна.
Перемещено beastie из talks
Силами кафедры теоретической физики физического факультета Новосибирского государственного университета были записаны лекции по физике. Исходные видеофайлы выложены в открытый доступ под лицензией CC-BY-SA 4.0.
Значимые изменения после предыдущего сообщения:
MrClon залил все имеющиеся лекции на YouTube!
Debian wheezy
/etc/fstab
/dev/mapper/vg_local-lv_root / ext4 errors=remount-ro 0 1
/dev/mapper/vg_local-lv_swap none swap sw 0 0
/dev/mapper/lv_storage /storage ext4 defaults 0 0
lv_storage /dev/disk/by-uuid/cdd7e8fd-a8d7-4eab-becc-d09cd6079b8f none luks,cipher=aes-cbc-essiv:sha256
Добавил еще один HDD. Нужно расширить крипованый раздел storage. Насколько я понимаю, если тупо сделать lvextend, люксу поплохеет. Как его грамотно растянуть?
Инновационный интерфейс, новая корневая идея, всплывающие окна, тонущие двери, убегающие стенки, конкурирующие звёзды, толкающие шары
Приглашаю в творческю мастерскую идей интерфейса
Есть обширное рабочее пространство. Одни окна лежат поверх других. Есть обычные координаты xгоризонталь и yвертикаль. Также есть zглубина. Слишком глубокие окна тонут и сворачиваются в иконку нижнего моря панели. Слишком близкие окна конкурируют с другими близкими окнами, конкуренты представляются как звёзды в верхней панели небе.
Например я пишу в чате, рисую картину, и играю в сапёра. Все эти окна топовые, они в самом вершу, поэтому это звёзды, звёзды конкурируют, это разные задачи как разные рабочие столы.
Передо мной круглая дверь около изображения, на ней надпись размытие. Я постучал в дверь. Из неё вышли две двери, размыть гаусово, размыть пиксельно, дверь из которой они вышли вывернулась на изнанку и утонула.
Я стучу в дверь размыть гаусово и за ней начинает размываться картинка. Я достаю картинку из за двери, но не даю утонуть этой двери, поэтому изменения оригинальной картинки влияет на размытую версию.
Я листаю каталоги информация загружается и стенки убегают. Ограниченность оперативки не позволяет мне разогнать все стенки, я какбы в пузыре стенок.
Я захожу в виртуальную машину через дверь и закрываю эту дверь изнутри, мне не мещают другие элементы я полностью в контексте.
Я трогаю шар под определённым вектором и вызываю причину его качения, ура я сделал необративное действие, это шаротрон.
Но я до этого ясно видел последствия трогания шара в этом векторе, потому что я представлял дальнейшие касания. Это как всё равно как нажать на кнопку.
Прошу не придираться к фантастичности и другому. А приглашаю в мастерскую перлов во имя новых идей !!
Перемещено tazhate из development
Втыкаем флэшки
# dmesg
scsi 19:0:0:0: Direct-Access Sony MSAC-UAM1 1.00 PQ: 0 ANSI: 0 CCS
sd 19:0:0:0: [sdc] 124416 512-byte hardware sectors: (63.7 MB/60.7 MiB)
...
scsi 20:0:0:0: Direct-Access KINGMAX USB Flash Disk 2.00 PQ: 0 ANSI: 2
sd 20:0:0:0: [sdd] 512000 512-byte hardware sectors: (262 MB/250 MiB)Создаём RAID-1
# mdadm --create /dev/md0 --level 1 --raid-devices 2 /dev/sdc /dev/sdd
mdadm: largest drive (/dev/sdd) exceed size (62144K) by more than 1%
Continue creating array? y
mdadm: array /dev/md0 started.Форматируем
# mke2fs /dev/md0
mke2fs 1.41.8 (11-July-2009)
Filesystem label=
OS type: Linux
Block size=1024 (log=0)
Fragment size=1024 (log=0)
15552 inodes, 62144 blocks
3107 blocks (5.00%) reserved for the super user
First data block=1
Maximum filesystem blocks=63700992
8 block groups
8192 blocks per group, 8192 fragments per group
1944 inodes per group
Superblock backups stored on blocks:
8193, 24577, 40961, 57345
Writing inode tables: done
Writing superblocks and filesystem accounting information: done
This filesystem will be automatically checked every 32 mounts or
180 days, whichever comes first. Use tune2fs -c or -i to override.Монтируем
# mount /dev/md0 /mnt/tmp/Смотрим
# dmesg
md: bind
md: bind
md: md0: raid array is not clean -- starting background reconstruction
raid1: raid set md0 active with 2 out of 2 mirrors
md: resync of RAID array md0
md: minimum _guaranteed_ speed: 1000 KB/sec/disk.
md: using maximum available idle IO bandwidth (but not more than 200000 KB/sec) for resync.
md: using 128k window, over a total of 62144 blocks.
md0:
md: md0: resync done.
RAID1 conf printout:
--- wd:2 rd:2
disk 0, wo:0, o:1, dev:sdc
disk 1, wo:0, o:1, dev:sddПишем, отключаем, останавливаем
# touch /mnt/tmp/test
# umount /mnt/tmp
# mdadm --stop /dev/md0Приводим флешки в чувство
# mdadm --zero-superblock /dev/sdc
# mdadm --zero-superblock /dev/sddОбе флэшки содержат ext2 с файлом test и могут теперь использоваться по отдельности
Посвящается всем, кто не признает изменений в русском языке.
Анонимус доставил — Незнамокто принесе;
Аффтар жжот — Писарь возжегаше;
Бан — Исторженіе во тьму внѣшнюю;
Банхаммер — Мечъ- кладенецъ;
Бомбила — Ямщикъ;
Быдло — Чернь, Сбродъ, Смердъ, Холопъ;
Быдло детектед — Смерд явленный! Зрю чернь набѣгающу!
Быстро, решительно! — Борзо, пребуйно!
Вещества — Зелья дурманныя;
Взять и у***ть — Яти да зѣло поразити;
Все пи***ы, а я — д’Артаньян — Содомиты окрестъ, азъ же единъ Добрыня Никитичъ есмь;
Гипножаба — Лягва прельстива;
Гот — Отрокъ блѣдноликій;
Граммарнаци — Лютый писарь, Грамотей-опричникъ;
Задрот — Одержимецъ, рукоблудецъ;
ИМХО — Нижайше полагаю;
Интерфейс — Междумордіе;
КГ/АМ — Сіе твореніе смердитъ, а писарь — охальникъ;
Копипаста — Канонъ;
Креведко — Пучинный тараканъ;
Манул — Котъ-Баюнъ;
Маньяк — Писюкатый злодѣюка, Злыдень писюнявый;
Мат — Глаголы нелѣпые, словеса срамныя;
Моар! — Паче!
Мотиватор — Сподвигатель;
Например — Яко аще;
Ниасилил — Вельми буквицъ, не превозмогъ;
Ня — Любо, Премило;
Ололо на башорг! — Огого, в болота поганыя!
Офисный планктон — Подьячий, Козявка приказная, Людишки посадскiя;
Пацталом — Возхохоташе подъ лавкою;
Реквестировать — Испрошать, Бить челомъ;
Респект — Исполать, Благодать во устнехъ твоихъ да будетъ!
C блекджеком и шлюхами — Съ зернію и прелесницами;
Слоупок — Звѣрь-тугодумъ, Звѣрушка неспѣшна, Неспѣшунъ, Тварь зѣло медленная;
Сфейлил — Бѣсъ попуталъ;
Тред доставил — Нить зѣло веселяща;
Тролль — Лѣшій, Всеядецъ, Смутьянъ, Прелестникъ, Червословъ, Хулитель, Глумецъ, Тварь навья, Подстрекатель къ раздору;
Троллфейс — рожа ехидная;
УГ — Калъ безрадостный;
Хикки — Пустынникъ, Затворникъ, Нелюдимъ;
Холивар — Усобица ретивая, Ярое копій преломленіе, Сѣча свѦщѣна;
Хороший, годный — Благій, лѣпый;
Школота — Отроча, Дѣтва неразумная, Дите безштанное;
Эмо — Слезливецъ;
Эпично — Былинно;
Cool story bro — Хладенъ сказъ твой, бояринъ;
Facepalm — Челодлань, Лицеладоніе, Ликоприкладство;
GTFO — Изыди;
Just for lulz — Токмо смѣху ради, Единой потѣхи для;
LOL — СВГ (Смѣюсь вельми гласно); Sad but true — Скорбно, да истинно;
Tits or GTFO — Перси али изыди;
Существуют ли бесплатные VPS? Или VPS c бесплатным тестовым периодом?
В продолжение темы. Изначально книги собирались в рамках инициативы и были обновлены мной. Если нет чего-то важного, пишите. cast science, shgurbanov
Быдлокод, подсмотренный в интернетах и переправленный: http://pastebin.com/RK1Qs2yw
В итоге вход не выполняется, в выводе видно. Пробовал и через главную логиниться, и через login.jsp - никакой разницы. Как это нужно правильно написать? Весь день гугл перерываю.
// P.S. pastebin отступы немного испортил
Привет!
Я заинтересовался языками с зависимыми типами. Попробовал писать на Agda, но она мне не очень понравилась. Переключился на Coq. Начал читать Software Fuondations и решать задания оттуда.
Русскоязычных материалов по Coq практически нет. В ЖЖ есть gds и deni_ok, тут и на хабре есть ymn.
Что почитать по основам Coq? Язык английский, русский.
Какой простенький проект подойдет для новичка?
| ← назад | следующие → |