I'm trying to understand the Categories library, but I'm fairly new to Agda, so I'm looking for some sort of document explaining the choices that were made in the implementation of the library. There's a link to such a thing in the readme, but it's broken.
For people landing here in the future: the 'new' agda-categories has some documentation in its readme about the choices, and also there is a published paper about it that goes into a lot more details regarding the design choices.
Related
I just would like to know why from the official documentation of Apple, the common cocoa design patterns used doesn't represent the best practices to develop apps.
From https://developer.apple.com/legacy/library/documentation/Cocoa/Conceptual/CocoaFundamentals/CocoaDesignPatterns/CocoaDesignPatterns.html#//apple_ref/doc/uid/TP40002974-CH6-SW25
Thanks!!
Apple has simply reorganized their documentation and there's no longer a document exactly like the one you linked to. That one is in the legacy section, which is really just a graveyard of documents that are no longer current.
Many of the concepts discussed in the legacy document you linked to are now in Concepts in Objective-C Programming. It has articles on MVC, delegates, target-action, etc. Also see Cocoa Core Competencies.
If you feel the current documentation is lacking relative to the older documentation, click the Feedback button in the lower right of any documentation page. Or file a bug in Apple's bug reporter.
the document is just old and not guaranteed to be correct -- but also not guaranteed to be wrong :D
Thats just a generic disclaimer
I'm new to Rebol, and am working with a small corporate-based group to evaluate it for use in some areas that time and again have proven themselves highly resistant to change and to concepts such as DSLs.
Can anyone suggest what they have found to be a good intro to dialecting via "parse"? I have been reading the available docs from the Rebol 3 site, as well as the programmer's guide by Auverlot and Wood, and that may be more than enough -- but if anyone has suggestions for other related material or examples, I'd be appreciative of the advice.
PS: I'm also new to stackoverflow, and so don't yet have the magic 20 points for chat...
Some tutorials on parse:
9.3 Parse (REBOL's Answer to Regular Expressions)
Computer Programming Tutorial, by Nick Antonaccio
a parse tutorial sort of.
Dialecting from same guy:
9.21 Bindology, Dialects, Metaprogramming and Other Advanced Topics
Followed by some examples that show a few examples
If you search on Stack Overflow with the [parse][rebol] tags, you should have quite a few nice and simple examples, with lots of meaty explanations and comments about them.
I am willing to build a wiki-based website that would have some other features, namely comments, social sharing, video insertion, article rating and gamification. In a nutshell, something very close to the StackExchange's websites, but the pages would consist of a single piece article instead of a thread of questions implementing the footnote feature.
I have not coded a single line yet.
I am rather experienced with Grails, so I know Groovy and Java. I also know JQuery and a bit of PHP, but I can learn basically everything required. I will be the only one programming on the project.
My questions are:
Which technology should I use according to YOU ?
Should I use Grails as this is what I know best, and try to integrate a wiki technology within my app (if yes, which one) ?
Should I start from an already existing wiki technology (WikiMedia, XWiki, TWiki, Moinmoin, ...) and modify it to integrate the features I need (gamification, comments, video insertion, article rating and social sharing) ? Once again, if you think that is the best solution, please quote a technology, and if possible, tell me why is this THE one.
Thank you very much for your help. I find it rather hard to choose, and ever harder to know which path is the right one to go.
Any suggestion is most welcome.
I would suggest using MediaWiki for the following reasons
You mentioned a wiki-based website
It has lots of extensions built already for your needs (comments, article rating, sharing, comments)
Since you mentioned you know little PHP, you can also modify some of the extensions for your use.
MediaWiki has (via extensions) support for social sharing, video insertion and article rating, and not-great-but-okay support for comments. (Probably most other wiki platforms too - these are common enough features.) Wikia (a MediaWiki-based wiki farm who opensourced most of their custom code) has some gamification features, though I am not familiar with them. Also, MediaWiki has the advantage of having the most widely known wiki dialect (due to the popularity of Wikipedia).
That said, if you are going for minimal developement effort, I would look into adding wiki features to an existing StackOverflow clone before trying to add gamification, comment etc. features to a wiki.
Is there a place where there is an introductory overview of the OmniThreadLibray for Delphi?
I have the current code installed in Delphi XE. The examples work. I've been looking over the associated The Delphi Geek blog with usage examples. Gabr admits the documentation does not exist. I would like to get a handle of the structure of the framework before diving into specific examples. I do have an understanding of the usage of TThread so I don't need go to a Threading 101 site.
The framework has shown to have a loyal following and I'd like to think I just haven't looked in the right place.
The author of the OmniThreadLibrary, Primož Gabrijelčič, is working on a book to document the library. It started off as a wiki and has been growing.
OmniThreadLibrary Book Wiki
The ebook: Parallel Programming with the OmniThreadLibrary
As sections are completed in the Wiki they are added to the eBook. From Primož's blog:
In accordance with the Lean Publishing Manifesto, Parallel Programming
with OmniThreadLibrary is published as it is written. When I’m happy
with a chapter (or even with a section, if it is important enough), I
click the Publish button on the LeanPub site and new, updated book is
available to all the readers
As far as I know, there's no overview of the type you're talking about. The closest there really is is the examples. They provide demonstrations of the things you can do with OTL, and you can study the code to see what they're doing and how it's implemented. I don't think you'll find anything better than that, for the moment at least.
what's a good website that has an introduction to latex for window users? I will be using it mainly to write math homework problems and probably then converting it to a PDF to print out. I'm hoping somebody has bookmarked a good link already so I don't have to search. Thanks!
You should start from this "not so short introduction to latex"
http://www.ctan.org/tex-archive/info/lshort/english/lshort.pdf
I recommend this one: http://en.wikibooks.org/wiki/LaTeX
LaTeX works the same across platforms (and even across its distros, except some may provide features that others don't), so it doesn't really matter what your platform is.
I find that Andy Roberts's site is perfect for beginners, it has a lot of newbie exercises and takes you by the hand in a perfectly controlled fashion. It is my online reference for my basic latex questions.
http://www.andy-roberts.net/misc/latex/index.html
The LaTeX Community site doesn't seem to have any beginner tutorials, but it does have a number of articles that go into specific uses. If one of those articles covers what you're trying to do, then it may give you a headstart.
Outside tutorials, as a beginner getting into LaTeX, I found the TeXnicCenter Open Source IDE to be very useful. It makes life a lot easier when you get some syntax colouring and templates to help with common structures like tables.