"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 мало что можно сказать, если не думать
- Андрей Власовских
"Netcat is a featured networking utility which reads and writes data across network connections, using the TCP/IP protocol. Among its features are outbound and inbound connections, TCP or UDP, to or from any ports."
- Андрей Власовских
"minimock is a simple library for doing Mock objects with doctest. When using doctest, mock objects can be very simple." Using MiniMock with unittest is also quite simple.
- Андрей Власовских
"Dan Diephouse explores ways to use the AtomPub when building services in a RESTful way. He explains when to use and when to avoid using AtomPub, highlights its advantages, and shows where it doesn't provide a generic solution."
- Андрей Власовских