login
Header Space

 
 

Mailing list archives

Search results

Found 38 matching messages (0.027 seconds). Page 1 of 2.

Re: code analysis tools

... tool among OpenBSD developers? On 3/26/07, Gregg Reynolds wrote: > Hi, > > I wonder if the OpenBSD developers have a ... , I'd like to follow the code > development practices of OpenBSD. > > Thanks, > > Gregg

openbsd-misc - Gregg Reynolds - Mar 26 2007 - 15:16

code analysis tools

... en.wikipedia.org/wiki/Comparison_of_documentation_generators. I'm interested because I think OpenBSD is a terrific development platform, number one, and number two, I'd like to follow the code development practices of OpenBSD. Thanks, Gregg

openbsd-misc - Gregg Reynolds - Mar 26 2007 - 14:27

Re: code analysis tools

... : > > lint(1), gcc-local(1) > > style(7) may be worth reading... > Thank you; I didn't know about those man pages; I'll have to dig around and find what other similar pages are there. OpenBSD's documentation is pretty amazing. -gregg

openbsd-misc - Gregg Reynolds - Mar 26 2007 - 21:27

Re: code analysis tools

... / is invaluable too. I see GNU Global does something similar: http://www.tamacom.com/tour.html. Ever looked at it? BTW I plan to write up a paper or guide on tools and resources for development on OpenBSD with this info. Thanks, -gregg

openbsd-misc - Gregg Reynolds - Mar 26 2007 - 23:00

Re: That whole "Linux stealing our code" thing

... create a fund for defending the license. (And I'm not even religious about this stuff - it just really irks may that these people pontificating about freedom are willing to behave so selfishly and disingenuously. And illegally.) -gregg

openbsd-misc - Gregg Reynolds - Sep 1 2007 - 15:02

Re: That whole "Linux stealing our code" thing

... , "I don't see anything in there that says I can't do X" is almost certain to be wrong. IANAL, though. Talk to one of them if you really have a burning desire to understand all this. Even then, only the courts can settle the matter. -Gregg

openbsd-misc - Gregg Reynolds - Sep 1 2007 - 17:47

Re: Does OpenBSD support Hebrew?

... . A good resource for this sort of thing is arabeyes.org. Their focus is Arabic but they try to accomodate any r-t-l language, including Hebrew (in general, if it supports Arabic, it supports Hebrew). They also stick to technology. -gregg

openbsd-misc - Gregg Reynolds - Sep 24 2007 - 14:58

Re: Formal verification as another tool for ensuring OpenBSD quality

... clarity that allowed me to think about the problems far more rigorously and with far more nuance than would otherwise have been possible. Recently I discovered the W3C tried to use Z to specify one of their languages, but I forget which. -Gregg

openbsd-misc - Gregg Reynolds - Nov 21 2007 - 11:16

Re: Formal verification as another tool for ensuring OpenBSD quality

... language is C, then the code will be beyond formal analysis; you'd have to use an implementation language that supports formal reasoning, like haskell. Not to mention, you'd have to prove that your compiler works correctly. -gregg

openbsd-misc - Gregg Reynolds - Nov 21 2007 - 13:25

Re: Real men don't attack straw men

... , why is he doing this, really? All the pronouncements about freedom, and the Important Life Lessons about how mentioning a thing is tantamount to endorsing it - it just doesn't add up, it's too silly. I wonder what the real agenda is. -gregg

openbsd-misc - Gregg Reynolds - Dec 13 2007 - 17:57

CERT Secure Coding Standards

... to judge. I'd be very interested in what experienced OBSD developers make of it. I've always kinda wished they would put together a guide to secure/quality coding (yes, I'm lazy); maybe the CERT stuff is close enough? Thanks, gregg

openbsd-misc - Gregg Reynolds - Dec 18 2007 - 08:36

Re: Real men don't attack straw men

... non-free software" to OpenBSD but not to FSF (emacs, etc.). You've been asked repeatedly to address the apparent inconsistencies but I haven't noticed any candid response from you. Maybe you can clarify that logic for us? Thank you, gregg

openbsd-misc - Gregg Reynolds - Jan 4 2008 - 04:02

Re: Real men don't attack straw men

... when they object to your characterization of their work as "non-free". Such a slanderous characterization is a far cry from merely declining to endorse. Old joke: "Doctor, nobody likes me! You gotta help me, you big fat slob!" -gregg

openbsd-misc - Gregg Reynolds - Jan 7 2008 - 15:46

Re: A sad thread - RMS vs. OpenBSD

... one book: http://www.amazon.com/Incompleteness-Proof-Paradox-Godel-Discoveries/dp/0393327604/ref=sr_1_2?ie=UTF8&s=books&qid=1199761634&sr=1-2 Considering the pedigree of the author, you'd expect a good read, but it's bad writing. -gregg

openbsd-misc - Gregg Reynolds - Jan 8 2008 - 12:21

Re: Methodology for Document Archiveal to digital media

... Start with FRBR: http://www.ifla.org/VII/s13/frbr/frbr.htm Library of Congress stuff: http://www.loc.gov/standards/ (see MODS, MADS, METS, PREMIS) http://www.openarchives.org/ http://www.dspace.org/ http://www.fedora.info/ etc. -gregg

openbsd-misc - Gregg Reynolds - Feb 13 2008 - 13:02

Re: take threads off the table

... multi-threading, but to do it right. That might involve designing new languages or any number of other things, but "we're not going to do multi-threading because it's risky" is the fast road to obsolescence and irrelevance. my .02 -gregg

openbsd-misc - Gregg Reynolds - Feb 17 2008 - 20:36

Re: code analysis tools

On 3/26/07, Nick ! wrote: > OpenBSD... does not work like that. What made you decide it is a > "terrific development platform"? You do not even understand it's > philosophy. I understand the Standard Response to that would be

openbsd-misc - Gregg Reynolds - Mar 26 2007 - 21:21

Re: That whole "Linux stealing our code" thing

On 9/2/07, Dave Anderson wrote: > IIRC this is true for any country which has adopted the Berne > Convention, which is currently almost every country which has any > copyright law in place. It includes the U.S. Yes. For

openbsd-misc - Gregg Reynolds - Sep 2 2007 - 13:03

ath5k license revised

http://marc.info/?l=linux-wireless&m=118857712529898&w=2

openbsd-misc - Gregg Reynolds - Sep 3 2007 - 04:18

Re: OpenBSD sticker considered cool by a layman

On 9/29/07, Otto Moerbeek wrote: > On Sat, 29 Sep 2007, Karel Kulhavy wrote: > > > Personally, the feeling or message I am getting from these stickers is "we're > > not sloppy, we want to do everything well, including graphics design.

openbsd-misc - Gregg Reynolds - Sep 29 2007 - 11:11

speck-geostationary