Search Results for "ask"

...We already have stacks of e.g. multimedia players mplyer/vlc or postfix/dovecot/cyrus-sasl/spamfiltering. But there is so much more to be added! Volunteers to the build-recipes are always welcome. Please ask on the mailing list or irc://irc.freenode.org/#pkgbuild Please proceed now with the link below and remember to visit "SFE" on the left and browse through the available packages list in SVN. Or go for one of the binary repositories with ready-to-use IPS packages.

...You need often ensure, your code compiles / tests on many different Linux flavors? But Bamboo is too expensive? Dr. Jekyll/Jenkins too complex to get started? Then you should ask Petty Officer Dr. Mabuse! *) =Here we go!= PoMaBuSe - "Poor Man's Build Server" is a set of Bash4 scripts and config files. Very, very easy to configure, started on (1 or more) different linux machines (*ubuntu, debian, ...) as well as on MSYS2 (the bigger/better MinGW). It polls your Version Control System for changes and if true, it compiles this code. ...

The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.

...The HyperGUI manages it by avoiding screen refreshes as much as possible. In a game or other dynamic multimedia program, the screen (or part of it) is redrawn and refreshed tens of times a second, so there is no need for GUI to ask more refreshes in response of input events; and in a static application each event may change a tiny part of the screen, and only that part needs redrawing. HyperGUI has the flexibility to work in both states.