"Translating ASCII math notation to Presentation MathML."
- Андрей Власовских
Что-то он корни неправильной высоты рисует. FF3.5. Например, в `x = \frac{-b}{2 a} \pm \sqrt{\frac{b^2}{4 a^2} -\frac{c}{a}}`. Не знаю, недостаток ли это MathML или asciimathml. jsMath это отрисовывает нормально.
- jetxee
"I wrote MultiMarkdown in order to leverage Markdown’s syntax, but to extend it to work with complete documents that could ultimately be converted from text into other formats, including complete XHTML documents, LaTeX, PDF, RTF, or even (shudder) Microsoft Word documents."
- Андрей Власовских
"ditaa is a small command-line utility written in Java, that can convert diagrams drawn using ascii art ('drawings' that contain characters that resemble lines like | / - ), into proper bitmap graphics."
- Андрей Власовских
#go the language doesn't require tail call optimization: "tail recursion is a compiler feature, not a language feature; 6g/8g support it in limited cases, gccgo supports it pretty generally <... > I think relying on tail recursion optimization would be a bad idea if the recursion gets deep; same guideline as in C, really"
“I think relying on tail recursion optimization would be a bad idea if the recursion gets deep” — что-то эта фраза совсем смысла не имеет
- тазик-эвтаназик
это я спрашивал в #go-nuts, т. к. спеки вообще молчат про рекурсию, даже обычную
- Андрей Власовских
@ivant (не путать с iant :) это он к тому, что tco не является обязательной, поэтому надеяться на неё не стоит и глубокая хвостовая рекурсия нежелательна
- Андрей Власовских
"Presented by Rob Pike. Go is a new experimental systems programming language intended to make software development fast. Our goal is that a major Google binary should be buildable in a few seconds on a single machine. The language is concurrent, garbage-collected, and requires explicit declaration of dependencies. Simple syntax and a clean type system support a number of programming styles."
- Андрей Власовских
"такими темпами пост забиватора 'как вы определяете который час?' будет собирать 100+ комментов холивара на тему 'мне в своей работе никогда не надо было знать который час' и 'любой школьник может определить который час, воткнув палку в землю'" http://zabivator.livejournal.com/365980...
"This course will explain the combinator library idea, give many examples and applications, and discuss design principles to help you invent your own. We will also discuss research projects in several areas, where a DSEL is a key enabling technology."
- Андрей Власовских
@ptzn ага. счётчик, форков, браузер веток людей. на практике-то чаще принимают только патчи. я не припомню, чтобы сливали ветку кого-то в основной ствол
- Андрей Власовских
кому как удобнее, "безгуевые" методы тоже поддерживаются.
- ptzn
from IM
там механизм стандартный такой, делаешь форк, добавляешь изменения, жмешь кнопку уведомить автора чтобы он забрал. Для мелких проектов этим пользуются, на вкладке зачастую видно как автор мержит изменения к себе. Для крупных (типа рельс), да, не пользуются, там и патч то в отдельной системе обсуждают
- runmen
@vlasovskikh кстати, закладка Network с графом форков и изменений довольно полезна, можно быстро смотреть кто что изменяет/добавляет
- ptzn
from IM
не только кнопку, еще есть Fork Queue который жутко удобный для мерджа патчей от других людей
- Yaroslav Markin
@runmen да, сливать чужие ветки хорошо, но при условии высокого уровня культуры коммитов. иначе патчи лучше подходят
- Андрей Власовских
кто-нибудь из вас использует ветки вместо патчей при работе с (условно) чужим кодом?
- Андрей Власовских
тут еще другой момент, очень удобно когда фиксы идут отдельными репозиториями, даже если автор немного забросил библиотеке, во вкладке network всегда можно найти исправленную и актуальную версию. Только за это github следует поставить большой плюс
- runmen
О да, awk - это мощЪ, one of the most useful tools ever. Behold the wonders of awk!
- Eugene Kirpichov
@jkff я думал на досуге устроить мини-конкурс по созданию встраиваемого dsl для любимого языка, который позволяет делать вещи в стиле awk. кому-нибудь интересно?
- Андрей Власовских
"The aim of the dist-bugs project is to investigate and develop distributed bug tracking systems. We bring together people interested in breaking bugs out of their centralised data silos."
- Андрей Власовских
Journal of Universal Computer Science, Vol. 10, No. 7. (2004), pp. 751-768. The driving idea of functional programming is to make programming more closely related to mathematics. A program in a functional language such as Haskell or Miranda consists of equations which are both computation rules and a basis for simple algebraic reasoning about the functions and data structures they define. The existing model of functional programming, although elegant and powerful, is compromised to a greater extent than is commonly recognised by the presence of partial functions. We consider a simple discipline of total functional programming designed to exclude the possibility of non-termination. Among other things this requires a type distinction between data, which is finite, and codata, which is potentially infinite. D Turner
- Андрей Власовских
"Everybody's atwitter about WADL, a description file for REST services, and since it's supposed to be RESTful I regularly get questioned about it."
- Андрей Власовских
вставить возврат каретки `\r` в #vim под unix: `ctrl+v ctrl+m`, см. `:help ins-special-keys`
Видеозаписи лекций CS Club в ПОМИ РАН: математические основы CS, алгоритмы для NP-трудных задач, криптографические протоколы, формальные языки и синтаксический анализ.
- Андрей Власовских
я не знаю как побороться с переименованиями и пр. убил только чистые удаления. в общем случае, по diffstat мало что можно сказать, если не думать
- Андрей Власовских